From 55d6a62e2bfb4ae6ac32c786dd20ec3025147d57 Mon Sep 17 00:00:00 2001 From: nodist Date: Wed, 6 May 2026 11:23:00 -0400 Subject: basic value types --- docs/type_system/alias.md | 2 -- docs/type_system/enum.md | 2 +- docs/type_system/float.md | 12 ++++++++++++ docs/type_system/index.md | 2 ++ docs/type_system/int.md | 21 +++++++++++++++++++++ docs/type_system/unique.md | 2 +- mkdocs.yml | 2 ++ 7 files changed, 39 insertions(+), 4 deletions(-) create mode 100644 docs/type_system/float.md create mode 100644 docs/type_system/int.md diff --git a/docs/type_system/alias.md b/docs/type_system/alias.md index 02dca3a..d6acd56 100644 --- a/docs/type_system/alias.md +++ b/docs/type_system/alias.md @@ -3,5 +3,3 @@ --- A type based on a complete template that is interchangeable with what it is based on - -## Defined Alias diff --git a/docs/type_system/enum.md b/docs/type_system/enum.md index 9e6be9b..9138286 100644 --- a/docs/type_system/enum.md +++ b/docs/type_system/enum.md @@ -2,7 +2,7 @@ --- -Unique symbols associated with a type that can map to an underlying type +Unique symbols associated with a type ```text Enum[.name; ...] // Resoves to Enum[Void; ...] diff --git a/docs/type_system/float.md b/docs/type_system/float.md new file mode 100644 index 0000000..d0752d0 --- /dev/null +++ b/docs/type_system/float.md @@ -0,0 +1,12 @@ +# Float + +--- + +```text +Float_bit_size : `alias Enum[.bit32; .bit64] + +Float[Float_bit_size] + +F32 : `alias Float[.bit32] +F64 : `alias Float[.bit64] +``` diff --git a/docs/type_system/index.md b/docs/type_system/index.md index 430792b..c0c2647 100644 --- a/docs/type_system/index.md +++ b/docs/type_system/index.md @@ -21,6 +21,8 @@ Denotes that a field that does not resolve to anything ## Value Templates * #### [Enum](./enum.md) +* #### [Int](./int.md) +* #### [Float](./float.md) ## Container Templates diff --git a/docs/type_system/int.md b/docs/type_system/int.md new file mode 100644 index 0000000..5986c3b --- /dev/null +++ b/docs/type_system/int.md @@ -0,0 +1,21 @@ +# Int + +--- + +```text +Int_bit_size : `alias Enum[.bit8; .bit16; .bit32; .bit64] + +Int_signedness : `alias Enum[.signed; .unsigned] + +Int[Int_bit_size; Int_signedness] + +I8 : `alias Int[.bit8; .signed] +I16 : `alias Int[.bit16; .signed] +I32 : `alias Int[.bit32; .signed] +I64 : `alias Int[.bit64; .signed] + +U8 : `alias Int[.bit8; .unsigned] +U16 : `alias Int[.bit16; .unsigned] +U32 : `alias Int[.bit32; .unsigned] +U64 : `alias Int[.bit64; .unsigned] +``` diff --git a/docs/type_system/unique.md b/docs/type_system/unique.md index 0254934..4503917 100644 --- a/docs/type_system/unique.md +++ b/docs/type_system/unique.md @@ -2,4 +2,4 @@ --- -A type based on a complete template that is not interchangeable with what it is based on +A type based on a complete template or an alias that is not interchangeable with what it is based on diff --git a/mkdocs.yml b/mkdocs.yml index 0d0031b..6af6847 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -11,3 +11,5 @@ nav: - Alias: 'type_system/alias.md' - Unique: 'type_system/unique.md' - Enum: 'type_system/enum.md' + - Int: 'type_system/int.md' + - Float: 'type_system/float.md' -- cgit v1.2.3