Back in the day I suggested `withError` , but it d...

# arrow-contributors

[CLOVIS]

Back in the day I suggested withError , but it doesn't really work with context parameters, since different errors can register different raises.

What about:

withError({ it: ErrorA -> "Foo $it" }, { it: ErrorB -> "Bar $it" }) {
    // Success code
}

The inner lambda gets context(Raise<ErrorA>, Raise<ErrorB>) and all error handlers combine into a single context(Raise<T>) (String in this example).

What do you think?

[Alejandro Serrano.Mena]

seems interesting, although I'm a bit afraid of all the inference in so many lambdas