InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →
Top 7 Haskell property-based-testing Projects
-
Project mention: The sad state of property-based testing libraries | news.ycombinator.com | 2024-07-04
> - rose tree "integrated shrinking" (eg. Hedgehog) follows the constraints of the generators, but has issues with monadic bind.
We're at the limits of my amateur knowledge, but I believe this is a fundamental limitation of monadic bind/generators. Instead, you should prefer applicative generators for ideal shrinking. https://github.com/hedgehogqa/haskell-hedgehog/issues/473#is...
In other words, applicative generators do not use "results of generators to dispatch to another generator", but instead shrinking is optimal due to the "parallel" nature of applicatives (I'm using "parallel" in the monadic sense, and not the sense of article's "threading" sense).
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Haskell property-based-testing discussion
Haskell property-based-testing related posts
-
Help with stack ghci and LeanCheck
-
Generating Well-Typed Terms that are not "Useless" [pdf]
-
[ANN] LeanCheck v1.0.0 – Enumerative Property Testing
-
Property-based testing #1: What is it anyway?
-
Monthly Hask Anything (February 2022)
-
A note from our sponsor - InfluxDB
www.influxdata.com | 15 May 2025
Index
What are some of the best open-source property-based-testing projects in Haskell? This list will help you:
# | Project | Stars |
---|---|---|
1 | hedgehog | 686 |
2 | smallcheck | 136 |
3 | fitspec | 74 |
4 | leancheck | 53 |
5 | swagger-test | 33 |
6 | speculate | 30 |
7 | leancheck-instances | 1 |