Control.Comonad.HigherOrder

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

HFunctor ListT

HFunctor (WriterT e)

HFunctor (StateT e)

HFunctor (ReaderT e)

Bifunctor p Hask Hask Hask => HFunctor (Ap p)

Functor f => HFunctor (CompF f)

Functor f => HFunctor (ACompF f)

Functor g => HFunctor (Lan g)

HFunctor (Ran g)

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

class HFunctor w => HCopointed w where

Methods

hextract :: Functor f => w f a -> f a

class HCopointed w => HComonad w where

Methods

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

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