image.png

# arrow

[ivanmorgillo]

image.png

[ivanmorgillo]

those in read are suspending functions returning Option

[ivanmorgillo]

Am I doing something weird with the contexts? Am I missing something?

[raulraja]

suspend denotes side effects

[raulraja]

but Option can't suspend side effects

[raulraja]

Option are eager in both Some and None constructors

[raulraja]

if you work with suspended functions the data type to use is IO

[raulraja]

and the fx for IO is at import arrow.effects.extensions.io.fx.fx

[raulraja]

Essentially the Kotlin compiler restricts suspending function to compile directly in the pure environment because they always require an implicit continuation which it can thread over the suspended computation

[raulraja]

Arrow provides such continuation in the same way coroutines-core does through it's runBlocking and similar runners

[raulraja]

but in Arrow we favor composition so our continuations for suspended programs which are effects is provided through Arrow Fx

[raulraja]

https://arrow-kt.io/docs/effects/fx/

[raulraja]

Your screenshot as described can't return Option<A> because you have inside suspend () -> A style functions that require runners to run and the Option binding block restricts suspension to avoid you write blocking code that isn't explict.

[raulraja]

let me know if that makes sense, if not if you want to provide a small snippet with minimal code I can provide the IO version that would have the same semantics.

[ivanmorgillo]

thanks 🙂
I need to rethink a few things then 👍

[ivanmorgillo]

I was indeed holding it wrong 😂