hspec-leancheck: LeanCheck support for the Hspec test framework.
LeanCheck support for the Hspec test framework.
This package can be used to incorporate LeanCheck tests into Hspec test
suites by means of the Test.Hspec.LeanCheck.testProperty function.
Please see the Haddock documentation and README for more details.
[Skip to Readme]
| Versions [faq] | 0.0.1, 0.0.2, 0.0.3, 0.0.4 |
|---|---|
| Dependencies | base (==4.*), hspec (>=2.5), hspec-core, HUnit, leancheck [details] |
| License | BSD-3-Clause |
| Author | Rudy Matela <rudy@matela.com.br> |
| Maintainer | Rudy Matela <rudy@matela.com.br> |
| Category | Testing |
| Home page | https://github.com/rudymatela/hspec-leancheck#readme |
| Source repo | head: git clone https://github.com/rudymatela/hspec-leancheck this: git clone https://github.com/rudymatela/hspec-leancheck(tag v0.0.1) |
| Uploaded | by rudymatela at 2018-09-08T15:19:28Z |
| Distributions | LTSHaskell:0.0.3, NixOS:0.0.4, Stackage:0.0.3 |
| Downloads | 1525 total (6 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |
Downloads
- hspec-leancheck-0.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Readme for hspec-leancheck-0.0.1
[back to package description]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.