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

Stability | experimental |

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

# Documentation

class Functor f => Copointed f whereSource

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

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

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

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

Adjunction f g => Copointed (ACompF f g) | |

(Copointed f, Copointed g) => Copointed (BifunctorF Either f g) |