Modulecheckers-0.6.0Haskell2010

Test.QuickCheck.Checkers

Some QuickCheck helpers

10 types
3 classes
37 values

Packagecheckers-0.6.0
Exports50
LanguageHaskell2010
LicenceBSD-3-Clause
SourceCheckers.hs

Misc

16 declarations

typetype Test = (String, Property)

Named test

typetype TestBatch = (String, [Test])

Named batch of tests

valueunbatch :: TestBatch -> [Test]

Flatten a test batch for inclusion in another

valuecheckBatch :: Args -> TestBatch -> IO ()

valuequickBatch :: TestBatch -> IO ()

Check a batch tersely.

valueverboseBatch :: TestBatch -> IO ()

Check a batch verbosely.

typetype Unop a = a -> a

Unary function, handy for type annotations

typetype Binop a = a -> a -> a

Binary function, handy for type annotations

valuegenR :: Random a => (a, a) -> Gen a

valueinvolution :: (Show a, Arbitrary a, EqProp a) => (a -> a) -> Property

f is its own inverse. See also inverse.

valueinverseL

:: (EqProp b, Arbitrary b, Show b)
=> a -> b
-> b -> a
-> Property

f is a left inverse of g. See also inverse.

valueinverse

:: (EqProp a, Arbitrary a, Show a, EqProp b, Arbitrary b, Show b)
=> a -> b
-> b -> a
-> Property

f is a left and right inverse of g. See also inverseL.

typetype FracT = Float

Token Fractional type for tests

typetype NumT = Int

Token Num type for tests

typetype OrdT = Int

Token Ord type for tests

typetype T = Char

Token uninteresting type for tests

Generalized equality

20 declarations

classclass EqProp a where

Types of values that can be tested for equality, perhaps through random sampling.

Methods

(=-=) :: a -> a -> Propertyinfix 4

Instances37EqProp, …

