From 9f839b97e95f56e228d78e5d29f7d31d0d3f8eb1 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 1 Jul 2017 15:44:15 -0400 Subject: - Remove the suffixes of "lift" functions for monad transformers. --- stdlib/test/test/lux/control/reader.lux | 2 +- stdlib/test/test/lux/control/state.lux | 5 ++--- stdlib/test/test/lux/data/coll/list.lux | 2 +- stdlib/test/test/lux/data/log.lux | 2 +- stdlib/test/test/lux/data/maybe.lux | 2 +- stdlib/test/test/lux/data/result.lux | 2 +- 6 files changed, 7 insertions(+), 8 deletions(-) (limited to 'stdlib/test') 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] (test "Can add reader functionality to any monad." (|> (do (&;ReaderT io;Monad) - [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) - (^open "io/") io;Monad] + (let [(^open "io/") io;Monad] (test "Can add state functionality to any monad." (|> (: (&;State' io;IO Nat Nat) (do (&;StateT io;Monad) - [a (lift (io/wrap left)) + [a (&;lift io;Monad (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) + (let [lift (&;lift io;Monad) (^open "io/") io;Monad] (test "Can add list functionality to any monad." (|> (io;run (do (&;ListT io;Monad) 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 io;Monad) + (let [lift (&;lift text;Monoid io;Monad) (^open "io/") io;Monad] (test "Can add log functionality to any monad." (|> (io;run (do (&;LogT text;Monoid io;Monad) 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) + (let [lift (&;lift io;Monad) (^open "io/") io;Monad] (test "Can add maybe functionality to any monad." (|> (io;run (do (&;MaybeT io;Monad) 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) + (let [lift (&;lift io;Monad) (^open "io/") io;Monad] (test "Can add result functionality to any monad." (|> (io;run (do (&;ResultT io;Monad) -- cgit v1.2.3