gencheck-0.1.1: A testing framework inspired by QuickCheck and SmallCheck

Safe HaskellSafe-Infered

Test.GenCheck.System.SimpleCheck

Documentation

type Property a = a -> BoolSource

stdTest :: (Testable a, Integral k) => Property a -> k -> IO ()Source

stdCheck :: (Testable a, Integral k) => Property a -> k -> IO ()Source

deepTest :: (Testable a, Integral k) => Property a -> k -> IO ()Source

baseTest :: (Testable a, Integral k) => Property a -> k -> IO ()Source