Portability | non-portable (class-associated types) |
---|---|

Stability | experimental |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Exponential functors, see http://comonad.com/reader/2008/rotten-bananas/

# Documentation

class ExpFunctor f whereSource

ExpFunctor (ConstantF a) | |

ExpFunctor (FstB a) | |

(ExpFunctor f, ExpFunctor g) => ExpFunctor (CompF f g) | |

(ExpFunctor f, ExpFunctor g) => ExpFunctor (ACompF f g) | |

(ExpFunctor f, ExpFunctor g) => ExpFunctor (DistCompF f g) | |

(ExpFunctor f, ExpFunctor mw) => ExpFunctor (PreCompF f mw) | |

(ExpFunctor mw, ExpFunctor f) => ExpFunctor (PostCompF mw f) | |

(ExpFunctor f, ExpFunctor g) => ExpFunctor (PointedCompF f g) | |

ExpFunctor (ConstB t a) | |

(Bifunctor p, ExpFunctor f, ExpFunctor g) => ExpFunctor (BifunctorF p f g) |