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<'?74387>) -> Gen<'?74387>
Type parameters: '?74387
Delay(f)
Signature: (f:(unit -> Gen<'a18>)) -> Gen<'a18>
Type parameters: 'a18
For(s, f)
Signature: (s:'?74400 * f:('a -> Gen<'b>)) -> Gen<unit>
Type parameters: '?74400, 'a, 'b
Return(a)
Signature: a:'a18 -> Gen<'a18>
Type parameters: 'a18
ReturnFrom(g)
Signature: g:Gen<'a18> -> Gen<'a18>
Type parameters: 'a18
TryFinally(m, handler)
Signature: (m:Gen<'?74389> * handler:(unit -> unit)) -> Gen<'?74389>
Type parameters: '?74389
TryWith(arg1, handler)
Signature: (Gen<'?74391> * handler:(exn -> '?74391)) -> Gen<'?74391>
Type parameters: '?74391
Using(a, k)
Signature: (a:'?74393 * k:('?74393 -> Gen<'?74394>)) -> Gen<'?74394>
Type parameters: '?74393, '?74394
While(p, m)
Signature: (p:(unit -> bool) * m:Gen<'?74398>) -> Gen<unit>
Type parameters: '?74398
Zero()
Signature: unit -> Gen<unit>
Fork me on GitHub