dragen-0.1.0.0: Automatic derivation of optimized QuickCheck random generators.

Safe HaskellNone
LanguageHaskell2010

Prediction

Documentation

type Size = Int Source #

type FreqMap = Map Name Int Source #

builtInFreqs :: FreqMap Source #

initMap :: TypeEnv -> FreqMap Source #

type ProbMap = Map Name Double Source #

showMap :: (Show a, Show b) => Map a b -> String Source #

filterKeys :: (Name -> Bool) -> Map Name b -> Map Name b Source #

normalize :: TypeEnv -> FreqMap -> ProbMap Source #

normalizeTerminals :: TypeEnv -> FreqMap -> ProbMap Source #

genGWMatrix :: TypeEnv -> ProbMap -> Matrix Double Source #

predict :: TypeEnv -> Size -> FreqMap -> ProbMap Source #

confirm :: Countable a => Size -> Gen a -> IO () Source #