EqProp IntegerDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp AllDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp AnyDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp BoolDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp CharDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp DoubleDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp FloatDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp IntDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp OrderingDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp ()Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (First a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (Last a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (Max a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (Min a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (NonEmpty a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (Identity a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (Dual a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (Product a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (Sum a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (ZipList a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (Maybe a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp [a]Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
Eq a => EqProp (Complex a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
Eq a => EqProp (Ratio a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
(Show a, Arbitrary a, EqProp a) => EqProp (Endo a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp (Proxy a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
(EqProp a, EqProp b) => EqProp (Either a b)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
(EqProp a, EqProp b) => EqProp (a, b)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
(Show a, Arbitrary a, EqProp b) => EqProp (a -> b)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp (f a) => EqProp (Ap f a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp (f a) => EqProp (Alt f a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp a => EqProp (Const a b)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
(EqProp a, EqProp b, EqProp c) => EqProp (a, b, c)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
(EqProp (f a), EqProp (g a)) => EqProp (Product f g a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
(EqProp (f a), EqProp (g a)) => EqProp (Sum f g a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
(EqProp a, EqProp b, EqProp c, EqProp d) => EqProp (a, b, c, d)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
EqProp (f (g a)) => EqProp (Compose f g a)Defined in checkers-0.6.0 · Test.QuickCheck.Checkers

valueeq :: Eq a => a -> a -> Property

For Eq types as EqProp types

typetype BinRel a = a -> a -> Bool

valuereflexive :: (Arbitrary a, Show a) => BinRel a -> Property

Reflexive property: a rel a

valuetransitive :: (Arbitrary a, Show a) => BinRel a -> (a -> Gen a) -> Property

Transitive property: a rel b && b rel c ==> a rel c. Generate a randomly, but use gen a to generate b and gen b to generate c. gen ought to satisfy rel fairly often.

valuesymmetric :: (Arbitrary a, Show a) => BinRel a -> (a -> Gen a) -> Property

Symmetric property: a rel b ==> b rel a. Generate a randomly, but use gen a to generate b. gen ought to satisfy rel fairly often.

valueantiSymmetric :: (Arbitrary a, Show a, Eq a) => BinRel a -> Property

Antisymmetric property: (a rel b) && (a /= b) ==> not (b rel a).

valueleftId :: (Show a, Arbitrary a, EqProp a) => (i -> a -> a) -> i -> Property

Has a given left identity, according to (=-=)

valuerightId :: (Show a, Arbitrary a, EqProp a) => (a -> i -> a) -> i -> Property

Has a given right identity, according to (=-=)

valuebothId :: (Show a, Arbitrary a, EqProp a) => (a -> a -> a) -> a -> Property

Has a given left and right identity, according to (=-=)

valueisAssoc :: (EqProp a, Show a, Arbitrary a) => (a -> a -> a) -> Property

Associative, according to (=-=)

valueisCommut :: (EqProp a, Show a, Arbitrary a) => (a -> a -> a) -> Property

Commutative, according to (=-=)

valuecommutes :: EqProp z => (a -> a -> z) -> a -> a -> Property

Commutative, according to (=-=)

datadata MonoidD a

Explicit Monoid dictionary. Doesn't have to correspond to an actual Monoid instance, though see monoidD.

valuemonoidD :: Monoid a => MonoidD a

Monoid dictionary built from the Monoid methods.

valueendoMonoidD :: MonoidD (a -> a)

Monoid dictionary for an unwrapped endomorphism. See also monoidD and Endo.

valuehomomorphism

:: (EqProp b, Show a, Arbitrary a)
=> MonoidD a
-> MonoidD b
-> a -> b
-> [(String, Property)]

Homomorphism properties with respect to given monoid dictionaries. See also monoidMorphism.

valueidempotent :: (Show a, Arbitrary a, EqProp a) => (a -> a) -> Property

The unary function f is idempotent, i.e., f . f == f

valueidempotent2 :: (Show a, Arbitrary a, EqProp a) => (a -> a -> a) -> Property

A binary function op is idempotent, i.e., x op x == x, for all x

valueidemElem :: EqProp a => (a -> a -> a) -> a -> Property

A binary function op is has an idempotent element x, i.e., x op x == x

Model-based (semantics-based) testing

10 declarations

classclass Model a b | a -> b where

Methods

model :: a -> b

Instances8Model, …

Model String StringDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
Model Bool BoolDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
Model Char CharDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
Model Double DoubleDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
Model Float FloatDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
Model Int IntDefined in checkers-0.6.0 · Test.QuickCheck.Checkers
Model b b' => Model (a -> b) (a -> b')Defined in checkers-0.6.0 · Test.QuickCheck.Checkers
(Model a b, Model a' b') => Model (a, a') (b, b')Defined in checkers-0.6.0 · Test.QuickCheck.Checkers

valuemeq :: (Model a b, EqProp b) => a -> b -> Property

valuemeq1

:: (Model a b, Model a1 b1, EqProp b)
=> a1 -> a
-> b1 -> b
-> a1
-> Property

valuemeq2

:: (Model a b, Model a1 b1, Model a2 b2, EqProp b)
=> a1 -> a2 -> a
-> b1 -> b2 -> b
-> a1
-> a2
-> Property

valuemeq3

:: (Model a b, Model a1 b1, Model a2 b2, Model a3 b3, EqProp b)
=> a1 -> a2 -> a3 -> a
-> b1 -> b2 -> b3 -> b
-> a1
-> a2
-> a3
-> Property

valuemeq4

:: (Model a b, Model a1 b1, Model a2 b2, Model a3 b3, Model a4 b4, EqProp b)
=> a1 -> a2 -> a3 -> a4 -> a
-> b1 -> b2 -> b3 -> b4 -> b
-> a1
-> a2
-> a3
-> a4
-> Property

valuemeq5

:: (Model a b, Model a1 b1, Model a2 b2, Model a3 b3, Model a4 b4, Model a5 b5, EqProp b)
=> a1 -> a2 -> a3 -> a4 -> a5 -> a
-> b1 -> b2 -> b3 -> b4 -> b5 -> b
-> a1
-> a2
-> a3
-> a4
-> a5
-> Property

valueeqModels :: (Model a b, EqProp b) => a -> a -> Property

valuedenotationFor

:: (Model b b', Arbitrary a, EqProp b', Show a)
=> a -> b'
-> a -> b
-> TestBatch

f `denotationFor' g proves that f is a model for g, ie that model . g =-= f.

classclass Model1 (f :: Type -> Type) (g :: Type -> Type) | f -> g where

Like Model but for unary type constructors.

Methods

model1 :: f a -> g a

Some handy testing types

4 declarations

valuearbs :: Arbitrary a => Int -> IO [a]

Generate n arbitrary values

valuegens :: Int -> Gen a -> IO [a]

Produce n values from a generator

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

Nondeterministic choice: p1 .&. p2 picks randomly one of p1 and p2 to test. If you test the property 100 times it makes 100 random choices.

valuearbitrarySatisfying :: Arbitrary a => (a -> Bool) -> Gen a

Orphan instances

2 instances

Testable a => Testable [a]
(Testable a, Testable b) => Testable (a, b)