From 3efac9963deb031e78462d00e49d090ab911cbd4 Mon Sep 17 00:00:00 2001 From: Etherian Date: Tue, 15 Oct 2019 20:22:29 -0400 Subject: [PATCH] feat(std): add ordering assertions --- std/test.glu | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) 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 ()