From 50162983e041012abbddbb562bb655498f47c354 Mon Sep 17 00:00:00 2001 From: tv Date: Fri, 24 Jul 2015 12:23:52 +0200 Subject: 4: {tv -> krebs}.types --- 4lib/krebs/default.nix | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 4lib/krebs/default.nix (limited to '4lib/krebs/default.nix') diff --git a/4lib/krebs/default.nix b/4lib/krebs/default.nix new file mode 100644 index 0000000..38c2a97 --- /dev/null +++ b/4lib/krebs/default.nix @@ -0,0 +1,7 @@ +{ lib, ... }: + +builtins // lib // { + + types = import ./types.nix { inherit lib; }; + +} -- cgit v1.2.3 From 2154167857b6bd35c8b1cce2ad41521164abb2ff Mon Sep 17 00:00:00 2001 From: tv Date: Fri, 24 Jul 2015 20:48:00 +0200 Subject: {2 tv git -> 3 krebs}.users --- 4lib/krebs/default.nix | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to '4lib/krebs/default.nix') diff --git a/4lib/krebs/default.nix b/4lib/krebs/default.nix index 38c2a97..0c59076 100644 --- a/4lib/krebs/default.nix +++ b/4lib/krebs/default.nix @@ -1,6 +1,14 @@ { lib, ... }: -builtins // lib // { +with builtins; +with lib; + +builtins // lib // rec { + + addName = name: set: + set // { inherit name; }; + + addNames = mapAttrs addName; types = import ./types.nix { inherit lib; }; -- cgit v1.2.3 From 0906cdb433fe5b8c67c2956c475a9b6d340a260f Mon Sep 17 00:00:00 2001 From: tv Date: Sat, 25 Jul 2015 02:14:44 +0200 Subject: {3 -> 4} krebs {listset,tree} --- 4lib/krebs/default.nix | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to '4lib/krebs/default.nix') diff --git a/4lib/krebs/default.nix b/4lib/krebs/default.nix index 0c59076..0c42a5d 100644 --- a/4lib/krebs/default.nix +++ b/4lib/krebs/default.nix @@ -12,4 +12,22 @@ builtins // lib // rec { 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; + } -- cgit v1.2.3