hspec-leancheck: LeanCheck support for the Hspec test framework.

[ bsd3, library, testing ] [ Propose Tags ]

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]

Modules

[Index]

Test
- Hspec
  - Test.Hspec.LeanCheck

Downloads

hspec-leancheck-0.0.2.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

rudymatela

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	0.0.1, 0.0.2, 0.0.3, 0.0.4, 0.0.6
Dependencies	base (>=4 && <5), 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.2)
Uploaded	by rudymatela at 2018-09-08T18:39:15Z
Distributions	LTSHaskell:0.0.6, NixOS:0.0.6, Stackage:0.0.6
Reverse Dependencies	1 direct, 0 indirect [details]
Downloads	2281 total (24 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]

Readme for hspec-leancheck-0.0.2

[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.