Test.Chell.QuickCheck
property :: Testable prop => String -> prop -> Test Source #
Convert a QuickCheck property to a Chell Test.
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)