Add test for and! in gen CE

hedgehogqa · Dec 30, 2021 · 454dbdd · 454dbdd
1 parent 9a11e9f
commit 454dbdd
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/tests/Hedgehog.Tests/GenTests.fs b/tests/Hedgehog.Tests/GenTests.fs
@@ -181,11 +181,20 @@ let genTests = testList "Gen tests" [
         }
         |> Property.check
 
-    testCase "apply is applicative" <| fun () ->
+    testCase "apply is applicative via function" <| fun () ->
         let gPair =
             Gen.constant (fun a b -> a, b)
             |> Gen.apply (Range.constant 0 2 |> Gen.int32)
             |> Gen.apply (Range.constant 0 1 |> Gen.int32)
         testGenPairViaApply gPair
 
+    testCase "apply is applicative via CE" <| fun () ->
+        let gPair =
+            gen {
+                let! a = Range.constant 0 2 |> Gen.int32
+                and! b = Range.constant 0 1 |> Gen.int32
+                return a, b
+            }
+        testGenPairViaApply gPair
+
 ]