Ticket #7077 (closed feature request: fixed)
Add an order-reversing newtype to Data.Ord
|Reported by:||Azel||Owned by:||pcapriotti|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
This is proposal to add an order-reversing newtype to Data.Ord by adding GHC.Exts's one, Down.
You'll find attached a patch implementing this re-export and the conversation thread may be found here.