diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-05-09 17:08:10 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-05-09 17:08:10 -0400 |
| commit | 43b760058ae67f060fe89e6538d872fe982b3cb6 (patch) | |
| tree | 9dce0da13d5d9d57915da464c218f6c0576b11aa /docs/type_system/option.md | |
| parent | 4c3c63f39e9ceb5eff26a39f7c53189e700bb2e4 (diff) | |
container types
Diffstat (limited to 'docs/type_system/option.md')
| -rw-r--r-- | docs/type_system/option.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/type_system/option.md b/docs/type_system/option.md index 1cc70a7..55e6b76 100644 --- a/docs/type_system/option.md +++ b/docs/type_system/option.md @@ -19,9 +19,9 @@ x : // something that returns an option If option is none an error is thrown -# Use with `Empty` qualifier +## 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 +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 |