Test.Tasty.SmallCheck

This module allows to use SmallCheck properties in tasty.

Documentation

testProperty :: Testable IO a => TestName -> a -> TestTree

Create a Test for a SmallCheck Testable property

newtype SmallCheckDepth

The "depth" parameter for SmallCheck

Constructors

SmallCheckDepth Int

Instances

Enum SmallCheckDepth

Defined in Test.Tasty.SmallCheck

Methods

succ :: SmallCheckDepth -> SmallCheckDepth

pred :: SmallCheckDepth -> SmallCheckDepth

toEnum :: Int -> SmallCheckDepth

fromEnum :: SmallCheckDepth -> Int

enumFrom :: SmallCheckDepth -> [SmallCheckDepth]

enumFromThen :: SmallCheckDepth -> SmallCheckDepth -> [SmallCheckDepth]

enumFromTo :: SmallCheckDepth -> SmallCheckDepth -> [SmallCheckDepth]

enumFromThenTo :: SmallCheckDepth -> SmallCheckDepth -> SmallCheckDepth -> [SmallCheckDepth]

Eq SmallCheckDepth

Defined in Test.Tasty.SmallCheck

Methods

(==) :: SmallCheckDepth -> SmallCheckDepth -> Bool

(/=) :: SmallCheckDepth -> SmallCheckDepth -> Bool

Integral SmallCheckDepth

Defined in Test.Tasty.SmallCheck

Methods

quot :: SmallCheckDepth -> SmallCheckDepth -> SmallCheckDepth

rem :: SmallCheckDepth -> SmallCheckDepth -> SmallCheckDepth

div :: SmallCheckDepth -> SmallCheckDepth -> SmallCheckDepth

mod :: SmallCheckDepth -> SmallCheckDepth -> SmallCheckDepth

quotRem :: SmallCheckDepth -> SmallCheckDepth -> (SmallCheckDepth, SmallCheckDepth)

divMod :: SmallCheckDepth -> SmallCheckDepth -> (SmallCheckDepth, SmallCheckDepth)

toInteger :: SmallCheckDepth -> Integer

Num SmallCheckDepth

Defined in Test.Tasty.SmallCheck

Methods

(+) :: SmallCheckDepth -> SmallCheckDepth -> SmallCheckDepth

(-) :: SmallCheckDepth -> SmallCheckDepth -> SmallCheckDepth

(*) :: SmallCheckDepth -> SmallCheckDepth -> SmallCheckDepth

negate :: SmallCheckDepth -> SmallCheckDepth

abs :: SmallCheckDepth -> SmallCheckDepth

signum :: SmallCheckDepth -> SmallCheckDepth

fromInteger :: Integer -> SmallCheckDepth

Ord SmallCheckDepth

Defined in Test.Tasty.SmallCheck

Methods

compare :: SmallCheckDepth -> SmallCheckDepth -> Ordering

(<) :: SmallCheckDepth -> SmallCheckDepth -> Bool

(<=) :: SmallCheckDepth -> SmallCheckDepth -> Bool

(>) :: SmallCheckDepth -> SmallCheckDepth -> Bool

(>=) :: SmallCheckDepth -> SmallCheckDepth -> Bool

max :: SmallCheckDepth -> SmallCheckDepth -> SmallCheckDepth

min :: SmallCheckDepth -> SmallCheckDepth -> SmallCheckDepth

Real SmallCheckDepth

Defined in Test.Tasty.SmallCheck

Methods

toRational :: SmallCheckDepth -> Rational

IsOption SmallCheckDepth

Defined in Test.Tasty.SmallCheck

Methods

defaultValue :: SmallCheckDepth

parseValue :: String -> Maybe SmallCheckDepth

optionName :: Tagged SmallCheckDepth String

optionHelp :: Tagged SmallCheckDepth String

showDefaultValue :: SmallCheckDepth -> Maybe String

