diff options
Diffstat (limited to 'docs/type_system/option.md')
| -rw-r--r-- | docs/type_system/option.md | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/docs/type_system/option.md b/docs/type_system/option.md deleted file mode 100644 index 55e6b76..0000000 --- a/docs/type_system/option.md +++ /dev/null @@ -1,43 +0,0 @@ -# Option - ---- - -A 128bit status value pair, cannot be stored. - -An option represents not having a value is a possibility - -```text -Option[TYPE] -``` - -# Default - -```text -x : // something that returns an option -// x is the value from the option -``` - -If option is none an error is thrown - -## Use with `Empty` qualifier - -If the option is assigned to a type with `Empty`, no error is thrown. The empty value will be `nil` if the option is `none` - -# Matching - -```text -# ... { - .some { arg; ... }[arg] - .nome { ... } -} -``` - -## .some - -## .none - -# Return - -## \`some - -## \`none |
