A Down newtype in Data.Ord?
ekmett at gmail.com
Sat Nov 19 19:48:08 CET 2011
The problem Dual is taken by Data.Monoid. With Opposite it isn't clear what is being inverted as well. Perhaps Desc (or Descending)?
That would permit nice descriptions when used with the extended list comprehension sugar.
Sent from my iPad
On Nov 19, 2011, at 7:28 AM, Herbert Valerio Riedel <hvr at gnu.org> wrote:
> 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.
> Libraries mailing list
> Libraries at haskell.org
More information about the Libraries