builders

Grouping of all parser builders that allows to construct most common parsers with a single import.

These include the base parsers like opt and not, the text parsers like literal and anyOf(Char*), as well as the more specialized parsers for text markup like spans and blocks.

Alternatively these groups can be brought into scope individually.

trait Parsers
class Object
trait Matchable
class Any

Type members

Inherited classlikes

case class ParserException(result: Failure) extends RuntimeException
Inherited from:
Parsers
implicit class TryOps[A](t: Try[A])

Provides additional methods to Try via implicit conversion.

Provides additional methods to Try via implicit conversion.

Inherited from:
Parsers

Value members

Inherited methods

def anyNot(chars: Type[Char]): Characters[String]

Consumes any number of consecutive occurrences that are not one of the specified characters. Always succeeds unless a minimum number of required matches is specified.

Consumes any number of consecutive occurrences that are not one of the specified characters. Always succeeds unless a minimum number of required matches is specified.

Inherited from:
TextParsers
def anyNot(char: Char, chars: Char*): Characters[String]

Consumes any number of consecutive characters that are not one of the specified characters. Always succeeds unless a minimum number of required matches is specified.

Consumes any number of consecutive characters that are not one of the specified characters. Always succeeds unless a minimum number of required matches is specified.

Inherited from:
TextParsers
def anyOf(chars: Type[Char]): Characters[String]

Consumes any number of consecutive occurrences of the specified characters. Always succeeds unless a minimum number of required matches is specified.

Consumes any number of consecutive occurrences of the specified characters. Always succeeds unless a minimum number of required matches is specified.

Inherited from:
TextParsers
def anyOf(char: Char, chars: Char*): Characters[String]

Consumes any number of consecutive occurrences of the specified characters. Always succeeds unless a minimum number of required matches is specified.

Consumes any number of consecutive occurrences of the specified characters. Always succeeds unless a minimum number of required matches is specified.

Inherited from:
TextParsers
def anyWhile(p: Char => Boolean): Characters[String]

Consumes any number of consecutive characters which satisfy the specified predicate. Always succeeds unless a minimum number of required matches is specified.

Consumes any number of consecutive characters which satisfy the specified predicate. Always succeeds unless a minimum number of required matches is specified.

Inherited from:
TextParsers
def block(firstLinePrefix: Parser[Any], linePrefix: => Parser[Any], nextBlockPrefix: => Parser[Any]): Parser[BlockSource]

Parses a full block based on the specified helper parsers.

Parses a full block based on the specified helper parsers.

The result of this parser will not contain the characters consumed by any of the specified prefix parsers. The block source returned by this method maintains x-offsets for each individual line so that it can be passed down to recursive block or span parsers without losing position tracking.

Value parameters:
firstLinePrefix

parser that recognizes the start of the first line of this block

linePrefix

parser that recognizes the start of subsequent lines that still belong to the same block

nextBlockPrefix

parser that recognizes whether a line after one or more blank lines still belongs to the same block

Inherited from:
BlockParsers
def block(firstLinePrefix: Parser[Any], linePrefix: => Parser[Any]): Parser[BlockSource]

Parses a full block based on the specified helper parsers.

Parses a full block based on the specified helper parsers.

The string result of this parser will not contain the characters consumed by any of the specified prefix parsers.

Value parameters:
firstLinePrefix

parser that recognizes the start of the first line of this block

linePrefix

parser that recognizes the start of subsequent lines that still belong to the same block

Inherited from:
BlockParsers
def consumeAll[T](p: Parser[T]): Parser[T]

A parser that succeeds if the specified parser succeeds and all input has been consumed.

A parser that succeeds if the specified parser succeeds and all input has been consumed.

Inherited from:
Parsers
def delimitedBy(delimiter: PrefixedParser[String]): DelimitedText

Consumes any number of consecutive characters until the specified delimiter parser succeeds on the input.

Consumes any number of consecutive characters until the specified delimiter parser succeeds on the input.

This constructor is limited to the sub-trait PrefixedParser as only those can be optimized for an assertion that needs to be performed on each character. Most parsers for non-empty text implement this trait, e.g oneOf, someOf, delimiter or the literal parsers for a character or string.

Inherited from:
TextParsers
def delimitedBy(str: String): DelimitedText

