quickspec-0.9: Equational laws for free

Safe HaskellNone

Test.QuickSpec.Generate

Description

The testing loop and term generation of QuickSpec.

Documentation

terms' :: Typeable a => Sig -> TypeRel Expr -> a -> [Expr a]Source

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