pakoito
05/20/2017, 1:41 AMfun <G : Applicative<*>, A, B> traverse(fa: HK<F, A>): (f: (A) -> HK<G, B>) -> HK<G, HK<F, B>>
is this valid syntax? that f name looks out of place, yet it compileskiku
05/20/2017, 8:57 AM"fun" ... ":" type
, where type
then is modifier typeReference
, where in your case typeReference
matches functionType
, where the "("parameter{","}?")"
has the parameter
simply matching SimpleName : type
. So the f
in which case would be the SimpleName
pakoito
05/20/2017, 10:52 AM