@hackage leancheck0.3.0

LeanCheck is a simple enumerative property-based testing library.

It works by producing *tiers* of test values, which are essentially (possibly infinite) lists of finite lists of same-and-increasingly-sized values.

LeanCheck has "lean" core with only 180 lines of Haskell code but provides a selection of utilitites for property testing: test types (Nat, Nat<1-7>, Word<1-4>, Int<1-4>); test operators (==>, ===, &&&, |||); type binding operators.

LeanCheck API is likely to change in the near future.