Ord s => Monad (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
Functor (Parser g i) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
Ord s => MonadFail (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
Ord s => Applicative (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
Ord s => Alternative (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
Ord s => MonadPlus (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
(MonoidNull s, Ord s) => DeterministicParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
(LeftReductive s, FactorialMonoid s, Ord s) => InputParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
(Ord s, Show s, TextualMonoid s) => InputCharParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
(LeftReductive s, FactorialMonoid s, Ord s) => ConsumedInputParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
(MonoidNull s, Ord s) => LookAheadParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
(Ord s, Show s, TextualMonoid s) => CharParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
(MonoidNull s, Ord s) => Parsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
Filterable (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
Ord s => CommittedParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
Ord s => AmbiguousParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
(Ord s, LeftReductive s, FactorialMonoid s) => GrammarParsing (Parser g s) Source # | Memoizing parser guarantees O(n²) performance for grammars with unambiguous productions. Can be wrapped with
Fixed to provide left recursion support. |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
(LeftReductive s, FactorialMonoid s, Ord s) => MultiParsing (Parser g s) Source # | Memoizing parser guarantees O(n²) performance for grammars with unambiguous productions. Can be wrapped with
Fixed to provide left recursion support. parseComplete :: (Rank2.Functor g, FactorialMonoid s) =>
g (Memoizing.Parser g s) -> s -> g (Compose (ParseResults s) [])
|
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
InputParsing (Parser g s) => TraceableParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
(Semigroup x, Ord s) => Semigroup (Parser g s x) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
(Monoid x, Ord s) => Monoid (Parser g s x) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
type ParserPosition (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
type ParserInput (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
type CommittedResults (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
type ParserGrammar (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
type GrammarFunctor (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
type ResultFunctor (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |
type GrammarConstraint (Parser g s) g' Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing |