Re: A sample revised prelude for numeric classes

12 Feb 2001


      Mon, 12 Feb 2001 12:04:39 +0100 (CET), Marcin 'Qrczak' Kowalczyk  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 * qrczak@knm.org.pl http://qrczak.ids.net.pl/
 \__/
  ^^                      SYGNATURA ZASTÊPCZA
QRCZAK

Re: A sample revised prelude for numeric classes

qrczak＠knm.org.pl