diff --git a/std/test.glu b/std/test.glu index 0ee74a18e1..797ce7cd60 100644 --- 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 ()