MonadFail (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
Alternative (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
Applicative (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
Functor (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
Monad (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
MonadPlus (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
FactorialMonoid s => CommittedParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
(Eq s, LeftReductive s, FactorialMonoid s) => GrammarParsing (Parser g s) Source # | Packrat parser |
Instance detailsDefined in Text.Grampa.PEG.Packrat Methods parsingResult :: ParserInput (Parser g s) -> GrammarFunctor (Parser g s) a -> ResultFunctor (Parser g s) (ParserInput (Parser g s), a) Source # nonTerminal :: (g0 ~ ParserGrammar (Parser g s), GrammarConstraint (Parser g s) g0) => (g0 (GrammarFunctor (Parser g s)) -> GrammarFunctor (Parser g s) a) -> Parser g s a Source # selfReferring :: (g0 ~ ParserGrammar (Parser g s), GrammarConstraint (Parser g s) g0, Distributive g0) => g0 (Parser g s) Source # fixGrammar :: (g0 ~ ParserGrammar (Parser g s), GrammarConstraint (Parser g s) g0, Distributive g0) => (g0 (Parser g s) -> g0 (Parser g s)) -> g0 (Parser g s) Source # recursive :: Parser g s a -> Parser g s a Source # chainRecursive :: (g0 ~ ParserGrammar (Parser g s), f ~ GrammarFunctor (Parser g s), GrammarConstraint (Parser g s) g0) => (f a -> g0 f -> g0 f) -> Parser g s a -> Parser g s a -> Parser g s a Source # chainLongestRecursive :: (g0 ~ ParserGrammar (Parser g s), f ~ GrammarFunctor (Parser g s), GrammarConstraint (Parser g s) g0) => (f a -> g0 f -> g0 f) -> Parser g s a -> Parser g s a -> Parser g s a Source # |
(LeftReductive s, FactorialMonoid s) => MultiParsing (Parser g s) Source # | Packrat parser parseComplete :: (Rank2.Functor g, FactorialMonoid s) =>
g (Packrat.Parser g s) -> s -> g (ParseResults s)
|
Instance detailsDefined in Text.Grampa.PEG.Packrat |
(InputParsing (Parser g s), FactorialMonoid s) => TraceableParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
FactorialMonoid s => DeterministicParsing (Parser g s) Source # | Every PEG parser is deterministic all the time. |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
(Show s, TextualMonoid s) => InputCharParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
(LeftReductive s, FactorialMonoid s) => InputParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
(Show s, TextualMonoid s) => CharParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
FactorialMonoid s => Parsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
FactorialMonoid s => LookAheadParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
Filterable (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
Monoid x => Monoid (Parser g s x) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
Semigroup x => Semigroup (Parser g s x) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
type CommittedResults (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
type GrammarFunctor (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
type ParserGrammar (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
type ResultFunctor (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
type ParserInput (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
type ParserPosition (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |
type GrammarConstraint (Parser g s) g' Source # | |
Instance detailsDefined in Text.Grampa.PEG.Packrat |