diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-08 16:42:18 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-08 16:42:18 -0400 |
| commit | 4c3c63f39e9ceb5eff26a39f7c53189e700bb2e4 (patch) | |
| tree | a31cb056f2ba82aa534d1f6a93c501eeb3f2a9d3 /docs/type_system/option.md | |
| parent | dda8ef8f15662e7621251148eb1b1da7a22f199b (diff) | |
combine option with empty
Diffstat (limited to 'docs/type_system/option.md')
| -rw-r--r-- | docs/type_system/option.md | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/docs/type_system/option.md b/docs/type_system/option.md index 2532485..1cc70a7 100644 --- a/docs/type_system/option.md +++ b/docs/type_system/option.md @@ -2,7 +2,9 @@ --- -A 128bit value status pair, cannot be stored. +A 128bit status value pair, cannot be stored. + +An option represents not having a value is a possibility ```text Option[TYPE] @@ -17,6 +19,10 @@ x : // something that returns an option If option is none an error is thrown +# Use with `Empty` qualifier + +If the option is assigned to a type with `Empty` an error will not be through if the option is none + # Matching ```text |