diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-05 11:03:32 +0200 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-05 14:21:53 +0200 |
| commit | ac6b455f4a9be11d322551a927c4330532f9f184 (patch) | |
| tree | c5dd421f4aeb8ca60eadabc5cc7edf03ae58e743 /stdlib | |
| parent | 9f4ca350ee81a874b0c838c2e82076efde6db8b2 (diff) | |
Add record, union concepts
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/maybe-with-unions.lisp | 42 | ||||
| -rw-r--r-- | stdlib/maybe.lisp | 4 |
2 files changed, 44 insertions, 2 deletions
diff --git a/stdlib/maybe-with-unions.lisp b/stdlib/maybe-with-unions.lisp new file mode 100644 index 0000000..53a5024 --- /dev/null +++ b/stdlib/maybe-with-unions.lisp @@ -0,0 +1,42 @@ +; LIB + +(union! Maybe + (just value) + (nothing)) + +(let! Maybe/map (\[f m] + (match (kind m) + "Maybe/Just" (Maybe/just (f (Maybe/Just/get-value m))) + "Maybe/Nothing" (Maybe/nothing)))) + +(let! Maybe/and-then (\[f m] + (match (kind m) + "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)))) +;; ]) diff --git a/stdlib/maybe.lisp b/stdlib/maybe.lisp index 07adaee..086b0dc 100644 --- a/stdlib/maybe.lisp +++ b/stdlib/maybe.lisp @@ -1,9 +1,9 @@ ; LIB (let! Maybe/just (\[a] - ["maybe" "just" a])) + ["Maybe" "just" a])) (let! Maybe/nothing (\[] - ["maybe" "nothing"])) + ["Maybe" "nothing"])) (let! Maybe/#at (\[n seq] (match seq |