Scala 3/API/scala.quoted.runtime/Patterns

Patterns

@compileTimeOnly("Illegal reference to `scala.quoted.runtime.Patterns`") object Patterns
class Object
trait Matchable
class Any

Type members

Classlikes

@compileTimeOnly("Illegal reference to `scala.quoted.runtime.Patterns.fromAbove`")
class fromAbove extends Annotation

A type pattern that must be approximated from above

A type pattern that must be approximated from above

Adding this annotation in source has undefined behavior at compile-time

@compileTimeOnly("Illegal reference to `scala.quoted.runtime.Patterns.patternType`")
class patternType extends Annotation

A splice of a name in a quoted pattern is that marks the definition of a type splice.

A splice of a name in a quoted pattern is that marks the definition of a type splice.

Adding this annotation in source has undefined behavior at compile-time

Value members

Concrete methods

@compileTimeOnly("Illegal reference to `scala.quoted.runtime.Patterns.higherOrderHole`")
def higherOrderHole[U](args: Any*): U

A higher order splice in a quoted pattern is desugared by the compiler into a call to this method.

A higher order splice in a quoted pattern is desugared by the compiler into a call to this method.

Calling this method in source has undefined behavior at compile-time

@compileTimeOnly("Illegal reference to `scala.quoted.runtime.Patterns.patternHigherOrderHole`")
def patternHigherOrderHole[U](pat: Any, args: Any*): U

A higher order splice in a quoted pattern is desugared by the compiler into a call to this method.

A higher order splice in a quoted pattern is desugared by the compiler into a call to this method.

Calling this method in source has undefined behavior at compile-time

@compileTimeOnly("Illegal reference to `scala.quoted.runtime.Patterns.patternHole`")
def patternHole[T]: T

A splice in a quoted pattern is desugared by the compiler into a call to this method.

A splice in a quoted pattern is desugared by the compiler into a call to this method.

Calling this method in source has undefined behavior at compile-time