Consumes any number of consecutive characters until the specified string delimiter is encountered on the input string.

Consumes any number of consecutive characters until the specified string delimiter is encountered on the input string.

Inherited from:
TextParsers
def delimitedBy(chars: Type[Char]): DelimitedText

Consumes any number of consecutive characters until one of the specified characters is encountered on the input string.

Consumes any number of consecutive characters until one of the specified characters is encountered on the input string.

Inherited from:
TextParsers
def delimitedBy(char: Char, chars: Char*): DelimitedText

Consumes any number of consecutive characters until one of the specified characters is encountered on the input string.

Consumes any number of consecutive characters until one of the specified characters is encountered on the input string.

Inherited from:
TextParsers

Creates a parser for a delimiter with an API that allows to specify predicates for the characters immediately preceding or following the delimiter, a common task in markup parsing.

Creates a parser for a delimiter with an API that allows to specify predicates for the characters immediately preceding or following the delimiter, a common task in markup parsing.

This specified underlying parser needs to implement the sub-trait PrefixedParser as only those can be optimized for an assertion that needs to be performed on each character. Most parsers for non-empty text implement this trait, e.g oneOf, someOf, delimiter or the literal parsers for a character or string.

Inherited from:
TextParsers
def delimiter(delim: String): DelimiterParser

Creates a parser for a delimiter based on a literal string with an API that allows to specify predicates for the characters immediately preceding or following the delimiter, a common task in markup parsing.

Creates a parser for a delimiter based on a literal string with an API that allows to specify predicates for the characters immediately preceding or following the delimiter, a common task in markup parsing.

Inherited from:
TextParsers
def delimiter(char: Char, chars: Char*): DelimiterParser

Creates a parser for a delimiter based on the given set of delimiter characters with an API that allows to specify predicates for the characters immediately preceding or following the delimiter, a common task in markup parsing.

Creates a parser for a delimiter based on the given set of delimiter characters with an API that allows to specify predicates for the characters immediately preceding or following the delimiter, a common task in markup parsing.

Inherited from:
TextParsers
def failure(msg: String): Parser[Nothing]

A parser that always fails with the specified message.

A parser that always fails with the specified message.

Inherited from:
Parsers
def indentedBlock(minIndent: Int, linePredicate: => Parser[Any], endsOnBlankLine: Boolean, firstLineIndented: Boolean, maxIndent: Int): Parser[BlockSource]

Parses a full block based on the specified helper parsers, expecting an indentation for all lines except the first. The indentation may vary between the parts of the indented block, so that this parser only cuts off the minimum indentation shared by all lines, but each line must have at least the specified minimum indentation.

Parses a full block based on the specified helper parsers, expecting an indentation for all lines except the first. The indentation may vary between the parts of the indented block, so that this parser only cuts off the minimum indentation shared by all lines, but each line must have at least the specified minimum indentation.

Value parameters:
endsOnBlankLine

indicates whether parsing should end on the first blank line

firstLineIndented

indicates whether the first line is expected to be indented, too

linePredicate

parser that recognizes the start of subsequent lines that still belong to the same block

maxIndent

the maximum indentation that will get dropped from the start of each line of the result

minIndent

the minimum indentation that each line in this block must have

Returns:

a parser that produces the raw text of the parsed block with the indentation removed

Inherited from:
BlockParsers
def indentedBlockWithLevel(minIndent: Int, linePredicate: => Parser[Any], endsOnBlankLine: Boolean, firstLineIndented: Boolean, maxIndent: Int): Parser[(BlockSource, Int)]

Parses a full block based on the specified helper parsers, expecting an indentation for all lines except the first. The indentation may vary between the parts of the indented block, so that this parser only cuts off the minimum indentation shared by all lines, but each line must have at least the specified minimum indentation.

Parses a full block based on the specified helper parsers, expecting an indentation for all lines except the first. The indentation may vary between the parts of the indented block, so that this parser only cuts off the minimum indentation shared by all lines, but each line must have at least the specified minimum indentation.

Value parameters:
endsOnBlankLine

indicates whether parsing should end on the first blank line

firstLineIndented

indicates whether the first line is expected to be indented, too

linePredicate

parser that recognizes the start of subsequent lines that still belong to the same block

