comonad-transformers-1.8.0: Comonad transformers

Portabilityportable
Stabilityprovisional
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Comonad.Hoist.Class

Description

 

Documentation

class ComonadHoist t whereSource

Methods

cohoist :: Comonad w => t w a -> t Identity aSource

Ideally we would offer a way to lift comonad homomorphisms but this isn't Haskell 98, so we settle for the most common case here.

 liftTrans :: (forall a. w a -> v a) -> t w a -> t v a 
 cohoist = liftTrans (Identity . extract)