Documentation
type RegularRule phi r t v = forall p. (ProductionRule p, EpsProductionRule p, TokenProductionRule p t) => p vSource
type ContextFreeRule phi r t v = forall p. (ProductionRule p, EpsProductionRule p, RecProductionRule p phi r, TokenProductionRule p t) => p vSource
type ExtendedContextFreeRule phi r t v = forall p. (ProductionRule p, EpsProductionRule p, RecProductionRule p phi r, TokenProductionRule p t, LoopProductionRule p phi r) => p vSource
type LiftableContextFreeRule phi r t v = forall p. (ProductionRule p, LiftableProductionRule p, RecProductionRule p phi r, TokenProductionRule p t) => p vSource
type ExtendedLiftableContextFreeRule phi r t v = forall p. (ProductionRule p, LiftableProductionRule p, RecProductionRule p phi r, TokenProductionRule p t, LoopProductionRule p phi r) => p vSource
type GRegularGrammar phi t r rr = GGrammar RegularRule phi t r rrSource
type GContextFreeGrammar phi t r rr = GGrammar ContextFreeRule phi t r rrSource
type GLContextFreeGrammar phi t r rr = GGrammar LiftableContextFreeRule phi t r rrSource
type GExtendedContextFreeGrammar phi t r rr = GGrammar ExtendedContextFreeRule phi t r rrSource
type GLExtendedContextFreeGrammar phi t r rr = GGrammar ExtendedLiftableContextFreeRule phi t r rrSource
type ContextFreeGrammar phi t = AGrammar ContextFreeRule phi tSource
type LContextFreeGrammar phi t = AGrammar LiftableContextFreeRule phi tSource
type ExtendedContextFreeGrammar phi t = AGrammar ExtendedContextFreeRule phi tSource
type LExtendedContextFreeGrammar phi t = AGrammar ExtendedLiftableContextFreeRule phi tSource
type ProcessingRegularGrammar phi t r = PGrammar RegularRule phi t rSource
type ProcessingContextFreeGrammar phi t r = PGrammar ContextFreeRule phi t rSource
type ProcessingLContextFreeGrammar phi t r = PGrammar LiftableContextFreeRule phi t rSource
type ProcessingExtendedContextFreeGrammar phi t r = PGrammar ExtendedContextFreeRule phi t rSource
type ProcessingLExtendedContextFreeGrammar phi t r = PGrammar ExtendedLiftableContextFreeRule phi t rSource