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

(Bifunctor f Hask Hask Hask, PPointed f) => Pointed (Fix f) | |

Functor f => Pointed (Ideal f) | |

Pointed f => Pointed (CoYoneda f) | |

Pointed f => Pointed (Yoneda f) | |

Pointed (Codensity f) | |

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

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

Pointed (IxCont i i) | |

(Pointed f, Pointed g) => Pointed (:*: f g) | |

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

Monoid t => Pointed (Const2 t a) | |

Monad m => Pointed (IxContT m i i) | |

(Pointed f, Pointed (p a)) => Pointed (Of f p a) |

class Functor f => Copointed f whereSource

Copointed Identity | |

Copointed Supply | |

Copointed ((,) e) | |

Copointed (Context s) | |

Ix i => Copointed (Pointer i) | |

Copointed (Coreader r) | |

(Bifunctor f Hask Hask Hask, PCopointed f) => Copointed (Fix f) | |

Copointed (Density f) | |

Functor f => Copointed (Coideal f) | |

Copointed w => Copointed (CoYoneda w) | |

Copointed f => Copointed (Yoneda f) | |

Copointed (ContextT b w) | |

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

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

(Copointed f, Copointed g) => Copointed (:+: f g) | |

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 f, Copointed (p a)) => Copointed (Of f p a) |

class PFunctor f Hask Hask => PCopointed f whereSource

Functor f => PCopointed (PCofree f) | |

(Copointed f, PCopointed p) => PCopointed (Of f p) |