aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/data/identity.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/data/identity.lux')
-rw-r--r--stdlib/source/lux/data/identity.lux37
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))