summaryrefslogtreecommitdiff
path: root/docs/type_system/empty.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/type_system/empty.md')
-rw-r--r--docs/type_system/empty.md27
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)
-```