smallcheck
ghc-prof-flamegraph
Our great sponsors
smallcheck | ghc-prof-flamegraph | |
---|---|---|
3 | 0 | |
133 | 73 | |
- | - | |
4.2 | 0.0 | |
10 months ago | over 1 year ago | |
Haskell | Haskell | |
GNU General Public License v3.0 or later | MIT License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
smallcheck
-
Generating Well-Typed Terms that are not "Useless" [pdf]
Using laziness to avoid generating parts of an expression until it's needed is a really nice idea. The LazySmallCheck package[1] took this approach, but was limited in the types of data it could produce (e.g. it couldn't generate functions). This was extended by LazySmallCheck2012[2], but that seems to be unmaintained and doesn't work with more recent GHC versions.
(Note that these are named in reference to SmallCheck[3], which takes the approach of enumerating concrete values in order of "size"; as an alternative to the more widely-used QuickCheck[4], which generates concrete values at random, and tries to "shrink" those which trigger a failure)
[1] https://hackage.haskell.org/package/lazysmallcheck
[2] https://github.com/UoYCS-plasma/LazySmallCheck2012
-
[ANN] LeanCheck v1.0.0 – Enumerative Property Testing
Could you compare with https://hackage.haskell.org/package/smallcheck in particular the smallcheck ability "to verify properties for all test cases up to some depth"?
ghc-prof-flamegraph
We haven't tracked posts mentioning ghc-prof-flamegraph yet.
Tracking mentions began in Dec 2020.
What are some alternatives?
hedgehog - Release with confidence, state-of-the-art property testing for Haskell.
leancheck - enumerative property-based testing for Haskell
genvalidity - Validity and validity-based testing
StrictCheck - Keep your laziness in check!
selenium-server - Haskell wrapper around selenium-server
dwergaz - A minimal testing library
QuickCheck - Automatic testing of Haskell programs.
http-test - Tests for HTTP APIs
fixie - 🚴 Opininated testing framework for mtl style (spies, stubs, and mocks)
smallcheck-series - Orphan Series/CoSeries instances for common types