genvalidity-property

Standard properties for functions on `Validity` types

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

Version on this page:0.2.1.0
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
This version can be pinned in stack with:genvalidity-property-0.2.1.0@sha256:78f29b101f5b937ae41d54009cf52ae80f26eb0afec613cb2353ad6b8482a2df,2331

Module documentation for 0.2.1.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

Standard properties for functions on Validity types