genvalidity-property

Standard properties for functions on `Validity` types

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

LTS Haskell 24.24:1.0.0.0
Stackage Nightly 2025-12-16: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-1.0.0.0@sha256:b3942bbdb0e5706ff7837a7f1e7bf49822b90b3f6f7519128137a5f701628ebc,2295

Module documentation for 1.0.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
Used by 2 packages in nightly-2024-01-10(full list with versions):
genvalidity-hspec, genvalidity-hspec-hashable

Changes

Changelog

[1.0.0.0] - 2021-11-20

Changed

  • Compatibility with genvalidity >= 1.0.0.0
  • Renamed every combinator that ends in OnValid (or similar) to not have that suffix anymore.

Removed

  • Every combinator that relates to unchecked or invalid values.

[0.5.0.2] - 2020-02-10

Changed

  • Removed the doctests
  • Improved the cabal file

[0.5.0.1] - 2019-09-23

Changed

  • Removed a redundant import to have a clean warning-free build

[0.5.0.0] - 2019-09-23

Changed

  • Started using pretty-show for the output of validIfSucceeds, validIfSucceedsOnGens2 and validIfSucceedsOnValids3
  • Started using pretty-show for the output of shouldBeValid and shouldBeInvalid.
  • Gave genGeneratesValid and genGeneratesInvalid much nicer output.
  • Removed nonsense shrinking from genGeneratesValid and genGeneratesInvalid.

[0.4.0.0] - 2019-03-08

Changed

  • Compatibility with genvalidity >=0.8

[0.3.0.0] - 2018-11-07

Changed

  • Compatibility with validity >=0.9 and genvalidity >= 0.7

[0.2.1.1] - 2018-10-06

Added

  • shrinkDoesNotShrinkToItself
  • shrinkDoesNotShrinkToItselfWithLimit
  • shrinkDoesNotShrinkToItselfOnValid
  • shrinkDoesNotShrinkToItselfOnValidWithLimit
  • shrinkDoesNotShrinkToItselfOnInvalid
  • shrinkDoesNotShrinkToItselfOnInvalidWithLimit
  • doesNotShrinkToItself
  • doesNotShrinkToItselfWithLimit

Changed

  • exported shrinkingPreservesWithLimit from Test.Validity.Shrinking.Property