Compatibility component for the Parsec library.
- parseParsec :: forall phi t r ix. Token t => ProcessingBiasedContextFreeGrammar phi t r -> phi ix -> SourceName -> [ConcreteToken t] -> Either ParseError (r ix)
- parseParsecR :: forall phi t r ix. Token t => ProcessingBiasedRegularGrammar phi t r -> phi ix -> SourceName -> [ConcreteToken t] -> Either ParseError (r ix)
- parseParsecBiased :: forall phi t r ix. (Token t, EqFam phi) => ProcessingContextFreeGrammar phi t r -> phi ix -> SourceName -> [ConcreteToken t] -> Either ParseError (r ix)
- data WrapGenParser t v
- unWGP :: WrapGenParser t v -> Parsec [ConcreteToken t] () v
Documentation
parseParsec :: forall phi t r ix. Token t => ProcessingBiasedContextFreeGrammar phi t r -> phi ix -> SourceName -> [ConcreteToken t] -> Either ParseError (r ix)Source
Parse a given string according to a given grammar, starting from a given start non-terminal, using the Parsec parser library. Currently uses backtracking for every branch.
parseParsecR :: forall phi t r ix. Token t => ProcessingBiasedRegularGrammar phi t r -> phi ix -> SourceName -> [ConcreteToken t] -> Either ParseError (r ix)Source
parseParsecBiased :: forall phi t r ix. (Token t, EqFam phi) => ProcessingContextFreeGrammar phi t r -> phi ix -> SourceName -> [ConcreteToken t] -> Either ParseError (r ix)Source
data WrapGenParser t v Source
BiasedProductionRule (WrapGenParser t) | |
Token t => EpsProductionRule (WrapGenParser t) | |
Token t => LiftableProductionRule (WrapGenParser t) | |
Token t => ProductionRule (WrapGenParser t) | |
Token t => TokenProductionRule (WrapGenParser t) t |
unWGP :: WrapGenParser t v -> Parsec [ConcreteToken t] () vSource