genvalidity-property

Standard properties for functions on `Validity` types

https://github.com/NorfairKing/validity#readme

Version on this page:0.2.0.2
LTS Haskell 22.14:1.0.0.0
Stackage Nightly 2024-03-28:1.0.0.0
Latest on Hackage:1.0.0.0

See all snapshots genvalidity-property appears in

MIT licensed by Tom Sydney Kerckhove
Maintained by [email protected]
This version can be pinned in stack with:genvalidity-property-0.2.0.2@sha256:b310ce36f68e6e00b51fa12aefe3a92293a0ee8c131b1962da533916fe94a707,2281

Module documentation for 0.2.0.2

  • 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

Standard properties for functions on Validity types