morphisms-functors-0.1.5: Functors, theirs compositions and transformations
Control.Functor.Covariant.Transformation.Liftable
class Liftable (t :: (* -> *) -> * -> *) where Source #
Minimal complete definition
lift
Methods
lift :: Covariant u => u a -> t u a Source #
Defined in Data.Functor.Yoneda
lift :: Covariant u => u a -> Yoneda u a Source #