 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Comonad.HigherOrder  Portability  nonportable (rank2 polymorphism)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



Description 
extending Neil Ghani and Patrician Johann's HFunctor to higher order comonads



Documentation 

class HFunctor f where 
 Methods  ffmap :: Functor g => (a > b) > f g a > f g b   hfmap :: (g :~> h) > f g :~> f h 
  Instances  


class HFunctor w => HCopointed w where 
 Methods  hextract :: Functor f => w f a > f a 
  Instances  


class HCopointed w => HComonad w where 
 Methods  hextend :: (Functor f, Functor g) => (w f :~> g) > w f :~> w g 
  Instances  


hduplicate :: (HComonad w, Functor (w g), Functor g) => w g :~> w (w g) 

Produced by Haddock version 2.1.0 