summaryrefslogtreecommitdiffstats
path: root/krebs/4lib/tree.nix
diff options
context:
space:
mode:
authorlassulus <lass@aidsballs.de>2016-10-20 21:19:26 +0200
committerlassulus <lass@aidsballs.de>2016-10-20 21:19:26 +0200
commit5cfe3f414097a16dfa84cd52739689e08b7fa0b3 (patch)
tree81ef0820be1d91961f18f2e75e2d9172bf865093 /krebs/4lib/tree.nix
parent51a9fb2dccf6996e1f4fe6f795076ebc6bc71d25 (diff)
parentf47bab7f710b7c8a282c3a3c38affc8a0bc30cc9 (diff)
Merge remote-tracking branch 'cd/master'
Diffstat (limited to 'krebs/4lib/tree.nix')
-rw-r--r--krebs/4lib/tree.nix13
1 files changed, 0 insertions, 13 deletions
diff --git a/krebs/4lib/tree.nix b/krebs/4lib/tree.nix
deleted file mode 100644
index 1cd83b3f6..000000000
--- a/krebs/4lib/tree.nix
+++ /dev/null
@@ -1,13 +0,0 @@
-{ lib, ... }:
-
-with lib;
-
-rec {
- # tree k v = set k (either v (tree k v))
-
- # get : [k] -> tree k v -> v
- get = path: tree:
- if length path > 0
- then get (tail path) tree.${head path} # TODO check if elem exists
- else tree;
-}