https://kotlinlang.org logo
#arrow-contributors
Title
# arrow-contributors
t

tomasruizlopez

09/10/2018, 12:51 PM
Yes, 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 PM
If 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 PM
The goal is that you don't have to write
t1.run{ ... }
, they will be in scope if the compiler is able to resolve them