FactorialMonoid s => MonadFail (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
(FactorialMonoid s, Ord s) => Alternative (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
Applicative (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
Functor (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
Monad (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
(FactorialMonoid s, Ord s) => MonadPlus (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
(FactorialMonoid s, Ord s) => CommittedParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
(LeftReductive s, FactorialMonoid s, Ord s) => MultiParsing (Parser g s) Source # | Continuation-passing context-free parser parseComplete :: (Rank2.Functor g, FactorialMonoid s) =>
g (Continued.Parser g s) -> s -> g (ParseResults s)
|
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
(InputParsing (Parser g s), FactorialMonoid s) => TraceableParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
(FactorialMonoid s, Ord s) => DeterministicParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
(Ord s, Show s, TextualMonoid s) => InputCharParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
(LeftReductive s, FactorialMonoid s, Ord s) => InputParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
(Ord s, Show s, TextualMonoid s) => CharParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
(FactorialMonoid s, Ord s) => Parsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
(FactorialMonoid s, Ord s) => LookAheadParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
FactorialMonoid s => Filterable (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
Monoid x => Monoid (Parser g s x) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
Semigroup x => Semigroup (Parser g s x) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
type CommittedResults (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
type ResultFunctor (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
type ParserInput (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
type ParserPosition (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |
type GrammarConstraint (Parser g1 s) g2 Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Continued |