2009-02-09 09:51:03 -07:00
|
|
|
# General list operations.
|
2013-01-31 22:39:26 -07:00
|
|
|
with {
|
|
|
|
inherit (import ./trivial.nix) deepSeq;
|
|
|
|
};
|
2009-02-09 09:51:03 -07:00
|
|
|
|
|
|
|
rec {
|
2012-08-14 11:42:43 -06:00
|
|
|
inherit (builtins) head tail length isList add sub lessThan;
|
2009-02-09 09:51:03 -07:00
|
|
|
|
|
|
|
|
2009-06-08 16:42:42 -06:00
|
|
|
# Create a list consisting of a single element. `singleton x' is
|
|
|
|
# sometimes more convenient with respect to indentation than `[x]'
|
|
|
|
# when x spans multiple lines.
|
|
|
|
singleton = x: [x];
|
2012-08-14 11:42:43 -06:00
|
|
|
|
2009-06-08 16:42:42 -06:00
|
|
|
|
2009-02-09 09:51:03 -07:00
|
|
|
# "Fold" a binary function `op' between successive elements of
|
|
|
|
# `list' with `nul' as the starting value, i.e., `fold op nul [x_1
|
|
|
|
# x_2 ... x_n] == op x_1 (op x_2 ... (op x_n nul))'. (This is
|
|
|
|
# Haskell's foldr).
|
2012-08-13 12:19:50 -06:00
|
|
|
fold =
|
|
|
|
if builtins ? elemAt
|
|
|
|
then op: nul: list:
|
|
|
|
let
|
|
|
|
len = length list;
|
|
|
|
fold' = n:
|
|
|
|
if n == len
|
|
|
|
then nul
|
2012-08-14 11:42:43 -06:00
|
|
|
else op (builtins.elemAt list n) (fold' (add n 1));
|
2012-08-13 12:19:50 -06:00
|
|
|
in fold' 0
|
|
|
|
else op: nul:
|
|
|
|
let fold' = list:
|
|
|
|
if list == []
|
|
|
|
then nul
|
|
|
|
else op (head list) (fold' (tail list));
|
|
|
|
in fold';
|
2009-02-09 09:51:03 -07:00
|
|
|
|
|
|
|
|
|
|
|
# Left fold: `fold op nul [x_1 x_2 ... x_n] == op (... (op (op nul
|
|
|
|
# x_1) x_2) ... x_n)'.
|
2012-08-13 12:19:50 -06:00
|
|
|
foldl =
|
|
|
|
if builtins ? elemAt
|
|
|
|
then op: nul: list:
|
|
|
|
let
|
|
|
|
len = length list;
|
|
|
|
foldl' = n:
|
|
|
|
if n == minus1
|
|
|
|
then nul
|
2012-08-14 11:42:43 -06:00
|
|
|
else op (foldl' (sub n 1)) (builtins.elemAt list n);
|
2012-08-13 12:19:50 -06:00
|
|
|
in foldl' (sub (length list) 1)
|
|
|
|
else op:
|
|
|
|
let foldl' = nul: list:
|
|
|
|
if list == []
|
|
|
|
then nul
|
|
|
|
else foldl' (op nul (head list)) (tail list);
|
|
|
|
in foldl';
|
|
|
|
|
|
|
|
minus1 = sub 0 1;
|
|
|
|
|
2009-02-09 09:51:03 -07:00
|
|
|
|
2011-04-27 12:41:34 -06:00
|
|
|
# map with index: `imap (i: v: "${v}-${toString i}") ["a" "b"] ==
|
|
|
|
# ["a-1" "b-2"]'
|
|
|
|
imap = f: list:
|
|
|
|
zipListsWith f (range 1 (length list)) list;
|
2009-02-09 09:51:03 -07:00
|
|
|
|
2012-04-05 09:37:52 -06:00
|
|
|
|
2009-02-09 09:51:03 -07:00
|
|
|
# Concatenate a list of lists.
|
2012-08-13 09:55:45 -06:00
|
|
|
concatLists = builtins.concatLists or (fold (x: y: x ++ y) []);
|
2009-02-09 09:51:03 -07:00
|
|
|
|
|
|
|
|
|
|
|
# Map and concatenate the result.
|
|
|
|
concatMap = f: list: concatLists (map f list);
|
|
|
|
|
|
|
|
|
|
|
|
# Flatten the argument into a single list; that is, nested lists are
|
|
|
|
# spliced into the top-level lists. E.g., `flatten [1 [2 [3] 4] 5]
|
|
|
|
# == [1 2 3 4 5]' and `flatten 1 == [1]'.
|
|
|
|
flatten = x:
|
|
|
|
if isList x
|
|
|
|
then fold (x: y: (flatten x) ++ y) [] x
|
|
|
|
else [x];
|
|
|
|
|
|
|
|
|
|
|
|
# Filter a list using a predicate; that is, return a list containing
|
|
|
|
# every element from `list' for which `pred' returns true.
|
2012-08-13 09:55:45 -06:00
|
|
|
filter =
|
|
|
|
builtins.filter or
|
|
|
|
(pred: list:
|
|
|
|
fold (x: y: if pred x then [x] ++ y else y) [] list);
|
2009-02-09 09:51:03 -07:00
|
|
|
|
2012-04-05 09:37:52 -06:00
|
|
|
|
2012-08-13 09:55:45 -06:00
|
|
|
# Remove elements equal to 'e' from a list. Useful for buildInputs.
|
2011-03-15 03:24:47 -06:00
|
|
|
remove = e: filter (x: x != e);
|
|
|
|
|
2012-04-05 09:37:52 -06:00
|
|
|
|
2012-08-13 09:55:45 -06:00
|
|
|
# Return true if `list' has an element `x'.
|
|
|
|
elem =
|
|
|
|
builtins.elem or
|
|
|
|
(x: list: fold (a: bs: x == a || bs) false list);
|
2009-02-09 09:51:03 -07:00
|
|
|
|
|
|
|
|
|
|
|
# Find the sole element in the list matching the specified
|
|
|
|
# predicate, returns `default' if no such element exists, or
|
|
|
|
# `multiple' if there are multiple matching elements.
|
|
|
|
findSingle = pred: default: multiple: list:
|
|
|
|
let found = filter pred list;
|
|
|
|
in if found == [] then default
|
|
|
|
else if tail found != [] then multiple
|
|
|
|
else head found;
|
|
|
|
|
|
|
|
|
2009-07-22 08:43:39 -06:00
|
|
|
# Find the first element in the list matching the specified
|
|
|
|
# predicate or returns `default' if no such element exists.
|
|
|
|
findFirst = pred: default: list:
|
|
|
|
let found = filter pred list;
|
|
|
|
in if found == [] then default else head found;
|
|
|
|
|
|
|
|
|
2009-02-09 09:51:03 -07:00
|
|
|
# Return true iff function `pred' returns true for at least element
|
|
|
|
# of `list'.
|
2012-08-13 12:19:50 -06:00
|
|
|
any = pred: fold (x: y: if pred x then true else y) false;
|
2009-02-09 09:51:03 -07:00
|
|
|
|
|
|
|
|
|
|
|
# Return true iff function `pred' returns true for all elements of
|
|
|
|
# `list'.
|
2012-08-13 12:19:50 -06:00
|
|
|
all = pred: fold (x: y: if pred x then y else false) true;
|
2009-02-09 09:51:03 -07:00
|
|
|
|
|
|
|
|
|
|
|
# Return a singleton list or an empty list, depending on a boolean
|
|
|
|
# value. Useful when building lists with optional elements
|
|
|
|
# (e.g. `++ optional (system == "i686-linux") flashplayer').
|
|
|
|
optional = cond: elem: if cond then [elem] else [];
|
|
|
|
|
|
|
|
|
|
|
|
# Return a list or an empty list, dependening on a boolean value.
|
|
|
|
optionals = cond: elems: if cond then elems else [];
|
|
|
|
|
|
|
|
|
|
|
|
# If argument is a list, return it; else, wrap it in a singleton
|
|
|
|
# list. If you're using this, you should almost certainly
|
|
|
|
# reconsider if there isn't a more "well-typed" approach.
|
|
|
|
toList = x: if builtins.isList x then x else [x];
|
|
|
|
|
|
|
|
|
|
|
|
# Return a list of integers from `first' up to and including `last'.
|
|
|
|
range = first: last:
|
|
|
|
if builtins.lessThan last first
|
|
|
|
then []
|
|
|
|
else [first] ++ range (builtins.add first 1) last;
|
|
|
|
|
|
|
|
|
|
|
|
# Partition the elements of a list in two lists, `right' and
|
|
|
|
# `wrong', depending on the evaluation of a predicate.
|
|
|
|
partition = pred:
|
|
|
|
fold (h: t:
|
|
|
|
if pred h
|
|
|
|
then { right = [h] ++ t.right; wrong = t.wrong; }
|
|
|
|
else { right = t.right; wrong = [h] ++ t.wrong; }
|
|
|
|
) { right = []; wrong = []; };
|
|
|
|
|
2009-09-28 12:22:14 -06:00
|
|
|
|
|
|
|
zipListsWith = f: fst: snd:
|
|
|
|
if fst != [] && snd != [] then
|
|
|
|
[ (f (head fst) (head snd)) ]
|
2011-04-27 12:41:31 -06:00
|
|
|
++ zipListsWith f (tail fst) (tail snd)
|
2009-09-28 12:22:14 -06:00
|
|
|
else [];
|
|
|
|
|
|
|
|
zipLists = zipListsWith (fst: snd: { inherit fst snd; });
|
|
|
|
|
2012-04-05 09:37:52 -06:00
|
|
|
|
|
|
|
# Reverse the order of the elements of a list.
|
2009-10-06 07:36:46 -06:00
|
|
|
reverseList = l:
|
|
|
|
let reverse_ = accu: l:
|
|
|
|
if l == [] then accu
|
|
|
|
else reverse_ ([(head l)] ++ accu) (tail l);
|
|
|
|
in reverse_ [] l;
|
2009-11-06 18:59:55 -07:00
|
|
|
|
2012-04-05 09:37:52 -06:00
|
|
|
|
|
|
|
# Sort a list based on a comparator function which compares two
|
|
|
|
# elements and returns true if the first argument is strictly below
|
|
|
|
# the second argument. The returned list is sorted in an increasing
|
|
|
|
# order. The implementation does a quick-sort.
|
2009-11-06 18:59:55 -07:00
|
|
|
sort = strictLess: list:
|
|
|
|
let
|
2012-08-13 12:19:31 -06:00
|
|
|
# This implementation only has one element list on the left hand
|
2009-11-06 18:59:55 -07:00
|
|
|
# side of the concatenation operator.
|
|
|
|
qs = l: concat:
|
|
|
|
if l == [] then concat
|
2012-08-13 12:19:31 -06:00
|
|
|
else if length l == 1 then l ++ concat
|
2009-11-06 18:59:55 -07:00
|
|
|
else let
|
|
|
|
part = partition (strictLess (head l)) (tail l);
|
|
|
|
in
|
2012-11-20 05:54:38 -07:00
|
|
|
qs part.wrong ([(head l)] ++ qs part.right concat);
|
2009-11-06 18:59:55 -07:00
|
|
|
in
|
|
|
|
qs list [];
|
|
|
|
|
2009-12-08 14:47:14 -07:00
|
|
|
|
2012-04-05 09:37:52 -06:00
|
|
|
# Return the first (at most) N elements of a list.
|
2009-12-08 14:47:14 -07:00
|
|
|
take = count: list:
|
|
|
|
if list == [] || count == 0 then []
|
|
|
|
else [ (head list) ] ++ take (builtins.sub count 1) (tail list);
|
|
|
|
|
2012-04-05 09:37:52 -06:00
|
|
|
|
|
|
|
# Remove the first (at most) N elements of a list.
|
2010-04-17 12:26:40 -06:00
|
|
|
drop = count: list:
|
|
|
|
if count == 0 then list
|
|
|
|
else drop (builtins.sub count 1) (tail list);
|
|
|
|
|
2012-04-05 09:37:52 -06:00
|
|
|
|
2010-01-03 04:05:42 -07:00
|
|
|
last = list:
|
|
|
|
assert list != [];
|
|
|
|
let loop = l: if tail l == [] then head l else loop (tail l); in
|
|
|
|
loop list;
|
|
|
|
|
2012-08-13 16:26:19 -06:00
|
|
|
|
2010-08-02 10:10:01 -06:00
|
|
|
# Zip two lists together.
|
2010-08-02 10:48:19 -06:00
|
|
|
zipTwoLists = xs: ys:
|
2010-08-02 10:10:01 -06:00
|
|
|
if xs != [] && ys != [] then
|
|
|
|
[ {first = head xs; second = head ys;} ]
|
2010-08-02 10:48:19 -06:00
|
|
|
++ zipTwoLists (tail xs) (tail ys)
|
2010-08-02 10:10:01 -06:00
|
|
|
else [];
|
2012-04-05 09:37:52 -06:00
|
|
|
|
2013-01-31 22:39:26 -07:00
|
|
|
deepSeqList = xs: y: if any (x: deepSeq x false) xs then y else y;
|
2009-02-09 09:51:03 -07:00
|
|
|
}
|