Namespace: FsCheck

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

Static members

Static memberDescription
( <!> )(f, a)
Signature: (f:('?209764 -> '?209765) * a:Gen<'?209764>) -> Gen<'?209765>
Type parameters: '?209765

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

CompiledName: op_LessBangGreater

( <*> )(f, a)
Signature: (f:Gen<('?209760 -> '?209761)> * a:Gen<'?209760>) -> Gen<'?209761>
Type parameters: '?209761

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

CompiledName: op_LessMultiplyGreater

( >>= )(m, k)
Signature: (m:Gen<'?209768> * k:('?209768 -> Gen<'?209769>)) -> Gen<'?209769>
Type parameters: '?209769

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

CompiledName: op_GreaterGreaterEquals

Fork me on GitHub