@grain/stdlib 0.5.12 → 0.6.0

package/runtime/unsafe/wasmf64.md

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

package/runtime/unsafe/wasmi32.gr

@@ -1,76 +1,59 @@
-/* grainc-flags --compilation-mode=runtime */
+@runtimeMode
+module WasmI32
 
 // WebAssembly Memory Instructions
-export primitive load: (WasmI32, WasmI32) -> WasmI32 = "@wasm.load_int32"
-export primitive load8S: (WasmI32, WasmI32) -> WasmI32 = "@wasm.load_8_s_int32"
-export primitive load8U: (WasmI32, WasmI32) -> WasmI32 = "@wasm.load_8_u_int32"
-export primitive load16S: (
-  WasmI32,
-  WasmI32,
-) -> WasmI32 = "@wasm.load_16_s_int32"
-export primitive load16U: (
-  WasmI32,
-  WasmI32,
-) -> WasmI32 = "@wasm.load_16_u_int32"
-export primitive store: (
-  WasmI32,
-  WasmI32,
-  WasmI32,
-) -> Void = "@wasm.store_int32"
-export primitive store8: (
-  WasmI32,
-  WasmI32,
-  WasmI32,
-) -> Void = "@wasm.store_8_int32"
-export primitive store16: (
-  WasmI32,
-  WasmI32,
-  WasmI32,
-) -> Void = "@wasm.store_16_int32"
+provide primitive load = "@wasm.load_int32"
+provide primitive load8S = "@wasm.load_8_s_int32"
+provide primitive load8U = "@wasm.load_8_u_int32"
+provide primitive load16S = "@wasm.load_16_s_int32"
+provide primitive load16U = "@wasm.load_16_u_int32"
+provide primitive store = "@wasm.store_int32"
+provide primitive store8 = "@wasm.store_8_int32"
+provide primitive store16 = "@wasm.store_16_int32"
 
 // WebAssembly Unary Instructions
-export primitive clz: WasmI32 -> WasmI32 = "@wasm.clz_int32"
-export primitive ctz: WasmI32 -> WasmI32 = "@wasm.ctz_int32"
-export primitive popcnt: WasmI32 -> WasmI32 = "@wasm.popcnt_int32"
-export primitive eqz: WasmI32 -> Bool = "@wasm.eq_z_int32"
+provide primitive clz = "@wasm.clz_int32"
+provide primitive ctz = "@wasm.ctz_int32"
+provide primitive popcnt = "@wasm.popcnt_int32"
+provide primitive eqz = "@wasm.eq_z_int32"
 
 // WebAssembly Binary Instructions
