Fil-C on Nix

Filnix wiki

mbrock/filnix

tests/determinate-nix/drvs-chunk.nix

drvs.nix, restricted to names whose index is k modulo n (to bound memory).

λnixpkgs, n, k
let
8pkgs=
importnixpkgs
9system=
"x86_64-linux"
10config=
allowAliases = false;
13overlays=
[ ]
used by lib names v
15lib=
pkgs.lib
uses pkgs used by r sel
16names=
builtins.attrNamespkgs
uses pkgs used by sel
17sel=
lib.filterx: x ≢ null lib.imap0i: name: if lib.modi n ≡ k then name else null names
uses lib names
in
lib.genAttrssel
λname
let
24r=
builtins.tryEval
let
26v=
pkgs.${name}
uses pkgs
in
if lib.isDerivationv then v.drvPath else null
uses lib
in
if r.success then r.value else null