@@ -8,7 +8,7 @@ module Prelude where
88
99 on :: forall a b c. (b -> b -> c) -> (a -> b) -> a -> a -> c
1010 on f g x y = g x `f` g y
11−
11+
1212 asTypeOf :: forall a. a -> a -> a
1313 asTypeOf x _ = x
1414
@@ -187,6 +187,13 @@ module Prelude where
187187
188188 data Ordering = LT | GT | EQ
189189
190+ instance eqOrdering :: Eq Ordering where
191+ (==) LT LT = true
192+ (==) GT GT = true
193+ (==) EQ EQ = true
194+ (==) _ _ = false
195+ (/=) x y = not (x == y)
196+
190197 instance showOrdering :: Show Ordering where
191198 show LT = "LT"
192199 show GT = "GT"