summaryrefslogtreecommitdiff
path: root/docs/type_system/option.md
diff options
context:
space:
mode:
authornodist <kevin.comas.git@gmail.com>2026-05-13 16:12:32 -0400
committernodist <kevin.comas.git@gmail.com>2026-05-13 16:12:32 -0400
commitd4ff8cfd8c9d1881cfc672a10d1f787e633fffaa (patch)
treeeb2eb61118004dcd8a77cda29986d4c9cde6fdd9 /docs/type_system/option.md
parent70cbe8d5818ad63fad951d1b971e817acc9e76b1 (diff)
all functions return a task
Diffstat (limited to 'docs/type_system/option.md')
-rw-r--r--docs/type_system/option.md43
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