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

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Comonad.Parameterized

Description

 

Documentation

class PFunctor f Hask Hask => PCopointed f whereSource

Methods

pextract :: f a c -> aSource

Instances

class PCopointed f => PComonad f whereSource

Methods

pextend :: (f b c -> a) -> f b c -> f a cSource

Instances