Language.Parser.Ptera.Pipeline.Grammar2PEG

Documentation

grammar2Peg :: Enum start => Enum nonTerminal => Enum terminal => FixedGrammar start nonTerminal terminal elem varDoc altDoc action -> T start varDoc altDoc (Action action)

type Pipeline start nonTerminal varDoc altDoc action = State (Context start nonTerminal varDoc altDoc action)

data Context start nonTerminal varDoc altDoc action

Constructors

Context

Fields

• ctxBuilder :: Context start varDoc altDoc (Action action)
• ctxVarMap :: EnumMap nonTerminal VarNum
• ctxDisplayNonTerminals :: EnumMap nonTerminal varDoc

grammarStartPipeline :: Enum start => Enum nonTerminal => start -> nonTerminal -> Pipeline start nonTerminal varDoc altDoc action ()

grammarRulePipeline :: Enum nonTerminal => Enum terminal => nonTerminal -> RuleExpr nonTerminal terminal elem altDoc action -> Pipeline start nonTerminal varDoc altDoc action ()

grammarAltPipeline :: Enum nonTerminal => Enum terminal => Alt nonTerminal terminal elem altDoc action r -> Pipeline start nonTerminal varDoc altDoc action AltNum

grammarExprPipeline :: forall start nonTerminal terminal elem varDoc altDoc action us. Enum nonTerminal => Enum terminal => Expr nonTerminal terminal elem us -> Pipeline start nonTerminal varDoc altDoc action [Unit]

grammarUnitPipeline :: Enum nonTerminal => Enum terminal => Unit nonTerminal terminal elem u -> Pipeline start nonTerminal varDoc altDoc action Unit

getNewVar :: Enum nonTerminal => nonTerminal -> Pipeline start nonTerminal varDoc altDoc action VarNum

liftBuilder :: T start varDoc altDoc (Action action) Identity r -> Pipeline start nonTerminal varDoc altDoc action r