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

Safe HaskellSafe
LanguageHaskell2010

Control.Functor.Covariant.Transformation.Lowerable

Documentation

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

Minimal complete definition

lower

Methods

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

Instances
Lowerable Yoneda Source # 
Instance details

Defined in Data.Functor.Yoneda

Methods

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