final
object
EtaExpansion
Extractor for
[v1 X1: B1, ..., vn Xn: Bn] -> C[X1, ..., Xn]
where v1, ..., vn and B1, ..., Bn are the variances and bounds of the type parameters of the class C.
Constructors
Members
def
apply
(
tycon:
Type
)
(
implicit
ctx:
Context
)
: Type
def
unapply
(
tp:
Type
)
(
implicit
ctx:
Context
)
: Option
[
TypeRef
]