ref: 1f8978838ef1ce72ffe14ec5844a698ce98dce11
parent: b1d42d485b84eda36fee77fb403bf7c8faee1d2d
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Thu Sep 21 20:05:47 EDT 2023
Add Data.Ord
--- /dev/null
+++ b/lib/Data/Ord.hs
@@ -1,0 +1,19 @@
+module Data.Ord(
+ Ordering(..),
+ eqOrdering,
+ isEQ,
+ ) where
+import Data.Bool_Type
+import Data.Int
+
+data Ordering = LT | EQ | GT
+
+isEQ :: Ordering -> Bool
+isEQ EQ = True
+isEQ _ = False
+
+eqOrdering :: Ordering -> Ordering -> Bool
+eqOrdering LT LT = True
+eqOrdering EQ EQ = True
+eqOrdering GT GT = True
+eqOrdering _ _ = False
--
⑨