Header menu logo FsCheck

GenBuilder Type

The computation expression type for generators.

Instance members

Instance member Description

this.Bind

Full Usage: this.Bind

Parameters:
    m : Gen<'T>
    k : 'T -> Gen<'U>

Returns: Gen<'U>
m : Gen<'T>
k : 'T -> Gen<'U>
Returns: Gen<'U>

this.Bind2

Full Usage: this.Bind2

Parameters:
    gen1 : Gen<'T1>
    gen2 : Gen<'T2>
    f : 'T1 * 'T2 -> Gen<'T3>

Returns: Gen<'T3>
gen1 : Gen<'T1>
gen2 : Gen<'T2>
f : 'T1 * 'T2 -> Gen<'T3>
Returns: Gen<'T3>

this.Bind2Return

Full Usage: this.Bind2Return

Parameters:
    gen1 : Gen<'T1>
    gen2 : Gen<'T2>
    f : 'T1 * 'T2 -> 'T3

Returns: Gen<'T3>
gen1 : Gen<'T1>
gen2 : Gen<'T2>
f : 'T1 * 'T2 -> 'T3
Returns: Gen<'T3>

this.Bind3

Full Usage: this.Bind3

Parameters:
    gen1 : Gen<'T1>
    gen2 : Gen<'T2>
    gen3 : Gen<'T3>
    f : 'T1 * 'T2 * 'T3 -> Gen<'T4>

Returns: Gen<'T4>
gen1 : Gen<'T1>
gen2 : Gen<'T2>
gen3 : Gen<'T3>
f : 'T1 * 'T2 * 'T3 -> Gen<'T4>
Returns: Gen<'T4>

this.Bind3Return

Full Usage: this.Bind3Return

Parameters:
    gen1 : Gen<'T1>
    gen2 : Gen<'T2>
    gen3 : Gen<'T3>
    f : 'T1 * 'T2 * 'T3 -> 'T4

Returns: Gen<'T4>
gen1 : Gen<'T1>
gen2 : Gen<'T2>
gen3 : Gen<'T3>
f : 'T1 * 'T2 * 'T3 -> 'T4
Returns: Gen<'T4>

this.BindReturn

Full Usage: this.BindReturn

Parameters:
    x : Gen<'T>
    f : 'T -> 'U

Returns: Gen<'U>
x : Gen<'T>
f : 'T -> 'U
Returns: Gen<'U>

this.Combine

Full Usage: this.Combine

Parameters:
Returns: Gen<'T>
m1 : Gen<unit>
m2 : Gen<'T>
Returns: Gen<'T>

this.Delay

Full Usage: this.Delay

Parameters:
    f : unit -> Gen<'T>

Returns: Gen<'T>
f : unit -> Gen<'T>
Returns: Gen<'T>

this.For

Full Usage: this.For

Parameters:
    s : 'a
    f : 'T -> Gen<'U>

Returns: Gen<unit>
s : 'a
f : 'T -> Gen<'U>
Returns: Gen<unit>

this.MergeSources

Full Usage: this.MergeSources

Parameters:
    gen1 : Gen<'T1>
    gen2 : Gen<'T2>

Returns: Gen<'T1 * 'T2>
gen1 : Gen<'T1>
gen2 : Gen<'T2>
Returns: Gen<'T1 * 'T2>

this.MergeSources3

Full Usage: this.MergeSources3

Parameters:
    gen1 : Gen<'T1>
    gen2 : Gen<'T2>
    gen3 : Gen<'T3>

Returns: Gen<'T1 * 'T2 * 'T3>
gen1 : Gen<'T1>
gen2 : Gen<'T2>
gen3 : Gen<'T3>
Returns: Gen<'T1 * 'T2 * 'T3>

this.Return

Full Usage: this.Return

Parameters:
    a : 'T

Returns: Gen<'T>
a : 'T
Returns: Gen<'T>

this.ReturnFrom

Full Usage: this.ReturnFrom

Parameters:
Returns: Gen<'T>
g : Gen<'T>
Returns: Gen<'T>

this.TryFinally

Full Usage: this.TryFinally

Parameters:
    m : Gen<'T>
    handler : unit -> unit

Returns: Gen<'T>
m : Gen<'T>
handler : unit -> unit
Returns: Gen<'T>

this.TryWith

Full Usage: this.TryWith

Parameters:
    m : Gen<'T>
    handler : exn -> Gen<'T>

Returns: Gen<'T>
m : Gen<'T>
handler : exn -> Gen<'T>
Returns: Gen<'T>

this.Using

Full Usage: this.Using

Parameters:
    a : 'Disposable
    k : 'Disposable -> Gen<'T>

Returns: Gen<'T>
a : 'Disposable
k : 'Disposable -> Gen<'T>
Returns: Gen<'T>

this.While

Full Usage: this.While

Parameters:
    p : unit -> bool
    m : Gen<'T>

Returns: Gen<unit>
p : unit -> bool
m : Gen<'T>
Returns: Gen<unit>

this.Zero

Full Usage: this.Zero

Returns: Gen<unit>
Returns: Gen<unit>

Type something to start searching.