Copyright	(C) 2008-2015 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Control.Comonad.Trans.Class

Description

Documentation

Methods

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

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 #