optionCLParser :: Parser SmallCheckDepth

changeDepth1 :: forall a (m :: Type -> Type) b. (Show a, Serial m a, Testable m b) => (Depth -> Depth) -> (a -> b) -> Property m

Quantify the function's argument over its series, but adjust the depth. This doesn't affect any subsequent variables.

changeDepth :: forall (m :: Type -> Type) a. Testable m a => (Depth -> Depth) -> a -> Property m

Run property with a modified depth. Affects all quantified variables in the property.

(==>) :: forall (m :: Type -> Type) c a. (Testable m c, Testable m a) => c -> a -> Property m infixr 0

The ==> operator can be used to express a restricting condition under which a property should hold. It corresponds to implication in the classical logic.

Note that ==> resets the quantification context for its operands to the default (universal).

existsUnique :: forall (m :: Type -> Type) a. Testable m a => a -> Property m

Set the uniqueness quantification context.

Bear in mind that ∃! (x, y): p x y is not the same as ∃! x: ∃! y: p x y.

For example, ∃! x: ∃! y: |x| = |y| is true (it holds only when x=0), but ∃! (x,y): |x| = |y| is false (there are many such pairs).

As is customary in mathematics, existsUnique $ \x y -> p x y is equivalent to existsUnique $ \(x,y) -> p x y and not to existsUnique $ \x -> existsUnique $ \y -> p x y (the latter, of course, may be explicitly written when desired).

That is, all the variables affected by the same uniqueness context are quantified simultaneously as a tuple.

exists :: forall (m :: Type -> Type) a. Testable m a => a -> Property m

Set the existential quantification context

forAll :: forall (m :: Type -> Type) a. Testable m a => a -> Property m

Set the universal quantification context

monadic :: Testable m a => m a -> Property m

Execute a monadic test

over :: forall a (m :: Type -> Type) b. (Show a, Testable m b) => Series m a -> (a -> b) -> Property m

over s $ \x -> p x makes x range over the Series s (by default, all variables range over the series for their types).

Note that, unlike the quantification operators, this affects only the variable following the operator and not subsequent variables.

over does not affect the quantification context.

data Property (m :: Type -> Type)

The type of properties over the monad m

Instances

(Monad m, m ~ n) => Testable n (Property m)

Defined in Test.SmallCheck.Property

Methods

test :: Property m -> Property n

IsTest (Property IO)

Defined in Test.Tasty.SmallCheck

Methods

run :: OptionSet -> Property IO -> (Progress -> IO ()) -> IO Result

testOptions :: Tagged (Property IO) [OptionDescription]

class Monad m => Testable (m :: Type -> Type) a where

Class of tests that can be run in a monad. For pure tests, it is recommended to keep their types polymorphic in m rather than specialising it to Identity.

Methods

test :: a -> Property m

Instances

Monad m => Testable m Bool

Defined in Test.SmallCheck.Property

Methods

test :: Bool -> Property m

(Monad m, m ~ n) => Testable n (Property m)

Defined in Test.SmallCheck.Property

Methods

test :: Property m -> Property n

Monad m => Testable m (Either Reason Reason)

Works like the Bool instance, but includes an explanation of the result.

Left and Right correspond to test failure and success respectively.

Defined in Test.SmallCheck.Property

Methods

test :: Either Reason Reason -> Property m

(Serial m a, Show a, Testable m b) => Testable m (a -> b)

Defined in Test.SmallCheck.Property

Methods

test :: (a -> b) -> Property m

type Depth = Int

Maximum depth of generated test values.

For data values, it is the depth of nested constructor applications.

For functional values, it is both the depth of nested case analysis and the depth of results.

type Reason = String

An explanation for the test outcome

Orphan instances

IsTest (Property IO)

Methods

run :: OptionSet -> Property IO -> (Progress -> IO ()) -> IO Result

testOptions :: Tagged (Property IO) [OptionDescription]