diff options
Diffstat (limited to 'docs/type_system/empty.md')
| -rw-r--r-- | docs/type_system/empty.md | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/docs/type_system/empty.md b/docs/type_system/empty.md deleted file mode 100644 index 9466493..0000000 --- a/docs/type_system/empty.md +++ /dev/null @@ -1,27 +0,0 @@ -# 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) -``` |
