aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/test/test/lux/control/reader.lux2
-rw-r--r--stdlib/test/test/lux/control/state.lux5
-rw-r--r--stdlib/test/test/lux/data/coll/list.lux2
-rw-r--r--stdlib/test/test/lux/data/log.lux2
-rw-r--r--stdlib/test/test/lux/data/maybe.lux2
-rw-r--r--stdlib/test/test/lux/data/result.lux2
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>)