diff options
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 |