14be783676
These are used thousands of times during NixOS evaluation, so it's useful to speed them up.
12 lines
232 B
Nix
12 lines
232 B
Nix
with builtins;
|
|
|
|
[ (any (x: x == 1) [])
|
|
(any (x: x == 1) [2 3 4])
|
|
(any (x: x == 1) [1 2 3 4])
|
|
(any (x: x == 1) [4 3 2 1])
|
|
(all (x: x == 1) [])
|
|
(all (x: x == 1) [1])
|
|
(all (x: x == 1) [1 2 3])
|
|
(all (x: x == 1) [1 1 1])
|
|
]
|