checkOrderedFieldLaws
checkOrderedFieldLaws<
T>(field,samples):LawViolation<T>[]
Defined in: laws.ts:141
Checks that the order is total, antisymmetric and transitive, and that it is compatible with the field operations.
Type Parameters
Section titled “Type Parameters”T
The carrier set.
Parameters
Section titled “Parameters”OrderedField<T>
Ordered field evidence for T.
samples
Section titled “samples”readonly T[]
Values to substitute into the axioms.
Returns
Section titled “Returns”LawViolation<T>[]
Every violation found, empty when the axioms hold.