`tagless-final` compile time verified type classes with Dagger + Arrow 0.7.1

JorgeCastilloPrz / ArrowAndroidSamples

Functional Programing Android architecture using http://arrow-kt.io/

426 stars 38 forks source link

`tagless-final` compile time verified type classes with Dagger + Arrow 0.7.1 #18

Closed raulraja closed 6 years ago

raulraja commented 6 years ago

[x] Updates to latest Arrow 0.7.1
[x] Compile time verified instances with Dagger 2 in tagless-final module
[x] Monad Suspend simplifications in algebras that did not capture effects and they do now due to previous lack of support of MonadSuspend in arrow-effects.

JorgeCastilloPrz commented 6 years ago

Maybe @pakoito is also interested on taking a look on this, since this tests are gonna be key to decide what's the direction of all this DI approach.

raulraja commented 6 years ago

Thanks @pakoito as soon as we have that we can get rid of the whole runInAsync.. biz here, in the meantime I'll work in finishing the dagger integration and add some method docs to this code so we can look into the pattern.

JorgeCastilloPrz commented 6 years ago

Unlocking. Feel free to merge or add more iterations on top.

JorgeCastilloPrz commented 6 years ago

I've updated this branch to arrow 0.7.1 and it's already working for all the modules except for free. It looks like there's a problem there about ProtobufUtil not being present on Eugenio's lib that I thought we had already fixed.

e: [kapt] An exception occurred: java.lang.NoClassDefFoundError: org/jetbrains/kotlin/serialization/jvm/JvmProtoBufUtil

Maybe you wanna take a look @raulraja ? When I have that ready I'll port the whole repo to Arrow examples

JorgeCastilloPrz commented 6 years ago

Upgrade to 0.7.1 complete. Everything is working. I'm merging this to start thinking on moving the whole repo to https://github.com/arrow-kt/arrow

pakoito commented 6 years ago

Woooooo!!! Yaaaassss :D