diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/control/reader.lux | 20 |
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)) |