Portability | portable |
---|---|
Stability | experimental |
Maintainer | Reiner Pope <reiner.pope@gmail.com> |
Safe Haskell | Safe-Infered |
Documentation
class IxPointed m => IxApplicative m whereSource
class IxApplicative m => IxMonad m whereSource
class IxMonad m => IxMonadZero m whereSource
class IxMonadZero m => IxMonadPlus m whereSource
iapIxMonad :: IxMonad m => m i j (a -> b) -> m j k a -> m i k bSource