Package Info


Cholesterol-free property-based testing


LeanCheck is a simple enumerative property-based testing library.

Properties are defined as Haskell functions returning a boolean value which should be true for all possible choices of argument values. LeanCheck applies enumerated argument values to these properties in search for a counterexample. Properties can be viewed as parameterized unit tests.

LeanCheck works by producing tiers of test values: a possibly infinite list of finite sublists of same-and-increasingly-sized values.

LeanCheck has lean core with only 180 lines of Haskell code.

License: BSD-3-Clause



Package Version Update ID Released Package Hub Version Platforms Subpackages
0.6.3-bp150.2.4 info GA Release 2018-08-01 15
  • AArch64
  • ghc-leancheck
  • ghc-leancheck-devel
0.6.3-bp150.2.6 info GA Release 2018-07-30 15
  • ppc64le
  • x86-64
  • ghc-leancheck
  • ghc-leancheck-devel