search

ekmett / kan-extensions

Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Other
78 stars 33 forks source link

Add hoistCoyoneda to Contravariant Coyoneda #67

Closed vapourismo closed 3 years ago

vapourismo commented 3 years ago

Expose hoistCoyoneda, which mirrors its covariant counterpart, from module Data.Functor.Contravariant.Coyoneda.