This version can be pinned in stack with:hspec-leancheck-0.0.6@sha256:fc595bbc1a258fd4fc2aba1a79d5a413c4bd30232a58840c0e938f2b3d643a26,2374
Module documentation for 0.0.6
hspec-leancheck: LeanCheck support for Hspec
LeanCheck support for the Hspec test framework.
Installing
$ cabal install hspec-leancheck
Example
Here’s how your spec.hs
might look like:
import Test.Hspec
import Test.Hspec.LeanCheck as LC
import Data.List (sort)
main :: IO ()
main = hspec spec
spec :: Spec
spec = do
describe "sort" $ do
it "is idempotent" $
LC.property $ \xs -> sort (sort xs :: [Int]) == sort xs
it "is identity" $ -- not really
LC.property $ \xs -> sort (xs :: [Int]) == xs
And here is the output for the above program:
$ ./eg/minimal
sort
is idempotent
is identity FAILED [1]
Failures:
eg/minimal.hs:17:5:
1) sort is identity
[1,0]
To rerun use: --match "/sort/is identity/"
Randomized with seed 44182769
Finished in 0.0008 seconds
2 examples, 1 failure
Options
Use propertyWith
to configure the number of tests.
Further reading
Changelog for hspec-leancheck
0.0.6
- no actual code changes
- minor fixes in the README (HTTPs badges)
- replace Travis by GitHub as the CI
- improve build and test scripts
0.0.4
0.0.3
- export the
prop
function;
- export the
Property
type;
- improvements in Haddock documentation;
- improve tests of
hspec-leancheck
itself;
- add this changelog.
0.0.2
propertyWith
-> propertyFor
;
- improvements in documentation.
0.0.1
1st release on Hackage