Control.Functor.Pointed.Composition

Documentation

newtype PointedCompF f g a

Constructors

PointedCompF (CompF f g a)

Instances

Composition PointedCompF

(Functor f, Functor g) => Functor (PointedCompF f g)

(Full f, Full g) => Full (PointedCompF f g)

(ExpFunctor f, ExpFunctor g) => ExpFunctor (PointedCompF f g)

(Copointed f, Copointed g) => Copointed (PointedCompF f g)

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

newtype PostCompF mw f a

Constructors

PostCompF (PointedCompF mw f a)

Instances

Composition PostCompF

(Monad m, Pointed f, PostFold m f) => Monad (PostCompF m f)

(Functor mw, Functor f) => Functor (PostCompF mw f)

(Full mw, Full f) => Full (PostCompF mw f)

(ExpFunctor mw, ExpFunctor f) => ExpFunctor (PostCompF mw f)

(Copointed mw, Copointed f) => Copointed (PostCompF mw f)

(Pointed mw, Pointed f) => Pointed (PostCompF mw f)

(Comonad w, Copointed f, PostUnfold w f) => Comonad (PostCompF w f)

newtype PreCompF f mw a

Constructors

PreCompF (PointedCompF f mw a)

Instances

Composition PreCompF

(Pointed f, Monad m, PreFold f m) => Monad (PreCompF f m)

(Functor f, Functor mw) => Functor (PreCompF f mw)

(Full f, Full mw) => Full (PreCompF f mw)

(ExpFunctor f, ExpFunctor mw) => ExpFunctor (PreCompF f mw)

(Copointed f, Copointed mw) => Copointed (PreCompF f mw)

(Pointed f, Pointed mw) => Pointed (PreCompF f mw)

(Copointed f, Comonad w, PreUnfold f w) => Comonad (PreCompF f w)

newtype DistCompF f g a

Constructors

DistCompF (PointedCompF f g a)

Instances

Composition DistCompF

(Monad m, Monad n, Distributes m n) => Monad (DistCompF m n)

(Functor f, Functor g) => Functor (DistCompF f g)

(Full f, Full g) => Full (DistCompF f g)

(ExpFunctor f, ExpFunctor g) => ExpFunctor (DistCompF f g)

(Copointed f, Copointed g) => Copointed (DistCompF f g)

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

(Comonad f, Comonad g, Distributes f g) => Comonad (DistCompF f g)