Test.QuickCheck.HigherOrder.Internal.Testable.Class

An alternative Testable

class Testable' prop where

Types that represent testable properties.

This is a clone of the Testable class with an improved function instance.

Methods

property' :: prop -> Property

Instances

Testable' Bool

Defined in Test.QuickCheck.HigherOrder.Internal.Testable.Class

Methods

property' :: Bool -> Property

Testable' Property

A Property is the canonical type of testable properties.

property' @Property = property @Property = id

Defined in Test.QuickCheck.HigherOrder.Internal.Testable.Class

Methods

property' :: Property -> Property

Testable' a => Testable' (Gen a)

A generator represents a universally quantified property.

Defined in Test.QuickCheck.HigherOrder.Internal.Testable.Class

Methods

property' :: Gen a -> Property

TestEq a => Testable' (Equation a)

Defined in Test.QuickCheck.HigherOrder.Internal.Testable

Methods

property' :: Equation a -> Property

(Constructible a, Testable' b) => Testable' (a -> b)

A function represents a universally quantified property.

Defined in Test.QuickCheck.HigherOrder.Internal.Testable.Class

Methods

property' :: (a -> b) -> Property

(Decidable a, Testable' b) => Testable' (Implication a b)

Just use (==>).

Defined in Test.QuickCheck.HigherOrder.Internal.Testable

Methods

property' :: Implication a b -> Property

Helpers

forAll_ :: forall a prop. (Constructible a, Testable' prop) => (a -> prop) -> Property

Equivalent to property' specialized to functions: convert a function to a Property.