Portability | portable |
---|---|

Stability | experimental |

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

# Documentation

class Functor f => Pointed f whereSource

Pointed [] | |

Pointed Maybe | |

Pointed Identity | |

Pointed (Either a) | |

PPointed f => Pointed (FixB f) | |

Pointed f => Pointed (EitherT a f) | |

(HPointed h, Pointed f) => Pointed (LowerH h f) | |

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

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

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

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

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

(Pointed f, Pointed g) => Pointed (BifunctorF (,) f g) |

class Functor f => Copointed f whereSource

Copointed Identity | |

Copointed Supply | |

Copointed ((,) e) | |

Ix i => Copointed (Pointer i) | |

Copointed (Context s) | |

Copointed (ReaderC r) | |

PCopointed f => Copointed (FixB f) | |

(HCopointed h, Copointed f) => Copointed (LowerH h f) | |

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

(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) | |

Copointed (ContextT b w) | |

Copointed w => Copointed (ReaderCT w b) | |

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