aboutsummaryrefslogtreecommitdiffstats
path: root/core/maybe.milch
diff options
context:
space:
mode:
authorJan Tuomi <jans.tuomi@gmail.com>2022-12-06 21:18:18 +0200
committerJan Tuomi <jans.tuomi@gmail.com>2022-12-06 21:36:54 +0200
commit6b9782ce4a36e93156426b5747efcc90401b6251 (patch)
tree3a7c68ee5eb3a03ec00a0dd850bb8512eec5b84a /core/maybe.milch
parent35bf45fe54788c6fca6b105b65fc1622a4bb7d34 (diff)
Add core/result.milch
Diffstat (limited to 'core/maybe.milch')
-rw-r--r--core/maybe.milch30
1 files changed, 4 insertions, 26 deletions
diff --git a/core/maybe.milch b/core/maybe.milch
index ef9e906..eaf2093 100644
--- a/core/maybe.milch
+++ b/core/maybe.milch
@@ -16,29 +16,7 @@
"Maybe/Just" (f (Maybe/Just/get-value m))
"Maybe/Nothing" (Maybe/nothing))))
-; TESTING
-
-;; (let print-line! (\[s]
-;; (print! (concat s "\n"))))
-
-;; (let a (Maybe/just 10))
-;; (let b (Maybe/nothing))
-
-;; (Maybe/map (+ 5) a)
-;; (Maybe/map (+ 5) b)
-
-;; (Maybe/and-then (\[n] (Maybe/just (+ n 5))) a)
-;; (Maybe/and-then (\[n] (Maybe/just (+ n 5))) b)
-
-;; (let m (Maybe/just 10))
-;; (match m
-;; (Maybe/just _)
-;; (print-line! (fmt "found just {0}!" [(Maybe/Just/get-value m)]))
-;; (Maybe/nothing)
-;; (print-line! "found nothing!"))
-
-;; (let m (Maybe/just 10))
-;; (pipe m [
-;; (Maybe/map (+ 5))
-;; (Maybe/and-then (\[val] (Maybe/just (- val 3))))
-;; ])
+(let Maybe/default (\[default m]
+ (match (kind m)
+ "Maybe/Just" (ok-f (Maybe/Just/get-value m))
+ "Result/Ex" default)))