comonad-4.0: Comonads

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>
Safe HaskellSafe-Inferred

Control.Comonad.Hoist.Class

Description

 

Documentation

class ComonadHoist t whereSource

Methods

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

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