Portability | non-portable (rank-2 polymorphism) |
---|---|

Stability | experimental |

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

Neil Ghani and Particia Johann''s higher order functors from http://crab.rutgers.edu/~pjohann/tlca07-rev.pdf

# Documentation

HFunctor ListT | |

HFunctor CoYoneda | |

HFunctor Yoneda | |

HFunctor (WriterT e) | |

HFunctor (StateT e) | |

HFunctor (ReaderT e) | |

Bifunctor p Hask Hask Hask => HFunctor (Ap p) | |

Functor f => HFunctor (CompF f) | |

Functor f => HFunctor (ACompF f) | |

Functor g => HFunctor (Lan g) | |

HFunctor (Ran g) | |

(HFunctor f, HFunctor g) => HFunctor (CompH f g) |

class HFunctor w => HCopointed w whereSource

type HCoalgebra f g = g :~> f gSource