summaryrefslogtreecommitdiffstats
path: root/krebs/4lib/maybe.nix
diff options
context:
space:
mode:
authorlassulus <lass@aidsballs.de>2015-10-20 23:47:29 +0200
committerlassulus <lass@aidsballs.de>2015-10-20 23:47:29 +0200
commitf6187b3796edcfcce71bd239bbc1e793e6bb806a (patch)
tree5e997809616c2d977c5d34bca8b7d8acbd9b7e1a /krebs/4lib/maybe.nix
parent281ba78969e0c0233fef0746d42f0ec85179b1bd (diff)
parentfc45cc29265e9b3e51033fddd5d8ea1042c1aa41 (diff)
Merge remote-tracking branch 'cd/master'
Diffstat (limited to 'krebs/4lib/maybe.nix')
-rw-r--r--krebs/4lib/maybe.nix10
1 files changed, 0 insertions, 10 deletions
diff --git a/krebs/4lib/maybe.nix b/krebs/4lib/maybe.nix
deleted file mode 100644
index 5189c99a1..000000000
--- 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);
-}