String50Properties.fs

[<Property>]
let ``String50 don't gets created if length isn't 50 chars`` () =
    Arb.generate<string>
    |> Gen.filter (String.length >> (<>) 50)
    |> Arb.fromGen
    |> Prop.forAll <| fun x ->
        None = string50 x

[<Property>]
let ``String50 gets created if length is 50 chars`` () =
    Arb.generate<char>
    |> Gen.listOfLength 50
    |> Gen.map (List.map string >> List.reduce (+))
    |> Arb.fromGen
    |> Prop.forAll <| fun x ->
        Some <| String50 x = string50 x