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