Test.Hspec.Multicheck

This module imports and reexports Hspec. However, the functions it and specify are changed. Thus, QuickCheck and smallcheck are executed for every test case that is specified using this library.

Documentation

(==>) :: (Testable m prop, Testable prop) => Bool -> prop -> (Property m, Property) infixr 0

Implication for properties: Applied using Smallchecks ==> and QuickChecks ==> and returned as tuple.

it :: (Testable prop, Testable IO prop) => String -> prop -> Spec

Creates a spec item for SmallCheck and QuickCheck by calling Hspecs it for each within the spec monad.

property :: (Testable IO prop, Testable prop) => prop -> (Property IO, Property)

Converts the given parameter to a tuple of properties. I.e. a Smallcheck Property and a QuickCheck Property.

specify :: (Testable prop, Testable IO prop) => String -> prop -> Spec

A synonym for it.

Orphan instances

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

Methods

test :: (Property m, Property) -> Property n

Testable (Property m, Property)

Methods

property :: (Property m, Property) -> Property