Copyright | (C) 2008 Edward Kmett |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | Reiner Pope <reiner.pope@gmail.com> |

Stability | experimental |

Portability | portable |

Safe Haskell | Safe |

Language | Haskell98 |

# Documentation

class IxPointed m => IxApplicative m where Source #

class IxApplicative m => IxMonad m where Source #

class IxMonadZero m => IxMonadPlus m where Source #

iapIxMonad :: IxMonad m => m i j (a -> b) -> m j k a -> m i k b Source #