@@ -8,7 +8,7 @@ module Prelude where
9 on :: forall a b c. (b -> b -> c) -> (a -> b) -> a -> a -> c
9 on :: forall a b c. (b -> b -> c) -> (a -> b) -> a -> a -> c
10 on f g x y = g x `f` g y
10 on f g x y = g x `f` g y
12 asTypeOf :: forall a. a -> a -> a
12 asTypeOf :: forall a. a -> a -> a
13 asTypeOf x _ = x
13 asTypeOf x _ = x
@@ -187,6 +187,13 @@ module Prelude where
188 data Ordering = LT | GT | EQ
188 data Ordering = LT | GT | EQ
190+ instance eqOrdering :: Eq Ordering where
195+ (/=) x y = not (x == y)
190 instance showOrdering :: Show Ordering where
197 instance showOrdering :: Show Ordering where
191 show LT = "LT"
198 show LT = "LT"
192 show GT = "GT"
199 show GT = "GT"