Hedgehog


Builder Type

Namespace: Hedgehog

Assembly: Hedgehog.dll

Parent Module: PropertyBuilder

Base Type: obj

Instance members

Instance member Description

this.Bind(m, k)

Full Usage: this.Bind(m, k)

Parameters:
Returns: Property<'b>

m : Gen<'a>
k : 'a -> Property<'b>
Returns: Property<'b>

this.Combine(m, n)

Full Usage: this.Combine(m, n)

Parameters:
Returns: Property<'a>

m : Property<unit>
n : Property<'a>
Returns: Property<'a>

counterexample f

Full Usage: counterexample f

Parameters:
    f : 'a -> string

Returns: Property<'a>

f : 'a -> string
Returns: Property<'a>

this.Delay(f)

Full Usage: this.Delay(f)

Parameters:
Returns: Property<'a>

f : unit -> Property<'a>
Returns: Property<'a>

this.For(xs, k)

Full Usage: this.For(xs, k)

Parameters:
Returns: Property<unit>

xs : 'b
k : 'a -> Property<unit>
Returns: Property<unit>

this.For(m, k)

Full Usage: this.For(m, k)

Parameters:
Returns: Property<'b>

m : Property<'a>
k : 'a -> Property<'b>
Returns: Property<'b>

this.Return(b)

Full Usage: this.Return(b)

Parameters:
    b : bool

Returns: Property<unit>

b : bool
Returns: Property<unit>

this.ReturnFrom(m)

Full Usage: this.ReturnFrom(m)

Parameters:
Returns: Property<'a>

m : Property<'a>
Returns: Property<'a>

this.TryFinally(m, after)

Full Usage: this.TryFinally(m, after)

Parameters:
Returns: Property<'a>

m : Property<'a>
after : unit -> unit
Returns: Property<'a>

this.TryWith(m, k)

Full Usage: this.TryWith(m, k)

Parameters:
Returns: Property<'a>

m : Property<'a>
k : exn -> Property<'a>
Returns: Property<'a>

this.Using(a, k)

Full Usage: this.Using(a, k)

Parameters:
Returns: Property<'b>

a : 'a
k : 'a -> Property<'b>
Returns: Property<'b>

where p

Full Usage: where p

Parameters:
    p : 'a -> bool

Returns: Property<'a>

p : 'a -> bool
Returns: Property<'a>

this.While(p, m)

Full Usage: this.While(p, m)

Parameters:
Returns: Property<unit>

p : unit -> bool
m : Property<unit>
Returns: Property<unit>

this.Yield(x)

Full Usage: this.Yield(x)

Parameters:
    x : 'a

Returns: Property<'a>

x : 'a
Returns: Property<'a>

this.Zero()

Full Usage: this.Zero()

Returns: Property<unit>

Returns: Property<unit>