Patterns

scala.quoted.runtime.Patterns
object Patterns

Attributes

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

Members list

Type members

Classlikes

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

Attributes

Source
Patterns.scala
Supertypes
class Annotation
class Object
trait Matchable
class Any
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

Attributes

Source
Patterns.scala
Supertypes
class Annotation
class Object
trait Matchable
class Any

Value members

Concrete methods

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

Attributes

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

Attributes

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

Attributes

Source
Patterns.scala