GenLRParserTable

Documentation

_main :: IO ()

__main :: CFG -> IO ()

prSplk' :: (Show a1, Show a2, Show a3, Show a4, Show a5) => [(a1, a4, a2, Items, a3, a5)] -> IO ()

__mainLr1 :: AUGCFG -> IO ()

__mainLalr1 :: AUGCFG -> IO ()

indexPrule :: AUGCFG -> ProductionRule -> Int

indexPrule' :: (Show t1, Eq t1, Num t2) => [t1] -> t1 -> t2 -> t2

prPrules :: Show a => Handle -> [a] -> IO ()

prPrules' :: (Show t, Show a, Num t) => Handle -> [a] -> t -> IO ()

symbols :: CFG -> [Symbol]

first :: [(Symbol, [ExtendedSymbol])] -> Symbol -> [ExtendedSymbol]

first_ :: [(Symbol, [ExtendedSymbol])] -> [Symbol] -> [ExtendedSymbol]

extFirst :: [(Symbol, [ExtendedSymbol])] -> ExtendedSymbol -> [ExtendedSymbol]

extFirst_ :: [(Symbol, [ExtendedSymbol])] -> [ExtendedSymbol] -> [ExtendedSymbol]

calcFirst :: CFG -> [(Symbol, [ExtendedSymbol])]

initFirst :: CFG -> [(Symbol, [ExtendedSymbol])]

calcFirst' :: CFG -> [(Symbol, [ExtendedSymbol])] -> [Symbol] -> [(Symbol, [ExtendedSymbol])]

calcFirst'' :: CFG -> [(Symbol, [ExtendedSymbol])] -> [Symbol] -> (Bool, [(Symbol, [ExtendedSymbol])])

calcFirst''' :: CFG -> [(Symbol, [ExtendedSymbol])] -> (Bool, (Symbol, [ExtendedSymbol])) -> [Symbol] -> (Bool, [(Symbol, [ExtendedSymbol])])

follow :: [(Symbol, [ExtendedSymbol])] -> Symbol -> [ExtendedSymbol]

calcFollow :: CFG -> [(Symbol, [ExtendedSymbol])]

initFollow :: CFG -> [(Symbol, [ExtendedSymbol])]

calcFollow' :: [(Symbol, [ExtendedSymbol])] -> [ProductionRule] -> [(Symbol, [ExtendedSymbol])] -> [(Symbol, [ExtendedSymbol])]

calcFollow'' :: [(Symbol, [ExtendedSymbol])] -> [(Symbol, [ExtendedSymbol])] -> [ProductionRule] -> Bool -> (Bool, [(Symbol, [ExtendedSymbol])])

closure :: AUGCFG -> Items -> Items

closure' :: [(Symbol, [ExtendedSymbol])] -> [ProductionRule] -> [Item] -> [Item] -> Bool -> (Bool, [Item])

calcLR0Items :: AUGCFG -> Itemss

calcLR1Items :: AUGCFG -> Itemss

calcItems' :: CFG -> [Symbol] -> Itemss -> Itemss

elemItems :: Items -> Itemss -> Bool

eqItems :: Items -> Items -> Bool

indexItem :: String -> Itemss -> Items -> Int

indexItem' :: Num t => [Char] -> [Items] -> Items -> t -> t

goto :: AUGCFG -> Items -> Symbol -> Items

sharp :: Symbol

sharpSymbol :: ExtendedSymbol

calcEfficientLALRParseTable :: CFG -> ([Items], [ProductionRule], ActionTable, GotoTable, ())

calcLr0GotoTable :: CFG -> [[Item]] -> [(Int, Symbol, Int)]

calcSplk :: (Num a, Enum a, Eq a) => CFG -> [[Item]] -> [(a, Symbol, Int)] -> [(Item, Int, [ExtendedSymbol], (a, Int, Item, Items, Item, Item))]

calcProp :: (Num b, Enum b, Eq b) => CFG -> [[Item]] -> [(b, Symbol, Int)] -> [(Item, b, Item, Int)]

calcEfficientLALRActionGotoTable :: CFG -> [[Item]] -> (ActionTable, GotoTable)

type Lookahead = [ExtendedSymbol]

type SpontaneousLookahead = [(Item, Int, Lookahead)]

type PropagateLookahead = [(Item, Int, Item, Int)]

computeLookaheads :: SpontaneousLookahead -> PropagateLookahead -> Itemss -> Itemss

prLkhTable :: (Show a1, Show a2, Show a3, Show a4, Show a5, Show a6, Show a7) => [([(a1, a2, [a3])], [(a4, a5, a6, a7)])] -> IO ()

prSpontaneous :: (Show a1, Show a2, Show a3) => [(a1, a2, [a3])] -> IO ()

prPropagate :: (Show a1, Show a2, Show a3, Show a4) => [(a1, a2, a3, a4)] -> IO ()

calcLR1ParseTable :: AUGCFG -> (Itemss, ProductionRules, ActionTable, GotoTable)

calcLR1ActionGotoTable :: CFG -> [Items] -> (ActionTable, GotoTable)

prParseTable :: (Show a, Show a4, Show a5, Show a6, Show a7, Show a8, Show a9) => Handle -> ([Items], [a], [(a4, a5, a6)], [(a7, a8, a9)]) -> IO ()

prLALRParseTable :: (Show a4, Show a5, Show a6, Show a7, Show a8, Show a9, Show a10, Show a11) => Handle -> ([Items], [a4], [a5], [(a6, a7, a8)], [(a9, a10, a11)]) -> IO ()

prStates :: Show a => Handle -> [a] -> IO ()

calcLALRParseTable :: AUGCFG -> (Itemss, ProductionRules, [[Int]], LALRActionTable, LALRGotoTable)

eqCore :: Items -> Items -> Bool

subsetCore :: [Item] -> [Item] -> Bool

elemCore :: Item -> [Item] -> Bool

toLalrAction :: [[Int]] -> Action -> LALRAction

toIs :: (Show t1, Foldable t2, Eq t1) => [t2 t1] -> t1 -> t2 t1

actionCheck :: [LALRAction] -> LALRAction

stateCheck :: [[Int]] -> [Int]