Optimization

Documentation

dot :: a -> a

epsilon :: Double

type CostFunction = TypeEnv -> Size -> FreqMap -> Double

uniform :: CostFunction

weighted :: [(Name, Int)] -> CostFunction

whitelist :: ([Name] -> TypeEnv -> [Name]) -> [Name] -> CostFunction

blacklist :: ([Name] -> TypeEnv -> [Name]) -> [Name] -> CostFunction

types :: [Name] -> TypeEnv -> [Name]

constructors :: [Name] -> TypeEnv -> [Name]

only :: [Name] -> CostFunction

onlyTypes :: [Name] -> CostFunction

without :: [Name] -> CostFunction

withoutTypes :: [Name] -> CostFunction

chiSquareVec :: Floating a => [a] -> [a] -> a

chiSquare :: Floating a => a -> [a] -> a

type Heat = Double

optimizeLS :: TypeEnv -> Size -> CostFunction -> FreqMap -> FreqMap

localSearch :: TypeEnv -> Size -> Heat -> CostFunction -> FreqMap -> [FreqMap] -> FreqMap

neighborhood :: FreqMap -> Heat -> [FreqMap]