genvalidity-property

Module documentation for 0.3.0.0

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