Property-based testing becomes easier with Hedgehog
2017-04-09
Discover Hedgehog, a new property-based testing system that makes properties less fragmented, provides automatic shrinking, and offers fine-grained control over generated values.
Blog
Write you some QuickCheck - Properties that hold under certain conditions
2016-06-13
Part of the QuickCheck from scratch series, implementing conditional properties that only hold under certain preconditions using the Gen and Property modules in F#.
Write you some QuickCheck - Properties
2016-05-27
Learn how to write assertions about logical properties that functions should fulfill in QuickCheck, using List.rev as an example to understand property-based testing fundamentals.
Atom + Stack = no globally installed GHC/packages
2016-05-19
Set up a clean Haskell development environment using Stack to avoid global GHC installations and atom-haskell for integrated tooling with ghc-mod, hlint, and stylish-haskell.
Write you some QuickCheck - Shrinking lists
2016-04-10
Part of the QuickCheck from scratch series, implementing list shrinking functions that drop elements to find minimal counterexamples when properties fail.
Creating F# lists with AutoFixtures
2016-04-03
Solve AutoFixture's circular reference exception when creating F# lists by implementing custom specimen builders and handling immutable list creation patterns.
Write you some QuickCheck - Shrinking numberss
2016-03-17
Part of the QuickCheck from scratch series, implementing number shrinking functions to clean noise and report minimal counterexamples when properties fail.