Skip to content
Try Kata

core.res

Results for recoverable errors, with separate success and error payload types.

All modules · Writing docstrings

enum Res[T, E]

A successful value Val(T) or a failure Err(E). Use ? to propagate failure.

let result = Res[Int, Str].Err("missing")
print(result.is_err())
print(result.unwrap_or(0))
true
0

Source, line 14

Val(T)

A successful result.

Source, line 16

Err(E)

A recoverable failure.

Source, line 18

impl Res[@T, @E]

Source, line 21

func unwrap(self): T

Return the success payload. Stop with an error if this is Err.

Source, line 23

func unwrap_or(self, default: T): T

Return the success payload, or the eagerly evaluated default on failure.

Source, line 31

func unwrap_err(self): E

Return the error payload. Stop with an error if this is Val.

Source, line 39

func is_val(self): Bool

Whether this result contains a success value.

Source, line 47

func is_err(self): Bool

Whether this result contains an error value.

Source, line 55