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) |
Safe Haskell | None |
---|
class IxMonad m => IxMonadFree f m | m -> f whereSource
IxFunctor f => IxMonadFree f (IxFree f) | |
(Monad m, IxFunctor f) => IxMonadFree f (IxFreeT f m) |