Extractors

name.rayrobdod.stringContextParserCombinator.Extractor.Extractors
trait Extractors[Expr[_], Type[_]]

A trait that provides Extractor factory methods that conform to a particular input Expr type parameter.

In scala 3, the Extractor companion object contains methods similar to these for quoted.Expr, and as such this would generally by calling methods directly on Extractor. However, since in scala 2 the Expr depends on a particular instance of blackbox.Context, instead an Extractors must be constructed from the Extractor companion object's macroExtractors method that takes a Context.

Attributes

Source
Extractor.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Grouped members

String-Part

Succeeds if the next set of characters in the input is equal to the given string

Succeeds if the next set of characters in the input is equal to the given string

Attributes

Source
Extractor.scala

String-Part as Char

def charIn(str: Set[Char]): Extractor[Char]

Succeeds if the next character is a member of the given Set; captures that character

Succeeds if the next character is a member of the given Set; captures that character

Attributes

Source
Extractor.scala
def charIn(str: Seq[Char]): Extractor[Char]

Succeeds if the next character is a member of the given Seq; captures that character

Succeeds if the next character is a member of the given Seq; captures that character

Attributes

Source
Extractor.scala
def charIn(str: String): Extractor[Char]

Succeeds if the next character is a member of the given String; captures that character

Succeeds if the next character is a member of the given String; captures that character

Attributes

Source
Extractor.scala

Succeeds if the next character matches the given predicate; captures that character

Succeeds if the next character matches the given predicate; captures that character

Attributes

Source
Extractor.scala

String-Part as Codepoint

Succeeds if the next codepoint is a member of the given Set; captures that code point

Succeeds if the next codepoint is a member of the given Set; captures that code point

Attributes

Source
Extractor.scala

Succeeds if the next codepoint is a member of the given Seq; captures that code point

Succeeds if the next codepoint is a member of the given Seq; captures that code point

Attributes

Source
Extractor.scala

Succeeds if the next codepoint is a member of the given string; captures that code point

Succeeds if the next codepoint is a member of the given string; captures that code point

Attributes

Source
Extractor.scala

Succeeds if the next codepoint matches the given predicate; captures that code point

Succeeds if the next codepoint matches the given predicate; captures that code point

Attributes

Source
Extractor.scala

Argument-Part

def ofType[A](implicit tpe: Type[A]): Extractor[Expr[A]]

A parser that succeeds iff the next part of the input is an arg with the given type, and captures the arg's tree

A parser that succeeds iff the next part of the input is an arg with the given type, and captures the arg's tree

Attributes

Source
Extractor.scala

Constant

def fail(message: String): Extractor[Nothing]

A parser that always reports a failure

A parser that always reports a failure

Attributes

Source
Extractor.scala

A parser that consumes no input and always succeeds

A parser that consumes no input and always succeeds

Attributes

Source
Extractor.scala

Position

A parser that succeeds iff the input is empty

A parser that succeeds iff the input is empty

Attributes

Source
Extractor.scala

Miscellaneous

def `lazy`[A](fn: () => Extractor[A]): Extractor[A]

Indirectly refers to a parser, to allow for mutual-recursion

Indirectly refers to a parser, to allow for mutual-recursion

Attributes

Source
Extractor.scala

Type members

Types

type Extractor[A] = Extractor[Expr, Type, A]

Attributes

Source
Extractor.scala