Portability	portable
Stability	provisional
Maintainer	Edward Kmett <ekmett@gmail.com>

Control.Comonad.Hoist.Class

Description

Documentation

class ComonadHoist t where

Methods

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

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)

Instances

ComonadHoist IdentityT
ComonadHoist (EnvT e)
ComonadHoist (EnvT e)
ComonadHoist (StoreT s)
ComonadHoist (StoreT s)
ComonadHoist (StoreT s)
(Semigroup m, Monoid m) => ComonadHoist (TracedT m)
ComonadHoist (TracedT m)