Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
This module is the indexed version of Control.Monad.Trans.Free
Free monad transformers
Indexed free monad transformers lift the constructor signatures to
the category of indexed Haskell functions: (:->
).
Return :: r :-> IFreeF f r x Wrap :: f x :-> IFreeF f r x IFreeT :: m (IFreeF f r (IFreeT f m r)) :-> IFreeT f m r
Indexed equivalent to FreeT