Text.GrammarCombinators.Utils.EnumerateGrammar

Documentation

type EnumerateParserInternalGrammar phi t = forall ix. phi ix -> Int -> [[ConcreteToken t]]

newtype EnumerateProductionRule phi ixT r t v

Constructors

IPP

Fields

printIPP :: EnumerateParserInternalGrammar phi t -> Int -> [[ConcreteToken t]]

Instances

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)

enumerateGrammar :: forall phi r t rr ix. (Token t, FoldFam phi, ShowFam phi) => GContextFreeGrammar phi t r rr -> Int -> phi ix -> [[ConcreteToken t]]

enumerateGrammarE :: forall phi r t rr ix. (Token t, FoldFam phi, ShowFam phi) => GExtendedContextFreeGrammar phi t r rr -> Int -> phi ix -> [[ConcreteToken t]]