Safe Haskell	None
Language	Haskell2010

BNFC.Backend.Haskell.Utilities.Parser

Synopsis

tokenName :: Doc ()
parserCatName :: Cat -> Doc ()
generateP :: Bool -> Cat -> Doc ()
qualify :: String -> String -> String
generatePatterns :: Bool -> RHS -> (String, [String])

Documentation

tokenName :: Doc () Source #

parserCatName :: Cat -> Doc () Source #

generateP :: Bool -> Cat -> Doc () Source #

qualify :: String -> String -> String Source #

generatePatterns :: Bool -> RHS -> (String, [String]) Source #

Generate patterns and a set of metavariables (de Bruijn indices) indicating where in the pattern the non-terminals are locate.

>>> generatePatterns False [ NTerminal (Cat' (BaseCat 'E':|"xp")), Terminal (Keyword ('+':|[])), NTerminal (Cat' (BaseCat 'E':|"xp")) ]
("Exp '+' Exp",["$1","$3"])

>>> generatePatterns True [ NTerminal (Cat' (BaseCat 'E':|"xp")), Terminal (Keyword ('+':|[])), NTerminal (Cat' (BaseCat 'E':|"xp")) ]
("Exp '+' Exp",["(snd $1)","(snd $3)"])