diff options
| author | nodist <kevin.comas.git@gmail.com> | 2026-07-27 17:17:56 -0400 |
|---|---|---|
| committer | nodist <kevin.comas.git@gmail.com> | 2026-07-27 17:17:56 -0400 |
| commit | bb912b081ed339e4a5419bd3d2ffd7465f2f72d3 (patch) | |
| tree | 7f34b3af1a72672de1d12c8e23dda419c398dce3 /docs/type_system/index.md | |
| parent | 003119b9f285e5610f56186bce845441409265ae (diff) | |
bottom up redesign
Diffstat (limited to 'docs/type_system/index.md')
| -rw-r--r-- | docs/type_system/index.md | 119 |
1 files changed, 0 insertions, 119 deletions
diff --git a/docs/type_system/index.md b/docs/type_system/index.md deleted file mode 100644 index 65c21d8..0000000 --- a/docs/type_system/index.md +++ /dev/null @@ -1,119 +0,0 @@ -# Types - -* #### [Alias](./alias.md) - -* #### [Unique](./unique.md) - ---- - -# Representation - -```text -TEMPLATE[[MODIFIERS] DEFINES...;...] -``` - -## Modifiers - -A modifier is an internal setting (a bit mask or single value), cannot be set by a user - -Each template below has its own modifiers - -## Defines - -User specified - -# Templates - -A template is an incomplete type - -```text -Template[[] Field; ...] -``` - -If a field in a template is not filed, one of these are required: - -## Any - -Denotes a field in a template that has not resolved - -A template by name only expands to all inner fields as `Any` - -## Generic.SYMBOL - -A field that is substituted with a `Generic` type - -## Collection[STORAGE; TYPE] - -A list of types with shape of TYPE, only can have one collection per type - -The collection is stored internally as STORAGE - -If using a collection the Collection[TYPE] must be the last type on the templates type list - -## Void - -Denotes that a field that does not resolve to anything - -## Meta Templates - -* #### [Var](./var.md) - -* #### [Generic](./generic.md) - -## Value Templates - -* #### [Select](./select.md) - -* #### [Bit](./bit.md) - -## Container Templates - -* #### [Group](./group.md) - -* #### [Buffer](./buffer.md) - -* #### [Map](./map.md) - -* #### [Queue](./queue.md) - -* #### [Union](./union.md) - -* #### [Native](./native.md) - -* #### [Error](./error.md) - -## Qualifier Templates - -* #### [Const](./const.md) - -* #### [Empty](./empty.md) - -* #### [Ref](./ref.md) - -* #### [Shared](./shared.md) - -## Function Templates - -* #### [Function](./function.md) - -* #### [Task](./task.md) - -* #### [Overload](./overload.md) - -## AST Templates - -* #### [Value](./value.md) - -* #### [Name](./name.md) - -* #### [Symbol](./symbol.md) - -* #### [Op](./op.md) - -* #### [List](./list.md) - -* #### [Lock](./lock.md) - -* #### [Namespace](./namespace.md) - -* #### [Ir](./ir.md) |