I do have this: ```class MainSyncRepository<F, K, Q : Get<K>, A>( private val mainDa...

# arrow

[Marc]

I do have this:

class MainSyncRepository<F, K, Q : Get<K>, A>(
    private val mainDataSource: DataSource<F, Q, A>,
    private val storeDataSource: StoreDataSource<F, K, A>,
    private val fallbackChecks: List<F> = emptyList()
) : Repository<F, Q, A> {

    
    override suspend fun invoke(q: Q): Either<F, A> =
        mainDataSource(q)
            .flatMap { storeDataSource(Put(q.key, Some(it))) }
            .handleErrorWith { f ->
                if (f in fallbackChecks) {
                    storeDataSource(q)
                        .mapLeft { f }
                } else {
                    Either.Left(f)
                }
            }
}

and I’d like to translate it with context receivers (this is like i would wrap the whole invoke function in a either dsl for instance.
How would i manage to translate the handleErrorWith? cc @simon.vergauwen

[Alejandro Serrano.Mena]

you should be able to use recover for this

[Marc]

could you elavorate a bit, please? 🙏🏻

[Alejandro Serrano.Mena]

I don't know exactly what's happening there, but here's a go:

override suspend fun invoke(q: Q): Either<F, A> = either {
  recover({
    val source = mainDataSource(q).bind()
    storeDataSource(Put(q.key, Some(source))).bind()
  }) { f ->
    if (f in fallbackChecks) withError({ f }) { storeDataSource(q).bind() }
    else raise(f)
  }
}

[Marc]

ooook, that makes sense.

[Marc]

and looks great

[Marc]

btw did Option lost bind in Arrow 1.2.0?

[Alejandro Serrano.Mena]

it didn't lose bind everywhere, only in those places in which you were to provide a value for the error

[Alejandro Serrano.Mena]

this is because you can now say withError(whatever) { myOption.bind() }

[Marc]

how should i replace it then?

q.value.bind { DataNotFound }

[Marc]

nice

[Marc]

hmm, IDE not able to resolve the bind on option

[Marc]

is that ok?

withError(
    transform = identity,
    block = {
        q.value.bind()
    })

because bind cant be esolved
q.value is an Option

[Alejandro Serrano.Mena]

mmm, I'll have to check...

[Marc]

I used fold lately…

[simon.vergauwen]

q.value.bind { DataNotFound }

This can be q.value.getOrElse { raise(DataNotFound) }.

[simon.vergauwen]

withError(
    transform = identity,
    block = {
        q.value.bind()
    })

@Alejandro Serrano.Mena we need context receivers for this. Currently Option::bind is defined on OptionRaise instead of Raise<None>.