diff options
| author | Eduardo Julian | 2019-02-24 21:30:10 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-02-24 21:30:10 -0400 |
| commit | 2ae7dc30bf91d709a6038871e9c967dafb15cf49 (patch) | |
| tree | e8643c571c640b6f4b81723f95a6573f6b87c01b /stdlib/source/test | |
| parent | a72e34d30eaf3557f9b76ced9605a95759ce8eca (diff) | |
Improved the names of monad transformers.
Diffstat (limited to 'stdlib/source/test')
| -rw-r--r-- | stdlib/source/test/lux/control/reader.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/state.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/writer.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/host/jvm.jvm.lux | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/control/reader.lux b/stdlib/source/test/lux/control/reader.lux index f1d80f703..2d83244d6 100644 --- a/stdlib/source/test/lux/control/reader.lux +++ b/stdlib/source/test/lux/control/reader.lux @@ -47,7 +47,7 @@ (let [(^open "io/.") io.monad] (_.test "Can add reader functionality to any monad." (|> (: (/.Reader Any (IO Nat)) - (do (/.with-reader io.monad) + (do (/.with io.monad) [a (/.lift (io/wrap sample)) b (wrap factor)] (wrap (n/* b a)))) diff --git a/stdlib/source/test/lux/control/state.lux b/stdlib/source/test/lux/control/state.lux index 044ff11ff..49cbbcb15 100644 --- a/stdlib/source/test/lux/control/state.lux +++ b/stdlib/source/test/lux/control/state.lux @@ -108,7 +108,7 @@ (let [(^open "io/.") io.monad] (_.test "Can add state functionality to any monad." (|> (: (/.State' io.IO Nat Nat) - (do (/.with-state io.monad) + (do (/.with io.monad) [a (/.lift io.monad (io/wrap left)) b (wrap right)] (wrap (n/+ a b)))) diff --git a/stdlib/source/test/lux/control/writer.lux b/stdlib/source/test/lux/control/writer.lux index 87d2de77a..bed2d68d1 100644 --- a/stdlib/source/test/lux/control/writer.lux +++ b/stdlib/source/test/lux/control/writer.lux @@ -48,7 +48,7 @@ (let [lift (/.lift text.monoid io.monad) (^open "io/.") io.monad] (_.test "Can add writer functionality to any monad." - (|> (io.run (do (/.with-writer text.monoid io.monad) + (|> (io.run (do (/.with text.monoid io.monad) [a (lift (io/wrap left)) b (wrap right)] (wrap (n/+ a b)))) diff --git a/stdlib/source/test/lux/host/jvm.jvm.lux b/stdlib/source/test/lux/host/jvm.jvm.lux index d8224d214..73cf967f9 100644 --- a/stdlib/source/test/lux/host/jvm.jvm.lux +++ b/stdlib/source/test/lux/host/jvm.jvm.lux @@ -37,7 +37,7 @@ (-> Text Binary (IO Text)) (let [file-path (format name ".class")] (do io.monad - [outcome (do (error.with-error @) + [outcome (do (error.with @) [file (: (IO (Error (File IO))) (file.get-file io.monad file.system file-path))] (!.use (:: file over-write) bytecode))] |