What does the generated `EitherHashInstanceImplicits

Question

< prat> What does the generated `EitherHashInstanceImplicits` look like

prat · Answer

one minute looking

prat · Answer

``` object EitherHashInstanceImplicits fun lt L R gt instance EQL arrow typeclasses Eq lt L gt HSL arrow typeclasses Hash lt L gt EQR arrow typeclasses Eq lt R gt HSR arrow typeclasses Hash lt R gt EitherHashInstance lt L R gt = object EitherHashInstance lt L R gt override fun EQL arrow typeclasses Eq lt L gt = EQL override fun HSL arrow typeclasses Hash lt L gt = HSL override fun EQR arrow typeclasses Eq lt R gt = EQR override fun HSR arrow typeclasses Hash lt R gt = HSR fun lt L R gt arrow core Either Companion hash EQL arrow typeclasses Eq lt L gt HSL arrow typeclasses Hash lt L gt EQR arrow typeclasses Eq lt R gt HSR arrow typeclasses Hash lt R gt Suppress UNUSED PARAMETER dummy kotlin Unit = kotlin Unit EitherHashInstance lt L R gt = EitherHashInstanceImplicits instance EQL HSL EQR HSR inline fun lt reified L reified R gt arrow core Either Companion hash EQL arrow typeclasses Eq lt L gt = arrow typeclasses eq lt L gt HSL arrow typeclasses Hash lt L gt = arrow typeclasses hash lt L gt EQR arrow typeclasses Eq lt R gt = arrow typeclasses eq lt R gt HSR arrow typeclasses Hash lt R gt = arrow typeclasses hash lt R gt EitherHashInstance lt L R gt = EitherHashInstanceImplicits instance EQL HSL EQR HSR ```

raulraja · Answer

Looks correct which denotes a problem applying the arguments in the instance resolution step

prat · Answer

i see that makes sense

raulraja · Answer

Concretely here <https github com arrow kt arrow blob master modules core arrow annotations src main java arrow TypeclassResolution kt L173 L195>

raulraja · Answer

If you want to file an issue I can look into it when I get some time unless you want to give it a shot at fixing it yourself

prat · Answer

sounds good i will look into it if i can t figure will file a ticket

raulraja · Answer

thanks

raulraja · Answer

For what is worth what works best there is the debugger and look at the memory state of `values` etc

raulraja · Answer

That is the only part of Arrow that is dynamic and hopefully we can trash when Keep 87 sees the light

prat · Answer

awesome thanks for the pointer

raulraja · Answer

no problem thanks for taking the time to look into it

raulraja · Answer

merged

prat · Answer

cool