@grain/stdlib 0.5.12 → 0.6.0

package/runtime/unsafe/tags.md

@@ -1,13 +1,21 @@
+---
+title: Tags
+---
+
+## Values
+
+Functions and constants included in the Tags module.
+
 ### Tags.**_GRAIN_NUMBER_TAG_TYPE**
 
 ```grain
 _GRAIN_NUMBER_TAG_TYPE : WasmI32
 ```
 
-### Tags.**_GRAIN_CHAR_TAG_TYPE**
+### Tags.**_GRAIN_SHORTVAL_TAG_TYPE**
 
 ```grain
-_GRAIN_CHAR_TAG_TYPE : WasmI32
+_GRAIN_SHORTVAL_TAG_TYPE : WasmI32
 ```
 
 ### Tags.**_GRAIN_CONST_TAG_TYPE**
@@ -34,6 +42,66 @@ _GRAIN_NUMBER_TAG_MASK : WasmI32
 _GRAIN_GENERIC_TAG_MASK : WasmI32
 ```
 
+### Tags.**_GRAIN_CHAR_SHORTVAL_TAG**
+
+```grain
+_GRAIN_CHAR_SHORTVAL_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_INT8_SHORTVAL_TAG**
+
+```grain
+_GRAIN_INT8_SHORTVAL_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_INT16_SHORTVAL_TAG**
+
+```grain
+_GRAIN_INT16_SHORTVAL_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_UINT8_SHORTVAL_TAG**
+
+```grain
+_GRAIN_UINT8_SHORTVAL_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_UINT16_SHORTVAL_TAG**
+
+```grain
+_GRAIN_UINT16_SHORTVAL_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_GENERIC_SHORTVAL_TAG_MASK**
+
+```grain
+_GRAIN_GENERIC_SHORTVAL_TAG_MASK : WasmI32
+```
+
+### Tags.**_GRAIN_INT8_TAG_MASK**
+
+```grain
+_GRAIN_INT8_TAG_MASK : WasmI32
+```
+
+### Tags.**_GRAIN_INT16_TAG_MASK**
+
+```grain
+_GRAIN_INT16_TAG_MASK : WasmI32
+```
+
+### Tags.**_GRAIN_UINT8_TAG_MASK**
+
+```grain
+_GRAIN_UINT8_TAG_MASK : WasmI32
+```
+
+### Tags.**_GRAIN_UINT16_TAG_MASK**
+
+```grain
+_GRAIN_UINT16_TAG_MASK : WasmI32
+```
+
 ### Tags.**_GRAIN_STRING_HEAP_TAG**
 
 ```grain
@@ -82,22 +150,34 @@ _GRAIN_TUPLE_HEAP_TAG : WasmI32
 _GRAIN_BYTES_HEAP_TAG : WasmI32
 ```
 
-### Tags.**_GRAIN_FLOAT32_BOXED_NUM_TAG**
+### Tags.**_GRAIN_INT32_HEAP_TAG**
 
 ```grain
-_GRAIN_FLOAT32_BOXED_NUM_TAG : WasmI32
+_GRAIN_INT32_HEAP_TAG : WasmI32
 ```
 
-### Tags.**_GRAIN_FLOAT64_BOXED_NUM_TAG**
+### Tags.**_GRAIN_FLOAT32_HEAP_TAG**
 
 ```grain
-_GRAIN_FLOAT64_BOXED_NUM_TAG : WasmI32
+_GRAIN_FLOAT32_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_UINT32_HEAP_TAG**
+
+```grain
+_GRAIN_UINT32_HEAP_TAG : WasmI32
 ```
 
-### Tags.**_GRAIN_INT32_BOXED_NUM_TAG**
+### Tags.**_GRAIN_UINT64_HEAP_TAG**
 
 ```grain
