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
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
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