blob: 2fae1e7ee261d3e9467db9a9783d6edd38dbd2de (
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 `Option` Union
```text
make_array : ([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)
```
|
