A Down newtype in Data.Ord?
Herbert Valerio Riedel
hvr at gnu.org
Sat Nov 19 13:28:22 CET 2011
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... :-)
More information about the Libraries