Test Automation
Hedgehog Property-Based Testing in Haskell: Shrinking and State Machines
Hedgehog is a modern property-based testing library for Haskell that addresses QuickCheck's main pain point: shrinking. Where QuickCheck requires manual shrink implementations, Hedgehog shrinks automatically because shrinking is built into the generator itself. The Key Difference from QuickCheck In QuickCheck, generation and shrinking are separate. You write an