Add a few missing Prop.ForAll overloads.

fscheck · Sep 11, 2021 · 4406d82 · 4406d82
1 parent 6dc45a1
commit 4406d82
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/FsCheck Release Notes.md b/FsCheck Release Notes.md
@@ -4,6 +4,8 @@
 
 * Added a few missing methods in `Fluent.Arbitrary`.
 
+* Add a few missing `Prop.ForAll` overloads.
+
 
 ### 3.0.0-beta1 - 5 September 2021
 

diff --git a/src/FsCheck/Fluent.Prop.fs b/src/FsCheck/Fluent.Prop.fs
@@ -15,6 +15,8 @@ type Prop private() =
 
     static member ForAll(arb:Arbitrary<'Value>, body:Func<'Value,bool>) = Prop.forAll arb body.Invoke
 
+    static member ForAll(arb:Arbitrary<'Value>, body:Func<'Value,Threading.Tasks.Task>) = forAll arb body.Invoke
+
     static member ForAll(arb:Arbitrary<'Value>, body:Func<'Value,Threading.Tasks.Task<bool>>) = forAll arb body.Invoke
 
     static member ForAll(arb:Arbitrary<'Value>, body:Func<'Value,Property>) = forAll arb body.Invoke
@@ -23,6 +25,8 @@ type Prop private() =
 
     static member ForAll(body:Func<'Value,bool>) = property body.Invoke
 
+    static member ForAll(body:Func<'Value,Threading.Tasks.Task>) = property body.Invoke
+
     static member ForAll(body:Func<'Value,Threading.Tasks.Task<bool>>) = property body.Invoke
 
     static member ForAll(body:Func<'Value,Property>) = property body.Invoke