Tests for GenValidity instances
Standard tests involving functions
Standard tests involving validity
Standard tests involving functions that can fail
Standard tests involving equivalence of functions
Simple functions
One argument
Two arguments
Three arguments
First function can fail
One argument
Two arguments
Second function can fail
One argument
Two arguments
Both functions can fail
One argument
Two arguments
Standard tests involving inverse functions
Properties involving idempotence
Properties of relations
Reflexivity
Transitivity
Antisymmetry
Antireflexivity
Symmetry
Properties of operations
Identity element
Left Identity
Right Identity
Identity
Associativity
Commutativity