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

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Functor.Pointed

Description

 

Documentation

class Functor f => Pointed f whereSource

Methods

point :: a -> f aSource

Instances

Pointed [] 
Pointed Maybe 
Pointed Identity 
Pointed (Either a) 
(Bifunctor f Hask Hask Hask, PPointed f) => Pointed (Fix f) 
Functor f => Pointed (Ideal f) 
(HPointed h, Pointed f) => Pointed (LowerH h f) 
Pointed f => Pointed (EitherT a f) 
Pointed (IxCont i i) 
(Pointed f, Pointed g) => Pointed (:*: f g) 
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) 
Monoid t => Pointed (Const2 t a) 
Pointed (Ran f f) 
Monad m => Pointed (IxContT m i i) 
(Pointed f, Pointed (p a)) => Pointed (Of f p a) 

class PFunctor f Hask Hask => PPointed f whereSource

Methods

preturn :: a -> f a cSource

Instances

class PFunctor f Hask Hask => PCopointed f whereSource

Methods

pextract :: f a c -> aSource

Instances