Foundation.Check

Contents

• Property
• Check Plan

Description

Synopsis

• data Gen a
• class Arbitrary a where
  • arbitrary :: Gen a
• oneof :: NonEmpty [Gen a] -> Gen a
• elements :: NonEmpty [a] -> Gen a
• frequency :: NonEmpty [(Word, Gen a)] -> Gen a
• between :: (Word, Word) -> Gen Word
• data Test where
  • Unit :: String -> IO () -> Test
  • Property :: IsProperty prop => String -> prop -> Test
  • Group :: String -> [Test] -> Test
  • CheckPlan :: String -> Check () -> Test
• testName :: Test -> String
• data PropertyCheck
• data Property = Prop {
  • unProp :: Gen PropertyTestArg
  }
• class IsProperty p where
  • property :: p -> Property
• (===) :: (Show a, Eq a, Typeable a) => a -> a -> PropertyCheck
• propertyCompare :: (Show a, Typeable a) => String -> (a -> a -> Bool) -> a -> a -> PropertyCheck
• propertyAnd :: PropertyCheck -> PropertyCheck -> PropertyCheck
• propertyFail :: String -> PropertyCheck
• forAll :: (Show a, IsProperty prop) => Gen a -> (a -> prop) -> Property
• data Check a
• validate :: IsProperty prop => String -> prop -> Check ()
• pick :: String -> IO a -> Check a
• iterateProperty :: CountOf TestResult -> GenParams -> (Word64 -> GenRng) -> Property -> IO (PropertyResult, CountOf TestResult)

Documentation

Property

Check Plan