Extractor

name.rayrobdod.stringContextParserCombinator.Extractor
See theExtractor companion class
object Extractor

Attributes

Companion
class
Source
Extractor.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Extractor.type

Members list

Grouped members

String-Part

def isString(str: String): Extractor[Expr, Type, Unit]

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

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala

String-Part as Char

def charIn(str: String): Extractor[Expr, Type, 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

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala
def charIn(str: Seq[Char]): Extractor[Expr, Type, 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

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala
def charIn(str: Set[Char]): Extractor[Expr, Type, 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

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala
def charWhere(fn: Char => Boolean): Extractor[Expr, Type, Char]

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

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala

String-Part as Codepoint

def codePointIn(str: String): Extractor[Expr, Type, CodePoint]

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

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala
def codePointIn(str: Seq[CodePoint]): Extractor[Expr, Type, CodePoint]

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

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala
def codePointIn(str: Set[CodePoint]): Extractor[Expr, Type, 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

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala
def codePointWhere(fn: CodePoint => Boolean): Extractor[Expr, Type, CodePoint]

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

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala

Argument-Part

def ofType[A](using Type[A], Quotes): Extractor[Expr, [T <: AnyKind] =>> Type[T], 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

Inherited from:
VersionSpecificExtractorModule (hidden)
Source
VersionSpecificExtractor.scala

Constant

def pass: Extractor[Expr, Type, Unit]

A parser that consumes no input and always succeeds

A parser that consumes no input and always succeeds

Attributes

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala

Position

def end: Extractor[Expr, Type, Unit]

A parser that succeeds iff the input is empty

A parser that succeeds iff the input is empty

Attributes

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala

Miscellaneous

def `lazy`[Expr[_], Type[_], A](fn: () => Extractor[Expr, Type, A]): Extractor[Expr, Type, 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
def fail(message: String): Extractor[Expr, Type, Nothing]

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

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

Attributes

Inherited from:
ExprIndependentExtractors (hidden)
Source
Extractor.scala

ExtractorGroup

trait Extractors[Expr[_], Type[_]]

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

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
Supertypes
class Object
trait Matchable
class Any

Returns an Extractors that can parse raw values

Returns an Extractors that can parse raw values

Attributes

Source
Extractor.scala
def quotedExtractors(using Quotes): Extractors[Expr, [T <: AnyKind] =>> Type[T]]

Create an Extractors that can parse quoted.Exprs

Create an Extractors that can parse quoted.Exprs

Attributes

Inherited from:
VersionSpecificExtractorModule (hidden)
Source
VersionSpecificExtractor.scala

Type members

Inherited types

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

Attributes

Inherited from:
VersionSpecificExtractorModule (hidden)
Source
VersionSpecificExtractor.scala