chell-quickcheck-0.2.5.2: QuickCheck support for the Chell testing library

Safe HaskellNone
LanguageHaskell98

Test.Chell.QuickCheck

Synopsis

Documentation

property :: Testable prop => String -> prop -> Test Source #

Convert a QuickCheck property to a Chell Test.

import Test.Chell
import Test.Chell.QuickCheck
import Test.QuickCheck hiding (property)

test_NullLength :: Test
test_NullLength = property "null-length"
    (xs -> not (null xs) ==> length xs > 0)