@grain/stdlib 0.4.6 → 0.5.0

package/runtime/unsafe/wasmi64.md

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

package/runtime/utils/printing.gr

@@ -0,0 +1,62 @@
+/* grainc-flags --no-pervasives */
+// Printing utilities for runtime code (primarily for debugging)
+import WasmI32 from "runtime/unsafe/wasmi32"
+import Memory from "runtime/unsafe/memory"
+import NumberUtils from "runtime/numberUtils"
+
+import foreign wasm fd_write: (
+  WasmI32,
+  WasmI32,
+  WasmI32,
+  WasmI32,
+) -> WasmI32 from "wasi_snapshot_preview1"
+
+@unsafe
+export let rec numberToString = (n: WasmI64) => {
+  NumberUtils.itoa64(n, 10n)
+}
+
+@unsafe
+export let rec printNumber = (n: WasmI64) => {
+  // like print(), but `s` should be a Grain string
+  let (+) = WasmI32.add
+  let s = numberToString(n)
+  let ptr = WasmI32.fromGrain(s)
+  // iov: [<ptr to string> <nbytes of string> <ptr to newline> <nbytes of newline>] (32 bytes)
+  // buf: <iov> <written> <newline char>
+  // fd_write(STDOUT (1), iov, len(iov), written)
+  let buf = Memory.malloc(37n)
+  let iov = buf
+  let written = buf + 32n
+  let lf = buf + 36n
+  WasmI32.store(iov, ptr + 8n, 0n)
+  WasmI32.store(iov, WasmI32.load(ptr, 4n), 4n)
+  WasmI32.store8(lf, 10n, 0n)
+  WasmI32.store(iov, lf, 8n)
+  WasmI32.store(iov, 1n, 12n)
+  fd_write(1n, iov, 2n, written)
+  Memory.free(buf)
+  void
+}
+
+@unsafe
+export let rec printString = (s: String) => {
+  // like print(), but `s` should be a Grain string
+  let (+) = WasmI32.add
+  let ptr = WasmI32.fromGrain(s)
+  // iov: [<ptr to string> <nbytes of string> <ptr to newline> <nbytes of newline>] (32 bytes)
+  // buf: <iov> <written> <newline char>
+  // fd_write(STDOUT (1), iov, len(iov), written)
+  let buf = Memory.malloc(37n)
+  let iov = buf
+  let written = buf + 32n
+  let lf = buf + 36n
+  WasmI32.store(iov, ptr + 8n, 0n)
+  WasmI32.store(iov, WasmI32.load(ptr, 4n), 4n)
+  WasmI32.store8(lf, 10n, 0n)
+  WasmI32.store(iov, lf, 8n)
+  WasmI32.store(iov, 1n, 12n)
+  fd_write(1n, iov, 2n, written)
+  Memory.free(buf)
+  void
+}

package/runtime/utils/printing.md

@@ -0,0 +1,18 @@
+### Printing.**numberToString**
+
+```grain
+numberToString : WasmI64 -> String
+```
+
+### Printing.**printNumber**
+
+```grain
+printNumber : WasmI64 -> Void
+```
+
+### Printing.**printString**
+
+```grain
+printString : String -> Void
+```
+

package/runtime/wasi.gr

@@ -73,7 +73,7 @@ import foreign wasm fd_pread: (
  * @param iovs: The pointer to the array of iovs to write
  * @param iovs_len: The length of the array of iovs
  * @param nwritten: Where to store the number of bytes written
- * @return The number of bytes written
+ * @returns The number of bytes written
  */
 import foreign wasm fd_write: (
   WasmI32,