checkers

Check properties on standard classes and data structures.

https://github.com/haskell-checkers/checkers

LTS Haskell 24.24:0.6.0@rev:1
Stackage Nightly 2025-12-16:0.6.0@rev:1
Latest on Hackage:0.6.0@rev:1

See all snapshots checkers appears in

BSD-3-Clause licensed by Conal Elliott
Maintained by [email protected]
This version can be pinned in stack with:checkers-0.6.0@sha256:11dc640e98d3f0b3cf65e2777e99be89b22b212f48c88dc23f289ef64f717b72,2174

Module documentation for 0.6.0

  • Test
    • Test.QuickCheck
      • Test.QuickCheck.Bottoms
      • Test.QuickCheck.Checkers
      • Test.QuickCheck.Classes
      • Test.QuickCheck.Instances
        • Test.QuickCheck.Instances.Array
        • Test.QuickCheck.Instances.Char
        • Test.QuickCheck.Instances.Eq
        • Test.QuickCheck.Instances.List
        • Test.QuickCheck.Instances.Maybe
        • Test.QuickCheck.Instances.Num
        • Test.QuickCheck.Instances.Ord
        • Test.QuickCheck.Instances.Tuple
      • Test.QuickCheck.Later
      • Test.QuickCheck.Utils
Used by 1 package in nightly-2024-01-16(full list with versions):
hspec-checkers

checkers is a library for reusable QuickCheck properties, particularly for standard type classes (class laws and class morphisms). Checkers also has lots of support for randomly generating data values (thanks to Thomas Davie).

Changes

0.6.0

0.5.7