diff options
Diffstat (limited to 'stdlib/source/lux/data/identity.lux')
-rw-r--r-- | stdlib/source/lux/data/identity.lux | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/stdlib/source/lux/data/identity.lux b/stdlib/source/lux/data/identity.lux deleted file mode 100644 index 35b44ec62..000000000 --- a/stdlib/source/lux/data/identity.lux +++ /dev/null @@ -1,37 +0,0 @@ -(.module: - [lux #* - [abstract - [functor (#+ Functor)] - [apply (#+ Apply)] - [monad (#+ Monad)] - [comonad (#+ CoMonad)]] - [control - ["." function]]]) - -(type: #export (Identity a) - a) - -(implementation: #export functor - (Functor Identity) - - (def: map function.identity)) - -(implementation: #export apply - (Apply Identity) - - (def: &functor ..functor) - (def: (apply ff fa) (ff fa))) - -(implementation: #export monad - (Monad Identity) - - (def: &functor ..functor) - (def: wrap function.identity) - (def: join function.identity)) - -(implementation: #export comonad - (CoMonad Identity) - - (def: &functor ..functor) - (def: unwrap function.identity) - (def: split function.identity)) |