Portability | non-portable (rank-2 polymorphism) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
Documentation
class IxPointed m => IxApplicative m whereSource
IxApplicative IxCont | |
IxApplicative IxState | |
Monad m => IxApplicative (IxContT m) | |
Monad m => IxApplicative (IxStateT m) |
class IxApplicative m => IxMonad m whereSource
class IxMonad m => IxMonadZero m whereSource
MonadPlus m => IxMonadZero (IxStateT m) |
class IxMonadZero m => IxMonadPlus m whereSource
MonadPlus m => IxMonadPlus (IxStateT m) |
iapIxMonad :: IxMonad m => m i j (a -> b) -> m j k a -> m i k bSource