Description
Defines a Validity typeclass for Haskell values. A Validity instance describes whether a value satisfies the invariants expected by its type or domain.
It is useful for tests, generators, validation layers, and libraries that want reusable checks for well-formed data. The quality of validation depends on instances accurately expressing the real invariants.