Portability | non-portable (functional-dependencies) |
---|---|
Stability | experimental |
Maintainer | Edward Kmett <ekmett@gmail.com> |
TODO: finish the monad instances
Documentation
newtype PointedCompF f g a Source
PointedCompF (CompF f g a) |
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 Source
PostCompF (PointedCompF mw f a) |
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) | |
(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 Source
PreCompF (PointedCompF f mw a) |
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) | |
(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 Source
DistCompF (PointedCompF f g a) |
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) | |
(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) |