A parser that recognises whitespace.
A parser that recognises whitespace. Normal whitespace handling is
turned off while this parser is applied, since we need to avoid an
infinite recursion if the form of whitespace is defined using
literal or regex.
A parser that matches a literal string after skipping any
whitespace that is parsed by whitespaceParser.
A parser that matches a literal string after skipping any
whitespace that is parsed by whitespaceParser.
If we are parsing whitespace already, fail if we are the end of the input, otherwise succeed with no progress.
If we are parsing whitespace already, fail if we are the end of the input, otherwise succeed with no progress. If we are not already parsing whitespace, then apply the whitespace parser, swallowing any errors from it unless they occur at the end of the input. In other words, an error not at the end is treated as the absence of whitespace.
Are we currently parsing whitespace?
Are we currently parsing whitespace?
As for positioned in RegexParsers, but uses parseWhitespace
to skip whitespace.
As for positioned in RegexParsers, but uses parseWhitespace
to skip whitespace.
A parser that matches a regex string after skipping any
whitespace that is parsed by whitespaceParser.
A parser that matches a regex string after skipping any
whitespace that is parsed by whitespaceParser.
(Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.
Support for defining the form of whitespace using a parser, rather than a regular expression. This version is useful particularly in cases where the form of comments requires more power than a regular expression can provide (e.g., for nested comments).