category-extras-0.53.5: Various modules and constructs inspired by category theory

Portabilitynon-portable (functional-dependencies)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Functor.Pointed.Composition

Description

TODO: finish the monad instances

Documentation

newtype PointedCompF f g a Source

Constructors

PointedCompF (CompF f g a) 

newtype PostCompF mw f a Source

Constructors

PostCompF (PointedCompF mw f a) 

Instances

newtype PreCompF f mw a Source

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

Constructors

DistCompF (PointedCompF f g a)