@grain/stdlib 0.4.6 → 0.5.2

package/runtime/unsafe/tags.md

@@ -0,0 +1,120 @@
+### Tags.**_GRAIN_NUMBER_TAG_TYPE**
+
+```grain
+_GRAIN_NUMBER_TAG_TYPE : WasmI32
+```
+
+### Tags.**_GRAIN_CHAR_TAG_TYPE**
+
+```grain
+_GRAIN_CHAR_TAG_TYPE : WasmI32
+```
+
+### Tags.**_GRAIN_CONST_TAG_TYPE**
+
+```grain
+_GRAIN_CONST_TAG_TYPE : WasmI32
+```
+
+### Tags.**_GRAIN_GENERIC_HEAP_TAG_TYPE**
+
+```grain
+_GRAIN_GENERIC_HEAP_TAG_TYPE : WasmI32
+```
+
+### Tags.**_GRAIN_NUMBER_TAG_MASK**
+
+```grain
+_GRAIN_NUMBER_TAG_MASK : WasmI32
+```
+
+### Tags.**_GRAIN_GENERIC_TAG_MASK**
+
+```grain
+_GRAIN_GENERIC_TAG_MASK : WasmI32
+```
+
+### Tags.**_GRAIN_STRING_HEAP_TAG**
+
+```grain
+_GRAIN_STRING_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_ADT_HEAP_TAG**
+
+```grain
+_GRAIN_ADT_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_RECORD_HEAP_TAG**
+
+```grain
+_GRAIN_RECORD_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_ARRAY_HEAP_TAG**
+
+```grain
+_GRAIN_ARRAY_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_BOXED_NUM_HEAP_TAG**
+
+```grain
+_GRAIN_BOXED_NUM_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_LAMBDA_HEAP_TAG**
+
+```grain
+_GRAIN_LAMBDA_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_TUPLE_HEAP_TAG**
+
+```grain
+_GRAIN_TUPLE_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_BYTES_HEAP_TAG**
+
+```grain
+_GRAIN_BYTES_HEAP_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_FLOAT32_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_FLOAT32_BOXED_NUM_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_FLOAT64_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_FLOAT64_BOXED_NUM_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_INT32_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_INT32_BOXED_NUM_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_INT64_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_INT64_BOXED_NUM_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_RATIONAL_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_RATIONAL_BOXED_NUM_TAG : WasmI32
+```
+
+### Tags.**_GRAIN_BIGINT_BOXED_NUM_TAG**
+
+```grain
+_GRAIN_BIGINT_BOXED_NUM_TAG : WasmI32
+```
+

package/runtime/unsafe/wasmf32.md

@@ -0,0 +1,168 @@
+### Wasmf32.**load**
+
+```grain
+load : (WasmI32, WasmI32) -> WasmF32
+```
+
+### Wasmf32.**store**
+
+```grain
+store : (WasmI32, WasmF32, WasmI32) -> Void
+```
+
+### Wasmf32.**neg**
+
+```grain
+neg : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**abs**
+
+```grain
+abs : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**ceil**
+
+```grain
+ceil : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**floor**
+
+```grain
+floor : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**trunc**
+
+```grain
+trunc : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**nearest**
+
+```grain
+nearest : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**sqrt**
+
+```grain
+sqrt : WasmF32 -> WasmF32
+```
+
+### Wasmf32.**add**
+
+```grain
+add : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**sub**
+
+```grain
+sub : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**mul**
+
+```grain
+mul : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**div**
+
+```grain
+div : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**copySign**
+
+```grain
+copySign : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**min**
+
+```grain
+min : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**max**
+
+```grain
+max : (WasmF32, WasmF32) -> WasmF32
+```
+
+### Wasmf32.**eq**
+
+```grain
+eq : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**ne**
+
+```grain
+ne : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**lt**
+
+```grain
+lt : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**le**
+
+```grain
+le : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**gt**
+
+```grain
+gt : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**ge**
+
+```grain
+ge : (WasmF32, WasmF32) -> Bool
+```
+
+### Wasmf32.**reinterpretI32**
+
+```grain
+reinterpretI32 : WasmI32 -> WasmF32
+```
+
+### Wasmf32.**convertI32S**
+
+```grain
+convertI32S : WasmI32 -> WasmF32
+```
+
+### Wasmf32.**convertI32U**
+
+```grain
+convertI32U : WasmI32 -> WasmF32
+```
+
+### Wasmf32.**convertI64S**
+
+```grain
+convertI64S : WasmI64 -> WasmF32
+```
+
+### Wasmf32.**convertI64U**
+
+```grain
+convertI64U : WasmI64 -> WasmF32
+```
+
+### Wasmf32.**demoteF64**
+
+```grain
+demoteF64 : WasmF64 -> WasmF32
+```
+

package/runtime/unsafe/wasmf64.md

