Re: A Down newtype in Data.Ord?

On Sat, 2011-11-19 at 12:07 +0100, Sjoerd Visscher wrote:

I like the concept, but not the name. Inverse (or Inv) would be a better name imho.

btw, doesn't that "Down" transform the Ord relation into its "dual" (in the category sense)? If so, wouldn't a categorical term like "Dual" or "Opposite" (as in "Opposite Category") be more appropriate (given that Haskell libraries already recycles many categorical terms?) Just saying... :-) -- hvr.