FsCheck


GenBuilder Type

Namespace: FsCheck.FSharp

Assembly: FsCheck.dll

Parent Module: GenBuilder

Base Type: obj

The computation expression type for generators.

Instance members

Instance member Description

this.Bind(m, k)

Full Usage: this.Bind(m, k)

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

Returns: Gen<'U>

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

this.Bind2(gen1, gen2, f)

Full Usage: this.Bind2(gen1, gen2, f)

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(gen1, gen2, f)

Full Usage: this.Bind2Return(gen1, gen2, f)

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(gen1, gen2, gen3, f)

Full Usage: this.Bind3(gen1, gen2, gen3, f)

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(gen1, gen2, gen3, f)

Full Usage: this.Bind3Return(gen1, gen2, gen3, f)

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(x, f)

Full Usage: this.BindReturn(x, f)

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

Returns: Gen<'U>

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

this.Combine(m1, m2)

Full Usage: this.Combine(m1, m2)

Parameters:
Returns: Gen<'T>

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

this.Delay(f)

Full Usage: this.Delay(f)

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

Returns: Gen<'T>

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

this.For(s, f)

Full Usage: this.For(s, f)

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

Returns: Gen<unit>

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

this.MergeSources(gen1, gen2)

Full Usage: this.MergeSources(gen1, gen2)

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

Returns: Gen<'T1 * 'T2>

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

this.MergeSources3(gen1, gen2, gen3)

Full Usage: this.MergeSources3(gen1, gen2, gen3)

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(a)

Full Usage: this.Return(a)

Parameters:
    a : 'T

Returns: Gen<'T>

a : 'T
Returns: Gen<'T>

this.ReturnFrom(g)

Full Usage: this.ReturnFrom(g)

Parameters:
Returns: Gen<'T>

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

this.TryFinally(m, handler)

Full Usage: this.TryFinally(m, handler)

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

Returns: Gen<'T>

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

this.TryWith(m, handler)

Full Usage: this.TryWith(m, handler)

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

Returns: Gen<'T>

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

this.Using(a, k)

Full Usage: this.Using(a, k)

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

Returns: Gen<'T>

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

this.While(p, m)

Full Usage: this.While(p, m)

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>