blob: 9466493c848788024b66f7d47c1435e8f44f26c4 (
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
|
# Empty
---
Container type can be null
```text
%empty
```
## Use with `Result` Union
```text
make_array : ([Bool.yes]
? yes {
`value Array $ (1; 2; 3)
`null
}
)
v : make_array(...) // %empty Array[I64] $ .null OR %empty Array[I64] $ (.value : (1; 2; 3))
# v {
.value {[x] `log x } // Array[I64] $ (1; 2; 3)
.null { ... }
}
// same as above
? v {[x] `log x } // Array[I64] $ (1; 2; 3)
```
|