diff options
| author | Eduardo Julian | 2018-07-10 00:24:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-07-10 00:24:01 -0400 |
| commit | eb201f6e669f802650fdf06ea1acb1ef5682297b (patch) | |
| tree | f8d1fd7dc4b10d46ac0d3ee5ca018f0907060ad0 /stdlib/source/lux/data/maybe.lux | |
| parent | 474c270f548298fc6404e9c53f038b94eba7e997 (diff) | |
- Re-named "struct:" to "structure:".
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/maybe.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/data/maybe.lux b/stdlib/source/lux/data/maybe.lux index bfdb0fbe5..dfc2a557b 100644 --- a/stdlib/source/lux/data/maybe.lux +++ b/stdlib/source/lux/data/maybe.lux @@ -12,20 +12,20 @@ ## (#.Some a)) ## [Structures] -(struct: #export Monoid<Maybe> (All [a] (m.Monoid (Maybe a))) +(structure: #export Monoid<Maybe> (All [a] (m.Monoid (Maybe a))) (def: identity #.None) (def: (compose xs ys) (case xs #.None ys (#.Some x) (#.Some x)))) -(struct: #export _ (F.Functor Maybe) +(structure: #export _ (F.Functor Maybe) (def: (map f ma) (case ma #.None #.None (#.Some a) (#.Some (f a))))) -(struct: #export _ (A.Apply Maybe) +(structure: #export _ (A.Apply Maybe) (def: functor Functor<Maybe>) (def: (apply ff fa) @@ -36,7 +36,7 @@ _ #.None))) -(struct: #export _ (Monad Maybe) +(structure: #export _ (Monad Maybe) (def: functor Functor<Maybe>) (def: (wrap x) @@ -47,7 +47,7 @@ #.None #.None (#.Some xs) xs))) -(struct: #export (Equivalence<Maybe> Equivalence<a>) (All [a] (-> (Equivalence a) (Equivalence (Maybe a)))) +(structure: #export (Equivalence<Maybe> Equivalence<a>) (All [a] (-> (Equivalence a) (Equivalence (Maybe a)))) (def: (= mx my) (case [mx my] [#.None #.None] @@ -59,7 +59,7 @@ _ false))) -(struct: #export (MaybeT Monad<M>) +(structure: #export (MaybeT Monad<M>) (All [M] (-> (Monad M) (Monad (All [a] (M (Maybe a)))))) (def: functor (F.compose (get@ #monad.functor Monad<M>) Functor<Maybe>)) |