Control.Comonad.Trans

Definitions

interface ComonadTrans : ((Type -> Type) -> Type -> Type) -> Type

Parameters: t
Methods:

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

Implementations:

ComonadTrans (EnvT e)

ComonadTrans (StoreT s)

Monoid m => ComonadTrans (TracedT m)

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

Totality: total
Visibility: public export