Test.QuickSpec.Main

The main implementation of QuickSpec.

Documentation

undefinedsSig :: Sig -> Sig

universe :: [[Tagged Term]] -> [Tagged Term]

prune :: Context -> [Term] -> (a -> Equation) -> [a] -> [a]

defines :: Equation -> Maybe Symbol

definitions :: [Equation] -> [Equation]

runTool :: Signature a => (Sig -> IO ()) -> a -> IO ()

data Target

Constructors

Target Symbol

NoTarget

Instances

Eq Target

Ord Target

target :: Equation -> Target

innerZip :: [a] -> [[b]] -> [[(a, b)]]

quickSpec :: Signature a => a -> IO ()

Run QuickSpec on a signature.

sampleList :: StdGen -> Int -> [a] -> [a]

sampleTerms :: Signature a => a -> IO ()

Generate random terms from a signature. Useful when QuickSpec is generating too many terms and you want to know what they look like.