search

ekmett / free

free monads
http://hackage.haskell.org/package/free
Other
159 stars 65 forks source link

Simplify the `Eq`/`Ord` instances for `FT` #216

Closed RyanGlScott closed 2 years ago

RyanGlScott commented 2 years ago

While slightly more verbose, the new instance contexts avoid the need for overlapping instances or FlexibleContexts.

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

Bodigrim commented 2 years ago

Awesome, it's sufficient for the purposes of https://github.com/haskell/core-libraries-committee/issues/10

RyanGlScott commented 2 years ago

I've uploaded free-5.1.9 to Hackage with these changes.

Ericson2314 commented 2 years ago

I think this could be further simplified?

RyanGlScott commented 2 years ago

How so?

Ericson2314 commented 2 years ago

I opened https://github.com/ekmett/free/issues/217 for this. If it doesn't block https://github.com/haskell/core-libraries-committee/issues/10 fine to just worry about later :).