category
arbitrary¶
Adds predicates for generating random values for selected types to the library “type” object.
staticPublic interface¶
arbitrary/1¶
Table of defined types for which an arbitrary value can be generated. A new type can be registered by defining a clause for this predicate and adding a clause for the arbitrary/2 multifile predicate.
static, multifilearbitrary(Type)arbitrary(?callable) - zero_or_morearbitrary/2¶
Generates an arbitrary term of the specified type. Fails if the given type is not supported. A new generator can be added by defining a clause for this predicate and registering it by adding a clause for the arbitrary/1 multifile predicate.
static, multifilearbitrary(Type,Term)arbitrary(@callable,-term) - zero_or_oneshrink/3¶
Shrinks a value to a smaller value. Fails if the given type is not supported or if shrinking the value is not possible. Support for a new type can be added by defining a clause for this predicate.
static, multifileshrink(Type,Large,Small)shrink(@callable,@term,-term) - zero_or_oneProtected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)