hs-functors-0.1.1.0: Functors from products of Haskell and its dual to Haskell
Control.Comonad.Trans.Class
class ComonadTrans t where Source #
Minimal complete definition
colift
Methods
colift :: Comonad ɯ => t ɯ a -> ɯ a Source #
Instances
colift :: Comonad ɯ => IdentityT * ɯ a -> ɯ a Source #