Safe Haskell | None |
---|
Documentation
class IxMonad m => IxMonadFree f m | m -> f whereSource
IxFunctor f => IxMonadFree f (IxFree f) | |
(Monad m, IxFunctor f) => IxMonadFree f (IxFreeT f m) |
iliftFree :: (IxFunctor f, IxMonadFree f m) => f i j a -> m i j aSource