Data.Functor.Contravariant.Yoneda · kan-extensions-5.2.7

newtypenewtype Yoneda (f :: Type -> Type) a

Yoneda embedding for a presheaf

Instances4Contravariant, Representable, Adjunction, Rep

Contravariant (Yoneda f)Defined in kan-extensions-5.2.7 · Data.Functor.Contravariant.Yoneda
Representable f => Representable (Yoneda f)Defined in kan-extensions-5.2.7 · Data.Functor.Contravariant.Yoneda
Adjunction f g => Adjunction (Yoneda f) (Yoneda g)Defined in kan-extensions-5.2.7 · Data.Functor.Contravariant.Yoneda
type Rep (Yoneda f) = Rep fDefined in kan-extensions-5.2.7 · Data.Functor.Contravariant.Yoneda

valueliftYoneda :: Contravariant f => f a -> Yoneda f a

liftYoneda . lowerYoneda ≡ id
lowerYoneda . liftYoneda ≡ id

valuelowerYoneda :: Yoneda f a -> f a