Re: A sample revised prelude for numeric classes

[Marcin 'Qrczak' Kowalczyk]

Mon, 12 Feb 2001 12:04:39 +0100 (CET), Marcin 'Qrczak' Kowalczyk 
<[EMAIL PROTECTED]> pisze:

> This is my bet.

I changed my mind:

    class Eq a => PartialOrd a where -- or Ord
        (<), (>), (<=), (>=) :: a -> a -> Bool
        -- Minimal definition: (<) or (<=).
        -- For partial order (<=) is required.
        -- For total order (<) is recommended for efficiency.
        a < b  = a <= b && a /= b
        a > b  = b < a
        a <= b = not (b < a)
        a >= b = b <= a

-- 
 __("<  Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTÊPCZA
QRCZAK


_______________________________________________
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe