From 2ae7dc30bf91d709a6038871e9c967dafb15cf49 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 24 Feb 2019 21:30:10 -0400 Subject: Improved the names of monad transformers. --- stdlib/source/test/lux/control/reader.lux | 2 +- stdlib/source/test/lux/control/state.lux | 2 +- stdlib/source/test/lux/control/writer.lux | 2 +- stdlib/source/test/lux/host/jvm.jvm.lux | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) (limited to 'stdlib/source/test') 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))] -- cgit v1.2.3