Add BindReturn to Property CE

hedgehogqa · Sep 21, 2021 · 15e5e6c · 15e5e6c
1 parent adec353
commit 15e5e6c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/Hedgehog/Property.fs b/src/Hedgehog/Property.fs
@@ -307,6 +307,12 @@ module PropertyBuilder =
         member __.Bind(m : Gen<'a>, k : 'a -> Property<'b>) : Property<'b> =
             m |> Property.forAll k
 
+        member __.BindReturn(m : Gen<'a>, f: 'a -> 'b) =
+            m
+            |> Gen.map (fun a -> (Journal.empty, Success a))
+            |> Property.ofGen
+            |> Property.map f
+
         member __.ReturnFrom(m : Property<'a>) : Property<'a> =
             m