summaryrefslogtreecommitdiffstats
path: root/krebs/4lib/tree.nix
diff options
context:
space:
mode:
authorlassulus <lass@aidsballs.de>2015-07-28 22:37:28 +0200
committerlassulus <lass@aidsballs.de>2015-07-28 23:23:26 +0200
commit1bf670270c1e87900a908f7e9b949b5502158f4f (patch)
tree3a89e86813805e0d6075d3b01497d681602b45cd /krebs/4lib/tree.nix
parentfa175ca26e533b62f3afc11709ef1689647c558c (diff)
parent06cb4d25ef40773e2cc516e50a9aeec6cbe1d0a8 (diff)
Merge remote-tracking branch 'cd/master' into newmaster2
Diffstat (limited to 'krebs/4lib/tree.nix')
-rw-r--r--krebs/4lib/tree.nix13
1 files changed, 13 insertions, 0 deletions
diff --git a/krebs/4lib/tree.nix b/krebs/4lib/tree.nix
new file mode 100644
index 000000000..1cd83b3f6
--- /dev/null
+++ b/krebs/4lib/tree.nix
@@ -0,0 +1,13 @@
+{ 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;
+}