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

Only require `Functor` for `Eq`/`Ord` `Coyoneda` instances when using `transformers-0.4.*` #73

Closed RyanGlScott closed 2 years ago

RyanGlScott commented 2 years ago

When building with all other versions of transformers, the Functor instance is entirely redundant.

This should also allow kan-extensions to compile with the changes in haskell/core-libraries-committee#10. cc @Bodigrim

Bodigrim commented 2 years ago

Confirmed, it compiles against https://github.com/haskell/core-libraries-committee/issues/10.

RyanGlScott commented 2 years ago

I've uploaded kan-extensions-5.2.5 to Hackage with these changes.