maxIndent

the maximum indentation that will get dropped from the start of each line of the result

minIndent

the minimum indentation that each line in this block must have

Returns:

a parser that produces the raw text of the parsed block with the indentation removed and the indentation level (number of whitespace characters removed from the text lines)

Inherited from:
BlockParsers
def lazily[T](p: => Parser[T]): Parser[T]

Constructs a parser lazily, useful when breaking circles in recursive parsing.

Constructs a parser lazily, useful when breaking circles in recursive parsing.

Inherited from:
Parsers
def literal(expected: String): PrefixedParser[String]

A parser that matches only the specified literal string.

A parser that matches only the specified literal string.

The method is implicit so that strings can automatically be lifted to their parsers.

Inherited from:
TextParsers
def lookAhead(offset: Int, value: String): Parser[String]

Attempts to parse the specified literal value at the specified offset behind the current position. Never consumes any input.

Attempts to parse the specified literal value at the specified offset behind the current position. Never consumes any input.

Inherited from:
Parsers
def lookAhead[T](offset: Int, p: Parser[T]): Parser[T]

Applies the specified parser at the specified offset behind the current position. Never consumes any input.

Applies the specified parser at the specified offset behind the current position. Never consumes any input.

Inherited from:
Parsers
def lookAhead(value: String): Parser[String]

Attempts to parse the specified literal value at the current position. Never consumes any input.

Attempts to parse the specified literal value at the current position. Never consumes any input.

Inherited from:
Parsers
def lookAhead[T](p: Parser[T]): Parser[T]

Applies the specified parser at the current position. Never consumes any input.

Applies the specified parser at the current position. Never consumes any input.

Inherited from:
Parsers
def lookBehind[T](offset: Int, parser: => Parser[T]): Parser[T]

Applies the specified parser at the specified offset behind the current position. Never consumes any input.

Applies the specified parser at the specified offset behind the current position. Never consumes any input.

Inherited from:
Parsers
def nextIn(chars: Type[Char]): Parser[Unit]

Verifies that the next character is one of those specified. Fails at the end of the input and does not consume any input or produce a result when it succeeds.

Verifies that the next character is one of those specified. Fails at the end of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def nextIn(char: Char, chars: Char*): Parser[Unit]

Verifies that the next character is one of those specified. Fails at the end of the input and does not consume any input or produce a result when it succeeds.

Verifies that the next character is one of those specified. Fails at the end of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def nextIs(predicate: Char => Boolean): Parser[Unit]

Verifies that the next character does not satisfy the specified predicate. Fails at the end of the input and does not consume any input or produce a result when it succeeds.

Verifies that the next character does not satisfy the specified predicate. Fails at the end of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def nextNot(predicate: Char => Boolean): Parser[Unit]

Verifies that the next character does not satisfy the specified predicate. Succeeds at the end of the input and does not consume any input or produce a result when it succeeds.

Verifies that the next character does not satisfy the specified predicate. Succeeds at the end of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def nextNot(chars: Type[Char]): Parser[Unit]

Verifies that the next character is not one of those specified. Succeeds at the end of the input and does not consume any input or produce a result when it succeeds.

Verifies that the next character is not one of those specified. Succeeds at the end of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def nextNot(char: Char, chars: Char*): Parser[Unit]

Verifies that the next character is not one of those specified. Succeeds at the end of the input and does not consume any input or produce a result when it succeeds.

Verifies that the next character is not one of those specified. Succeeds at the end of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def not(value: String): Parser[Unit]

A parser that only succeeds if the parsing the specified literal value fails and vice versa, it never consumes any input.

A parser that only succeeds if the parsing the specified literal value fails and vice versa, it never consumes any input.

Inherited from:
Parsers
def not[T](p: Parser[T]): Parser[Unit]

A parser that only succeeds if the specified parser fails and vice versa, it never consumes any input.

A parser that only succeeds if the specified parser fails and vice versa, it never consumes any input.

Inherited from:
Parsers
def oneIf(p: Char => Boolean): Parser[String]

Consumes one character if it satisfies the specified predicate, fails otherwise.

Consumes one character if it satisfies the specified predicate, fails otherwise.

Inherited from:
TextParsers
def oneNot(chars: Type[Char]): Parser[String]

