@hackage chell-quickcheck0.2.5.4

QuickCheck support for Chell

Categories
- Testing
License
MIT
Maintainer
Chris Martin, Julie Moronuki
Links
- Homepage
- Documentation
- No source repository
- Changelog
- Security
Versions
- 0.2.5.4 Tue, 7 Jan 2025
- 0.2.5.3 Fri, 14 Jan 2022
- 0.2.5.2 Sun, 17 Feb 2019
- 0.2.5.1 Tue, 12 Dec 2017
- 0.2.5 Fri, 27 Mar 2015
- 0.2.4 Sun, 18 May 2014

Installation
In your cabal file:
Tested Compilers
Dependencies (4)
- QuickCheck ^>=2.14.2
- base ^>=4.16 || ^>=4.17 || ^>=4.18 || ^>=4.19 || ^>=4.20 || ^>=4.21
- chell ^>=0.5
- random ^>=1.2.1 || ^>=1.3.0
Dependents (5)
@hackage/dbus, @hackage/acme-everything, @hackage/options, @hackage/gnuidn, @hackage/system-filepath

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]