Merge pull request #54 from natefaubion/subst-free

Add substFree

Author: garyb

src/Control/Monad/Free.purs

@@ -6,6 +6,7 @@ module Control.Monad.Free
   , hoistFree
   , injF
   , foldFree
+  , substFree
   , runFree
   , runFreeM
   , resume
@@ -90,7 +91,7 @@ suspendF f = fromView (Bind (unsafeCoerceF (pure f)) unsafeCoerceVal)
 -- | Use a natural transformation to change the generating type constructor of a
 -- | free monad.
 hoistFree :: forall f g. (f ~> g) -> Free f ~> Free g
-hoistFree k = foldFree (liftF <<< k)
+hoistFree k = substFree (liftF <<< k)
 
 -- | Embed computations in one `Free` monad as computations in the `Free` monad
 -- | for a coproduct type constructor.
@@ -112,6 +113,16 @@ foldFree k = tailRecM go
     Return a -> Right <$> pure a
     Bind g i -> (Left <<< i) <$> k g
 
+-- | Like `foldFree`, but for folding into some other Free monad without the
+-- | overhead that `MonadRec` incurs.
+substFree :: forall f g. (f ~> Free g) -> Free f ~> Free g
+substFree k = go
+  where
+  go :: Free f ~> Free g
+  go f = case toView f of
+    Return a -> pure a
+    Bind g i -> k g >>= go <$> i
+
 -- | Run a free monad with a function that unwraps a single layer of the functor
 -- | `f` at a time.
 runFree :: forall f a. Functor f => (f (Free f a) -> Free f a) -> Free f a -> a