Tests for Arbitrary instances involving Validity
Tests for GenValidity instances
Tests for RelativeValidity instances
Tests for GenRelativeValidity instances
Standard tests involving functions
Standard tests involving validity
Standard tests involving functions that can fail
Standard tests involving equivalence of functions
Standard tests involving inverse functions
Properties involving idempotence
Properties of relations
Reflexivity
Transitivity
Antisymmetry
Symmetry
Properties of operations
Identity element
Left Identity
Right Identity
Identity
Associativity
Commutativity
Eq properties
Ord properties