Patterns

object Patterns
class Object
trait Matchable
class Any

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

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

Source:
Patterns.scala

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

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

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

Source:
Patterns.scala