Namespace: FsCheck

Generator of a random value, based on a size parameter and a randomly generated int.

Static members

Static memberDescription
Gen.( <!> )(f, a)
Signature: (f:('?8524 -> '?8525) * a:Gen<'?8524>) -> Gen<'?8525>
Type parameters: '?8525

Like <*>, but puts f in a Gen first.

CompiledName: op_LessBangGreater

Gen.( <*> )(f, a)
Signature: (f:Gen<('?8520 -> '?8521)> * a:Gen<'?8520>) -> Gen<'?8521>
Type parameters: '?8521

Lifted function application = apply f to a, all in the Gen applicative functor.

CompiledName: op_LessMultiplyGreater

Gen.( >>= )(m, k)
Signature: (m:Gen<'?8528> * k:('?8528 -> Gen<'?8529>)) -> Gen<'?8529>
Type parameters: '?8529

Bind operator; runs the first generator, then feeds the result to the second generator function.

CompiledName: op_GreaterGreaterEquals

Fork me on GitHub