Description
A modern Haskell property-based testing system. It generates many test inputs, checks whether stated properties hold, and shrinks failures to smaller examples that are easier to understand.
Developers use it to test parsers, data structures, business rules, and APIs beyond hand-written examples. Good properties and generators are essential because the tool only checks what the tests describe.