morphisms-functors-0.1.7: Functors, theirs compositions and transformations

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Covariant.Transformation.Liftable

Documentation

class Liftable (t :: (* -> *) -> * -> *) where Source #

Minimal complete definition

lift

Methods

lift :: Covariant u => u a -> t u a Source #

Instances
Liftable Yoneda Source # 
Instance details

Defined in Data.Functor.Yoneda

Methods

lift :: Covariant u => u a -> Yoneda u a Source #