Control.Comonad.Trans.Class

comonad-5.0.8: Comonads

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

class ComonadTrans (t :: (Type -> Type) -> Type -> Type) where #

Methods

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

#### Instances

Instances details

ComonadTrans (EnvT e) # |
Instance details Defined in Control.Comonad.Trans.Env Methods lower :: Comonad w => EnvT e w a -> w a #
ComonadTrans (StoreT s) # |
Instance details Defined in Control.Comonad.Trans.Store Methods lower :: Comonad w => StoreT s w a -> w a #
Monoid m => ComonadTrans (TracedT m) # |
Instance details Defined in Control.Comonad.Trans.Traced Methods lower :: Comonad w => TracedT m w a -> w a #
ComonadTrans (IdentityT :: (Type -> Type) -> Type -> Type) # |
Instance details Defined in Control.Comonad.Trans.Class Methods lower :: Comonad w => IdentityT w a -> w a #