scala.quoted.runtime.QuoteMatching.TypeMatchModule
Attributes
- Source
-
QuoteMatching.scala
- Graph
-
- Supertypes
-
- Self type
-
Members list
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.
Type parameters
- Tup
-
the tuple type containing the types of the matched type holes, where each element is a Type[Ti]
- TypeBindings
-
a kind-level list (KList) encoding the type variables bound in the pattern during matching
Value parameters
- pattern
-
Type[?] containing the pattern tree
- scrutinee
-
Type[?] on which we are pattern matching
Attributes
- Returns
-
None if it did not match, Some(tup) if it matched where tup contains `Type[Ti]``
- Source
-
QuoteMatching.scala
Scala 3