so you'll be able to do

suspend fun bla(): Int {
  val ble = myIOCall().await()
  ble + 2
}

it's not

await

right now

what is it?

Nothing yet 😄

In the PR it’s

suspended()

but that’s no good I guess. Before that it was `val <A> IO<A>.suspended: suspend () -> A``

Which means you can also do

suspend fun parallelProcessing(): Int = IO.parMapN(coroutineContext, ...).await()

in case you want to use complex concurrency combinators. Where you can even inherit

coroutineContext

from the suspend environment if you don’t want to explicitly pass it.

Nevermind that’s the same as what @pakoito said 😅

the parallel constructor is a good example

This is all great stuff but doesn't address my need

But I guess that's not the goal of arrow, which is fair does

I am not sure I understand your need. Could you provide an example that more clearly demonstrates your needs?

As I said, I want to combine eithers and coroutines

Which is not possible as you said

Something like

suspend fun program(): Either<ErrorDomain, Result>

?

So I've recently joined a new company, all Kotlin

at the moment it's all non-FP, java style kotlin. Works fine

Everything in

arrow-core

, including the things well move their in 0.10 (NonEmptyList, ListK, AndThen, …) will be perfect usable in vanilla kotlin

I want to introduce some FP to these guys. If everything becomes too boilerplatey saying "it's pure" is not going to fly

So I've converted over a bunch of logic to use eithers, and I'm very happy with it.

but making it work with suspendable functions is very boilerplatey

does

binding

help?

I have this atm,

suspend fun foo()  = binding { 
        val a = start().bind()
        val b = bar(a).bind()
        val c = update(b) // suspendable
        result(c)
   }

so in order to get update to work, I just wrap it in runBlocking

right, and

suspend fun foo()

still doesn't allow you

no

it is suspend

updated

yeah, and binding doesn't allow update to be called

so the runBlocking I can leave in as a temporary measure as this is just a spike but obviously it can't work in production

fx

does allow arbitrary suspension for MonadError, IIRC