Test.QuickSpec.Generate

The testing loop and term generation of QuickSpec.

Documentation

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

termsSatisfying :: (Term -> Bool) -> Sig -> TypeRel Expr -> TypeRel Expr

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

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

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

genSeeds :: Int -> IO [(QCGen, Int)]

toValuation :: Strategy -> Sig -> (QCGen, Int) -> (Valuation, QCGen, Int)

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

generateTermsSatisfying :: Bool -> (Term -> Bool) -> Strategy -> Sig -> IO (TypeMap (TestResults `O` Expr))

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