-_GRAIN_INT32_BOXED_NUM_TAG : WasmI32
+_GRAIN_UINT64_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_FLOAT64_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_FLOAT64_BOXED_NUM_TAG : WasmI32
 ```
 
 ### Tags.**_GRAIN_INT64_BOXED_NUM_TAG**

package/runtime/unsafe/wasmf32.gr

@@ -1,44 +1,38 @@
-/* grainc-flags --compilation-mode=runtime */
+@runtimeMode
+module WasmF32
 
 // WebAssembly Memory Instructions
-export primitive load: (WasmI32, WasmI32) -> WasmF32 = "@wasm.load_float32"
-export primitive store: (
-  WasmI32,
-  WasmF32,
-  WasmI32,
-) -> Void = "@wasm.store_float32"
+provide primitive load = "@wasm.load_float32"
+provide primitive store = "@wasm.store_float32"
 
 // WebAssembly Unary Instructions
-export primitive neg: WasmF32 -> WasmF32 = "@wasm.neg_float32"
-export primitive abs: WasmF32 -> WasmF32 = "@wasm.abs_float32"
-export primitive ceil: WasmF32 -> WasmF32 = "@wasm.ceil_float32"
-export primitive floor: WasmF32 -> WasmF32 = "@wasm.floor_float32"
-export primitive trunc: WasmF32 -> WasmF32 = "@wasm.trunc_float32"
-export primitive nearest: WasmF32 -> WasmF32 = "@wasm.nearest_float32"
-export primitive sqrt: WasmF32 -> WasmF32 = "@wasm.sqrt_float32"
+provide primitive neg = "@wasm.neg_float32"
+provide primitive abs = "@wasm.abs_float32"
+provide primitive ceil = "@wasm.ceil_float32"
+provide primitive floor = "@wasm.floor_float32"
+provide primitive trunc = "@wasm.trunc_float32"
+provide primitive nearest = "@wasm.nearest_float32"
+provide primitive sqrt = "@wasm.sqrt_float32"
 
 // WebAssembly Binary Instructions
-export primitive add: (WasmF32, WasmF32) -> WasmF32 = "@wasm.add_float32"
-export primitive sub: (WasmF32, WasmF32) -> WasmF32 = "@wasm.sub_float32"
-export primitive mul: (WasmF32, WasmF32) -> WasmF32 = "@wasm.mul_float32"
-export primitive div: (WasmF32, WasmF32) -> WasmF32 = "@wasm.div_float32"
-export primitive copySign: (
-  WasmF32,
-  WasmF32,
-) -> WasmF32 = "@wasm.copy_sign_float32"
-export primitive min: (WasmF32, WasmF32) -> WasmF32 = "@wasm.min_float32"
-export primitive max: (WasmF32, WasmF32) -> WasmF32 = "@wasm.max_float32"
-export primitive eq: (WasmF32, WasmF32) -> Bool = "@wasm.eq_float32"
-export primitive ne: (WasmF32, WasmF32) -> Bool = "@wasm.ne_float32"
-export primitive lt: (WasmF32, WasmF32) -> Bool = "@wasm.lt_float32"
-export primitive le: (WasmF32, WasmF32) -> Bool = "@wasm.le_float32"
-export primitive gt: (WasmF32, WasmF32) -> Bool = "@wasm.gt_float32"
-export primitive ge: (WasmF32, WasmF32) -> Bool = "@wasm.ge_float32"
+provide primitive (+) = "@wasm.add_float32"
+provide primitive (-) = "@wasm.sub_float32"
+provide primitive (*) = "@wasm.mul_float32"
+provide primitive (/) = "@wasm.div_float32"
+provide primitive copySign = "@wasm.copy_sign_float32"
+provide primitive min = "@wasm.min_float32"
+provide primitive max = "@wasm.max_float32"
+provide primitive (==) = "@wasm.eq_float32"
+provide primitive (!=) = "@wasm.ne_float32"
+provide primitive (<) = "@wasm.lt_float32"
+provide primitive (<=) = "@wasm.le_float32"
+provide primitive (>) = "@wasm.gt_float32"
+provide primitive (>=) = "@wasm.ge_float32"
 
 // WebAssembly Conversion instructions
-export primitive reinterpretI32: WasmI32 -> WasmF32 = "@wasm.reinterpret_int32"
-export primitive convertI32S: WasmI32 -> WasmF32 = "@wasm.convert_s_int32_to_float32"
-export primitive convertI32U: WasmI32 -> WasmF32 = "@wasm.convert_u_int32_to_float32"
-export primitive convertI64S: WasmI64 -> WasmF32 = "@wasm.convert_s_int64_to_float32"
-export primitive convertI64U: WasmI64 -> WasmF32 = "@wasm.convert_u_int64_to_float32"
-export primitive demoteF64: WasmF64 -> WasmF32 = "@wasm.demote_float64"
+provide primitive reinterpretI32 = "@wasm.reinterpret_int32"
+provide primitive convertI32S = "@wasm.convert_s_int32_to_float32"
+provide primitive convertI32U = "@wasm.convert_u_int32_to_float32"
+provide primitive convertI64S = "@wasm.convert_s_int64_to_float32"
+provide primitive convertI64U = "@wasm.convert_u_int64_to_float32"
+provide primitive demoteF64 = "@wasm.demote_float64"

package/runtime/unsafe/wasmf32.md

@@ -1,168 +1,176 @@
-### Wasmf32.**load**
+---
+title: WasmF32
+---
+
+## Values
+
+Functions and constants included in the WasmF32 module.
+
+### WasmF32.**load**
 
 ```grain
