summaryrefslogtreecommitdiff
path: root/docs/type_system/empty.md
diff options
context:
space:
mode:
authornodist <kevin.comas.git@gmail.com>2026-06-16 12:42:41 -0400
committernodist <kevin.comas.git@gmail.com>2026-06-16 12:42:41 -0400
commit7964cf08ac807ac9e7b6d579a25321a23adc9139 (patch)
tree807799f7c4dea85fca31e3532b0e06f71f0f32ea /docs/type_system/empty.md
parente99f60fe8cdef48aad9aa6a1b360b600443ac659 (diff)
new layout by dependecy graph
Diffstat (limited to 'docs/type_system/empty.md')
-rw-r--r--docs/type_system/empty.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/type_system/empty.md b/docs/type_system/empty.md
index 09869d6..08b0977 100644
--- a/docs/type_system/empty.md
+++ b/docs/type_system/empty.md
@@ -5,7 +5,7 @@
Container type can be null
```text
-Empty[[] TYPE]
+`empty
```
## Use with `Option` Union
@@ -17,7 +17,7 @@ make_array : ([yes]
`nome
}
)
-v : make_array(...) // Empty[Array[I64]] $ .none OR Empty[Array[I64]] $ (.some : (1; 2; 3))
+v : make_array(...) // `empty Array[I64] $ .none OR `empty Array[I64] $ (.some : (1; 2; 3))
# v {
.some {[x] `log x } // Array[I64] $ (1; 2; 3)
.none { ... }