diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-06 21:18:18 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-06 21:36:54 +0200 |
| commit | 6b9782ce4a36e93156426b5747efcc90401b6251 (patch) | |
| tree | 3a7c68ee5eb3a03ec00a0dd850bb8512eec5b84a /core/maybe.milch | |
| parent | 35bf45fe54788c6fca6b105b65fc1622a4bb7d34 (diff) | |
Add core/result.milch
Diffstat (limited to 'core/maybe.milch')
| -rw-r--r-- | core/maybe.milch | 30 |
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))) |
