Test.Chell.QuickCheck

Documentation

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

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)