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>
Type parameters: 'T, '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>
Type parameters: 'T1, 'T2, '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>
Type parameters: 'T1, 'T2, '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>
Type parameters: 'T1, 'T2, 'T3, '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>
Type parameters: 'T1, 'T2, 'T3, '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>
Type parameters: 'T, 'U
x : Gen<'T>
f : 'T -> 'U
Returns: Gen<'U>

this.Combine

Full Usage: this.Combine

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

this.Delay

Full Usage: this.Delay

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

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

this.For

Full Usage: this.For

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

Returns: Gen<unit>
Type parameters: 'a, 'T, 'U (requires :> 'T Microsoft.FSharp.Collections.seq)
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>
Type parameters: '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>
Type parameters: '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>
Type parameters: 'T
a : 'T
Returns: Gen<'T>

this.ReturnFrom

Full Usage: this.ReturnFrom

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

this.TryFinally

Full Usage: this.TryFinally

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

Returns: Gen<'T>
Type parameters: '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>
Type parameters: '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>
Type parameters: 'Disposable, 'T (requires :> System.IDisposable)
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>
Type parameters: 'T
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.