Add csharp complex generator example

[lupin-de-mid]

In tutorial we have sample for genarator of IpAddress

open System.Net
let ipAddressGen : Gen<IPAddress> = gen {
    let! addr = Range.constantBounded () |> Gen.byte |> Gen.array (Range.singleton 4)
    return System.Net.IPAddress addr
}

Anybody could check my translation to csharp? It is'nt idiomatic csharp IMHO

var byteRange = Range.ConstantBoundedByte();
var byteGen = Gen.Byte(byteRange);
var byteArrayGen = Hedgehog.Gen.array(Range.FromValue(4), byteGen);
var ipAddressGen = byteArrayGen.Select(bytes => new IPAddress(bytes));

May be it's suitable to add csharp.md with more examples?
Right now I try get how to use Property.CounterExample

[ghost]

Anybody could check my translation to csharp? It is'nt idiomatic csharp IMHO

@lupin-de-mid I think the following example may be more what you're looking for.

var ipAddressGen =
    Gen.Byte(Range.ConstantBoundedByte())
       .Array(Range.FromValue(4))
       .Select(bytes => new IPAddress(bytes));

Also, since Hedgehog.Linq adheres to the LINQ "interface", you can use query syntax as well:

var ipAddressGen =
    from bytes in Gen.Byte(Range.ConstantBoundedByte()).Array(Range.FromValue(4))
    select new IPAddress(bytes);

May be it's suitable to add csharp.md with more examples?

I think that's a good idea. I am starting to think the README.md is a little cluttered.

Right now I try get how to use Property.CounterExample

From the C# side this may be a little clunky still. I'm on a work machine right now and don't have the repo cloned, I'll take a look after I switch to my personal machine.

[TysonMN]

I think the first code block by @adam-becker is better. The advantage of LINQ query syntax is avoiding the pyramid of doom that results from nested calls to Bind. Since that isn't the case here, its use is not warranted.

[ghost]

Since that isn't the case here, its use is not warranted.

Just noting that it's possible :)