in both cases there’s no way of generating an `a` ...

# arrow

[pakoito]

in both cases there’s no way of generating an a of type Int from the Invalid origin, so those lambdas that you pass cannot be called and the internal function calls won’t execute to create a new Validated that accumulates errors

[sam]

But in those cases the map wouldn't be excuted right. Just like None.map { } doesn't do anything.

[pakoito]

yep

[pakoito]

so no error accumulation for you

[sam]

I think I see

[sam]

You're saying the function must always be executed because it needs to combine the result

[sam]

Rather than just not run at all like in other monads

[pakoito]

it needs to combine the errors, which is what you want

[sam]

I get it now

[sam]

I'm slow

[pakoito]

if it doesn’t execute the next value of map or flatMap you won’t accumulate the validations

[pakoito]

you’re allright

[pakoito]

😄

[sam]

So what about a method on Validated which only runs if it's a valid.

[sam]

Like for each on option in scala

[pakoito]

that’s fold, right?

[sam]

Does that exist. Different question

[sam]

Ok I'll check fold. I'm on my phone atm

[pakoito]

and map

[sam]

When I get back I'll ask some more questions on combining eithers via map