Extra Result functions.
Case analysis for the Result type. If the value is Err a, apply the first function to a; if it is Ok b, apply the second function to b.
Result
Err a
a
Ok b
b
True if the Result is an Ok value.
Ok
True if the Result is an Err value.
Err
Flip the Err and Ok values.
Extracts from a list of Result all the Err elements.
Extracts from a list of Result all the Ok elements.
Case analysis for the
Resulttype. If the value isErr a, apply the first function toa; if it isOk b, apply the second function tob.