summaryrefslogtreecommitdiff
path: root/docs/type_system/result.md
blob: 4a496fe54b8631762e3cb49c4008b6f74e9d5d40 (plain)
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
28
29
30
31
32
33
34
35
36
37
38
39
# Result

---

A 128bit value error pair, cannot be stored.

A result represents an operation should not fail

```text
Result[TYPE]
```

# Default

```text
x : // something that returns a result
// x is the value from the result
```

If the result is an error, an error is thrown

# Matching

```text
# ... {
    .ok { arg; ... }[arg]
    .error { arg; ... }[arg]
}
```

## .ok

## .error

# Return

## \`ok

## \`error