yapb-0.1.3.2: Yet Another Parser Builder (YAPB)
Safe HaskellSafe-Inferred
LanguageHaskell2010

ParserTable

Documentation

data Item Source #

Constructors

Item ProductionRule Int [ExtendedSymbol] 

Instances

Instances details
Eq Item Source # 
Instance details

Defined in ParserTable

Methods

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

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

Show Item Source # 
Instance details

Defined in ParserTable

Methods

showsPrec :: Int -> Item -> ShowS #

show :: Item -> String #

showList :: [Item] -> ShowS #

type Items = [Item] Source #

type Itemss = [Items] Source #

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

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

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

isKernel :: String -> Item -> Bool Source #

data Action Source #

Constructors

Shift Int 
Reduce Int 
Accept 
Reject 

Instances

Instances details
Eq Action Source # 
Instance details

Defined in ParserTable

Methods

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

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

Show Action Source # 
Instance details

Defined in ParserTable

Methods

showsPrec :: Int -> Action -> ShowS #

show :: Action -> String #

showList :: [Action] -> ShowS #

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

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

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

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

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

data LALRAction Source #

Constructors

LALRShift [Int] 
LALRReduce Int 
LALRAccept 
LALRReject 

Instances

Instances details
Eq LALRAction Source # 
Instance details

Defined in ParserTable

Methods

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

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

Show LALRAction Source # 
Instance details

Defined in ParserTable

Methods

showsPrec :: Int -> LALRAction -> ShowS #

show :: LALRAction -> String #

showList :: [LALRAction] -> ShowS #

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

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