diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/identity.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/data/identity.lux b/stdlib/source/library/lux/data/identity.lux index 851504816..be7560d60 100644 --- a/stdlib/source/library/lux/data/identity.lux +++ b/stdlib/source/library/lux/data/identity.lux @@ -9,29 +9,29 @@ [control ["." function]]]]) -(type: #export (Identity a) +(type: .public (Identity a) {#.doc (doc "A value, as is, without any extra structure super-imposed on it.")} a) -(implementation: #export functor +(implementation: .public functor (Functor Identity) (def: map function.identity)) -(implementation: #export apply +(implementation: .public apply (Apply Identity) (def: &functor ..functor) (def: (apply ff fa) (ff fa))) -(implementation: #export monad +(implementation: .public monad (Monad Identity) (def: &functor ..functor) (def: in function.identity) (def: join function.identity)) -(implementation: #export comonad +(implementation: .public comonad (CoMonad Identity) (def: &functor ..functor) |