purescript-typelevel-prelude icon indicating copy to clipboard operation
purescript-typelevel-prelude copied to clipboard
verified publisher icon purescript

WIP: added Compare classes to Ordering

Open csicar opened this issue 6 years ago • 3 comments

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

csicar avatar Aug 08 '19 01:08 csicar

@csicar Can you rebase this on top of master?

JordanMartinez avatar Dec 20 '20 23:12 JordanMartinez

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

csicar avatar Dec 21 '20 11:12 csicar

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

JordanMartinez avatar Dec 21 '20 15:12 JordanMartinez