diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/test/test/lux/control/reader.lux | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/control/state.lux | 5 | ||||
-rw-r--r-- | stdlib/test/test/lux/data/coll/list.lux | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/data/log.lux | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/data/maybe.lux | 2 | ||||
-rw-r--r-- | stdlib/test/test/lux/data/result.lux | 2 |
6 files changed, 7 insertions, 8 deletions
diff --git a/stdlib/test/test/lux/control/reader.lux b/stdlib/test/test/lux/control/reader.lux index f7aa8630f..b3e89f353 100644 --- a/stdlib/test/test/lux/control/reader.lux +++ b/stdlib/test/test/lux/control/reader.lux @@ -27,7 +27,7 @@ (let [(^open "io/") io;Monad<IO>] (test "Can add reader functionality to any monad." (|> (do (&;ReaderT io;Monad<IO>) - [a (&;lift-reader (io/wrap 123)) + [a (&;lift (io/wrap 123)) b (wrap 456)] (wrap (i.+ a b))) (&;run "") diff --git a/stdlib/test/test/lux/control/state.lux b/stdlib/test/test/lux/control/state.lux index d789010ea..cc5db9ee1 100644 --- a/stdlib/test/test/lux/control/state.lux +++ b/stdlib/test/test/lux/control/state.lux @@ -72,12 +72,11 @@ [state R;nat left R;nat right R;nat] - (let [lift (&;lift-state io;Monad<IO>) - (^open "io/") io;Monad<IO>] + (let [(^open "io/") io;Monad<IO>] (test "Can add state functionality to any monad." (|> (: (&;State' io;IO Nat Nat) (do (&;StateT io;Monad<IO>) - [a (lift (io/wrap left)) + [a (&;lift io;Monad<IO> (io/wrap left)) b (wrap right)] (wrap (n.+ a b)))) (&;run' state) diff --git a/stdlib/test/test/lux/data/coll/list.lux b/stdlib/test/test/lux/data/coll/list.lux index 7e91ed06c..7315c3013 100644 --- a/stdlib/test/test/lux/data/coll/list.lux +++ b/stdlib/test/test/lux/data/coll/list.lux @@ -209,7 +209,7 @@ )) (context: "Monad transformer" - (let [lift (&;lift-list io;Monad<IO>) + (let [lift (&;lift io;Monad<IO>) (^open "io/") io;Monad<IO>] (test "Can add list functionality to any monad." (|> (io;run (do (&;ListT io;Monad<IO>) diff --git a/stdlib/test/test/lux/data/log.lux b/stdlib/test/test/lux/data/log.lux index 959d1a65f..6286b19fb 100644 --- a/stdlib/test/test/lux/data/log.lux +++ b/stdlib/test/test/lux/data/log.lux @@ -31,7 +31,7 @@ ))) (context: "Monad transformer" - (let [lift (&;lift-log text;Monoid<Text> io;Monad<IO>) + (let [lift (&;lift text;Monoid<Text> io;Monad<IO>) (^open "io/") io;Monad<IO>] (test "Can add log functionality to any monad." (|> (io;run (do (&;LogT text;Monoid<Text> io;Monad<IO>) diff --git a/stdlib/test/test/lux/data/maybe.lux b/stdlib/test/test/lux/data/maybe.lux index 85ce7be83..2f426d65f 100644 --- a/stdlib/test/test/lux/data/maybe.lux +++ b/stdlib/test/test/lux/data/maybe.lux @@ -45,7 +45,7 @@ ))) (context: "Monad transformer" - (let [lift (&;lift-maybe io;Monad<IO>) + (let [lift (&;lift io;Monad<IO>) (^open "io/") io;Monad<IO>] (test "Can add maybe functionality to any monad." (|> (io;run (do (&;MaybeT io;Monad<IO>) diff --git a/stdlib/test/test/lux/data/result.lux b/stdlib/test/test/lux/data/result.lux index 485f56a13..498d55439 100644 --- a/stdlib/test/test/lux/data/result.lux +++ b/stdlib/test/test/lux/data/result.lux @@ -45,7 +45,7 @@ ))) (context: "Monad transformer" - (let [lift (&;lift-result io;Monad<IO>) + (let [lift (&;lift io;Monad<IO>) (^open "io/") io;Monad<IO>] (test "Can add result functionality to any monad." (|> (io;run (do (&;ResultT io;Monad<IO>) |