search

compiling-to-categories / concat

Compiling to Categories
http://conal.net/papers/compiling-to-categories
BSD 3-Clause "New" or "Revised" License
431 stars 49 forks source link

Fix MinMaxFunctorCat. #94

Closed sellout closed 2 years ago

sellout commented 2 years ago

Had to remove the Ord a constraint from the class to use it in categories that can't satisfy the traditional instances.

I tried using a MinMaxCat k a constraint instead, but that required making more changes to code I'm unfamiliar with, so I currently left it off.

@mikesperber -- could you please try this to see if I didn't break anything for you use case?

mikesperber commented 2 years ago

@mikesperber -- could you please try this to see if I didn't break anything for you use case?

This all looks fine to me. @conal - could you merge this one?