Re: [Haskell] compares :: Ord a => a -> a -> Ordering -> Ordering

2006-02-15 Thread Ross Paterson
On Wed, Feb 15, 2006 at 01:17:43AM +, Ben Rudiak-Gould wrote: > I just realized that the class Ord should have an additional method: > > class Eq a => Ord a where > compares :: a -> a -> Ordering -> Ordering > compares x y d = case compare x y of { EQ -> d ; o -> o } > ... > > T

Re: [Haskell] compares :: Ord a => a -> a -> Ordering -> Ordering

2006-02-14 Thread J. Garrett Morris
On 2/14/06, Ben Rudiak-Gould <[EMAIL PROTECTED]> wrote: > I just realized that the class Ord should have an additional method: > >class Eq a => Ord a where > compares :: a -> a -> Ordering -> Ordering > compares x y d = case compare x y of { EQ -> d ; o -> o } > ... > > This woul

[Haskell] compares :: Ord a => a -> a -> Ordering -> Ordering

2006-02-14 Thread Ben Rudiak-Gould
I just realized that the class Ord should have an additional method: class Eq a => Ord a where compares :: a -> a -> Ordering -> Ordering compares x y d = case compare x y of { EQ -> d ; o -> o } ... This would make writing Ord instances much easier: instance (Ord a, Ord b, Ord