Yes, it will. The exact syntax would be with the m...
# arrow-contributorst
tomasruizlopez
09/10/2018, 12:51 PMYes, it will. The exact syntax would be with the modifier in each parameter that needs to be resolved with a typeclass instance, e.g.:
fun <A> something(with t1 : Typeclass1<A>, with t2 : Typeclass2<A>)t
toxara
09/11/2018, 2:01 PMIf they're named, are they also automatically in scope? i.e., do we have to write
t1.run { ... }t
tomasruizlopez
09/11/2018, 2:54 PMThe goal is that you don't have to write
t1.run{ ... }