http-test
smallcheck
Our great sponsors
| http-test | smallcheck | |
|---|---|---|
| 0 | 3 | |
| 3 | 133 | |
| - | - | |
| 0.0 | 4.2 | |
| about 8 years ago | 11 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.
http-test
We haven't tracked posts mentioning http-test 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
hspec-checkers - Allows to use checkers properties from hspec
DocTest - An implementation of Python's doctest for Haskell
fixie - 🚴 Opininated testing framework for mtl style (spies, stubs, and mocks)
fitspec - refine properties for testing Haskell programs
smallcheck-series - Orphan Series/CoSeries instances for common types
curl-runnings - A declarative test framework for quickly and easily writing integration tests against JSON APIs.
tasty-groundhog-converters - Testing Harness for groundhog and groundhog converters.
swagger-test - Property based testing tool for Swagger APIs
hedgehog-classes - Hedgehog will eat your typeclass bugs