diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/data/env.lux | 25 |
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)) |