Documentation
type EnumerateParserInternalGrammar phi t = forall ix. phi ix -> Int -> [[ConcreteToken t]]Source
newtype EnumerateProductionRule phi ixT r t v Source
IPP | |
|
EpsProductionRule (EnumerateProductionRule phi ixT r t) | |
LiftableProductionRule (EnumerateProductionRule phi ixT r t) | |
ProductionRule (EnumerateProductionRule phi ixT r t) | |
Token t => TokenProductionRule (EnumerateProductionRule phi ixT r t) t | |
RecProductionRule (EnumerateProductionRule phi ixT r t) phi r |
type EnumerateGrammar phi ixT r t rr = forall ix. phi ix -> EnumerateProductionRule phi ixT r t (rr ix)Source
enumerateGrammar :: forall phi r t rr ix. (Token t, FoldFam phi, ShowFam phi) => GContextFreeGrammar phi t r rr -> Int -> phi ix -> [[ConcreteToken t]]Source
enumerateGrammarE :: forall phi r t rr ix. (Token t, FoldFam phi, ShowFam phi) => GExtendedContextFreeGrammar phi t r rr -> Int -> phi ix -> [[ConcreteToken t]]Source