• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for genvalidity-property-1.0.0.0 source tarball

genvalidity-property-1.0.0.0/

• CHANGELOG.md
• LICENSE
• genvalidity-property.cabal
• src/
  • Test/
    • Validity/
      • Functions.hs
      • Operations.hs
      • Property.hs
      • Relations.hs
      • Types.hs
      • Functions/
        • CanFail.hs
        • Equivalence.hs
        • Idempotence.hs
        • Inverse.hs
        • Validity.hs
      • GenValidity/
        • Property.hs
      • Operations/
        • Associativity.hs
        • Commutativity.hs
        • Identity.hs
      • Property/
        • Utils.hs
      • Relations/
        • Antireflexivity.hs
        • Antisymmetry.hs
        • Reflexivity.hs
        • Symmetry.hs
        • Transitivity.hs
      • Shrinking/
        • Property.hs
• test/
  • Spec.hs
  • Test/
    • Validity/
      • Operations/
        • CommutativitySpec.hs