Hedgehog

Hedgehog Namespace

Type/Module Description

discards

FailureData

FromBigInt

Gen

Gen<'a>

A generator for values and shrink trees of type 'a.

GenBuilder

Journal (Module)

Journal (Type)

ListGen

MaxValue

MinValue

Numeric

Outcome

Outcome<'a>

Property

Property<'a>

PropertyArgs (Module)

PropertyArgs (Type)

PropertyBuilder

PropertyConfig (Module)

PropertyConfig (Type)

Random

Random<'a>

A generator for random values of type 'a

Range

Range<'a>

A range describes the bounds of a number to generate, which may or may not be dependent on a 'Size'. The constructor takes an origin between the lower and upper bound, and a function from 'Size' to bounds. As the size goes towards 0, the values go towards the origin.

RecheckType

Report (Module)

Report (Type)

Seed (Module)

Seed (Type)

Splittable random number generator.

Shrink

shrinks

Size

Tests are parameterized by the `Size` of the randomly-generated data, the meaning of which depends on the particular generator used.

Status

tests

ToBigInt

Tree

Tree<'a>

A rose tree which represents a random generated outcome, and all the ways in which it can be made smaller.