Control.Functor.Pointed

Documentation

class Functor f => Pointed f where

Methods

point :: a -> f a

Instances

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 where

Methods

extract :: f a -> a

Instances

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)