quickspec-0.9: Equational laws for free

Safe HaskellNone

Test.QuickSpec.Generate

Description

The testing loop and term generation of QuickSpec.

Documentation

terms :: Sig -> TypeRel Expr -> TypeRel ExprSource

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

test :: [(StdGen, Int)] -> Sig -> TypeMap (List `O` Expr) -> TypeMap (TestResults `O` Expr)Source

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

genSeeds :: IO [(StdGen, Int)]Source

generate :: Sig -> IO (TypeMap (TestResults `O` Expr))Source

eraseClasses :: TypeMap (TestResults `O` Expr) -> [[Tagged Term]]Source