diff options
author | makefu <github@syntax-fehler.de> | 2015-10-20 19:17:25 +0200 |
---|---|---|
committer | makefu <github@syntax-fehler.de> | 2015-10-20 19:17:25 +0200 |
commit | e0eed572ec51e285bf9e874a6b393bbb63b005e6 (patch) | |
tree | 8256e49cf578737d9424e893764334f7ea334aad /krebs/4lib | |
parent | 24271c6f6b4e730eccb238c28ca4b04eb70ede92 (diff) | |
parent | b2fd7be3ff755e17e9d303f03b9a2345623fd384 (diff) |
Merge remote-tracking branch 'cd/master'
Diffstat (limited to 'krebs/4lib')
-rw-r--r-- | krebs/4lib/default.nix | 5 | ||||
-rw-r--r-- | krebs/4lib/maybe.nix | 10 |
2 files changed, 0 insertions, 15 deletions
diff --git a/krebs/4lib/default.nix b/krebs/4lib/default.nix index f15514fe..0a610131 100644 --- a/krebs/4lib/default.nix +++ b/krebs/4lib/default.nix @@ -3,13 +3,8 @@ with builtins; with lib; -let - maybe = import ./maybe.nix { inherit lib; }; -in - builtins // lib // -maybe // rec { eq = x: y: x == y; diff --git a/krebs/4lib/maybe.nix b/krebs/4lib/maybe.nix deleted file mode 100644 index 5189c99a..00000000 --- a/krebs/4lib/maybe.nix +++ /dev/null @@ -1,10 +0,0 @@ -{ ... }: - -rec { - Just = x: { type = "maybe"; value = x; }; - Nothing = { type = "maybe"; }; - isMaybe = x: builtins.typeOf x == "set" && x.type or false == "maybe"; - isJust = x: isMaybe x && builtins.hasAttr "value" x; - fromJust = x: assert isJust x; x.value; - catMaybes = xs: map fromJust (builtins.filter isJust xs); -} |