Safe Haskell | None |
---|
Documentation
newtype IxFreeT f m i j a Source
IxFreeT | |
|
(Monad m, IxFunctor f) => IxMonadFree f (IxFreeT f m) | |
(Monad m, IxFunctor f) => IxMonad (IxFreeT f m) | |
(Monad m, IxFunctor f) => IxFunctor (IxFreeT f m) | |
(Monad m, IxFunctor f) => IxApplicative (IxFreeT f m) | |
(Monad m, IxFunctor f) => IxPointed (IxFreeT f m) | |
(Monad m, IxFunctor f) => Monad (IxFreeT f m i i) | |
(Monad m, IxFunctor f) => Functor (IxFreeT f m i i) | |
(Monad m, IxFunctor f) => Applicative (IxFreeT f m i i) |