@@ -0,0 +1,168 @@
+### Wasmf64.**load**
+
+```grain
+load : (WasmI32, WasmI32) -> WasmF64
+```
+
+### Wasmf64.**store**
+
+```grain
+store : (WasmI32, WasmF64, WasmI32) -> Void
+```
+
+### Wasmf64.**neg**
+
+```grain
+neg : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**abs**
+
+```grain
+abs : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**ceil**
+
+```grain
+ceil : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**floor**
+
+```grain
+floor : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**trunc**
+
+```grain
+trunc : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**nearest**
+
+```grain
+nearest : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**sqrt**
+
+```grain
+sqrt : WasmF64 -> WasmF64
+```
+
+### Wasmf64.**add**
+
+```grain
+add : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**sub**
+
+```grain
+sub : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**mul**
+
+```grain
+mul : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**div**
+
+```grain
+div : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**copySign**
+
+```grain
+copySign : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**min**
+
+```grain
+min : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**max**
+
+```grain
+max : (WasmF64, WasmF64) -> WasmF64
+```
+
+### Wasmf64.**eq**
+
+```grain
+eq : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**ne**
+
+```grain
+ne : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**lt**
+
+```grain
+lt : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**le**
+
+```grain
+le : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**gt**
+
+```grain
+gt : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**ge**
+
+```grain
+ge : (WasmF64, WasmF64) -> Bool
+```
+
+### Wasmf64.**reinterpretI64**
+
+```grain
+reinterpretI64 : WasmI64 -> WasmF64
+```
+
+### Wasmf64.**convertI32S**
+
+```grain
+convertI32S : WasmI32 -> WasmF64
+```
+
+### Wasmf64.**convertI32U**
+
+```grain
+convertI32U : WasmI32 -> WasmF64
+```
+
+### Wasmf64.**convertI64S**
+
+```grain
+convertI64S : WasmI64 -> WasmF64
+```
+
+### Wasmf64.**convertI64U**
+
+```grain
+convertI64U : WasmI64 -> WasmF64
+```
+
+### Wasmf64.**promoteF32**
+
+```grain
+promoteF32 : WasmF32 -> WasmF64
+```
+

package/runtime/unsafe/wasmi32.md

@@ -0,0 +1,282 @@
+### Wasmi32.**load**
+
+```grain
+load : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**load8S**
+
+```grain
+load8S : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**load8U**
+
+```grain
+load8U : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**load16S**
+
+```grain
+load16S : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**load16U**
+
+```grain
+load16U : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**store**
+
+```grain
+store : (WasmI32, WasmI32, WasmI32) -> Void
+```
+
+### Wasmi32.**store8**
+
+```grain
+store8 : (WasmI32, WasmI32, WasmI32) -> Void
+```
+
+### Wasmi32.**store16**
+
+```grain
+store16 : (WasmI32, WasmI32, WasmI32) -> Void
+```
+
+### Wasmi32.**clz**
+
+```grain
+clz : WasmI32 -> WasmI32
+```
+
+### Wasmi32.**ctz**
+
+```grain
+ctz : WasmI32 -> WasmI32
+```
+
+### Wasmi32.**popcnt**
+
+```grain
+popcnt : WasmI32 -> WasmI32
+```
+
+### Wasmi32.**eqz**
+
+```grain
+eqz : WasmI32 -> Bool
+```
+
+### Wasmi32.**add**
+
+```grain
+add : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**sub**
+
+```grain
+sub : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**mul**
+
+```grain
+mul : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**divS**
+
+```grain
+divS : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**divU**
+
+```grain
+divU : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**remS**
+
+```grain
+remS : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**remU**
+
+```grain
+remU : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**and**
+
+```grain
+and : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**or**
+
+```grain
+or : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**xor**
+
+```grain
+xor : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**shl**
+
+```grain
+shl : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**shrS**
+
+```grain
+shrS : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**shrU**
+
+```grain
+shrU : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**rotl**
+
+```grain
+rotl : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**rotr**
+
+```grain
+rotr : (WasmI32, WasmI32) -> WasmI32
+```
+
+### Wasmi32.**eq**
+
+```grain
+eq : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**ne**
+
+```grain
+ne : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**ltS**
+
+```grain
+ltS : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**ltU**
+
+```grain
+ltU : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**leS**
+
+```grain
+leS : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**leU**
+
+```grain
+leU : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**gtS**
+
+```grain
+gtS : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**gtU**
+
+```grain
+gtU : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**geS**
+
+```grain
+geS : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**geU**
+
+```grain
+geU : (WasmI32, WasmI32) -> Bool
+```
+
+### Wasmi32.**wrapI64**
+
+```grain
+wrapI64 : WasmI64 -> WasmI32
+```
+
+### Wasmi32.**truncF32S**
+
+```grain
+truncF32S : WasmF32 -> WasmI32
+```
+
+### Wasmi32.**truncF32U**
+
+```grain
+truncF32U : WasmF32 -> WasmI32
+```
+
+### Wasmi32.**truncF64S**
+
+```grain
+truncF64S : WasmF64 -> WasmI32
+```
+
+### Wasmi32.**truncF64U**
+
+```grain
+truncF64U : WasmF64 -> WasmI32
+```
+
+### Wasmi32.**reinterpretF32**
+
+```grain
+reinterpretF32 : WasmF32 -> WasmI32
+```
+
+### Wasmi32.**extendS8**
+
+```grain
+extendS8 : WasmI32 -> WasmI32
+```
+
+### Wasmi32.**extendS16**
+
+```grain
+extendS16 : WasmI32 -> WasmI32
+```
+
+### Wasmi32.**fromGrain**
+
+```grain
+fromGrain : a -> WasmI32
+```
+
+### Wasmi32.**toGrain**
+
+```grain
+toGrain : WasmI32 -> a
+```
+