Safe Haskell	Safe
Language	Haskell2010

Test.QuickCheck.HigherOrder.Internal.Testable.Class

Contents

Synopsis

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

An alternative Testable

class Testable' prop where Source #

Types that represent testable properties.

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

Methods

Instances

Testable' Bool Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.Testable.Class Methods property' :: Bool -> Property Source #
Testable' Property Source #	A `Property` is the canonical type of testable properties. property' @Property = property @Property = id
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.Testable.Class Methods property' :: Property -> Property Source #
Testable' a => Testable' (Gen a) Source #	A generator represents a universally quantified property.
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.Testable.Class Methods property' :: Gen a -> Property Source #
TestEq a => Testable' (Equation a) Source #
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.Testable Methods property' :: Equation a -> Property Source #
(Constructible a, Testable' b) => Testable' (a -> b) Source #	A function represents a universally quantified property.
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.Testable.Class Methods property' :: (a -> b) -> Property Source #
(Decidable a, Testable' b) => Testable' (Implication a b) Source #	Just use `(==>)`.
Instance details Defined in Test.QuickCheck.HigherOrder.Internal.Testable Methods property' :: Implication a b -> Property Source #

Helpers

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

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