Language.Parser.Ptera.Pipeline.PEG2LAPEG

Documentation

peg2LaPeg :: Enum start => T start varDoc altDoc a -> Except (T VarNum) (T start varDoc altDoc a)

type Pipeline start varDoc altDoc a = ExceptT (T VarNum) (State (Context start varDoc altDoc a))

data Context start varDoc altDoc a

Constructors

Context

Fields

• ctxBuilder :: Context start varDoc altDoc a
• ctxVarMap :: T VarNum VarNum
• ctxAvailableRuleRanges :: T VarNum (Maybe HeadRange)
• ctxUpdateRuleStack :: [(VarNum, HeadRange, [Alt altDoc a])]
• ctxOriginalVars :: T VarNum (Var varDoc)
• ctxOriginalRules :: T VarNum Rule
• ctxOriginalAlts :: T AltNum (Alt altDoc a)

pegInitialPipeline :: Enum start => start -> VarNum -> Pipeline start varDoc altDoc a ()

pegRuleStackPipeline :: Pipeline start varDoc altDoc a ()

pegVarPipeline :: VarNum -> Pipeline start varDoc altDoc a (VarNum, HeadRange)

pegRuleHeadRangePipeline :: VarNum -> Rule -> Pipeline start varDoc altDoc a HeadRange

pegAltHeadRangePipeline :: Alt altDoc a -> Pipeline start varDoc altDoc a HeadRange

pegRulePipeline :: VarNum -> HeadRange -> [Alt altDoc a] -> Pipeline start varDoc altDoc a ()

pegAltPipeline :: VarNum -> Alt altDoc a -> Pipeline start varDoc altDoc a AltNum

pegUnitPipeline :: Unit -> Pipeline start varDoc altDoc a (Unit, HeadRange)

getNewVar :: VarNum -> Pipeline start varDoc altDoc a VarNum

startUpdateAvailableRuleRange :: VarNum -> Pipeline start varDoc altDoc a ()

saveNewRuleRange :: VarNum -> HeadRange -> Pipeline start varDoc altDoc a ()

getAvailableVar :: VarNum -> Pipeline start varDoc altDoc a (Maybe VarNum)

popUpdateRuleItem :: Pipeline start varDoc altDoc a (Maybe (VarNum, HeadRange, [Alt altDoc a]))

pushUpdateRuleItem :: VarNum -> HeadRange -> [Alt altDoc a] -> Pipeline start varDoc altDoc a ()

getCtx :: (Context start varDoc altDoc a -> r) -> Pipeline start varDoc altDoc a r

throwV :: VarNum -> Pipeline start varDoc altDoc a r

liftBuilder :: T start varDoc altDoc a Identity r -> Pipeline start varDoc altDoc a r