summaryrefslogtreecommitdiff
path: root/docs/type_system/select.md
blob: b2f8f618d3c5c6ba3d3e0219ed5952b26e905499 (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
# Select

---

A symbol associated with a type

```text
Select[[SINGLE | MULTIPLE] Type; Collection[.symbol : Const[Value]]]
```

# Alias

```text
Enum[Generic.T; Collection[.symbol : Const[Value]]] `alias Select[[SINGLE]; Generic.T; Collection[.symbol : Const[Value]]]

Mask[Generic.T; Collection[.symbol : Const[Value]]] `alias Select[[MULTIPLE]; Generic.T; Collection[.symbol : Const[Value]]]
```

## Definition Example

```text
E : Enum[I64; .a; .b; .c]
`log E // Enum[I64; .a : 0; .b : 1; .c : 2]
```