Kulitta.Learning.TemporalGen

Documentation

type TSym a = (a, Rational)

type RHS a = [TSym a]

type TRule a = (a, RHS a)

tSeed :: Sentence CType MP

maxDur :: Dur

minDur :: Dur

dataPoints :: Int

rSeed :: Int

iters :: Int

useLets :: Bool

infInts :: RandomGen b => b -> [Int]

genData :: [[(CType, MP)]]

writeData :: IO ()

convRule :: (Prob, TRule a) -> Rule a MP

toRuleFun :: [(a, Dur)] -> RuleFun a MP

readTemporalRules :: FilePath -> IO ((CType, Dur), [(Prob, TRule CType)])

readTemporalRules2 :: FilePath -> IO ((CType, Dur), [Rule CType MP])

readPTGG :: FilePath -> IO ((CType, Dur), [Rule CType MP])

readTemporalData :: FilePath -> IO [[(CType, Dur)]]

showTemporal :: ((CType, Dur), [TRule CType]) -> String

showTRule :: (Show a1, Show a2) => (a1, [a2]) -> [Char]

printTemporal :: ((CType, Dur), [TRule CType]) -> IO ()

genFromFile :: FilePath -> FilePath -> Dur -> p -> Int -> Int -> IO ()

genDataTest :: IO ()

genDataTest2 :: IO ()

trules2 :: IO ()

trules3 :: IO ()