diff options
Diffstat (limited to 'stdlib/source/lux/data/identity.lux')
-rw-r--r-- | stdlib/source/lux/data/identity.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/lux/data/identity.lux b/stdlib/source/lux/data/identity.lux index 7a41cb69f..6f1fc60ef 100644 --- a/stdlib/source/lux/data/identity.lux +++ b/stdlib/source/lux/data/identity.lux @@ -1,8 +1,8 @@ (.module: [lux #* [control - ["F" functor] - ["A" apply] + [functor (#+ Functor)] + [apply (#+ Apply)] ["M" monad #*] ["CM" comonad #*]]]) @@ -11,20 +11,20 @@ a) ## [Structures] -(structure: #export _ (F.Functor Identity) +(structure: #export functor (Functor Identity) (def: map id)) -(structure: #export _ (A.Apply Identity) - (def: functor Functor<Identity>) +(structure: #export apply (Apply Identity) + (def: &functor ..functor) (def: (apply ff fa) (ff fa))) -(structure: #export _ (Monad Identity) - (def: functor Functor<Identity>) +(structure: #export monad (Monad Identity) + (def: &functor ..functor) (def: wrap id) (def: join id)) -(structure: #export _ (CoMonad Identity) - (def: functor Functor<Identity>) +(structure: #export comonad (CoMonad Identity) + (def: &functor ..functor) (def: unwrap id) (def: split id)) |