FsCheck


GenBuilder

Namespace: FsCheck
Parent Module: GenBuilder

The workflow type for generators.

Instance members

Instance memberDescription
Bind(m, k)
Signature: (m:Gen<'a18> * k:('a18 -> Gen<'a19>)) -> Gen<'a19>
Type parameters: 'a18, 'a19
Combine(m1, m2)
Signature: (m1:Gen<unit> * m2:Gen<'?210975>) -> Gen<'?210975>
Type parameters: '?210975
Delay(f)
Signature: (f:(unit -> Gen<'b>)) -> Gen<'b>
Type parameters: 'b
For(s, f)
Signature: (s:'?210988 * f:('a -> Gen<'b>)) -> Gen<unit>
Type parameters: '?210988, 'a, 'b
Return(a)
Signature: a:'b -> Gen<'b>
Type parameters: 'b
ReturnFrom(g)
Signature: g:Gen<'a18> -> Gen<'a18>
Type parameters: 'a18
TryFinally(m, handler)
Signature: (m:Gen<'?210977> * handler:(unit -> unit)) -> Gen<'?210977>
Type parameters: '?210977
TryWith(arg1, handler)
Signature: (Gen<'?210979> * handler:(exn -> '?210979)) -> Gen<'?210979>
Type parameters: '?210979
Using(a, k)
Signature: (a:'?210981 * k:('?210981 -> Gen<'?210982>)) -> Gen<'?210982>
Type parameters: '?210981, '?210982
While(p, m)
Signature: (p:(unit -> bool) * m:Gen<'?210986>) -> Gen<unit>
Type parameters: '?210986
Zero()
Signature: unit -> Gen<unit>
Fork me on GitHub