diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/function/reader.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/function/reader.lux b/stdlib/source/lux/function/reader.lux index 955b4bba3..598bfc670 100644 --- a/stdlib/source/lux/function/reader.lux +++ b/stdlib/source/lux/function/reader.lux @@ -12,31 +12,31 @@ ## [Structures] (struct: #export Functor<Reader> (All [r] (Functor (Reader r))) (def: (map f fa) - (lambda [env] + (function [env] (f (fa env))))) (struct: #export Applicative<Reader> (All [r] (Applicative (Reader r))) (def: functor Functor<Reader>) (def: (wrap x) - (lambda [env] x)) + (function [env] x)) (def: (apply ff fa) - (lambda [env] + (function [env] ((ff env) (fa env))))) (struct: #export Monad<Reader> (All [r] (Monad (Reader r))) (def: applicative Applicative<Reader>) (def: (join mma) - (lambda [env] + (function [env] (mma env env)))) ## [Values] (def: #export ask {#;doc "Get the environment."} (All [r] (Reader r r)) - (lambda [env] env)) + (function [env] env)) (def: #export (local change reader-proc) {#;doc "Run computation with a locally-modified environment."} @@ -52,7 +52,7 @@ (All [M] (-> (Monad M) (All [e] (Monad (All [a] (Reader e (M a))))))) (def: applicative (compA Applicative<Reader> (get@ #M;applicative Monad<M>))) (def: (join eMeMa) - (lambda [env] + (function [env] (do Monad<M> [eMa (run env eMeMa)] (run env eMa))))) |