aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/data/env.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/data/env.lux25
1 files changed, 0 insertions, 25 deletions
diff --git a/stdlib/source/lux/data/env.lux b/stdlib/source/lux/data/env.lux
deleted file mode 100644
index 7e4265e6a..000000000
--- a/stdlib/source/lux/data/env.lux
+++ /dev/null
@@ -1,25 +0,0 @@
-(.module:
- [lux #*
- [abstract
- [functor (#+ Functor)]
- comonad]])
-
-(type: #export (Env e a)
- {#env e
- #value a})
-
-(structure: #export functor (All [e] (Functor (Env e)))
- (def: (map f fa)
- (update@ #value f fa)))
-
-(structure: #export comonad (All [e] (CoMonad (Env e)))
- (def: &functor ..functor)
-
- (def: unwrap (get@ #value))
-
- (def: (split wa)
- (set@ #value wa wa)))
-
-(def: #export (local change env)
- (All [e a] (-> (-> e e) (Env e a) (Env e a)))
- (update@ #env change env))