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 --- stdlib/maybe.milch | 44 -------------------------------------------- 1 file changed, 44 deletions(-) delete mode 100644 stdlib/maybe.milch (limited to 'stdlib/maybe.milch') diff --git a/stdlib/maybe.milch b/stdlib/maybe.milch deleted file mode 100644 index ef9e906..0000000 --- a/stdlib/maybe.milch +++ /dev/null @@ -1,44 +0,0 @@ -; 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