freeT function

Author: paf31

docs/Control/Monad/Free/Trans.md

@@ -21,6 +21,14 @@ instance monadTransFreeT :: (Functor f) => MonadTrans (FreeT f)
 instance monadRecFreeT :: (Functor f, Monad m) => MonadRec (FreeT f m)
 ```
 
+#### `freeT`
+
+``` purescript
+freeT :: forall f m a. (Unit -> m (Either a (f (FreeT f m a)))) -> FreeT f m a
+```
+
+Construct a computation of type `FreeT`.
+
 #### `resume`
 
 ``` purescript

src/Control/Monad/Free/Trans.purs

@@ -2,6 +2,7 @@
 
 module Control.Monad.Free.Trans
   ( FreeT()
+  , freeT
   , liftFreeT
   , hoistFreeT
   , interpret
@@ -33,6 +34,10 @@ bound m f = Bind (mkExists (Bound m f))
 -- | The free monad transformer for the functor `f`.
 data FreeT f m a = FreeT (Unit -> m (Either a (f (FreeT f m a)))) | Bind (Exists (Bound f m a))
 
+-- | Construct a computation of type `FreeT`.
+freeT :: forall f m a. (Unit -> m (Either a (f (FreeT f m a)))) -> FreeT f m a
+freeT = FreeT
+
 -- | Unpack `FreeT`, exposing the first step of the computation.
 resume :: forall f m a. (Functor f, MonadRec m) => FreeT f m a -> m (Either a (f (FreeT f m a)))
 resume = tailRecM go