-export primitive add: (WasmI32, WasmI32) -> WasmI32 = "@wasm.add_int32"
-export primitive sub: (WasmI32, WasmI32) -> WasmI32 = "@wasm.sub_int32"
-export primitive mul: (WasmI32, WasmI32) -> WasmI32 = "@wasm.mul_int32"
-export primitive divS: (WasmI32, WasmI32) -> WasmI32 = "@wasm.div_s_int32"
-export primitive divU: (WasmI32, WasmI32) -> WasmI32 = "@wasm.div_u_int32"
-export primitive remS: (WasmI32, WasmI32) -> WasmI32 = "@wasm.rem_s_int32"
-export primitive remU: (WasmI32, WasmI32) -> WasmI32 = "@wasm.rem_u_int32"
-export primitive and: (WasmI32, WasmI32) -> WasmI32 = "@wasm.and_int32"
-export primitive or: (WasmI32, WasmI32) -> WasmI32 = "@wasm.or_int32"
-export primitive xor: (WasmI32, WasmI32) -> WasmI32 = "@wasm.xor_int32"
-export primitive shl: (WasmI32, WasmI32) -> WasmI32 = "@wasm.shl_int32"
-export primitive shrS: (WasmI32, WasmI32) -> WasmI32 = "@wasm.shr_s_int32"
-export primitive shrU: (WasmI32, WasmI32) -> WasmI32 = "@wasm.shr_u_int32"
-export primitive rotl: (WasmI32, WasmI32) -> WasmI32 = "@wasm.rot_l_int32"
-export primitive rotr: (WasmI32, WasmI32) -> WasmI32 = "@wasm.rot_r_int32"
-export primitive eq: (WasmI32, WasmI32) -> Bool = "@wasm.eq_int32"
-export primitive ne: (WasmI32, WasmI32) -> Bool = "@wasm.ne_int32"
-export primitive ltS: (WasmI32, WasmI32) -> Bool = "@wasm.lt_s_int32"
-export primitive ltU: (WasmI32, WasmI32) -> Bool = "@wasm.lt_u_int32"
-export primitive leS: (WasmI32, WasmI32) -> Bool = "@wasm.le_s_int32"
-export primitive leU: (WasmI32, WasmI32) -> Bool = "@wasm.le_u_int32"
-export primitive gtS: (WasmI32, WasmI32) -> Bool = "@wasm.gt_s_int32"
-export primitive gtU: (WasmI32, WasmI32) -> Bool = "@wasm.gt_u_int32"
-export primitive geS: (WasmI32, WasmI32) -> Bool = "@wasm.ge_s_int32"
-export primitive geU: (WasmI32, WasmI32) -> Bool = "@wasm.ge_u_int32"
+provide primitive (+) = "@wasm.add_int32"
+provide primitive (-) = "@wasm.sub_int32"
+provide primitive (*) = "@wasm.mul_int32"
+provide primitive (/) = "@wasm.div_s_int32"
+provide primitive divU = "@wasm.div_u_int32"
+provide primitive remS = "@wasm.rem_s_int32"
+provide primitive remU = "@wasm.rem_u_int32"
+provide primitive (&) = "@wasm.and_int32"
+provide primitive (|) = "@wasm.or_int32"
+provide primitive (^) = "@wasm.xor_int32"
+provide primitive (<<) = "@wasm.shl_int32"
+provide primitive (>>) = "@wasm.shr_s_int32"
+provide primitive (>>>) = "@wasm.shr_u_int32"
+provide primitive rotl = "@wasm.rot_l_int32"
+provide primitive rotr = "@wasm.rot_r_int32"
+provide primitive (==) = "@wasm.eq_int32"
+provide primitive (!=) = "@wasm.ne_int32"
+provide primitive (<) = "@wasm.lt_s_int32"
+provide primitive ltU = "@wasm.lt_u_int32"
+provide primitive (<=) = "@wasm.le_s_int32"
+provide primitive leU = "@wasm.le_u_int32"
+provide primitive (>) = "@wasm.gt_s_int32"
+provide primitive gtU = "@wasm.gt_u_int32"
+provide primitive (>=) = "@wasm.ge_s_int32"
+provide primitive geU = "@wasm.ge_u_int32"
 
 // WebAssembly Conversion Instructions
-export primitive wrapI64: WasmI64 -> WasmI32 = "@wasm.wrap_int64"
-export primitive truncF32S: WasmF32 -> WasmI32 = "@wasm.trunc_s_float32_to_int32"
-export primitive truncF32U: WasmF32 -> WasmI32 = "@wasm.trunc_u_float32_to_int32"
-export primitive truncF64S: WasmF64 -> WasmI32 = "@wasm.trunc_s_float64_to_int32"
-export primitive truncF64U: WasmF64 -> WasmI32 = "@wasm.trunc_u_float64_to_int32"
-export primitive reinterpretF32: WasmF32 -> WasmI32 = "@wasm.reinterpret_float32"
-export primitive extendS8: WasmI32 -> WasmI32 = "@wasm.extend_s8_int32"
-export primitive extendS16: WasmI32 -> WasmI32 = "@wasm.extend_s16_int32"
+provide primitive wrapI64 = "@wasm.wrap_int64"
+provide primitive truncF32S = "@wasm.trunc_s_float32_to_int32"
+provide primitive truncF32U = "@wasm.trunc_u_float32_to_int32"
+provide primitive truncF64S = "@wasm.trunc_s_float64_to_int32"
+provide primitive truncF64U = "@wasm.trunc_u_float64_to_int32"
+provide primitive reinterpretF32 = "@wasm.reinterpret_float32"
+provide primitive extendS8 = "@wasm.extend_s8_int32"
+provide primitive extendS16 = "@wasm.extend_s16_int32"
 
 // Grain Conversions
-export primitive fromGrain: a -> WasmI32 = "@wasm.fromGrain"
-export primitive toGrain: WasmI32 -> a = "@wasm.toGrain"
+provide primitive fromGrain = "@wasm.fromGrain"
+provide primitive toGrain = "@wasm.toGrain"