TypeMatchModule
trait TypeMatchModule
- Source
- QuoteMatching.scala
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.
Pattern matches an the scrutineeType against the patternType and returns a tuple with the matched holes if successful.
- Value Params
- pattern
Type[?]containing the pattern tree- scrutinee
Type[?]on which we are pattern matching
- Returns
None if it did not match,
Some(tup)if it matched wheretupcontainsType[Ti]- Source
- QuoteMatching.scala