Test.QuickCheck.Checkers

Some QuickCheck helpers

Misc

type Test = (String, Property)

Named test

type TestBatch = (String, [Test])

Named batch of tests

unbatch :: TestBatch -> [Test]

Flatten a test batch for inclusion in another

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

quickBatch :: TestBatch -> IO ()

Check a batch tersely.

verboseBatch :: TestBatch -> IO ()

Check a batch verbosely.

type Unop a = a -> a

Unary function, handy for type annotations

type Binop a = a -> a -> a

Binary function, handy for type annotations

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

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

f is its own inverse. See also inverse.

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

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

inverse :: (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.

type FracT = Float

Token Fractional type for tests

type NumT = Int

Token Num type for tests

type OrdT = Int

Token Ord type for tests

type T = Char

Token uninteresting type for tests

Generalized equality

class EqProp a where

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

Minimal complete definition

Nothing

Methods

(=-=) :: a -> a -> Property infix 4

default (=-=) :: (Generic a, GEqProp (Rep a)) => a -> a -> Property

Instances

EqProp Bool

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Bool -> Bool -> Property

EqProp Char

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Char -> Char -> Property

EqProp Double

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Double -> Double -> Property

EqProp Float

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Float -> Float -> Property

EqProp Int

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Int -> Int -> Property

EqProp Integer

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Integer -> Integer -> Property

EqProp Ordering

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Ordering -> Ordering -> Property

EqProp ()

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: () -> () -> Property

EqProp All

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: All -> All -> Property

EqProp Any

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Any -> Any -> Property

EqProp a => EqProp [a]

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: [a] -> [a] -> Property

EqProp a => EqProp (Maybe a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Maybe a -> Maybe a -> Property

Eq a => EqProp (Ratio a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Ratio a -> Ratio a -> Property

Eq a => EqProp (Complex a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Complex a -> Complex a -> Property

EqProp a => EqProp (Min a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Min a -> Min a -> Property

EqProp a => EqProp (Max a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Max a -> Max a -> Property

EqProp a => EqProp (First a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: First a -> First a -> Property

EqProp a => EqProp (Last a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Last a -> Last a -> Property

EqProp a => EqProp (ZipList a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: ZipList a -> ZipList a -> Property

EqProp a => EqProp (Identity a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Identity a -> Identity a -> Property

EqProp a => EqProp (Dual a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Dual a -> Dual a -> Property

(Show a, Arbitrary a, EqProp a) => EqProp (Endo a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Endo a -> Endo a -> Property

EqProp a => EqProp (Sum a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Sum a -> Sum a -> Property

EqProp a => EqProp (Product a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Product a -> Product a -> Property

EqProp a => EqProp (NonEmpty a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: NonEmpty a -> NonEmpty a -> Property

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

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: (a -> b) -> (a -> b) -> Property

(EqProp a, EqProp b) => EqProp (Either a b)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Either a b -> Either a b -> Property

(EqProp a, EqProp b) => EqProp (a, b)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: (a, b) -> (a, b) -> Property

EqProp (Proxy a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Proxy a -> Proxy a -> Property

(EqProp a, EqProp b, EqProp c) => EqProp (a, b, c)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: (a, b, c) -> (a, b, c) -> Property

EqProp a => EqProp (Const a b)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Const a b -> Const a b -> Property

EqProp (f a) => EqProp (Ap f a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Ap f a -> Ap f a -> Property

EqProp (f a) => EqProp (Alt f a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Alt f a -> Alt f a -> Property

(EqProp a, EqProp b, EqProp c, EqProp d) => EqProp (a, b, c, d)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: (a, b, c, d) -> (a, b, c, d) -> Property

(EqProp (f a), EqProp (g a)) => EqProp (Product f g a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Product f g a -> Product f g a -> Property

(EqProp (f a), EqProp (g a)) => EqProp (Sum f g a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Sum f g a -> Sum f g a -> Property

EqProp (f (g a)) => EqProp (Compose f g a)

Defined in Test.QuickCheck.Checkers

Methods

(=-=) :: Compose f g a -> Compose f g a -> Property

eq :: Eq a => a -> a -> Property

For Eq types as EqProp types

type BinRel a = a -> a -> Bool

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

Reflexive property: a rel a

transitive :: (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.

symmetric :: (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.

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

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

Since: 0.5.0

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

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

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

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

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

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

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

Associative, according to (=-=)

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

Commutative, according to (=-=)

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

Commutative, according to (=-=)

data MonoidD a

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

monoidD :: Monoid a => MonoidD a

Monoid dictionary built from the Monoid methods.

endoMonoidD :: MonoidD (a -> a)

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

homomorphism :: (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.

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

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

idempotent2 :: (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

idemElem :: 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

class Model a b | a -> b where

Methods

model :: a -> b

Instances

Model Bool Bool

Defined in Test.QuickCheck.Checkers

Methods

model :: Bool -> Bool

Model Char Char

Defined in Test.QuickCheck.Checkers

Methods

model :: Char -> Char

Model Double Double

Defined in Test.QuickCheck.Checkers

Methods

model :: Double -> Double

Model Float Float

Defined in Test.QuickCheck.Checkers

Methods

model :: Float -> Float

Model Int Int

Defined in Test.QuickCheck.Checkers

Methods

model :: Int -> Int

Model String String

Defined in Test.QuickCheck.Checkers

Methods

model :: String -> String

Model b b' => Model (a -> b) (a -> b')

Defined in Test.QuickCheck.Checkers

Methods

model :: (a -> b) -> a -> b'

(Model a b, Model a' b') => Model (a, a') (b, b')

Defined in Test.QuickCheck.Checkers

Methods

model :: (a, a') -> (b, b')

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

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

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

meq3 :: (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

meq4 :: (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

meq5 :: (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

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

denotationFor :: (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.

class Model1 f g | f -> g where

Like Model but for unary type constructors.

Methods

model1 :: forall a. f a -> g a

Some handy testing types

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

Generate n arbitrary values

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

Produce n values from a generator

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

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.

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

Orphan instances

Testable a => Testable [a]

Methods

property :: [a] -> Property

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

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

Methods

property :: (a, b) -> Property

propertyForAllShrinkShow :: Gen a0 -> (a0 -> [a0]) -> (a0 -> [String]) -> (a0 -> (a, b)) -> Property