Control.Comonad.Hoist.Class

Documentation

class ComonadHoist t where

Methods

cohoist :: (Comonad w, Comonad v) => (forall x. w x -> v x) -> t w a -> t v a

Given any comonad-homomorphism from w to v this yields a comonad homomorphism from t w to t v.

Instances

ComonadHoist IdentityT

ComonadHoist (EnvT e)

ComonadHoist (StoreT s)

ComonadHoist (TracedT m)