Safe Haskell | None |
---|

The main implementation of QuickSpec.

- 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
- target :: Equation -> Target
- innerZip :: [a] -> [[b]] -> [[(a, b)]]
- 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.