Tip

The language properties are expressed in in the Haskell source

Documentation

data Equality a

The property data type

Instances

(Eq a, Show a) => Testable (Equality a)

(Eq a, Show a, Testable b) => Testable ((:=>:) (Equality a) b)

data a :=>: b infixr 0

Instances

Testable b => Testable ((:=>:) Bool b)

Testable b => Testable ((:=>:) (Neg Bool) b)

(Eq a, Show a, Testable b) => Testable ((:=>:) (Equality a) b)

data And a b

Instances

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

data Or a b

Instances

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

data Neg a

Instances

Testable (Neg Bool)

Testable b => Testable ((:=>:) (Neg Bool) b)

data Forall a b

Instances

(Arbitrary a, Show a, Testable b) => Testable (Forall a b)

data Exists a b

(===) :: a -> a -> Equality a infix 3

Equality

(=/=) :: a -> a -> Neg (Equality a) infix 3

Inequality

bool :: Bool -> Equality Bool

A synonym for ===, but for booleans

(==>) :: a -> b -> a :=>: b infixr 0

Implication

(.&&.) :: a -> b -> And a b infixr 2

Conjunction

(.||.) :: a -> b -> Or a b infixr 1

Disjunction

neg :: a -> Neg a

Negation

question :: a -> Neg a

Question (same as negation)

forAll :: (a -> b) -> Forall a b

Universal quantification

exists :: (a -> b) -> Exists a b

Existential quantification

module Test.QuickCheck