IO_validation.kt

# arrow

[raulraja]

IO_validation.kt

IO_validation.kt

[Derek Berner]

I'll peer at this some more tomorrow but this looks good. I'll see what I can accomplish with it. 🙏

[raulraja]

As for ValidatedT it's not possible because Validated does not have a Monad extension it only goes up to Applicative and Monad transformers require Monad

[raulraja]

Because they need to flatMap to the underlying value. Validated has no flatMap because otherwise it could not compose with error accumulation thanks to the E semigroup

[Derek Berner]

Yeah that makes sense

[Derek Berner]

With flatMap Validated could not accumulate downstream of an error