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
23
24
25
26
27

# Result

---

The "result" of an operation, can have data, have no data, or be an error

```text
Result[TYPE]
```

# Matching

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

# Returning

## \`some

## \`none

## \`error