diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/data/env.lux | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/source/lux/data/env.lux b/stdlib/source/lux/data/env.lux index 134220215..2c8d01fcd 100644 --- a/stdlib/source/lux/data/env.lux +++ b/stdlib/source/lux/data/env.lux @@ -1,18 +1,19 @@ (.module: [lux #* - [control ["F" functor] + [control + [functor (#+ Functor)] comonad]]) (type: #export (Env e a) {#env e #value a}) -(structure: #export Functor<Env> (All [e] (F.Functor (Env e))) +(structure: #export functor (All [e] (Functor (Env e))) (def: (map f fa) (update@ #value f fa))) -(structure: #export CoMonad<Env> (All [e] (CoMonad (Env e))) - (def: functor Functor<Env>) +(structure: #export comonad (All [e] (CoMonad (Env e))) + (def: &functor ..functor) (def: unwrap (get@ #value)) |