hs-functors-0.1.4.0: Functors from products of Haskell and its dual to Haskell

Safe HaskellNone
LanguageHaskell2010

Control.Comonad.Trans.Class

Documentation

class ComonadTrans t where Source #

Methods

colift :: Comonad ɯ => t ɯ a -> ɯ a Source #

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

Defined in Control.Comonad.Trans.Class

Methods

colift :: Comonad ɯ => IdentityT ɯ a -> ɯ a Source #

ComonadTrans (Density :: (Type -> Type) -> Type -> Type) Source # 
Instance details

Defined in Control.Comonad.Density

Methods

colift :: Comonad ɯ => Density ɯ a -> ɯ a Source #