purescript-jack
purescript-jack copied to clipboard
QuickCheck with shrinking for free
This really seems like a nice library. Could we update it to work out of the box with spago and purescript 15?
The `boundedInt` generator returns the same value (`2147483647`, `0x7fffffff`) for seeds lower than `-84` or higher than `104`. The following program demonstrates the issue: ``` module Example where import Prelude...
Being accustomed to `Arbitrary` instances I thought a function with type signature like prop_test :: List Int -> Property would trigger from `jackMain`, but the `continue` statement with comment `not...
If we add [`MonadGen`](https://github.com/purescript/purescript-gen) instances then Jack can easily be swapped with QC or SC for types that provide generators in terms of `MonadGen`. This also means libraries using `jack`...
There are a couple of things that I miss from QuickCheck, but can't figure out how to add without some core changes to `Property`: * `==>`: There's no way to...