| Portability | portable |
|---|---|
| Stability | experimental |
| Maintainer | Edward Kmett <[email protected]> |
Control.Functor.Pointed
Description
Documentation
class Functor f => Pointed f whereSource
Instances
| 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
Instances
| Copointed Identity | |
| Copointed Supply | |
| Monoid m => Copointed ((->) m) | |
| Copointed ((,) e) | |
| Copointed (Context s) | |
| Monoid m => Copointed (Exp m) | |
| 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
Instances
| Functor f => PCopointed (PCofree f) | |
| (Copointed f, PCopointed p) => PCopointed (Of f p) |