diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-13 16:12:32 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-13 16:12:32 -0400 |
| commit | d4ff8cfd8c9d1881cfc672a10d1f787e633fffaa (patch) | |
| tree | eb2eb61118004dcd8a77cda29986d4c9cde6fdd9 /docs/type_system/option.md | |
| parent | 70cbe8d5818ad63fad951d1b971e817acc9e76b1 (diff) | |
all functions return a task
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 |
