category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
Control.Comonad.Parameterized
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Documentation
class PFunctor f Hask Hask => PCopointed f where
Methods
pextract :: f a c -> a
show/hide Instances
Functor f => PCopointed (PCofree f)
(Copointed f, PCopointed p) => PCopointed (Of f p)
class PCopointed f => PComonad f where
Methods
pextend :: (f b c -> a) -> f b c -> f a c
show/hide Instances
Functor f => PComonad (PCofree f)
Produced by Haddock version 2.1.0