Update tests

Author: thomashoneyman

test/Test/Control/Monad/Free/Coproduct.purs

@@ -2,7 +2,7 @@ module Test.Control.Monad.Free.Coproduct where
 
 import Prelude
 
-import Control.Monad.Free (Free, liftF, hoistFree, foldFree)
+import Control.Monad.Free (Free, hoist, interpret, lift)
 import Data.Functor.Coproduct (Coproduct, coproduct, left, right)
 import Effect (Effect)
 import Effect.Console (log)
@@ -12,34 +12,34 @@ data Teletype1F a = Print1 String a
 type Teletype1 a = Free Teletype1F a
 
 print1 :: String -> Teletype1 Unit
-print1 a = liftF (Print1 a unit)
+print1 a = lift (Print1 a unit)
 
 data Teletype2F a = Print2 String a
 
 type Teletype2 a = Free Teletype2F a
 
 print2 :: String -> Teletype2 Unit
-print2 a = liftF (Print2 a unit)
+print2 a = lift (Print2 a unit)
 
 data Teletype3F a = Print3 String a
 
 type Teletype3 a = Free Teletype3F a
 
 print3 :: String -> Teletype3 Unit
-print3 a = liftF (Print3 a unit)
+print3 a = lift (Print3 a unit)
 
 type TF = Coproduct Teletype1F (Coproduct Teletype2F Teletype3F)
 
 type T a = Free TF a
 
 r :: T Unit
-r = hoistFree left (print1 "1")
+r = hoist left (print1 "1")
 
 s :: T Unit
-s = hoistFree (right <<< left) (print2 "2")
+s = hoist (right <<< left) (print2 "2")
 
 t :: T Unit
-t = hoistFree (right <<< right) (print3 "3")
+t = hoist (right <<< right) (print3 "3")
 
 u :: T Unit
 u =  r *> s *> t
@@ -57,7 +57,7 @@ tN :: TF ~> Effect
 tN = coproduct teletype1N $ coproduct teletype2N teletype3N
 
 run :: T ~> Effect
-run = foldFree tN
+run = interpret tN
 
 main :: Effect Unit
 main = run u

test/Test/Control/Monad/Free/Stratified.purs

@@ -2,7 +2,7 @@ module Test.Control.Monad.Free.Stratified where
 
 import Prelude
 
-import Control.Monad.Free (Free, foldFree, liftF)
+import Control.Monad.Free (Free, interpret, lift)
 import Effect (Effect)
 import Effect.Console (log)
 
@@ -14,14 +14,14 @@ data TeletypeF a
 type Teletype = Free TeletypeF
 
 putStrLn :: String -> Teletype Unit
-putStrLn s = liftF $ PutStrLn s unit
+putStrLn s = lift $ PutStrLn s unit
 
 getLine :: Teletype String
-getLine = liftF $ GetLine identity
+getLine = lift $ GetLine identity
 
 -- | Interpreter for `Teletype`, producing an effectful output
 runTeletype :: Teletype ~> Effect
-runTeletype = foldFree go
+runTeletype = interpret go
   where
   go :: TeletypeF ~> Effect
   go (PutStrLn s next) = log s $> next
@@ -35,17 +35,17 @@ data InitialF a
 type Initial = Free InitialF
 
 greet :: Initial String
-greet = liftF $ Greet identity
+greet = lift $ Greet identity
 
 farewell :: Initial Unit
-farewell = liftF $ Farewell unit
+farewell = lift $ Farewell unit
 
 -- | Interpreter for `Initial`, producing a `Teletype` output. `foldFree` allows
 -- | us to map one action in `InitialF` to multiple actions in `TeletypeF` (see
 -- | the `Greet` case - we're expanding one `InitialF` action into 3 `TeletypeF`
 -- | actions).
 runInitial :: Initial ~> Teletype
-runInitial initial = foldFree go initial
+runInitial initial = interpret go initial
   where
   go :: InitialF ~> Teletype
   go (Greet k) = do

test/Test/Control/Monad/Free/Teletype.purs

@@ -2,26 +2,26 @@ module Test.Control.Monad.Free.Teletype where
 
 import Prelude
 
+import Control.Monad.Free (Free, interpret, lift)
 import Effect (Effect)
 import Effect.Console (log)
-import Control.Monad.Free (Free, foldFree, liftF)
 
 data TeletypeF a = PutStrLn String a | GetLine (String -> a)
 
 type Teletype a = Free TeletypeF a
 
 putStrLn :: String -> Teletype Unit
-putStrLn s = liftF (PutStrLn s unit)
+putStrLn s = lift (PutStrLn s unit)
 
 getLine :: Teletype String
-getLine = liftF (GetLine identity)
+getLine = lift (GetLine identity)
 
 teletypeN :: TeletypeF ~> Effect
 teletypeN (PutStrLn s a) = const a <$> log s
 teletypeN (GetLine k) = pure (k "fake input")
 
 run :: Teletype ~> Effect
-run = foldFree teletypeN
+run = interpret teletypeN
 
 echo :: Teletype String
 echo = do