Safe Haskell | None |
---|
Control.Monad.Indexed.Free.Class
Documentation
class IxMonad m => IxMonadFree f m | m -> f whereSource
Instances
IxFunctor f => IxMonadFree f (IxFree f) | |
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