diff options
Diffstat (limited to '4lib/krebs/default.nix')
-rw-r--r-- | 4lib/krebs/default.nix | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/4lib/krebs/default.nix b/4lib/krebs/default.nix deleted file mode 100644 index 0c42a5de3..000000000 --- a/4lib/krebs/default.nix +++ /dev/null @@ -1,33 +0,0 @@ -{ lib, ... }: - -with builtins; -with lib; - -builtins // lib // rec { - - addName = name: set: - set // { inherit name; }; - - addNames = mapAttrs addName; - - types = import ./types.nix { inherit lib; }; - - - # listset k v = set k [v] - - # listset-insert : k -> v -> listset k v -> listset k v - listset-insert = name: value: set: - set // { ${name} = set.${name} or [] ++ [value]; }; - - # tree k v = set k (either v (tree k v)) - - # tree-get : [k] -> tree k v -> v - tree-get = path: x: - let - y = x.${last path}; - in - if typeOf y != "set" - then y - else tree-get (init path) y; - -} |