chell-quickcheck: QuickCheck support for Chell

[ library, mit, testing ] [ Propose Tags ]

QuickCheck support for the Chell testing library.


[Skip to Readme]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.1, 0.1.0.1, 0.2, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.2.5.1, 0.2.5.2, 0.2.5.3, 0.2.5.4
Change log changelog.md
Dependencies base (>=4.16 && <4.19), chell (>=0.5 && <0.6), QuickCheck (>=2.14.2 && <2.15), random (>=1.2.1 && <1.3) [details]
License MIT
Author John Millikin <john@john-millikin.com>
Maintainer Chris Martin, Julie Moronuki
Category Testing
Home page https://github.com/typeclasses/chell
Uploaded by chris_martin at 2023-07-11T21:34:45Z
Distributions Arch:0.2.5.3, NixOS:0.2.5.4
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 11442 total (57 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2023-07-11 [all 1 reports]

Readme for chell-quickcheck-0.2.5.4

[back to package description]

QuickCheck support for the Chell testing library.

import Test.Chell
import Test.Chell.QuickCheck

tests :: Suite
tests =
  suite "tests"
      [ test_Equality
      , test_Increment
      ]

test_Equality :: Test
test_Equality = property "equality" (\x -> x == x)

test_Increment :: Test
test_Increment = property "equality" (\x -> x + 1 > x)

main :: IO ()
main = defaultMain [tests]