FsCheck


Gen<'a>

Namespace: FsCheck
Attributes:
[<NoEquality>]
[<NoComparison>]

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

Static members

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

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

CompiledName: op_LessBangGreater

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

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

CompiledName: op_LessMultiplyGreater

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

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

CompiledName: op_GreaterGreaterEquals

Fork me on GitHub