quickspec-0.9.5: Equational laws for free

Safe HaskellNone

Test.QuickSpec.Generate

Description

The testing loop and term generation of QuickSpec.

Documentation

terms' :: Typeable a => (Term -> Bool) -> Sig -> TypeRel Expr -> a -> [Expr a]Source

test' :: forall a. Typeable a => [(Valuation, QCGen, Int)] -> Sig -> [Expr a] -> TestResults (Expr a)Source