WIP: added Compare classes to Ordering

purescript / purescript-typelevel-prelude

Types and kinds for basic type-level programming

BSD 3-Clause "New" or "Revised" License

63 stars 21 forks source link

WIP: added Compare classes to Ordering #50

Open csicar opened 5 years ago

csicar commented 5 years ago

This PR adds a Typelevel Compare Type-Class, which can be used for comparing custom types (like Typelevel Numbers).

The PR also adds helper classes like Lte a b isLte

JordanMartinez commented 3 years ago

@csicar Can you rebase this on top of master?

csicar commented 3 years ago

Changed to WIP. I'll need to look into the 0.14 changed a bit more to update this PR correctly

JordanMartinez commented 3 years ago

In light of Harry's comment in your other PR, I'm wondering whether we should create a separate typelevel library in purescript-contrib org that can store more typelevel code