quickspec-0.9.6: Equational laws for free!

Safe HaskellNone

Test.QuickSpec.Main

Description

The main implementation of QuickSpec.

Synopsis

Documentation

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

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

data Target Source

Constructors

Target Symbol 
NoTarget 

Instances

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

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

Run QuickSpec on a signature.

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.