There's not really any nice DSL APIs for this at the moment AFAIK, I can't remember if it's just super clunky but doable or not even possible with the currently exposed APIs. Without context parameters, the current structure of extension functions within the Raise/IorRaise scopes can't really be extended outside the library.
I put this PR up a while ago which starts to make the APIs a little more usable: https://github.com/arrow-kt/arrow/pull/3409 but I don't believe there's been a release since it was merged.
There's also this PR which adds a bit more high level support for mapping over a list, accumulating any errors that occur during the mapping of each item (i.e.
mapOrAccumulate
behaves differently depending on whether it's used in an
Thanks for the thorough responses; I really appreciate it. I thought maybe it was a failure of due diligence on my part, but I guess ior is just in a weird place right now.