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