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