@hackage / chell-quickcheck

QuickCheck support for Chell

Latest0.2.5.4

About

Metadata

  • Last updated , by AndreasAbel
  • License MIT
  • Categories Testing

  • Maintained by: Chris Martin, Julie Moronuki

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 9.12.1
  2. 9.10.1
  3. 9.8.2
  4. 9.6.6
  5. 9.4.8
  6. 9.2.8

Readme

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]