ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Property

Synopsis

value .&&.
value .&.
value .||.
value =/=
value ===
value ==>
value again
value callback
value castWitness
value checkCoverage
value checkCoverageWith
value classify
value coerceWitness
value collect
value conjoin
value counterexample
value cover
value coverTable
value discardAfter
value disjoin
value exception
value expectFailure
value failed
value forAll
value forAllBlind
value forAllShow
value forAllShrink
value forAllShrinkBlind
value forAllShrinkShow
value formatException
value idempotentIOProperty
value ioProperty
value ioRose
value joinRose
value label
value liftBool
value mapProp
value mapResult
value mapRoseResult
value mapSize
value mapTotalResult
value morallyDubiousIOProperty
value noShrinking
value onRose
value onTimeout
value once
value printTestCase
value protect
value protectProp
value protectResult
value protectResults
value protectRose
value reduceRose
value rejected
value showCounterexample
value shrinking
value stdConfidence
value succeeded
value tabulate
value total
value verbose
value verboseShrinking
value whenFail
value whenFail'
value withDiscardRatio
value withMaxShrinks
value withMaxSize
value withMaxSuccess
value withNumTests
value withProgress
value within
value witness
data Callback
data CallbackKind
data Discard
newtype Prop
newtype Property
data Result
data Rose
class Testable
data Witness

PackageQuickCheck-2.19.0.0
Exports81
LicenceBSD-3-Clause

value(.&&.) :: (Testable prop1, Testable prop2) => prop1 -> prop2 -> Property

value(.&.) :: (Testable prop1, Testable prop2) => prop1 -> prop2 -> Property

value(.||.) :: (Testable prop1, Testable prop2) => prop1 -> prop2 -> Property

value(=/=) :: (Eq a, Show a) => a -> a -> Property

value(===) :: (Eq a, Show a) => a -> a -> Property

value(==>) :: Testable prop => Bool -> prop -> Property

valueagain :: Testable prop => prop -> Property

valuecallback :: Testable prop => Callback -> prop -> Property

valuecastWitness :: Typeable a => Witness -> Maybe a

valuecheckCoverage :: Testable prop => prop -> Property

valuecheckCoverageWith :: Testable prop => Confidence -> prop -> Property

valueclassify :: Testable prop => Bool -> String -> prop -> Property

valuecoerceWitness :: Typeable a => Witness -> a

valuecollect :: (Show a, Testable prop) => a -> prop -> Property

valueconjoin :: Testable prop => [prop] -> Property

valuecounterexample :: Testable prop => String -> prop -> Property

valuecover :: Testable prop => Double -> Bool -> String -> prop -> Property

valuecoverTable

:: Testable prop
=> String
-> [(String, Double)]
-> prop
-> Property

valuediscardAfter :: Testable prop => Int -> prop -> Property

valuedisjoin :: Testable prop => [prop] -> Property

valueexception :: String -> AnException -> Result

valueexpectFailure :: Testable prop => prop -> Property

valuefailed :: Result

valueforAll :: (Show a, Testable prop) => Gen a -> (a -> prop) -> Property

valueforAllBlind :: Testable prop => Gen a -> (a -> prop) -> Property

valueforAllShow

:: Testable prop
=> Gen a
-> a -> String
-> a -> prop
-> Property

valueforAllShrink

:: (Show a, Testable prop)
=> Gen a
-> a -> [a]
-> a -> prop
-> Property

valueforAllShrinkBlind

:: Testable prop
=> Gen a
-> a -> [a]
-> a -> prop
-> Property

valueforAllShrinkShow

:: Testable prop
=> Gen a
-> a -> [a]
-> a -> String
-> a -> prop
-> Property

valueformatException :: String -> AnException -> String

valueidempotentIOProperty :: Testable prop => IO prop -> Property

valueioProperty :: Testable prop => IO prop -> Property

valueioRose :: IO (Rose Result) -> Rose Result

valuejoinRose :: Rose (Rose a) -> Rose a

valuelabel :: Testable prop => String -> prop -> Property

valueliftBool :: Bool -> Result

valuemapProp :: Testable prop => (Prop -> Prop) -> prop -> Property

valuemapResult :: Testable prop => (Result -> Result) -> prop -> Property

valuemapRoseResult

:: Testable prop
=> Rose Result -> Rose Result
-> prop
-> Property

valuemapSize :: Testable prop => (Int -> Int) -> prop -> Property