-load : (WasmI32, WasmI32) -> WasmF32
+load : (ptr: WasmI32, offset: WasmI32) => WasmF32
 ```
 
-### Wasmf32.**store**
+### WasmF32.**store**
 
 ```grain
-store : (WasmI32, WasmF32, WasmI32) -> Void
+store : (ptr: WasmI32, value: WasmF32, offset: WasmI32) => Void
 ```
 
-### Wasmf32.**neg**
+### WasmF32.**neg**
 
 ```grain
-neg : WasmF32 -> WasmF32
+neg : (num: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**abs**
+### WasmF32.**abs**
 
 ```grain
-abs : WasmF32 -> WasmF32
+abs : (num: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**ceil**
+### WasmF32.**ceil**
 
 ```grain
-ceil : WasmF32 -> WasmF32
+ceil : (num: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**floor**
+### WasmF32.**floor**
 
 ```grain
-floor : WasmF32 -> WasmF32
+floor : (num: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**trunc**
+### WasmF32.**trunc**
 
 ```grain
-trunc : WasmF32 -> WasmF32
+trunc : (num: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**nearest**
+### WasmF32.**nearest**
 
 ```grain
-nearest : WasmF32 -> WasmF32
+nearest : (num: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**sqrt**
+### WasmF32.**sqrt**
 
 ```grain
-sqrt : WasmF32 -> WasmF32
+sqrt : (num: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**add**
+### WasmF32.**(+)**
 
 ```grain
-add : (WasmF32, WasmF32) -> WasmF32
+(+) : (left: WasmF32, right: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**sub**
+### WasmF32.**(-)**
 
 ```grain
-sub : (WasmF32, WasmF32) -> WasmF32
+(-) : (left: WasmF32, right: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**mul**
+### WasmF32.**(*)**
 
 ```grain
-mul : (WasmF32, WasmF32) -> WasmF32
+(*) : (left: WasmF32, right: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**div**
+### WasmF32.**(/)**
 
 ```grain
-div : (WasmF32, WasmF32) -> WasmF32
+(/) : (left: WasmF32, right: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**copySign**
+### WasmF32.**copySign**
 
 ```grain
-copySign : (WasmF32, WasmF32) -> WasmF32
+copySign : (left: WasmF32, right: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**min**
+### WasmF32.**min**
 
 ```grain
-min : (WasmF32, WasmF32) -> WasmF32
+min : (left: WasmF32, right: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**max**
+### WasmF32.**max**
 
 ```grain
-max : (WasmF32, WasmF32) -> WasmF32
+max : (left: WasmF32, right: WasmF32) => WasmF32
 ```
 
-### Wasmf32.**eq**
+### WasmF32.**(==)**
 
 ```grain
-eq : (WasmF32, WasmF32) -> Bool
+(==) : (left: WasmF32, right: WasmF32) => Bool
 ```
 
-### Wasmf32.**ne**
+### WasmF32.**(!=)**
 
 ```grain
-ne : (WasmF32, WasmF32) -> Bool
+(!=) : (left: WasmF32, right: WasmF32) => Bool
 ```
 
-### Wasmf32.**lt**
+### WasmF32.**(<)**
 
 ```grain
-lt : (WasmF32, WasmF32) -> Bool
+(<) : (left: WasmF32, right: WasmF32) => Bool
 ```
 
-### Wasmf32.**le**
+### WasmF32.**(<=)**
 
 ```grain
-le : (WasmF32, WasmF32) -> Bool
+(<=) : (left: WasmF32, right: WasmF32) => Bool
 ```
 
-### Wasmf32.**gt**
+### WasmF32.**(>)**
 
 ```grain
-gt : (WasmF32, WasmF32) -> Bool
+(>) : (left: WasmF32, right: WasmF32) => Bool
 ```
 
-### Wasmf32.**ge**
+### WasmF32.**(>=)**
 
 ```grain
-ge : (WasmF32, WasmF32) -> Bool
+(>=) : (left: WasmF32, right: WasmF32) => Bool
 ```
 
-### Wasmf32.**reinterpretI32**
+### WasmF32.**reinterpretI32**
 
 ```grain
-reinterpretI32 : WasmI32 -> WasmF32
+reinterpretI32 : (num: WasmI32) => WasmF32
 ```
 
-### Wasmf32.**convertI32S**
+### WasmF32.**convertI32S**
 
 ```grain
-convertI32S : WasmI32 -> WasmF32
+convertI32S : (num: WasmI32) => WasmF32
 ```
 
-### Wasmf32.**convertI32U**
+### WasmF32.**convertI32U**
 
 ```grain
-convertI32U : WasmI32 -> WasmF32
+convertI32U : (num: WasmI32) => WasmF32
 ```
 
-### Wasmf32.**convertI64S**
+### WasmF32.**convertI64S**
 
 ```grain
-convertI64S : WasmI64 -> WasmF32
+convertI64S : (num: WasmI64) => WasmF32
 ```
 
-### Wasmf32.**convertI64U**
+### WasmF32.**convertI64U**
 
 ```grain
-convertI64U : WasmI64 -> WasmF32
+convertI64U : (num: WasmI64) => WasmF32
 ```
 
-### Wasmf32.**demoteF64**
+### WasmF32.**demoteF64**
 
 ```grain
-demoteF64 : WasmF64 -> WasmF32
+demoteF64 : (num: WasmF64) => WasmF32
 ```
 

package/runtime/unsafe/wasmf64.gr

@@ -1,44 +1,38 @@
-/* grainc-flags --compilation-mode=runtime */
+@runtimeMode
+module WasmF64
 
 // WebAssembly Memory Instructions
-export primitive load: (WasmI32, WasmI32) -> WasmF64 = "@wasm.load_float64"
-export primitive store: (
-  WasmI32,
-  WasmF64,
-  WasmI32,
-) -> Void = "@wasm.store_float64"
+provide primitive load = "@wasm.load_float64"
+provide primitive store = "@wasm.store_float64"
 
 // WebAssembly Unary Instructions
-export primitive neg: WasmF64 -> WasmF64 = "@wasm.neg_float64"
-export primitive abs: WasmF64 -> WasmF64 = "@wasm.abs_float64"
-export primitive ceil: WasmF64 -> WasmF64 = "@wasm.ceil_float64"
-export primitive floor: WasmF64 -> WasmF64 = "@wasm.floor_float64"
-export primitive trunc: WasmF64 -> WasmF64 = "@wasm.trunc_float64"
-export primitive nearest: WasmF64 -> WasmF64 = "@wasm.nearest_float64"
-export primitive sqrt: WasmF64 -> WasmF64 = "@wasm.sqrt_float64"
+provide primitive neg = "@wasm.neg_float64"
+provide primitive abs = "@wasm.abs_float64"
+provide primitive ceil = "@wasm.ceil_float64"
+provide primitive floor = "@wasm.floor_float64"
+provide primitive trunc = "@wasm.trunc_float64"
+provide primitive nearest = "@wasm.nearest_float64"
+provide primitive sqrt = "@wasm.sqrt_float64"
 
 // WebAssembly Binary Instructions
-export primitive add: (WasmF64, WasmF64) -> WasmF64 = "@wasm.add_float64"
-export primitive sub: (WasmF64, WasmF64) -> WasmF64 = "@wasm.sub_float64"
-export primitive mul: (WasmF64, WasmF64) -> WasmF64 = "@wasm.mul_float64"
-export primitive div: (WasmF64, WasmF64) -> WasmF64 = "@wasm.div_float64"
-export primitive copySign: (
-  WasmF64,
-  WasmF64,
-) -> WasmF64 = "@wasm.copy_sign_float64"
-export primitive min: (WasmF64, WasmF64) -> WasmF64 = "@wasm.min_float64"
-export primitive max: (WasmF64, WasmF64) -> WasmF64 = "@wasm.max_float64"
-export primitive eq: (WasmF64, WasmF64) -> Bool = "@wasm.eq_float64"
-export primitive ne: (WasmF64, WasmF64) -> Bool = "@wasm.ne_float64"
-export primitive lt: (WasmF64, WasmF64) -> Bool = "@wasm.lt_float64"
-export primitive le: (WasmF64, WasmF64) -> Bool = "@wasm.le_float64"
-export primitive gt: (WasmF64, WasmF64) -> Bool = "@wasm.gt_float64"
-export primitive ge: (WasmF64, WasmF64) -> Bool = "@wasm.ge_float64"
+provide primitive (+) = "@wasm.add_float64"
+provide primitive (-) = "@wasm.sub_float64"
+provide primitive (*) = "@wasm.mul_float64"
+provide primitive (/) = "@wasm.div_float64"
+provide primitive copySign = "@wasm.copy_sign_float64"
+provide primitive min = "@wasm.min_float64"
+provide primitive max = "@wasm.max_float64"
+provide primitive (==) = "@wasm.eq_float64"
+provide primitive (!=) = "@wasm.ne_float64"
+provide primitive (<) = "@wasm.lt_float64"
+provide primitive (<=) = "@wasm.le_float64"
+provide primitive (>) = "@wasm.gt_float64"
+provide primitive (>=) = "@wasm.ge_float64"
 
 // WebAssembly Conversion instructions
-export primitive reinterpretI64: WasmI64 -> WasmF64 = "@wasm.reinterpret_int64"
-export primitive convertI32S: WasmI32 -> WasmF64 = "@wasm.convert_s_int32_to_float64"
-export primitive convertI32U: WasmI32 -> WasmF64 = "@wasm.convert_u_int32_to_float64"
-export primitive convertI64S: WasmI64 -> WasmF64 = "@wasm.convert_s_int64_to_float64"
-export primitive convertI64U: WasmI64 -> WasmF64 = "@wasm.convert_u_int64_to_float64"
-export primitive promoteF32: WasmF32 -> WasmF64 = "@wasm.promote_float32"
+provide primitive reinterpretI64 = "@wasm.reinterpret_int64"
+provide primitive convertI32S = "@wasm.convert_s_int32_to_float64"
+provide primitive convertI32U = "@wasm.convert_u_int32_to_float64"
+provide primitive convertI64S = "@wasm.convert_s_int64_to_float64"
+provide primitive convertI64U = "@wasm.convert_u_int64_to_float64"
+provide primitive promoteF32 = "@wasm.promote_float32"