summaryrefslogtreecommitdiff
path: root/docs/type_system/option.md
diff options
context:
space:
mode:
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