checkers

Check properties on standard classes and data structures.

Version0.6.0
CategoryTesting
LicenceBSD-3-Clause
AuthorConal Elliott
Maintainerconal@conal.net
Homepagegithub.com/haskell-checkers/checkers
Pinned byhackage checkers 0.6.0
Sourcehackage.haskell.org/package/checkers-0.6.0

Modules

14 modules

Test.QuickCheck.Bottoms2
Test.QuickCheck.Checkers50Some QuickCheck helpers
Test.QuickCheck.Classes38Some QuickCheck properties for standard type classes
Test.QuickCheck.Instances0
Test.QuickCheck.Instances.Array0
Test.QuickCheck.Instances.Char11
Test.QuickCheck.Instances.Eq2
Test.QuickCheck.Instances.List12
Test.QuickCheck.Instances.Maybe1
Test.QuickCheck.Instances.Num6
Test.QuickCheck.Instances.Ord2
Test.QuickCheck.Instances.Tuple4
Test.QuickCheck.Later4Later. Allows for testing of functions that depend on the order of
Test.QuickCheck.Utils5These are some general purpose utilities for use with QuickCheck. Copied from QuickCheck 1.2.0.0. Doesn't appear in 2.x

Description

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

Depends on

5 packages

QuickCheck-2.15.0.1in this set
array-0.5.8.0with GHC
base-4.20.2.0with GHC
random-1.2.1.3in this set
semigroupoids-6.0.1in this set

Used by in this set · 0

Nothing in this set depends on it.