Can we use monad comprehensions inside coroutines? Can Kotlin support this, at all, at the moment?

# arrow

[melatonina]

Can we use monad comprehensions inside coroutines? Can Kotlin support this, at all, at the moment?

[raulraja]

Hi @melatonina Monad comprehensions are based on suspension not coroutines from the kotlinX Coroutines library, but Arrow does have integrations to use it alongside the KotlinX Coroutines Library. //cc @aballano

[raulraja]

https://next.arrow-kt.io/docs/integrations/kotlinxcoroutines/

[melatonina]

Thank you very much, Raul! I'm going to use this soon on an Android app and its supporting cloud service.

[raulraja]

@Jorge Castillo, @aballano, @danieeh and @simon.vergauwen have better opinions than me as to how Arrow is integrated in Android with the lifecycle, observers etc and they may be able to point out better literature than just the link

[Jorge Castillo]

Hey! Yep you can go from any suspend code to IO with IO.effect { suspendComputation() } and from there use IO.fx for comprehensions over all your IO calls

[Jorge Castillo]

For Android we've got some syntax right about to release with a post that will showcase how to scope any IO tasks to a coroutine scope for automatic cancellation within the scope

[melatonina]

Thanks, Jorge.

[melatonina]

Is there any difference when using Either.fx, instead?

[simon.vergauwen]

Either does not support any effects explicitely, so you can not use it for anything like concurreny, parallelism etc

[simon.vergauwen]

Either.fx uses suspend & kotlin.coroutines.Continuation from the std to provide `bind`/`!` syntax for monad comphrensions. It’s completely unrelated to KotlinX Coroutines or concurrency/parallelism.

[melatonina]

Thanks for you patience, Simon and Jorge and Raul.

[simon.vergauwen]

You’re very welcome @melanchroes! 🙂