Expand partial function applications of type type.
Expand partial function applications of type type.
p.f(es_1)...(es_n)
==> {
private synthetic val eta$f = p.f // if p is not stable
...
private synthetic val eta$e_i = e_i // if e_i is not stable
...
(ps_1 => ... => ps_m => eta$f([es_1])...([es_m])(ps_1)...(ps_m))
}
tree is already attributed
(etaExpansion: StringAdd).self
(etaExpansion: StringFormat).self
(etaExpansion: ArrowAssoc[EtaExpansion]).x
(Since version 2.10.0) Use leftOfArrow instead
(etaExpansion: Ensuring[EtaExpansion]).x
(Since version 2.10.0) Use resultOfEnsuring instead
This trait ...
1.0