Interpolators

name.rayrobdod.stringContextParserCombinator.Interpolator.Interpolators
trait Interpolators[Expr[_], ToExpr[_], Type[_]]

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

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

Attributes

Source
Interpolator.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
Interpolator.scala

String-Part as 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
Interpolator.scala

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
Interpolator.scala

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
Interpolator.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
Interpolator.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
Interpolator.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
Interpolator.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
Interpolator.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
Interpolator.scala

Argument-Part

def ofType[A](implicit tpe: Type[A]): Interpolator[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
Interpolator.scala

Constant

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

A parser that always reports a failure

A parser that always reports a failure

Attributes

Source
Interpolator.scala

A parser that consumes no input and always succeeds

A parser that consumes no input and always succeeds

Attributes

Source
Interpolator.scala

Position

A parser that succeeds iff the input is empty

A parser that succeeds iff the input is empty

Attributes

Source
Interpolator.scala

Miscellaneous

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

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

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

Attributes

Source
Interpolator.scala

Type members

Types

type Interpolator[A] = Interpolator[Expr[Any], A]

Attributes

Source
Interpolator.scala