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

Documentation

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 #