constrained-generators-0.2.0.0: Framework for generating constrained random data using a subset of first order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

Constrained.Properties

Description

Useful of helpers for writing properties with constrained generators

Synopsis

Documentation

conformsToSpecProp ∷ ∀ a. HasSpec a ⇒ a → Specification a → Property Source #

Like Constrained.Conformance.conformsToSpec but in Test.QuickCheck.Property form.

forAllSpec ∷ (HasSpec a, Testable p) ⇒ Specification a → (a → p) → Property Source #

Quanitfy over a Constrained.Base.Specification.

forAllSpecShow ∷ (HasSpec a, Testable p) ⇒ Specification a → (a → String) → (a → p) → Property Source #

forAllSpecDiscard ∷ (HasSpec a, Testable p) ⇒ Specification a → (a → p) → Property Source #

Quanitfy over a Constrained.Base.Specification and discard any test where generation fails.