summaryrefslogtreecommitdiffstats
path: root/4lib/krebs/tree.nix
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2015-07-28 21:38:22 +0200
committertv <tv@krebsco.de>2015-07-28 21:38:22 +0200
commit1922e43bcc16e110c03c638099a9279e1d2c89a1 (patch)
treedfc6740dc4d6967c1b9e31a8ede7035ae3a97144 /4lib/krebs/tree.nix
parent1f6f56290b3a7978b951e4420b59604281093160 (diff)
*/krebs -> krebs/*
Diffstat (limited to '4lib/krebs/tree.nix')
-rw-r--r--4lib/krebs/tree.nix13
1 files changed, 0 insertions, 13 deletions
diff --git a/4lib/krebs/tree.nix b/4lib/krebs/tree.nix
deleted file mode 100644
index 1cd83b3..0000000
--- a/4lib/krebs/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;
-}