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

Portabilitynon-portable (rank-2 polymorphism)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Comonad.HigherOrder

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 :: Natural g h -> Natural (f g) (f h)Source

Instances

(HFunctor f, HFunctor g) => HFunctor (CompH f g) 

class HFunctor w => HCopointed w whereSource

Methods

hextract :: Functor f => Natural (w f) fSource

class HCopointed w => HComonad w whereSource

Methods

hextend :: (Functor f, Functor g) => Natural (w f) g -> Natural (w f) (w g)Source

hduplicate :: (HComonad w, Functor (w g), Functor g) => w g a -> w (w g) aSource