diff options
author | Eduardo Julián | 2021-07-14 14:44:53 -0400 |
---|---|---|
committer | GitHub | 2021-07-14 14:44:53 -0400 |
commit | 89ca40f2f101b2b38187eab5cf905371cd47eb57 (patch) | |
tree | f05fd1677a70988c6b39c07e52d031d86eff28f1 /stdlib/source/lux/data/identity.lux | |
parent | 2431e767a09894c2f685911ba7f1ba0b7de2a165 (diff) | |
parent | 8252bdb938a0284dd12e7365b4eb84b5357bacac (diff) |
Merge pull request #58 from LuxLang/hierarchy_normalization
Hierarchy normalization
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)) |