Kulitta.Learning.Parser

Documentation

type Rule a = (a, [a])

type Partial a = [Rule a]

type Parse a = [Partial a]

findMatches :: Eq a => [Rule a] -> [a] -> [(a, [a])]

recParse1 :: Eq a => [Rule a] -> [a] -> [Partial a]

okParse :: Eq a => [a] -> [(a, [a])] -> Bool

nextLevel :: Eq a => [Rule a] -> Partial a -> [Partial a]

iterParseStep :: Eq a => [a] -> [Rule a] -> Parse a -> [Parse a]

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

type StopFun a = Parse a -> Bool

noReps :: Eq a => [a] -> Bool

isNew :: Eq a => [[a]] -> [a] -> Bool

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

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

iterParse :: Eq a => StopFun a -> [a] -> [Rule a] -> [Parse a] -> Int -> Int -> [Parse a]

parse :: Eq a => StopFun a -> [Rule a] -> [a] -> Int -> [Parse a]

iterParse2 :: Eq a => StopFun a -> [a] -> [Rule a] -> [Parse a] -> Int -> Int -> [Parse a]

parseAll :: Eq a => StopFun a -> [Rule a] -> [a] -> Int -> [Parse a]

showRHS :: Show a => Partial a -> String

showParse :: Show a => Parse a -> String

showLevel :: Show a => Partial a -> String

printParse :: Show a => Parse a -> IO ()

testStr :: [Int]

testRules :: [(Int, [Int])]

testStop :: StopFun Int

testP :: [Parse Int]

testP' :: [Parse Int]

testStr2 :: [Int]

testP2 :: [Parse Int]

testP2' :: [Parse Int]