convert option to except

Stream: new members

[Max Willsey]

Hello, what are the idiomatic ways to convert an option to an except? I would like something like opt.toExcept errorPayload, but I can't find anything like that.

[Eric Wieser]

I guess opt.elim (.error errorPayload) .okprobably works, but I agree that a new function would probably make sense

[Robin Arnez]

opt.getDM (throw errorPayload) is the right thing to do here I believe

[Max Willsey]

@Robin Arnez yes! that's exactly what I was looking for. Thank you.

[Eric Wieser]

Perhaps docs#Except.toOption should mention that in the docstring