Test.QuickSpec.Main

The main implementation of QuickSpec.

Documentation

undefinedsSig :: Sig -> Sig

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

prune :: Int -> [Tagged Term] -> [Term] -> [Equation] -> [Equation]

defines :: Equation -> Maybe Symbol

definitions :: [Equation] -> [Equation]

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

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.