From 4406d8284b7538763d855f769b447f78dd8f870e Mon Sep 17 00:00:00 2001 From: Kurt Schelfthout Date: Sat, 11 Sep 2021 15:50:02 +0100 Subject: [PATCH] Add a few missing Prop.ForAll overloads. --- FsCheck Release Notes.md | 2 ++ src/FsCheck/Fluent.Prop.fs | 4 ++++ 2 files changed, 6 insertions(+) diff --git a/FsCheck Release Notes.md b/FsCheck Release Notes.md index 186df81e..1a37fd84 100644 --- 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 index d917532e..20d88a2c 100644 --- 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>) = 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>) = property body.Invoke static member ForAll(body:Func<'Value,Property>) = property body.Invoke