Safe Haskell | None |
---|
The main implementation of QuickSpec.
- 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 ()
- sampleList :: StdGen -> Int -> [a] -> [a]
- sampleTerms :: Signature a => a -> IO ()
Documentation
undefinedsSig :: Sig -> SigSource
definitions :: [Equation] -> [Equation]Source
sampleList :: StdGen -> Int -> [a] -> [a]Source
sampleTerms :: Signature a => a -> IO ()Source
Generate random terms from a signature. Useful when QuickSpec is generating too many terms and you want to know what they look like.