Std.Test.Property

8 public declarations

• forAllStr -> UInt64 -> Int -> fn(Std.Random.Generator) -> (Std.Random.Generator, T) -> fn(T) -> Array[T] -> fn(T) -> Bool -> Std.Test.Check

  A check that a property holds for every generated value.

  fn
• forAllIntsStr -> UInt64 -> Int -> Int -> fn(Int) -> Bool -> Std.Test.Check

  A property over whole numbers below a bound.

  fn
• Gen

  A source of values of one type.

  type
• Shrink

  Smaller candidates to try in place of a value that failed.

  type
• shrinkArray&Array[T] -> Array[Array[T]]

  Shorter sequences to try: whole chunks removed first, then one element

  fn
• shrinkIntInt -> Array[Int]

  Simpler whole numbers to try: zero, then halfway back toward it, and the

  fn
• shrinkNothingT -> Array[T]

  Nothing simpler to try, for a value with no smaller form.

  fn
• shrinkTextStr -> Array[Str]

  Shorter text to try, by the same rule sequences use.

  fn