Portability | non-portable (functional-dependencies) |
---|---|

Stability | experimental |

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

Based on the construction of hyperfunctions as parameterized monads in http://crab.rutgers.edu/~pjohann/f14-ghani.pdf

# Documentation

class ContraFunctor f whereSource

ContraFunctor (Const a) | |

ContraFunctor (ContraF a) | |

ContraFunctor (Const2 t a) | |

(Bifunctor p Hask Hask Hask, ContraFunctor f, ContraFunctor g) => ContraFunctor (Lift p f g) |

ContraFunctor h => PPointed (PHyper h) | |

ContraFunctor h => PApplicative (PHyper h) | |

ContraFunctor h => PMonad (PHyper h) | |

ContraFunctor h => QFunctor (PHyper h) Hask Hask | |

PFunctor (PHyper h) Hask Hask | |

ContraFunctor h => Bifunctor (PHyper h) Hask Hask Hask |