Ordered maps

lib/Base/Int.fram

@@ -16,6 +16,7 @@ pub method gt    = (extern dbl_gtInt  : Int -> Int -> Bool)
 pub method lt    = (extern dbl_ltInt  : Int -> Int -> Bool)
 pub method ge    = (extern dbl_geInt  : Int -> Int -> Bool)
 pub method le    = (extern dbl_leInt  : Int -> Int -> Bool)
+pub method compare (self:Int) (y:Int) = if self.lt y then Lt else if y.lt self then Gt else Eq 
 
 pub method add = (extern dbl_addInt : Int -> Int -> Int)
 pub method sub = (extern dbl_subInt : Int -> Int -> Int)

lib/Base/String.fram

@@ -15,6 +15,7 @@ pub method gt    = (extern dbl_gtStr  : String -> String -> Bool)
 pub method lt    = (extern dbl_ltStr  : String -> String -> Bool)
 pub method ge    = (extern dbl_geStr  : String -> String -> Bool)
 pub method le    = (extern dbl_leStr  : String -> String -> Bool)
+pub method compare (self:String) (y:String) = if self.lt y then Lt else if y.lt self then Gt else Eq 
 
 pub method length = (extern dbl_strLen : String -> Int)
 pub method get {~__line__, ~__file__} (self : String) (n : Int) =

lib/Base/Types.fram

@@ -8,4 +8,6 @@ pub data Pair X Y = (,) of X, Y
 
 pub data Either X Y = Left of X | Right of Y
 
+pub data Ord = Lt | Eq | Gt
+
 pub data Result A E = Ok of A | Err of E