Modulechell-quickcheck-0.2.5.4GHC2021

Test.Chell.QuickCheck

Synopsis

value property

Packagechell-quickcheck-0.2.5.4
Exports1
LanguageGHC2021
LicenceMIT
SourceQuickCheck.hs

valueproperty :: 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)