final
object
AppliedType
Extractor for type application T[U_1, ..., U_n]. This is the refined type
T { type p_1 v_1= U_1; ...; type p_n v_n= U_n }
where v_i, p_i are the variances and names of the type parameters of T.
Constructors
Members
def
apply
(
tp:
Type
,
args:
List
[
Type
]
)
(
implicit
ctx:
Context
)
: Type
def
unapply
(
tp:
Type
)
(
implicit
ctx:
Context
)
: Option
[
(
Type, List
[
Type
]
)
]