Control.Comonad.Trans.Class

comonad-transformers-2.0.2: Comonad transformers

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

Control.Comonad.Trans.Class

Description

# Documentation

class ComonadTrans t where

Methods

lower :: Extend w => t w a -> w a

Instances

ComonadTrans IdentityT |
ComonadTrans (DiscontT s) |
ComonadTrans (DiscontT s) |
ComonadTrans (DiscontT s) |
ComonadTrans (EnvT e) |
ComonadTrans (EnvT e) |
ComonadTrans (StoreT s) |
ComonadTrans (StoreT s) |
ComonadTrans (StoreT s) |
(Semigroup m, Monoid m) => ComonadTrans (TracedT m) |
ComonadTrans (TracedT m) |