diff options
author | Eduardo Julian | 2019-02-04 00:19:57 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-02-04 00:19:57 -0400 |
commit | 71a6928d3db3b05144c33516db307d5975a94dee (patch) | |
tree | fe087b91903c0dda41bfa84423d4958e1778f1b6 /stdlib/source/lux/data/identity.lux | |
parent | cf9e3fa6fef24cc0828ab882661fa96dc6f2570d (diff) |
Changed the naming style for structures.
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)) |