Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Constrained.Properties
Description
Useful of helpers for writing properties with constrained generators
Documentation
conformsToSpecProp ∷ ∀ a. HasSpec a ⇒ a → Specification a → Property Source #
forAllSpecShow ∷ (HasSpec a, Testable p) ⇒ Specification a → (a → String) → (a → p) → Property Source #
forAllSpec ∷ (HasSpec a, Testable p) ⇒ Specification a → (a → p) → Property Source #
forAllSpecDiscard ∷ (HasSpec a, Testable p) ⇒ Specification a → (a → p) → Property Source #