category-extras-0.53.5: Various modules and constructs inspired by category theorySource codeContentsIndex
Control.Comonad.HigherOrder
Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
extending Neil Ghani and Patrician Johann's HFunctor to higher order comonads
Documentation
class HFunctor f whereSource
Methods
ffmap :: Functor g => (a -> b) -> f g a -> f g bSource
hfmap :: (g :~> h) -> f g :~> f hSource
show/hide Instances
class HFunctor w => HCopointed w whereSource
Methods
hextract :: Functor f => w f a -> f aSource
show/hide Instances
class HCopointed w => HComonad w whereSource
Methods
hextend :: (Functor f, Functor g) => (w f :~> g) -> w f :~> w gSource
show/hide Instances
hduplicate :: (HComonad w, Functor (w g), Functor g) => w g :~> w (w g)Source
Produced by Haddock version 2.4.2