For configuring a run.

Use the generator for 'a, but don't shrink.

Whereas most types are restricted by a size that grows as the test gets further, by applying this type the underlying type will ignore this size and always generate from the full range. Note that this only makes a difference for types that have a range - currently integer types, TimeSpan and Decimal have DoNotSize Arbitrary instances. This is typically (and at least currently) only applicable for value types that are comparable, hence the type constraints.

Represents an array whose length does not change when shrinking.

A function (F# function) that can be displayed and shrunk.

Generator of a random value, based on a size parameter and a randomly generated int.

Maps types to Arbitrary instances for that type. Once constructed, the map is immutable.

Represents an integer interval.

Represents an int that can include int.MinValue and int.MaxValue.

For implementing your own test runner.

Represents an int < 0

Represents a non-empty array.

Represents a non-empty Set.

Represents a string that is not null or empty, and does not contain any null characters ('\000')

Represents an int >= 0

Wrap a type in NonNull to prevent null being generated for the wrapped type.

Represents an int <> 0

Represents a float that is not NaN or Infinity.

Represents an int > 0

A Property can be checked by FsCheck.

The result of one execution of a property.

Represents a string that does not contain null characters ('\000')

Represents a unicode char.

Represents a string that can contain unicode characters.

Represents a string that can be serializable as a XML value.