Consumes one character if it is not one of the specified characters.

Consumes one character if it is not one of the specified characters.

Inherited from:
TextParsers
def oneNot(char: Char, chars: Char*): Parser[String]

Consumes one character if it is not one of the specified characters.

Consumes one character if it is not one of the specified characters.

Inherited from:
TextParsers
def oneOf(chars: Type[Char]): PrefixedParser[String]

Consumes one character if it matches one of the specified characters, fails otherwise.

Consumes one character if it matches one of the specified characters, fails otherwise.

Inherited from:
TextParsers
def oneOf(char: Char, chars: Char*): PrefixedParser[String]

Consumes one character if it matches one of the specified characters, fails otherwise.

Consumes one character if it matches one of the specified characters, fails otherwise.

Inherited from:
TextParsers
def opt(value: String): Parser[Option[String]]

A parser for an optional literal string that always succeeds.

A parser for an optional literal string that always succeeds.

If the underlying parser succeeds this parser will contain its result as a Some, if it fails this parser will succeed with a None.

Inherited from:
Parsers
def opt[T](p: Parser[T]): Parser[Option[T]]

A parser for an optional element that always succeeds.

A parser for an optional element that always succeeds.

If the underlying parser succeeds this parser will contain its result as a Some, if it fails this parser will succeed with a None.

Inherited from:
Parsers
def prevIn(chars: Type[Char]): Parser[Unit]

Verifies that the previous character is one of those specified. Fails at the start of the input and does not consume any input or produce a result when it succeeds.

Verifies that the previous character is one of those specified. Fails at the start of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def prevIn(char: Char, chars: Char*): Parser[Unit]

Verifies that the previous character is one of those specified. Fails at the start of the input and does not consume any input or produce a result when it succeeds.

Verifies that the previous character is one of those specified. Fails at the start of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def prevIs(predicate: Char => Boolean): Parser[Unit]

Verifies that the previous character satisfies the specified predicate. Fails at the start of the input and does not consume any input or produce a result when it succeeds.

Verifies that the previous character satisfies the specified predicate. Fails at the start of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def prevNot(predicate: Char => Boolean): Parser[Unit]

Verifies that the previous character does not satisfy the specified predicate. Succeeds at the start of the input and does not consume any input or produce a result when it succeeds.

Verifies that the previous character does not satisfy the specified predicate. Succeeds at the start of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def prevNot(chars: Type[Char]): Parser[Unit]

Verifies that the previous character is not one of those specified. Succeeds at the start of the input and does not consume any input or produce a result when it succeeds.

Verifies that the previous character is not one of those specified. Succeeds at the start of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def prevNot(char: Char, chars: Char*): Parser[Unit]

Verifies that the previous character is not one of those specified. Succeeds at the start of the input and does not consume any input or produce a result when it succeeds.

Verifies that the previous character is not one of those specified. Succeeds at the start of the input and does not consume any input or produce a result when it succeeds.

Inherited from:
TextParsers
def range(fromChar: Char, toChar: Char): Type[Char]

Creates a NonEmptySet from a Character range. This set can then be passed to parsers like anyOf or oneOf which expect a NonEmptySet as a parameter.

Creates a NonEmptySet from a Character range. This set can then be passed to parsers like anyOf or oneOf which expect a NonEmptySet as a parameter.

Inherited from:
TextParsers
def someNot(chars: Type[Char]): Characters[String]

Consumes one or more characters that are not one of the specified characters, fails for empty results.

Consumes one or more characters that are not one of the specified characters, fails for empty results.

Inherited from:
TextParsers
def someNot(char: Char, chars: Char*): Characters[String]

Consumes one or more characters that are not one of the specified characters, fails for empty results.

Consumes one or more characters that are not one of the specified characters, fails for empty results.

Inherited from:
TextParsers
def someOf(chars: Type[Char]): PrefixCharacters[String]

Consumes one or more characters if they match one of the specified characters, fails if the first character does not match.

Consumes one or more characters if they match one of the specified characters, fails if the first character does not match.

Inherited from:
TextParsers
def someOf(char: Char, chars: Char*): PrefixCharacters[String]

Consumes one or more characters if they match one of the specified characters, fails if the first character does not match.

