Safe Haskell	None
Language	Haskell2010

CommonParserUtil

Documentation

type RegExpStr = String Source #

type LexFun token = String -> Maybe token Source #

type LexerSpecList token = [(RegExpStr, LexFun token)] Source #

data LexerSpec token Source #

Constructors

LexerSpec
Fields endOfToken :: token lexerSpecList :: LexerSpecList token

type ProdRuleStr = String Source #

type ParseFun token ast = Stack token ast -> ast Source #

type ParserSpecList token ast = [(ProdRuleStr, ParseFun token ast)] Source #

data ParserSpec token ast Source #

Constructors

ParserSpec
Fields startSymbol :: String parserSpecList :: ParserSpecList token ast baseDir :: String actionTblFile :: String gotoTblFile :: String grammarFile :: String parserSpecFile :: String genparserexe :: String

data Spec token ast Source #

Constructors

Spec (LexerSpec token) (ParserSpec token ast)

type Line = Int Source #

type Column = Int Source #

data LexError Source #

Constructors

LexError Int Int String

Instances

Show LexError Source #
Instance details Defined in CommonParserUtil Methods showsPrec :: Int -> LexError -> ShowS # show :: LexError -> String # showList :: [LexError] -> ShowS #
Exception LexError Source #
Instance details Defined in CommonParserUtil Methods toException :: LexError -> SomeException # fromException :: SomeException -> Maybe LexError # displayException :: LexError -> String #

prLexError :: LexError -> IO () Source #

lexing :: TokenInterface token => LexerSpec token -> String -> IO [Terminal token] Source #

lexing_ :: TokenInterface token => LexerSpec token -> Line -> Column -> String -> IO [Terminal token] Source #

matchLexSpec :: TokenInterface token => Line -> Column -> LexerSpecList token -> String -> IO (String, String, Maybe token) Source #

moveLineCol :: Line -> Column -> String -> (Line, Column) Source #

data ParseError token ast where Source #

Constructors

NotFoundAction :: (TokenInterface token, Typeable token, Typeable ast, Show token, Show ast) => Terminal token -> Int -> Stack token ast -> ActionTable -> GotoTable -> ParseError token ast
NotFoundGoto :: (TokenInterface token, Typeable token, Typeable ast, Show token, Show ast) => Int -> String -> Stack token ast -> ActionTable -> GotoTable -> ParseError token ast

Instances

(Show token, Show ast) => Show (ParseError token ast) Source #
Instance details Defined in CommonParserUtil Methods showsPrec :: Int -> ParseError token ast -> ShowS # show :: ParseError token ast -> String # showList :: [ParseError token ast] -> ShowS #
(TokenInterface token, Typeable token, Show token, Typeable ast, Show ast) => Exception (ParseError token ast) Source #
Instance details Defined in CommonParserUtil Methods toException :: ParseError token ast -> SomeException # fromException :: SomeException -> Maybe (ParseError token ast) # displayException :: ParseError token ast -> String #

prParseError :: ParseError token ast -> IO () Source #

parsing :: (TokenInterface token, Typeable token, Typeable ast, Show token, Show ast) => ParserSpec token ast -> [Terminal token] -> IO ast Source #

data StkElem token ast Source #

Constructors

StkState Int
StkTerminal (Terminal token)
StkNonterminal ast String

type Stack token ast = [StkElem token ast] Source #

emptyStack :: [a] Source #

get :: Stack token ast -> Int -> ast Source #

getText :: Stack token ast -> Int -> String Source #

push :: a -> [a] -> [a] Source #

pop :: [a] -> (a, [a]) Source #

prStack :: TokenInterface token => Stack token ast -> String Source #

currentState :: Stack token ast -> Int Source #

tokenTextFromTerminal :: TokenInterface token => Terminal token -> String Source #

lookupActionTable :: TokenInterface token => ActionTable -> Int -> Terminal token -> Maybe Action Source #

lookupGotoTable :: GotoTable -> Int -> String -> Maybe Int Source #

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

revTakeRhs :: Int -> [a] -> [a] Source #

runAutomaton :: (TokenInterface token, Typeable token, Typeable ast, Show token, Show ast) => ActionTable -> GotoTable -> ProdRules -> [ParseFun token ast] -> [Terminal token] -> IO ast Source #

flag :: Bool Source #

debug :: String -> IO () Source #

data Candidate Source #

Constructors

TerminalSymbol String
NonterminalSymbol String

Instances

Show Candidate Source #
Instance details Defined in CommonParserUtil Methods showsPrec :: Int -> Candidate -> ShowS # show :: Candidate -> String # showList :: [Candidate] -> ShowS #

compCandidates :: [Candidate] -> Int -> ActionTable -> GotoTable -> IO [[Candidate]] Source #