feat(std): add ordering assertions

Marwes · Oct 16, 2019 · 3efac99 · 3efac99
1 parent 58e0043
commit 3efac99
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/std/test.glu b/std/test.glu
@@ -40,6 +40,22 @@ let assert_neq l r : [Show a] -> [Eq a] -> a -> a -> Eff [| writer : Test | r |]
     if l /= r then wrap ()
     else tell (Cons ("Assertion failed: " <> show l <> " == " <> show r) Nil)
 
+let assert_lt l r : [Show a] -> [Ord a] -> a -> a -> Eff [| writer : Test | r |] () =
+    if l < r then wrap ()
+    else tell (Cons ("Assertion failed: " <> show l <> " >= " <> show r) Nil)
+
+let assert_lte l r : [Show a] -> [Ord a] -> a -> a -> Eff [| writer : Test | r |] () =
+    if l <= r then wrap ()
+    else tell (Cons ("Assertion failed: " <> show l <> " > " <> show r) Nil)
+
+let assert_gt l r : [Show a] -> [Ord a] -> a -> a -> Eff [| writer : Test | r |] () =
+    if l > r then wrap ()
+    else tell (Cons ("Assertion failed: " <> show l <> " <= " <> show r) Nil)
+
+let assert_gte l r : [Show a] -> [Ord a] -> a -> a -> Eff [| writer : Test | r |] () =
+    if l >= r then wrap ()
+    else tell (Cons ("Assertion failed: " <> show l <> " < " <> show r) Nil)
+
 let assert_ok res : [Show e] -> Result e a -> Eff [| writer : Test | r |] () =
     match res with
     | Ok _ -> wrap ()