python_result_type_rust_style_error_handling_quickstart.py

1from result import Ok, Err, Result
2
3def divide(a: int, b: int) -> Result[float, str]:
4    if b == 0:
5        return Err("Cannot divide by zero")
6    return Ok(a / b)
7
8# Successful result
9res1 = divide(10, 2)
10if isinstance(res1, Ok):
11    print(f"Result: {res1.ok_value}")  # Output: Result: 5.0
12
13# Error result
14res2 = divide(10, 0)
15if isinstance(res2, Err):
16    print(f"Error: {res2.err_value}")  # Output: Error: Cannot divide by zero
17
18# Or use the .unwrap() method (will raise an exception if it's an Err)
19value = res1.unwrap()
20print(value)