A data constructor in the case parser failed.
A data constructor in the case parser failed. It must not be recovered.
the error message
the next index
A data constructor in the case parser failed with catch-labels.
A data constructor in the case parser failed with catch-labels. It can be recovered by |~
operator
An alias of Parser[T].
An ADT that represent the parse result in the case that the parser failed.
An ADT that represent the parse result.
An ADT that represent the parse result.
the type of value
A Parser is used to parse the input from the outer class instances.
A Parser is used to parse the input from the outer class instances. It returns the result of type T as the ParseResult.
the result type
A data constructor in the case parser succeed.
A data constructor in the case parser succeed.
the type of value
the semantic value
the next index
The first nonterminal.
The first nonterminal. The parsing starts from the Parser that this method returns.
It is same as string
method.
It is same as string
method.
Returns a parser that matches any character except EOF.
Calculate all the lines and columns correspond with indexed.
Calculate all the lines and columns correspond with indexed.
This is called from parse
method.
Returns a parser that matches one character without char
Returns a parser that matches one character without char
Returns a parser that succeeds iff parser
fails.
Returns a parser that succeeds iff parser
fails.
It is same as regularExpression
method.
It is same as regularExpression
method.
Returns a parser that matches literal
Returns a parser that matches literal
Returns a rule parser which argument is a body parser
Rerurns a parser that matches any element of seqs
Rerurns a parser that matches any element of seqs
(Since version ) see corresponding Javadoc for more information.