tasty-groundhog-converters
smallcheck
Our great sponsors
tasty-groundhog-converters | smallcheck | |
---|---|---|
0 | 3 | |
1 | 133 | |
- | - | |
0.0 | 4.2 | |
about 8 years ago | 10 months ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" 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.
tasty-groundhog-converters
We haven't tracked posts mentioning tasty-groundhog-converters yet.
Tracking mentions began in Dec 2020.
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"?
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
http-test - Tests for HTTP APIs
fixie - 🚴 Opininated testing framework for mtl style (spies, stubs, and mocks)
ghc-prof-flamegraph
smallcheck-series - Orphan Series/CoSeries instances for common types
smallcheck-laws - Property testing for common type classes
smartcheck - A Smarter QuickCheck
monad-mock - A Haskell package that provides a monad transformer for mocking mtl-style typeclasses
hspec - A Testing Framework for Haskell