From 765d25857b0472e3f9df89ac822ad36ea0502466 Mon Sep 17 00:00:00 2001 From: Jan Tuomi Date: Tue, 6 Dec 2022 17:50:19 +0200 Subject: Rename stdlib -> core, allow import without .milch suffix --- core/maybe.milch | 44 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) create mode 100644 core/maybe.milch (limited to 'core/maybe.milch') diff --git a/core/maybe.milch b/core/maybe.milch new file mode 100644 index 0000000..ef9e906 --- /dev/null +++ b/core/maybe.milch @@ -0,0 +1,44 @@ +; LIB + +(record Maybe/Just value) +(record Maybe/Nothing) + +(let Maybe/just Maybe/Just/create) +(let Maybe/nothing Maybe/Nothing/create) + +(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)))) +;; ]) -- cgit v1.3