category-extras-0.44.1: Various modules and constructs inspired by category theory.
Control.Comonad.Parameterized.Class
Description
class Bifunctor f => PComonad f whereSource
Methods
pextract :: f a c -> aSource
pextend :: (f b c -> a) -> f b c -> f a cSource
Instances