TypeMatchModule

class Object
trait Matchable
class Any

Value members

Abstract methods

def unapply[TypeBindings <: Tuple, Tup <: Tuple](scrutinee: Type[_ <: AnyKind])(using pattern: Type[_ <: AnyKind]): Option[Tup]

Pattern matches an the scrutineeType against the patternType and returns a tuple with the matched holes if successful.

Value Params
hasTypeSplices

Boolean notify if the pattern has type splices

pattern

Type[?] containing the pattern tree

qctx

the current Quotes

scrutinee

Type[?] on which we are pattern matching

Returns

None if it did not match, Some(tup) if it matched where tup contains Type[Ti]