diff --git a/src/Hedgehog/Property.fs b/src/Hedgehog/Property.fs index 48f41a6f..891cc9eb 100644 --- a/src/Hedgehog/Property.fs +++ b/src/Hedgehog/Property.fs @@ -310,6 +310,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