valuemapTotalResult :: Testable prop => (Result -> Result) -> prop -> Property

valuemorallyDubiousIOProperty :: Testable prop => IO prop -> Property

Deprecated. Use ioProperty instead

valuenoShrinking :: Testable prop => prop -> Property

valueonRose :: (a -> [Rose a] -> Rose a) -> Rose a -> Rose a

valueonTimeout :: Testable prop => Result -> Int -> prop -> Property

valueonce :: Testable prop => prop -> Property

valueprintTestCase :: Testable prop => String -> prop -> Property

Deprecated. Use counterexample instead

valueprotect :: (AnException -> a) -> IO a -> IO a

valueprotectProp :: Prop -> Prop

valueprotectResult :: IO Result -> IO Result

valueprotectResults :: Rose Result -> Rose Result

valueprotectRose :: IO (Rose Result) -> IO (Rose Result)

valuereduceRose :: Rose Result -> IO (Rose Result)

valuerejected :: Result

valueshowCounterexample :: String -> IO String

valueshrinking :: Testable prop => (a -> [a]) -> a -> (a -> prop) -> Property

valuestdConfidence :: Confidence

valuesucceeded :: Result

valuetabulate :: Testable prop => String -> [String] -> prop -> Property

valuetotal :: NFData a => a -> Property

valueverbose :: Testable prop => prop -> Property

valueverboseShrinking :: Testable prop => prop -> Property

valuewhenFail :: Testable prop => IO () -> prop -> Property

valuewhenFail' :: Testable prop => IO () -> prop -> Property

valuewithDiscardRatio :: Testable prop => Int -> prop -> Property

valuewithMaxShrinks :: Testable prop => Int -> prop -> Property

valuewithMaxSize :: Testable prop => Int -> prop -> Property

valuewithMaxSuccess :: Testable prop => Int -> prop -> Property

Deprecated. Use withNumTests instead

valuewithNumTests :: Testable prop => Int -> prop -> Property

valuewithProgress :: Testable prop => (TestProgress -> IO ()) -> prop -> Property

valuewithin :: Testable prop => Int -> prop -> Property

valuewitness :: (Typeable a, Show a, Testable prop) => a -> prop -> Property

datadata Callback

Constructors

PostTest CallbackKind (State -> Result -> IO ())
PostFinalFailure CallbackKind (State -> Result -> IO ())

datadata CallbackKind

Counterexample NotCounterexample

datadata Discard

Discard

Instances1Testable

Testable DiscardDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property

newtypenewtype Prop

Constructors

MkProp
- unProp :: Rose Result

Instances1Testable

Testable PropDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property

newtypenewtype Property

Constructors

MkProperty
- unProperty :: Gen Prop

Instances1Testable

Testable PropertyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property

datadata Result

Constructors

MkResult
- ok :: Maybe Bool
- expect :: Bool
- reason :: String
- theException :: Maybe AnException
- abort :: Bool
- maybeNumTests :: Maybe Int
- maybeCheckCoverage :: Maybe Confidence
- maybeDiscardedRatio :: Maybe Int
- maybeMaxShrinks :: Maybe Int
- maybeMaxTestSize :: Maybe Int
- labels :: [String]
- classes :: [(String, Bool)]
- tables :: [(String, String)]
- requiredCoverage :: [(Maybe String, String, Double)]
- callbacks :: [Callback]
- testCase :: [String]
- theWitnesses :: [Witness]

Instances1Testable

Testable ResultDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property

datadata Rose a

Constructors

MkRose a [Rose a]
IORose (IO (Rose a))

Instances3Monad, Functor, Applicative

Monad RoseDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
Functor RoseDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
Applicative RoseDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property

classclass Testable prop where

Methods

property :: prop -> Property
propertyForAllShrinkShow :: Gen a -> (a -> [a]) -> (a -> [String]) -> (a -> prop) -> Property

Instances11Testable, …

Testable EveryDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Monoids
Testable SomeDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Monoids
Testable DiscardDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
Testable PropDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
Testable PropertyDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
Testable ResultDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
Testable BoolDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
Testable ()Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
Testable prop => Testable (Gen prop)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
Testable prop => Testable (Maybe prop)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property
(Arbitrary a, Show a, Testable prop) => Testable (a -> prop)Defined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property

datadata Witness

Constructors

forall a. (Typeable a, Show a) => Wit a

Instances1Show

Show WitnessDefined in QuickCheck-2.19.0.0 · Test.QuickCheck.Property