Control.Functor.Pointed

Documentation

class Functor f => Pointed f where

Methods

point :: a -> f a

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 where

Methods

extract :: f a -> a

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 => PPointed f where

Methods

preturn :: a -> f a c

Instances

ContraFunctor h => PPointed (PHyper h)

FunctorPlus f => PPointed (PCofree f)

Functor f => PPointed (PFree f)

Monoid t => PPointed (Const2 t)

(Pointed f, PPointed p) => PPointed (Of f p)

class PFunctor f Hask Hask => PCopointed f where

Methods

pextract :: f a c -> a

Instances

Functor f => PCopointed (PCofree f)

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