From d4ff8cfd8c9d1881cfc672a10d1f787e633fffaa Mon Sep 17 00:00:00 2001 From: nodist Date: Wed, 13 May 2026 16:12:32 -0400 Subject: all functions return a task --- docs/type_system/option.md | 43 ------------------------------------------- 1 file changed, 43 deletions(-) delete mode 100644 docs/type_system/option.md (limited to 'docs/type_system/option.md') 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 -- cgit v1.2.3