Convert a Result into an Option: ok(v) becomes some(v) and err(_) becomes none — the error is discarded. The inverse of Option.toResult.
ok(v)
some(v)
err(_)
Option.toResult
pipe( parseUser(body), Result.toOption, // drop the parse error, keep just the user if any Option.map(u => u.name), ) Copy
pipe( parseUser(body), Result.toOption, // drop the parse error, keep just the user if any Option.map(u => u.name), )
Convert a Result into an Option:
ok(v)becomessome(v)anderr(_)becomes none — the error is discarded. The inverse ofOption.toResult.