genvalidity-property-1.0.0.0: Standard properties for functions on `Validity` types

# genvalidity-property-1.0.0.0: Standard properties for functions on `Validity` types

Standard properties for functions on `Validity` types

Modules

genvalidity-property-1.0.0.0

- Test
  Submodules
  - Validity
    Submodules
    - Test.Validity.Functions
      Submodules
      - Test.Validity.Functions.CanFail
      - Test.Validity.Functions.Equivalence
      - Test.Validity.Functions.Idempotence
      - Test.Validity.Functions.Inverse
      - Test.Validity.Functions.Validity
    - GenValidity
      Submodules
      - Test.Validity.GenValidity.Property
    - Test.Validity.Operations
      Submodules
      - Test.Validity.Operations.Associativity
      - Test.Validity.Operations.Commutativity
      - Test.Validity.Operations.Identity
    - Test.Validity.Property
      Submodules
      - Test.Validity.Property.Utils
    - Test.Validity.Relations
      Submodules
      - Test.Validity.Relations.Antireflexivity
      - Test.Validity.Relations.Antisymmetry
      - Test.Validity.Relations.Reflexivity
      - Test.Validity.Relations.Symmetry
      - Test.Validity.Relations.Transitivity
    - Shrinking
      Submodules
      - Test.Validity.Shrinking.Property
    - Test.Validity.Types