diff options
Diffstat (limited to 'stdlib/source/library/lux/control/maybe.lux')
-rw-r--r-- | stdlib/source/library/lux/control/maybe.lux | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/control/maybe.lux b/stdlib/source/library/lux/control/maybe.lux index 2deaa50d2..ce169c875 100644 --- a/stdlib/source/library/lux/control/maybe.lux +++ b/stdlib/source/library/lux/control/maybe.lux @@ -75,7 +75,7 @@ #1 [{.#Some x} {.#Some y}] - (\ super = x y) + (# super = x y) _ #0))) @@ -84,7 +84,7 @@ (All (_ a) (-> (Hash a) (Hash (Maybe a)))) (def: &equivalence - (..equivalence (\ super &equivalence))) + (..equivalence (# super &equivalence))) (def: (hash value) (case value @@ -92,7 +92,7 @@ 0 {.#Some value} - (\ super hash value)))) + (# super hash value)))) (implementation: .public (with monad) (All (_ M) (-> (Monad M) (Monad (All (_ a) (M (Maybe a)))))) @@ -101,7 +101,9 @@ (functor.composite (value@ monad.&functor monad) ..functor)) - (def: in (|>> (\ ..monad in) (\ monad in))) + (def: in + (|>> (# ..monad in) + (# monad in))) (def: (conjoint MmMma) (do monad @@ -115,7 +117,7 @@ (def: .public (lifted monad) (All (_ M a) (-> (Monad M) (-> (M a) (M (Maybe a))))) - (\ monad each (\ ..monad in))) + (# monad each (# ..monad in))) (macro: .public (else tokens state) (case tokens |