(FactorialMonoid s, Ord s) => MonadFail (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(FactorialMonoid s, Ord s) => Alternative (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
Ord s => Applicative (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
Functor (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
Ord s => Monad (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(FactorialMonoid s, Ord s) => MonadPlus (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(FactorialMonoid s, Ord s) => CommittedParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(LeftReductive s, FactorialMonoid s, Ord s) => MultiParsing (Parser g s) Source # | Parallel parser produces a list of all possible parses. parseComplete :: (Rank2.Functor g, Eq s, FactorialMonoid s) =>
g (Parallel.Parser g s) -> s -> g (Compose (ParseResults s) [])
|
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(FactorialMonoid s, InputParsing (Parser g s)) => TraceableParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(FactorialMonoid s, Ord s) => DeterministicParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(Ord s, TextualMonoid s) => InputCharParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(LeftReductive s, FactorialMonoid s, Ord s) => InputParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(TextualMonoid s, Ord s) => CharParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(FactorialMonoid s, Ord s) => Parsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(FactorialMonoid s, Ord s) => LookAheadParsing (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
FactorialMonoid s => Filterable (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(Monoid x, Ord s) => Monoid (Parser g s x) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
(Ord s, Semigroup x) => Semigroup (Parser g s x) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
type CommittedResults (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
type ResultFunctor (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
type ParserInput (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
type ParserPosition (Parser g s) Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |
type GrammarConstraint (Parser g1 s) g2 Source # | |
Instance detailsDefined in Text.Grampa.ContextFree.Parallel |