2021-12-23 04:34:47 +01:00
|
|
|
final: prev:
|
2021-12-14 03:29:41 +01:00
|
|
|
let
|
2021-12-23 04:34:47 +01:00
|
|
|
inherit (prev.lib.trivial) const;
|
|
|
|
inherit (prev.lib.lists) range any all;
|
|
|
|
in prev.lib.lists // {
|
2021-12-14 03:29:41 +01:00
|
|
|
# a -> Int -> [a]
|
|
|
|
repeat = item: times: map (const item) (range 1 times);
|
|
|
|
|
|
|
|
# [Bool] -> Bool
|
|
|
|
any' = any (boolean: boolean);
|
|
|
|
|
|
|
|
# [Bool] -> Bool
|
|
|
|
all' = all (boolean: boolean);
|
|
|
|
}
|