Copyright	(c) Marcellus Siegburg 2017
License	PublicDomain
Maintainer	Marcellus Siegburg <msi@informatik.uni-kiel.de>
Stability	Experimental
Safe Haskell	None
Language	Haskell2010

Test.Hspec.Multicheck

Contents

Orphan instances

Description

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.

Synopsis

Documentation

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

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

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

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) Source #

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 Source #

A synonym for it.

Orphan instances

(Monad m, (~) (* -> *) m n) => Testable n (Property m, Property) Source #
Methods test :: (Property m, Property) -> Property n
Testable (Property m, Property) Source #
Methods property :: (Property m, Property) -> Property