Lexer
Related Doc:
package json
the type of input elements the provided parsers consume (When consuming invidual characters, a parser is typically called a scanner, which produces tokens that are consumed by what is normally called a parser.
the type of input elements the provided parsers consume (When consuming invidual characters, a parser is typically called a scanner, which produces tokens that are consumed by what is normally called a parser. Nonetheless, the same principles apply, regardless of the input type.)
The fatal failure case of ParseResult: contains an error-message and the remaining input.
The fatal failure case of ParseResult: contains an error-message and
the remaining input.
No back-tracking is done when a parser returns an Error.
An error message string describing the error.
The parser's unconsumed input at the point where the error occurred.
A class of error tokens.
A class of error tokens. Error tokens are used to communicate errors detected during lexical analysis
The failure case of ParseResult: contains an error-message and the remaining input.
The failure case of ParseResult: contains an error-message and the remaining input.
Parsing will back-track when a failure occurs.
An error message string describing the failure.
The parser's unconsumed input at the point where the failure occurred.
The class of identifier tokens
The class of identifier tokens
The parser input is an abstract reader of input elements, i.e.
The parser input is an abstract reader of input elements, i.e. the type of input the parsers in this component expect.
The class of keyword tokens
The class of keyword tokens
A common super-class for unsuccessful parse results.
A common super-class for unsuccessful parse results.
The class of numeric literal tokens
The class of numeric literal tokens
A parser whose ~ combinator disallows back-tracking.
A parser whose ~ combinator disallows back-tracking.
A base class for parser results.
A base class for parser results. A result is either successful or not
(failure may be fatal, i.e., an Error, or not, i.e., a Failure). On
success, provides a result of type T which consists of some result
(and the rest of the input).
The root class of parsers.
The root class of parsers. Parsers are functions from the Input type to ParseResult.
Scanner is essentially¹ a parser that produces Tokens
from a stream of characters.
Scanner is essentially¹ a parser that produces Tokens
from a stream of characters. The tokens it produces are typically
passed to parsers in TokenParsers.
¹ Scanner is really a Reader of Tokens
The class of string literal tokens
The class of string literal tokens
The success case of ParseResult: contains the result and the remaining input.
The success case of ParseResult: contains the result and the remaining input.
The parser's output
The parser's remaining input
Objects of this type are produced by a lexical parser or scanner, and consumed by a parser.
Objects of this type are produced by a lexical parser or scanner, and consumed by a parser.
A wrapper over sequence of matches.
A wrapper over sequence of matches.
Given p1: Parser[A] and p2: Parser[B], a parser composed with
p1 ~ p2 will have type Parser[~[A, B]]. The successful result
of the parser can be extracted from this case class.
It also enables pattern matching, so something like this is possible:
def concat(p1: Parser[String], p2: Parser[String]): Parser[String] = p1 ~ p2 ^^ { case a ~ b => a + b }
A class for end-of-file tokens
A class for end-of-file tokens
An extractor so NoSuccess(msg, next) can be used in matches.
An extractor so NoSuccess(msg, next) can be used in matches.
The parser that matches an element in the domain of the partial function f.
The parser that matches an element in the domain of the partial function f.
If f is defined on the first element in the input, f is applied
to it to produce this parser's result.
Example: The parser accept("name", {case Identifier(n) => Name(n)})
accepts an Identifier(n) and returns a Name(n)
a description of the kind of element this parser expects (for error messages)
a partial function that determines when this parser is successful and what its output is
A parser that succeeds if f is applicable to the first element of the input,
applying f to it to produce the result.
A parser that matches only the given list of element es.
A parser that matches only the given list of element es.
accept(es) succeeds if the input subsequently provides the elements in the list es.
the list of expected elements
a Parser that recognizes a specified list of elements
A parser that matches only the given element e.
A parser that matches only the given element e.
The method is implicit so that elements can automatically be lifted to their parsers.
For example, when parsing Tokens, Identifier("new") (which is a Token) can be used directly,
instead of first creating a Parser using accept(Identifier("new")).
the Elem that must be the next piece of input for the returned parser to succeed
a tParser that succeeds if e is the next available input.
A parser matching input elements that satisfy a given predicate.
A parser matching input elements that satisfy a given predicate.
acceptIf(p)(el => "Unexpected "+el) succeeds if the input starts with an element e for which p(e) is true.
A predicate that determines which elements match.
A function from the received element into an error message.
A parser for elements satisfying p(e).
The parser that matches an element in the domain of the partial function f.
The parser that matches an element in the domain of the partial function f.
If f is defined on the first element in the input, f is applied
to it to produce this parser's result.
Example: The parser acceptMatch("name", {case Identifier(n) => Name(n)})
accepts an Identifier(n) and returns a Name(n)
a description of the kind of element this parser expects (for error messages)
a partial function that determines when this parser is successful and what its output is
A parser that succeeds if f is applicable to the first element of the input,
applying f to it to produce the result.
A parser that matches only the given scala.collection.Iterable collection of elements es.
A parser that matches only the given scala.collection.Iterable collection of elements es.
acceptSeq(es) succeeds if the input subsequently provides the elements in the iterable es.
the list of expected elements
a Parser that recognizes a specified list of elements
A parser generator that, roughly, generalises the rep1sep generator
so that q, which parses the separator, produces a left-associative
function that combines the elements it separates.
A parser generator that, roughly, generalises the rep1sep generator
so that q, which parses the separator, produces a left-associative
function that combines the elements it separates.
a parser that parses the first element
a parser that parses the subsequent elements
a parser that parses the token(s) separating the elements, yielding a left-associative function that combines two elements into one
A parser generator that, roughly, generalises the rep1sep generator so
that q, which parses the separator, produces a left-associative
function that combines the elements it separates.
A parser generator that, roughly, generalises the rep1sep generator so
that q, which parses the separator, produces a left-associative
function that combines the elements it separates.
From: J. Fokker. Functional parsers. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, volume 925 of Lecture Notes in Computer Science, pages 1--23. Springer, 1995.
a parser that parses the elements
a parser that parses the token(s) separating the elements, yielding a left-associative function that combines two elements into one
A parser generator that generalises the rep1sep generator so that q,
which parses the separator, produces a right-associative function that
combines the elements it separates.
A parser generator that generalises the rep1sep generator so that q,
which parses the separator, produces a right-associative function that
combines the elements it separates. Additionally, the right-most (last)
element and the left-most combining function have to be supplied.
rep1sep(p: Parser[T], q) corresponds to chainr1(p, q ^^ cons, cons, Nil) (where val cons = (x: T, y: List[T]) => x :: y)
a parser that parses the elements
a parser that parses the token(s) separating the elements, yielding a right-associative function that combines two elements into one
the "last" (left-most) combination function to be applied
the "first" (right-most) element to be combined
A character-parser that matches any character except the ones given in cs (and returns it).
A character-parser that matches any character except the ones given in cs (and returns it).
Wrap a parser so that its failures become errors (the | combinator
will give up as soon as it encounters an error, on failure it simply
tries the next alternative).
Wrap a parser so that its failures become errors (the | combinator
will give up as soon as it encounters an error, on failure it simply
tries the next alternative).
The set of delimiters (ordering does not matter).
The set of delimiters (ordering does not matter).
A character-parser that matches a digit (and returns it).
A character-parser that matches a digit (and returns it).
A parser that matches only the given element e.
A parser that matches only the given element e.
elem(e) succeeds if the input starts with an element e.
the Elem that must be the next piece of input for the returned parser to succeed
a Parser that succeeds if e is the next available input (and returns it).
A parser matching input elements that satisfy a given predicate.
A parser matching input elements that satisfy a given predicate.
elem(kind, p) succeeds if the input starts with an element e for which p(e) is true.
The element kind, used for error messages
A predicate that determines which elements match.
A parser that results in an error.
A parser that results in an error.
The error message describing the failure.
A parser that always fails with the specified error message.
This token is produced by a scanner Scanner when scanning failed.
This token is produced by a scanner Scanner when scanning failed.
A parser that always fails.
A parser that always fails.
The error message describing the failure.
A parser that always fails with the specified error message.
A parser generator for guard expressions.
A parser generator for guard expressions. The resulting parser will fail or succeed just like the one given as parameter but it will not consume any input.
a Parser that is to be applied to the input
A parser that returns success if and only if p succeeds but
never consumes any input
Returns the legal identifier chars, except digits.
Returns the legal identifier chars, except digits.
A character-parser that matches a letter (and returns it).
A character-parser that matches a letter (and returns it).
A helper method that turns a Parser into one that will
print debugging information to stdout before and after
being applied.
A helper method that turns a Parser into one that will
print debugging information to stdout before and after
being applied.
Given a concatenation with a repetition (list), move the concatenated element into the list
Given a concatenation with a repetition (list), move the concatenated element into the list
Wrap a parser so that its failures and errors become success and vice versa -- it never consumes any input.
Wrap a parser so that its failures and errors become success and vice versa -- it never consumes any input.
A parser generator for optional sub-phrases.
A parser generator for optional sub-phrases.
opt(p) is a parser that returns Some(x) if p returns x and None if p fails.
A Parser that is tried on the input
a Parser that always succeeds: either with the result provided by p or
with the empty result
A parser generator delimiting whole phrases (i.e.
A parser generator delimiting whole phrases (i.e. programs).
phrase(p) succeeds if p succeeds and no input is left over after p.
the parser that must consume all input for the resulting parser to succeed.
a parser that has the same result as p, but that only succeeds
if p consumed all the input.
positioned decorates a parser's result with the start position of the
input it consumed.
positioned decorates a parser's result with the start position of the
input it consumed.
a Parser whose result conforms to Positional.
A parser that has the same behaviour as p, but which marks its
result with the start position of the input it consumed,
if it didn't already have a position.
A parser generator for repetitions.
A parser generator for repetitions.
rep(p) repeatedly uses p to parse the input until p fails
(the result is a List of the consecutive results of p).
a Parser that is to be applied successively to the input
A parser that returns a list of results produced by repeatedly applying p to the input.
A parser generator for non-empty repetitions.
A parser generator for non-empty repetitions.
rep1(f, p) first uses f (which must succeed) and then repeatedly
uses p to parse the input until p fails
(the result is a List of the consecutive results of f and p)
a Parser that parses the first piece of input
a Parser that is to be applied successively to the rest of the input (if any) -- evaluated at most once, and only when necessary
A parser that returns a list of results produced by first applying f and then
repeatedly p to the input (it only succeeds if f matches).
(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.
A parser generator for non-empty repetitions.
A parser generator for non-empty repetitions.
rep1(p) repeatedly uses p to parse the input until p fails -- p must succeed at least
once (the result is a List of the consecutive results of p)
a Parser that is to be applied successively to the input
A parser that returns a list of results produced by repeatedly applying p to the input
(and that only succeeds if p matches at least once).
A parser generator for non-empty repetitions.
A parser generator for non-empty repetitions.
rep1sep(p, q) repeatedly applies p interleaved with q to parse the
input, until p fails. The parser p must succeed at least once.
a Parser that is to be applied successively to the input
a Parser that parses the elements that separate the elements parsed by p
(interleaved with q)
A parser that returns a list of results produced by repeatedly applying p to the input
(and that only succeeds if p matches at least once).
The results of p are collected in a list. The results of q are discarded.
A parser generator for a specified number of repetitions.
A parser generator for a specified number of repetitions.
repN(n, p) uses p exactly n time to parse the input
(the result is a List of the n consecutive results of p).
the exact number of times p must succeed
a Parser that is to be applied successively to the input
A parser that returns a list of results produced by repeatedly applying p to the input
(and that only succeeds if p matches exactly n times).
A parser generator for interleaved repetitions.
A parser generator for interleaved repetitions.
repsep(p, q) repeatedly uses p interleaved with q to parse the input, until p fails.
(The result is a List of the results of p.)
Example: repsep(term, ",") parses a comma-separated list of term's, yielding a list of these terms.
a Parser that is to be applied successively to the input
a Parser that parses the elements that separate the elements parsed by p
A parser that returns a list of results produced by repeatedly applying p (interleaved with q) to the input.
The results of p are collected in a list. The results of q are discarded.
The set of reserved identifiers: these will be returned as Keywords.
The set of reserved identifiers: these will be returned as Keywords.
A string is a collection of zero or more Unicode characters, wrapped in double quotes, using backslash escapes (cf.
A string is a collection of zero or more Unicode characters, wrapped in double quotes, using backslash escapes (cf. http://www.json.org/).
A parser that always succeeds.
A parser that always succeeds.
The result for the parser
A parser that always succeeds, with the given result v
A parser that produces a token (from a stream of characters).
A parser that produces a token (from a stream of characters).
A parser for white-space -- its result will be discarded.
A parser for white-space -- its result will be discarded.
A character-parser that matches a white-space character (and returns it).
A character-parser that matches a white-space character (and returns it).