checkers

Check properties on standard classes and data structures.

Version on this page:	0.4.1
LTS Haskell 20.23:	0.6.0@rev:1
Stackage Nightly 2023-05-28:	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 conal@conal.net

This version can be pinned in stack with:checkers-0.4.1@sha256:e8b4bebc04f3b8f45e3607075b5cf1e9aa922584a139cd8275e81349f0dc5adb,1835

Module documentation for 0.4.1

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

Depends on 4 packages(full list with versions):

array, base, QuickCheck, random

'Checkers' wraps up the expected properties associated with various standard type classes as QuickCheck properties. Also some morphism properties. It also provides arbitrary instances and generator combinators for common data types.

Contributions from: Thomas Davie.