diff options
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/common.lisp | 17 | ||||
| -rw-r--r-- | stdlib/maybe.lisp | 59 |
2 files changed, 25 insertions, 51 deletions
diff --git a/stdlib/common.lisp b/stdlib/common.lisp index efb1183..4d5b132 100644 --- a/stdlib/common.lisp +++ b/stdlib/common.lisp @@ -67,20 +67,3 @@ (let! flow (\[fs] (foldr compose id (reverse fs)))) (let! pipe (\[x fs] ((flow fs) x))) - -(let! lazy exports [ - compose - id - mod - not - is-even - is-odd - map - foldr - filter - fibo - reverse_ - reverse - flow - pipe -]) diff --git a/stdlib/maybe.lisp b/stdlib/maybe.lisp index 0bc7ac4..07adaee 100644 --- a/stdlib/maybe.lisp +++ b/stdlib/maybe.lisp @@ -1,60 +1,51 @@ ; LIB -(let! just (\[a] +(let! Maybe/just (\[a] ["maybe" "just" a])) -(let! nothing (\[] +(let! Maybe/nothing (\[] ["maybe" "nothing"])) -(let! unsafe-at (\[n seq] +(let! Maybe/#at (\[n seq] (match seq [] - (fatal! "unsafe-at out of bounds") + (fatal! "Maybe/#at out of bounds") otherwise (match n 0 (head seq) otherwise - (unsafe-at (- n 1) (tail seq)))))) + (Maybe/#at (- n 1) (tail seq)))))) -(let! unpack-just (unsafe-at 2)) -(let! kind (unsafe-at 1)) +(let! Maybe/unpack (Maybe/#at 2)) +(let! Maybe/kind (Maybe/#at 1)) -(let! map (\[f m] - (match (kind m) - "just" (just (f (unpack-just m))) - "nothing" (nothing)))) +(let! Maybe/map (\[f m] + (match (Maybe/kind m) + "just" (Maybe/just (f (Maybe/unpack m))) + "nothing" (Maybe/nothing)))) -(let! and-then (\[f m] - (match (kind m) - "just" (f (unpack-just m)) - "nothing" (nothing)))) +(let! Maybe/and-then (\[f m] + (match (Maybe/kind m) + "just" (f (Maybe/unpack m)) + "nothing" (Maybe/nothing)))) ; TESTING ;; (let! print-line! (\[s] ;; (print! (concat s "\n")))) -;; (let! a (just 10)) -;; (let! b (nothing)) +;; (let! a (Maybe/just 10)) +;; (let! b (Maybe/nothing)) -;; (map (+ 5) a) -;; (map (+ 5) b) +;; (Maybe/map (+ 5) a) +;; (Maybe/map (+ 5) b) -;; (and-then (\[n] (just (+ n 5))) a) -;; (and-then (\[n] (just (+ n 5))) b) +;; (Maybe/and-then (\[n] (Maybe/just (+ n 5))) a) +;; (Maybe/and-then (\[n] (Maybe/just (+ n 5))) b) -;; (let! m (just 10)) +;; (let! m (Maybe/just 10)) ;; (match m -;; (just _) -;; (print-line! (fmt "found just {0}!" [(unpack-just m)])) -;; (nothing) +;; (Maybe/just _) +;; (print-line! (fmt "found just {0}!" [(Maybe/unpack m)])) +;; (Maybe/nothing) ;; (print-line! "found nothing!")) - -(let! lazy exports [ - just - nothing - unpack-just - kind - map - and-then -]) |
