IntProperty¶

Tests a property across all 14 Pony integer types by dispatching each sample to int_property[T] with the appropriate type.

trait ref IntProperty is
  Property[IntPropertySample ref] ref

Public Functions¶

fun box gen()
: Generator[IntPropertySample ref] box

fun ref property(
  sample: IntPropertySample ref,
  h: PropertyHelper val)
: None val ?

The property to verify for the given integer sample.

fun ref int_property[T: (Int & Integer[T] val)](
  x: T,
  h: PropertyHelper val)
: None val ?

fun box name()
: String val

fun box params()
: PropertyParams val