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

Stability | experimental |

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

extending Neil Ghani and Patrician Johann's HFunctor to higher order comonads

# 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

class HCopointed w => HComonad w whereSource