EtaExpansion
object EtaExpansion
Extractor for
[X1: B1, ..., Xn: Bn] -> C[X1, ..., Xn]
where B1, ..., Bn are bounds of the type parameters of the class C.
- Value parameters:
- tycon
C
Extractor for
[X1: B1, ..., Xn: Bn] -> C[X1, ..., Xn]
where B1, ..., Bn are bounds of the type parameters of the class C.
C