nw-pbt-haskell
Installation
SKILL.md
PBT Haskell -- QuickCheck + Hedgehog
Framework Selection
| Framework | Shrinking | Stateful | Choose When |
|---|---|---|---|
| QuickCheck | Type-based (manual) | Limited (open-source) | Default for most projects. Universal ecosystem support. |
| Hedgehog | Integrated (automatic) | Yes (parallel too) | Need automatic shrinking composition or parallel stateful testing |
QuickCheck is the original PBT framework (2000). Hedgehog is the modern alternative with better shrinking.
Quick Start (QuickCheck)
import Test.QuickCheck
prop_reverse_involutory :: [Int] -> Bool
prop_reverse_involutory xs = reverse (reverse xs) == xs