docs/type_system/result.md


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

# Result

---

The "result" of an operation, can have data, have no data, the end of an iterator or an error

```text
Result_status `alias [.some; .none; .done; .error]

Result[TYPE]
```

## Matching

```text
# RESULT {
    .some { arg ... }[arg]
    .none { ... }
    .done { ... }
    .error { e ... }[e]
}
```