Consumes one or more characters if they match one of the specified characters, fails if the first character does not match.

Inherited from:
TextParsers
def someWhile(p: Char => Boolean): Characters[String]

Consumes one or more characters which satisfy the specified predicate, fails for empty results.

Consumes one or more characters which satisfy the specified predicate, fails for empty results.

Inherited from:
TextParsers
def spans(parser: => DelimitedText): InlineParser[Span, List[Span]]

Creates a new parser that reads input until the delimiters in the specified parser are detected.

Creates a new parser that reads input until the delimiters in the specified parser are detected.

The returned parser allows to register parsers for child spans with its embed method. Without calling it, the result of this parser would always just be a single span of type Text.

Inherited from:
InlineParsers
def success[T](v: T): Parser[T]

A parser that always succeeds with the specified value.

A parser that always succeeds with the specified value.

Inherited from:
Parsers
def text(parser: => DelimitedText): InlineParser[String, String]

Creates a new parser that reads text until the delimiters in the specified parser are detected.

Creates a new parser that reads text until the delimiters in the specified parser are detected.

The returned parser allows to register parsers for child spans with its embed method, for example for reading escape sequences.

Inherited from:
InlineParsers

Inherited fields

val anyChars: Characters[String]

Consumes any kind of input, always succeeds. This parser would consume the entire input unless a max constraint is specified.

Consumes any kind of input, always succeeds. This parser would consume the entire input unless a max constraint is specified.

Inherited from:
TextParsers
val atStart: Parser[Unit]

Succeeds at the start of the input.

Succeeds at the start of the input.

Inherited from:
TextParsers
val blankLine: Parser[String]

Parses a blank line from the current input offset (which may not be at the start of the line). Fails for lines that contain any non-whitespace character. Does always produce an empty string as the result, discarding any whitespace characters found in the line.

Parses a blank line from the current input offset (which may not be at the start of the line). Fails for lines that contain any non-whitespace character. Does always produce an empty string as the result, discarding any whitespace characters found in the line.

Since it also succeeds at the end of the input it should never be used in the form of (blankLine *) or (blankLine +). Use the blankLines parser instead in these cases.

Inherited from:
TextParsers
val blankLines: Parser[List[String]]

Parses one or more blank lines, producing a list of empty strings corresponding to the number of blank lines consumed.

Parses one or more blank lines, producing a list of empty strings corresponding to the number of blank lines consumed.

Inherited from:
TextParsers
val eof: Parser[String]

Succeeds at the end of the input.

Succeeds at the end of the input.

Inherited from:
TextParsers
val eol: Parser[Unit]

Succeeds at the end of a line, including the end of the input. Produces an empty string as a result and consumes any new line characters.

Succeeds at the end of a line, including the end of the input. Produces an empty string as a result and consumes any new line characters.

Inherited from:
TextParsers
val oneChar: Parser[String]

Parses exactly one character from the input, fails only at the end of the input.

Parses exactly one character from the input, fails only at the end of the input.

Inherited from:
TextParsers
val restOfLine: Parser[String]

Parses the rest of the line from the current input offset no matter whether it consist of whitespace only or some text. Does not include the eol character(s).

Parses the rest of the line from the current input offset no matter whether it consist of whitespace only or some text. Does not include the eol character(s).

Inherited from:
TextParsers
val textLine: Parser[String]

Parses a single text line from the current input offset (which may not be at the start of the line). Fails for blank lines. Does not include the eol character(s).

Parses a single text line from the current input offset (which may not be at the start of the line). Fails for blank lines. Does not include the eol character(s).

Inherited from:
TextParsers
lazy val ws: Characters[String]

Parses horizontal whitespace (space and tab). Always succeeds, consuming all whitespace found.

Parses horizontal whitespace (space and tab). Always succeeds, consuming all whitespace found.

Inherited from:
TextParsers
val wsEol: Parser[Unit]

Parses any number of whitespace characters followed by a newline character.

Parses any number of whitespace characters followed by a newline character.

Inherited from:
TextParsers

Implicits

Inherited implicits

final implicit def TryOps[A](t: Try[A]): TryOps[A]

Provides additional methods to Try via implicit conversion.

Provides additional methods to Try via implicit conversion.

Inherited from:
Parsers