(Monad m, Traversable m, Ord s) => Monad (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
Functor m => Functor (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Monad m, Traversable m, Ord s) => MonadFail (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, Ord s) => Applicative (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, Ord s) => Alternative (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Foldable m, Monad m, Traversable m, Ord s) => MonadPlus (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, MonoidNull s, Ord s) => DeterministicParsing (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, LeftReductive s, FactorialMonoid s, Ord s) => InputParsing (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, Ord s, Show s, TextualMonoid s) => InputCharParsing (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, LeftReductive s, FactorialMonoid s, Ord s) => ConsumedInputParsing (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, MonoidNull s, Ord s) => LookAheadParsing (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, Ord s, Show s, TextualMonoid s) => CharParsing (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, MonoidNull s, Ord s) => Parsing (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, Traversable m) => Filterable (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Monad m, Traversable m, Monoid state) => Filterable (ParserT (StateT state m) g s) Source # | The StateT instance dangerously assumes that the filtered parser is stateless. |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, Traversable m, Ord s) => CommittedParsing (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, Eq (m ()), Ord s) => AmbiguousParsing (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, Ord s, LeftReductive s, FactorialMonoid s) => GrammarParsing (ParserT m g s) Source # | Memoizing parser that carries an applicative computation. Can be wrapped with
Fixed to provide left recursion support. |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, LeftReductive s, FactorialMonoid s, Ord s) => MultiParsing (ParserT m g s) Source # | Memoizing parser that carries an applicative computation. 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.Transformer |
InputParsing (ParserT m g s) => TraceableParsing (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, Semigroup x, Ord s) => Semigroup (ParserT m g s x) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
(Applicative m, Monoid x, Ord s) => Monoid (ParserT m g s x) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
type ParserPosition (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
type ParserInput (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
type CommittedResults (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
type ParserGrammar (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
type GrammarFunctor (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
type ResultFunctor (ParserT m g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |
type GrammarConstraint (ParserT m g s) g' Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.SortedMemoizing.Transformer |