comonad-5.0.8: Comonads
Copyright(C) 2008-2015 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Control.Comonad.Trans.Class

Description

 

Documentation

class ComonadTrans t where Source #

Methods

lower :: Comonad w => t w a -> w a Source #

Instances

Instances details
ComonadTrans (IdentityT :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Control.Comonad.Trans.Class

Methods

lower :: Comonad w => IdentityT w a -> w a Source #

ComonadTrans (EnvT e) Source # 
Instance details

Defined in Control.Comonad.Trans.Env

Methods

lower :: Comonad w => EnvT e w a -> w a Source #

ComonadTrans (StoreT s) Source # 
Instance details

Defined in Control.Comonad.Trans.Store

Methods

lower :: Comonad w => StoreT s w a -> w a Source #

Monoid m => ComonadTrans (TracedT m) Source # 
Instance details

Defined in Control.Comonad.Trans.Traced

Methods

lower :: Comonad w => TracedT m w a -> w a Source #