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 ContravariantFunctor f whereSource

ContravariantFunctor (ContraF a) | |

ContravariantFunctor (ConstantF a) | |

ContravariantFunctor (FstB a) | |

ContravariantFunctor (ConstB t a) | |

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

ContravariantFunctor h => Bifunctor (HyperB h) | |

ContravariantFunctor h => PPointed (HyperB h) | |

ContravariantFunctor h => PApplicative (HyperB h) | |

ContravariantFunctor h => PMonad (HyperB h) |