ParserTable

Documentation

data Item

Constructors

Item ProductionRule Int [ExtendedSymbol]

Instances

Eq Item

Defined in ParserTable

Methods

(==) :: Item -> Item -> Bool

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

Show Item

Defined in ParserTable

Methods

showsPrec :: Int -> Item -> ShowS

show :: Item -> String

showList :: [Item] -> ShowS

type Items = [Item]

type Itemss = [Items]

prItem :: Handle -> Items -> IO ()

prItems :: Handle -> Itemss -> IO ()

prItems' :: (Show t, Num t) => Handle -> t -> [Items] -> IO ()

isKernel :: String -> Item -> Bool

data Action

Constructors

Shift Int

Reduce Int

Accept

Reject

Instances

Eq Action

Defined in ParserTable

Methods

(==) :: Action -> Action -> Bool

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

Show Action

Defined in ParserTable

Methods

showsPrec :: Int -> Action -> ShowS

show :: Action -> String

showList :: [Action] -> ShowS

type ActionTable = [(Int, ExtendedSymbol, Action)]

type GotoTable = [(Int, Symbol, Int)]

lookupTable :: (Eq a, Eq b) => a -> b -> [(a, b, c)] -> Maybe c

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

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

data LALRAction

Constructors

LALRShift [Int]

LALRReduce Int

LALRAccept

LALRReject

Instances

Eq LALRAction

Defined in ParserTable

Methods

(==) :: LALRAction -> LALRAction -> Bool

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

Show LALRAction

Defined in ParserTable

Methods

showsPrec :: Int -> LALRAction -> ShowS

show :: LALRAction -> String

showList :: [LALRAction] -> ShowS

type LALRActionTable = [([Int], ExtendedSymbol, LALRAction)]

type LALRGotoTable = [([Int], Symbol, [Int])]