Control.Functor.Pointed

Documentation

class Functor f => Pointed f where

Methods

point :: a -> f a

Instances

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

Adjunction f g => Pointed (ACompF g f)

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

class Functor f => Copointed f where

Methods

copoint :: f a -> a

Instances

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