category-extras-0.53.6: Various modules and constructs inspired by category theory Contents Index

Control.Functor.Pointed.Composition Portability non-portable (functional-dependencies) Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

TODO: finish the monad instances

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) (Pointed f, Pointed g) => Pointed (PointedCompF f g) (Copointed f, Copointed g) => Copointed (PointedCompF f g)

newtype PostCompF mw f a

Constructors PostCompF (PointedCompF mw f a) Instances Composition PostCompF (Functor mw, Functor f) => Functor (PostCompF mw f) (Full mw, Full f) => Full (PostCompF mw f) (ExpFunctor mw, ExpFunctor f) => ExpFunctor (PostCompF mw f) (Pointed mw, Pointed f) => Pointed (PostCompF mw f) (Copointed mw, Copointed f) => Copointed (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 (Functor f, Functor mw) => Functor (PreCompF f mw) (Full f, Full mw) => Full (PreCompF f mw) (ExpFunctor f, ExpFunctor mw) => ExpFunctor (PreCompF f mw) (Pointed f, Pointed mw) => Pointed (PreCompF f mw) (Copointed f, Copointed mw) => Copointed (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 (Functor f, Functor g) => Functor (DistCompF f g) (Full f, Full g) => Full (DistCompF f g) (ExpFunctor f, ExpFunctor g) => ExpFunctor (DistCompF f g) (Pointed f, Pointed g) => Pointed (DistCompF f g) (Copointed f, Copointed g) => Copointed (DistCompF f g) (Comonad f, Comonad g, Distributes f g) => Comonad (DistCompF f g)

Produced by Haddock version 2.1.0