genvalidity-sydtest

Standard properties for functions on `Validity` types for the sydtest framework

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

LTS Haskell 24.28:1.0.1.0
Stackage Nightly 2026-01-18:1.0.1.0
Latest on Hackage:1.0.1.0

See all snapshots genvalidity-sydtest appears in

MIT licensed by Tom Sydney Kerckhove
Maintained by [email protected]
This version can be pinned in stack with:genvalidity-sydtest-1.0.1.0@sha256:80e0ecf3bd494da9e3acd564ba79a8086e36cb92d171de5c8d1c46b35d4f0cfa,3246

Module documentation for 1.0.1.0

  • Test
    • Test.Syd
      • Test.Syd.Validity
        • Test.Syd.Validity.Applicative
        • Test.Syd.Validity.Arbitrary
        • Test.Syd.Validity.Eq
        • Test.Syd.Validity.Functions
          • Test.Syd.Validity.Functions.CanFail
          • Test.Syd.Validity.Functions.Equivalence
          • Test.Syd.Validity.Functions.Idempotence
          • Test.Syd.Validity.Functions.Inverse
          • Test.Syd.Validity.Functions.Validity
        • Test.Syd.Validity.Functor
        • Test.Syd.Validity.GenValidity
          • Test.Syd.Validity.GenValidity.Property
        • Test.Syd.Validity.Monad
        • Test.Syd.Validity.Monoid
        • Test.Syd.Validity.Operations
          • Test.Syd.Validity.Operations.Associativity
          • Test.Syd.Validity.Operations.Commutativity
          • Test.Syd.Validity.Operations.Identity
        • Test.Syd.Validity.Ord
        • Test.Syd.Validity.Property
          • Test.Syd.Validity.Property.Utils
        • Test.Syd.Validity.Relations
          • Test.Syd.Validity.Relations.Antireflexivity
          • Test.Syd.Validity.Relations.Antisymmetry
          • Test.Syd.Validity.Relations.Reflexivity
          • Test.Syd.Validity.Relations.Symmetry
          • Test.Syd.Validity.Relations.Transitivity
        • Test.Syd.Validity.Show
        • Test.Syd.Validity.Shrinking
          • Test.Syd.Validity.Shrinking.Property
        • Test.Syd.Validity.Types
        • Test.Syd.Validity.Utils

Changes

Changelog

[1.0.1.0] - 2025-12-25

Changed

  • Generalised spec combinators to have type TestDef outers () instead of Spec.

[1.0.0.0] - 2021-11-20

  • 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.