summaryrefslogtreecommitdiff
path: root/docs/tagging.md
blob: a46954378cfef1a26c9514ee605ddddd86b04876 (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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
# Tagging

---

## Operators

### Matching

```text
r : # x / y {
    .value {[value] value }
    .error {[error] `log error; 0 }
}
```

### Asserting

If no tag is specified for an operation, `.value` is used

An invalid assertion produces an `Error`

```text
r : x /.value y
r : x / y // same as above
```

## Coroutines

If no tag is specified `.value` is used, user defined coroutines don't have to have a `.value` tag

### Returning

```text
co : `{[I64 x; I64 y] `return.value x + y }
co : `{[I64 x; I64 y] .value x + y } // same as above
co : `{[I64 x; I64 y] x + y } // same as above
mu : `{[Bool i]
    ? i {
        .int 1
    } {
        .float 1.1
    }
}
```

### Matching

```text
// using the mu corotuine from above
i : # mu `sync `false {
    .int {[i] i }
    .float {[f] I64 f }
}
```

### Asserting

```text
// using the mu coroutine from aboce
i : mu `sync.int `true
```

## Tables

### Creating

```text
table : Table (.a 1; .b 1.1)
```

### Accessing

```text
`log table.a
```

## Loops

### Break

### Continue