diff options
Diffstat (limited to 'docs/type_system')
| -rw-r--r-- | docs/type_system/bit.md | 7 | ||||
| -rw-r--r-- | docs/type_system/buffer.md | 14 | ||||
| -rw-r--r-- | docs/type_system/map.md | 2 | ||||
| -rw-r--r-- | docs/type_system/queue.md | 20 | ||||
| -rw-r--r-- | docs/type_system/tuple.md | 4 | ||||
| -rw-r--r-- | docs/type_system/union.md | 4 |
6 files changed, 47 insertions, 4 deletions
diff --git a/docs/type_system/bit.md b/docs/type_system/bit.md index c787ae9..41a6abd 100644 --- a/docs/type_system/bit.md +++ b/docs/type_system/bit.md @@ -11,7 +11,6 @@ Bit_representation `alias Enum[ .numeric; .int; .int_unsiged; .int_signed; .float .utf8; .utf16; .utf32 .bool - .mask ] Bit[Bit_size; Bit_representation] @@ -46,8 +45,6 @@ F64 `alias Bit[.bit64; .float] Char `alias Bit[.bit32; .utf8] Bool `alias Bit[.bit8; .bool] - -Mask `alias Bit[.bit64; .mask] ``` # Operators @@ -70,6 +67,10 @@ Mask `alias Bit[.bit64; .mask] ## Boolean +### ``true` + +### ``false` + ### Not `!` ### Equal `=` diff --git a/docs/type_system/buffer.md b/docs/type_system/buffer.md index 1f2fed8..1cfeb37 100644 --- a/docs/type_system/buffer.md +++ b/docs/type_system/buffer.md @@ -17,3 +17,17 @@ String `alias Buffer[.utf8; Void] Vector[Any] `alias Buffer[.type; Any] ``` + +# Operators + +## ``len` + +## ``get` + +## ``push` + +## ``pop` + +## Concatenate `,` + +# Iterating diff --git a/docs/type_system/map.md b/docs/type_system/map.md index 9d62b13..70331e6 100644 --- a/docs/type_system/map.md +++ b/docs/type_system/map.md @@ -6,7 +6,7 @@ Map[KEY_TYPE; VALUE_TYPE] ``` -## Alias +# Alias ```text Set[Any] `alias Map[Any; Void] diff --git a/docs/type_system/queue.md b/docs/type_system/queue.md index 92fa008..54f9a4e 100644 --- a/docs/type_system/queue.md +++ b/docs/type_system/queue.md @@ -5,3 +5,23 @@ ```text Queue[TYPE] ``` + +# Operators + +## ``len` + +## ``get_head` + +## ``push_head` + +## ``pop_head` + +## ``get_tail` + +## ``push_tail` + +## ``pop_tail` + +## Concatenate `,` + +# Iterating diff --git a/docs/type_system/tuple.md b/docs/type_system/tuple.md index 57158b1..0c89c67 100644 --- a/docs/type_system/tuple.md +++ b/docs/type_system/tuple.md @@ -7,3 +7,7 @@ A sequence of different types accessed by index or a symbol mapped to an index ```text Tuple[TYPE; TYPE.SYMBOL; ...] ``` + +# Operators + +## ``get` diff --git a/docs/type_system/union.md b/docs/type_system/union.md index b2a7e45..d14a7bc 100644 --- a/docs/type_system/union.md +++ b/docs/type_system/union.md @@ -17,6 +17,10 @@ u : Union[I64.a; I64.b; I64.c] $ (.c : 5) // defaults to Union[.container; ...] } ``` +# Operators + +## ``take` + # Transient Unions Can only be retuned from functions and operations. The inner value must be moved out |
