Proposal #2560 again: add newtype Down/ReverseOrd to Data.Ord

[roconnor at theorem.ca]

On Wed, 7 Jan 2009, Stefan Holdermans wrote:

> Twan,
>
>> How about:
>> 
>> -- intended for |qualified| import |as Ord|:
>> newtype Dual a = Dual { unDual :: a } deriving Eq
>
> +1 for Dual.

+1 for Dual.  The term seems common in lattice theory.  I use it myself.

-- 
Russell O'Connor                                      <http://r6.ca/>
``All talk about `theft,''' the general counsel of the American Graphophone
Company wrote, ``is the merest claptrap, for there exists no property in
ideas musical, literary or artistic, except as defined by statute.''