From 6b9782ce4a36e93156426b5747efcc90401b6251 Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Tue, 6 Dec 2022 21:18:18 +0200 Subject: Add core/result.milch --- core/maybe.milch | 30 ++++-------------------------- 1 file changed, 4 insertions(+), 26 deletions(-) (limited to 'core/maybe.milch') 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))) -- cgit v1.3