diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/data/identity.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/lux/data/identity.lux b/stdlib/source/lux/data/identity.lux index b14658619..969b89e4d 100644 --- a/stdlib/source/lux/data/identity.lux +++ b/stdlib/source/lux/data/identity.lux @@ -10,20 +10,20 @@ a) ## [Structures] -(struct: #export _ (F.Functor Identity) +(structure: #export _ (F.Functor Identity) (def: map id)) -(struct: #export _ (A.Apply Identity) +(structure: #export _ (A.Apply Identity) (def: functor Functor<Identity>) (def: (apply ff fa) (ff fa))) -(struct: #export _ (Monad Identity) +(structure: #export _ (Monad Identity) (def: functor Functor<Identity>) (def: wrap id) (def: join id)) -(struct: #export _ (CoMonad Identity) +(structure: #export _ (CoMonad Identity) (def: functor Functor<Identity>) (def: unwrap id) (def: split id)) |