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
iapIxMonad :: IxMonad m => m i j (a -> b) -> m j k a -> m i k bSource