Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Constrained.Properties
Description
Useful of helpers for writing properties with constrained generators
Synopsis
- conformsToSpecProp ∷ ∀ a. HasSpec a ⇒ a → Specification a → Property
- forAllSpec ∷ (HasSpec a, Testable p) ⇒ Specification a → (a → p) → Property
- forAllSpecShow ∷ (HasSpec a, Testable p) ⇒ Specification a → (a → String) → (a → p) → Property
- forAllSpecDiscard ∷ (HasSpec a, Testable p) ⇒ Specification a → (a → p) → Property
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.