Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.xc7d136e2026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · c7d136e · 2026-10-12

ModuleQuickCheck-2.19.0.0

Test.QuickCheck.Property

8 types
1 class
72 values

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

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