aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/reader.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/control/reader.lux20
1 files changed, 10 insertions, 10 deletions
diff --git a/stdlib/source/library/lux/control/reader.lux b/stdlib/source/library/lux/control/reader.lux
index 8c46ef9a8..947c18b21 100644
--- a/stdlib/source/library/lux/control/reader.lux
+++ b/stdlib/source/library/lux/control/reader.lux
@@ -1,38 +1,38 @@
(.module:
[library
- [lux #*
+ [lux (#- local)
[abstract
[apply (#+ Apply)]
["." functor (#+ Functor)]
["." monad (#+ Monad do)]]]])
-(type: #export (Reader r a)
+(type: .public (Reader r a)
{#.doc "Computations that have access to some environmental value."}
(-> r a))
-(def: #export ask
+(def: .public ask
{#.doc "Get the environment."}
(All [r] (Reader r r))
(function (_ env) env))
-(def: #export (local change proc)
+(def: .public (local change proc)
{#.doc "Run computation with a locally-modified environment."}
(All [r a] (-> (-> r r) (Reader r a) (Reader r a)))
(|>> change proc))
-(def: #export (run env proc)
+(def: .public (run env proc)
{#.doc (doc "Executes the reader against the given environment.")}
(All [r a] (-> r (Reader r a) a))
(proc env))
-(implementation: #export functor
+(implementation: .public functor
(All [r] (Functor (Reader r)))
(def: (map f fa)
(function (_ env)
(f (fa env)))))
-(implementation: #export apply
+(implementation: .public apply
(All [r] (Apply (Reader r)))
(def: &functor ..functor)
@@ -41,7 +41,7 @@
(function (_ env)
((ff env) (fa env)))))
-(implementation: #export monad
+(implementation: .public monad
(All [r] (Monad (Reader r)))
(def: &functor ..functor)
@@ -53,7 +53,7 @@
(function (_ env)
(mma env env))))
-(implementation: #export (with monad)
+(implementation: .public (with monad)
{#.doc "Monad transformer for Reader."}
(All [M] (-> (Monad M) (All [e] (Monad (All [a] (Reader e (M a)))))))
@@ -67,7 +67,7 @@
[eMa (run env eMeMa)]
(run env eMa)))))
-(def: #export lift
+(def: .public lift
{#.doc "Lift monadic values to the Reader wrapper."}
(All [M e a] (-> (M a) (Reader e (M a))))
(\ ..monad in))