Kulitta.Learning.Learning

Documentation

version :: [Char]

logData :: Bool

type RRule a = Rule a

type PRule a = (Double, (a, [a]))

data GramMode

Constructors

PCFG

Temporal

Instances

Eq GramMode

Defined in Kulitta.Learning.Learning

Methods

(==) :: GramMode -> GramMode -> Bool

(/=) :: GramMode -> GramMode -> Bool

Ord GramMode

Defined in Kulitta.Learning.Learning

Methods

compare :: GramMode -> GramMode -> Ordering

(<) :: GramMode -> GramMode -> Bool

(<=) :: GramMode -> GramMode -> Bool

(>) :: GramMode -> GramMode -> Bool

(>=) :: GramMode -> GramMode -> Bool

max :: GramMode -> GramMode -> GramMode

min :: GramMode -> GramMode -> GramMode

Read GramMode

Defined in Kulitta.Learning.Learning

Methods

readsPrec :: Int -> ReadS GramMode

readList :: ReadS [GramMode]

readPrec :: ReadPrec GramMode

readListPrec :: ReadPrec [GramMode]

Show GramMode

Defined in Kulitta.Learning.Learning

Methods

showsPrec :: Int -> GramMode -> ShowS

show :: GramMode -> String

showList :: [GramMode] -> ShowS

data Grammar

Constructors

GramPCFG (RTerm, [RRule RTerm])

GramOther

data DataSet

Constructors

DataPCFG [(Int, Mode, [CType])]

DataOther

data DistMode

Constructors

Uniform

Random Int

Instances

Eq DistMode

Defined in Kulitta.Learning.Learning

Methods

(==) :: DistMode -> DistMode -> Bool

(/=) :: DistMode -> DistMode -> Bool

Ord DistMode

Defined in Kulitta.Learning.Learning

Methods

compare :: DistMode -> DistMode -> Ordering

(<) :: DistMode -> DistMode -> Bool

(<=) :: DistMode -> DistMode -> Bool

(>) :: DistMode -> DistMode -> Bool

(>=) :: DistMode -> DistMode -> Bool

max :: DistMode -> DistMode -> DistMode

min :: DistMode -> DistMode -> DistMode

Read DistMode

Defined in Kulitta.Learning.Learning

Methods

readsPrec :: Int -> ReadS DistMode

readList :: ReadS [DistMode]

readPrec :: ReadPrec DistMode

readListPrec :: ReadPrec [DistMode]

Show DistMode

Defined in Kulitta.Learning.Learning

Methods

showsPrec :: Int -> DistMode -> ShowS

show :: DistMode -> String

showList :: [DistMode] -> ShowS

data Params

Constructors

Params

Fields

• confFile :: String
• dataFile :: String
• gramFile :: String
• gramMode :: GramMode
• runIters :: Int
• convThresh :: Double
• dataSeeds :: [Int]
• initDist :: DistMode
• dataMode :: [Mode]
• maxLength :: Int
• sampleSize :: Int
• filterData :: Bool
• outNamePre :: String
• minProb :: Double
• logFile :: String

mainL :: IO ()

fixLHS :: (a, b) -> ((a, Rational), b)

putLogLn :: FilePath -> String -> IO ()

putLog :: FilePath -> String -> IO ()

errorLog :: FilePath -> String -> IO b

mainTemporal :: Params -> IO ()

durAlph :: [Dur]

mainSub2 :: (Eq a, Show a) => Params -> [RRule (CType, Rational)] -> p1 -> [TStr a] -> p2 -> TOracle a -> Int -> IO [Double]

sampleFile :: Show a => Params -> a -> [Char]

mainPCFG :: Params -> IO ()

averageLength :: (Fractional a1, Foldable t) => [t a2] -> a1

getGrammar :: Params -> IO Grammar

getData :: Params -> IO DataSet

makeQs :: Eq a => Params -> [RRule a] -> [Double]

makeQsT :: Eq a => Params -> [RRule a] -> [Double]

mainSub1 :: (Show a, Eq a) => Params -> [RRule RTerm] -> p1 -> [[a]] -> p2 -> TOracle a -> Int -> IO [Double]

getPhi :: (a, b, c, d) -> d

makePre :: [Char] -> [Char]

stats :: Show a => a -> Params -> [Char]

sameLHS :: Eq a => PRule a -> PRule a -> Bool

ecOp :: (Eq a, Show a) => [PRule a] -> String

checkProbs :: (Eq a, Show a) => [PRule a] -> String

showRule' :: Show a => (a, [a]) -> String

showInter :: Show a => String -> [a] -> String

mkQTable :: [Int] -> [RRule RTerm] -> [[Double]] -> String

mkQTableT :: [Int] -> [RRule (CType, Rational)] -> [[Double]] -> String

showRohrStr :: [RTerm] -> [Char]

mkQStr :: [PRule RTerm] -> [Char]

mkQStrT :: [(Double, RRule (CType, Rational))] -> [Char]

allQs :: [[PRule RTerm]] -> [Char]

showRule :: PRule RTerm -> String

showRuleT1 :: (Double, RRule (CType, Rational)) -> String

showRuleT2 :: RRule (CType, Rational) -> String

randomData :: Int -> Int -> [[a]] -> [[a]]

testCFile :: FilePath -> IO ()

splitBy :: Eq a => a -> [a] -> [[a]]

parseCFile :: String -> String -> Params

printParams :: Params -> IO ()

makeLogFN :: FilePath -> FilePath

readMode :: String -> [Mode]

testPCFG :: FilePath -> IO ()

splitBy2 :: Eq a => [a] -> [a] -> [[a]]

parsePCFG :: String -> (RTerm, [RRule RTerm])

showRule2 :: RRule RTerm -> String

printPCFG :: (Show a, Foldable t) => (a, t (RRule RTerm)) -> IO ()

readPCFG :: FilePath -> IO (RTerm, [RRule RTerm])

readData :: FilePath -> IO [(Int, Mode, [CType])]

readData2 :: FilePath -> IO [(Int, Mode, [RTerm])]

parseData :: String -> [(Int, Mode, [CType])]

parseData2 :: String -> [(Int, Mode, [RTerm])]

readR :: String -> String -> RTerm

readMode2 :: [Char] -> Mode

iotr :: [(RTerm, [RTerm])]

fst3 :: (a, b, c) -> a

snd3 :: (a, b, c) -> b

thd :: (a, b, c) -> c

procChords :: [(Int, Mode, [CType])] -> Params -> [RRule RTerm] -> RTerm -> [[RTerm]]

procChords2 :: [(Int, Mode, [RTerm])] -> Params -> [RRule RTerm] -> RTerm -> [[RTerm]]

parseable :: Eq a => [Rule a] -> a -> [a] -> Bool

findByRHS1 :: Eq a => [RRule a] -> TStr a -> [TRuleInst a]

ruleGroups1 :: Eq a => [RRule a] -> [[RuleIndex]]

findByRHS2 :: Eq a => [RRule (a, Rational)] -> TStr (a, Rational) -> [TRuleInst (a, Rational)]

temporalNorm :: TStr (a, Rational) -> TStr (a, Rational)

validInstance :: TRuleInst (a, Rational) -> Bool

allDurs :: [Rational]

makeInstance :: TStr (a, Rational) -> (RuleIndex, RRule (a, Rational)) -> TRuleInst (a, Rational)

ruleGroups2 :: Eq a => [RRule a] -> [[RuleIndex]]

readProbsFinal :: FilePath -> IO [[Double]]