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:('?73181 -> '?73182) * a:Gen<'?73181>) -> Gen<'?73182>
Type parameters: '?73182

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

CompiledName: op_LessBangGreater

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

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

CompiledName: op_LessMultiplyGreater

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

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

CompiledName: op_GreaterGreaterEquals

Fork me on GitHub