@grain/stdlib 0.5.12 → 0.6.0

package/runtime/unsafe/wasmi64.md

@@ -1,300 +1,308 @@
-### Wasmi64.**load**
+---
+title: WasmI64
+---
+
+## Values
+
+Functions and constants included in the WasmI64 module.
+
+### WasmI64.**load**
 
 ```grain
-load : (WasmI32, WasmI32) -> WasmI64
+load : (ptr: WasmI32, offset: WasmI32) => WasmI64
 ```
 
-### Wasmi64.**load8S**
+### WasmI64.**load8S**
 
 ```grain
-load8S : (WasmI32, WasmI32) -> WasmI64
+load8S : (ptr: WasmI32, offset: WasmI32) => WasmI64
 ```
 
-### Wasmi64.**load8U**
+### WasmI64.**load8U**
 
 ```grain
-load8U : (WasmI32, WasmI32) -> WasmI64
+load8U : (ptr: WasmI32, offset: WasmI32) => WasmI64
 ```
 
-### Wasmi64.**load16S**
+### WasmI64.**load16S**
 
 ```grain
-load16S : (WasmI32, WasmI32) -> WasmI64
+load16S : (ptr: WasmI32, offset: WasmI32) => WasmI64
 ```
 
-### Wasmi64.**load16U**
+### WasmI64.**load16U**
 
 ```grain
-load16U : (WasmI32, WasmI32) -> WasmI64
+load16U : (ptr: WasmI32, offset: WasmI32) => WasmI64
 ```
 
-### Wasmi64.**load32S**
+### WasmI64.**load32S**
 
 ```grain
-load32S : (WasmI32, WasmI32) -> WasmI64
+load32S : (ptr: WasmI32, offset: WasmI32) => WasmI64
 ```
 
-### Wasmi64.**load32U**
+### WasmI64.**load32U**
 
 ```grain
-load32U : (WasmI32, WasmI32) -> WasmI64
+load32U : (ptr: WasmI32, offset: WasmI32) => WasmI64
 ```
 
-### Wasmi64.**store**
+### WasmI64.**store**
 
 ```grain
-store : (WasmI32, WasmI64, WasmI32) -> Void
+store : (ptr: WasmI32, value: WasmI64, offset: WasmI32) => Void
 ```
 
-### Wasmi64.**store8**
+### WasmI64.**store8**
 
 ```grain
-store8 : (WasmI32, WasmI64, WasmI32) -> Void
+store8 : (ptr: WasmI32, value: WasmI64, offset: WasmI32) => Void
 ```
 
-### Wasmi64.**store16**
+### WasmI64.**store16**
 
 ```grain
-store16 : (WasmI32, WasmI64, WasmI32) -> Void
+store16 : (ptr: WasmI32, value: WasmI64, offset: WasmI32) => Void
 ```
 
-### Wasmi64.**store32**
+### WasmI64.**store32**
 
 ```grain
-store32 : (WasmI32, WasmI64, WasmI32) -> Void
+store32 : (ptr: WasmI32, value: WasmI64, offset: WasmI32) => Void
 ```
 
-### Wasmi64.**clz**
+### WasmI64.**clz**
 
 ```grain
-clz : WasmI64 -> WasmI64
+clz : (num: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**ctz**
+### WasmI64.**ctz**
 
 ```grain
-ctz : WasmI64 -> WasmI64
+ctz : (num: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**popcnt**
+### WasmI64.**popcnt**
 
 ```grain
-popcnt : WasmI64 -> WasmI64
+popcnt : (num: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**eqz**
+### WasmI64.**eqz**
 
 ```grain
-eqz : WasmI64 -> Bool
+eqz : (num: WasmI64) => Bool
 ```
 
-### Wasmi64.**add**
+### WasmI64.**(+)**
 
 ```grain
-add : (WasmI64, WasmI64) -> WasmI64
+(+) : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**sub**
+### WasmI64.**(-)**
 
 ```grain
-sub : (WasmI64, WasmI64) -> WasmI64
+(-) : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**mul**
+### WasmI64.**(*)**
 
 ```grain
-mul : (WasmI64, WasmI64) -> WasmI64
+(*) : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**divS**
+### WasmI64.**(/)**
 
 ```grain
-divS : (WasmI64, WasmI64) -> WasmI64
+(/) : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**divU**
+### WasmI64.**divU**
 
 ```grain
-divU : (WasmI64, WasmI64) -> WasmI64
+divU : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**remS**
+### WasmI64.**remS**
 
 ```grain
-remS : (WasmI64, WasmI64) -> WasmI64
+remS : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**remU**
+### WasmI64.**remU**
 
 ```grain
-remU : (WasmI64, WasmI64) -> WasmI64
+remU : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**and**
+### WasmI64.**(&)**
 
 ```grain
-and : (WasmI64, WasmI64) -> WasmI64
+(&) : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**or**
+### WasmI64.**(|)**
 
 ```grain
-or : (WasmI64, WasmI64) -> WasmI64
+(|) : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**xor**
+### WasmI64.**(^)**
 
 ```grain
-xor : (WasmI64, WasmI64) -> WasmI64
+(^) : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**shl**
+### WasmI64.**(<<)**
 
 ```grain
-shl : (WasmI64, WasmI64) -> WasmI64
+(<<) : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**shrU**
+### WasmI64.**(>>>)**
 
 ```grain
-shrU : (WasmI64, WasmI64) -> WasmI64
+(>>>) : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**shrS**
+### WasmI64.**(>>)**
 
 ```grain
-shrS : (WasmI64, WasmI64) -> WasmI64
+(>>) : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**rotl**
+### WasmI64.**rotl**
 
 ```grain
-rotl : (WasmI64, WasmI64) -> WasmI64
+rotl : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**rotr**
+### WasmI64.**rotr**
 
 ```grain
-rotr : (WasmI64, WasmI64) -> WasmI64
+rotr : (left: WasmI64, right: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**eq**
+### WasmI64.**(==)**
 
 ```grain
-eq : (WasmI64, WasmI64) -> Bool
+(==) : (left: WasmI64, right: WasmI64) => Bool
 ```
 
-### Wasmi64.**ne**
+### WasmI64.**(!=)**
 
 ```grain
-ne : (WasmI64, WasmI64) -> Bool
+(!=) : (left: WasmI64, right: WasmI64) => Bool
 ```
 
-### Wasmi64.**ltS**
+### WasmI64.**(<)**
 
 ```grain
-ltS : (WasmI64, WasmI64) -> Bool
+(<) : (left: WasmI64, right: WasmI64) => Bool
 ```
 
-### Wasmi64.**ltU**
+### WasmI64.**ltU**
 
 ```grain
-ltU : (WasmI64, WasmI64) -> Bool
+ltU : (left: WasmI64, right: WasmI64) => Bool
 ```
 
-### Wasmi64.**leS**
+### WasmI64.**(<=)**
 
 ```grain
-leS : (WasmI64, WasmI64) -> Bool
+(<=) : (left: WasmI64, right: WasmI64) => Bool
 ```
 
-### Wasmi64.**leU**
+### WasmI64.**leU**
 
 ```grain
-leU : (WasmI64, WasmI64) -> Bool
+leU : (left: WasmI64, right: WasmI64) => Bool
 ```
 
-### Wasmi64.**gtS**
+### WasmI64.**(>)**
 
 ```grain
-gtS : (WasmI64, WasmI64) -> Bool
+(>) : (left: WasmI64, right: WasmI64) => Bool
 ```
 
-### Wasmi64.**gtU**
+### WasmI64.**gtU**
 
 ```grain
-gtU : (WasmI64, WasmI64) -> Bool
+gtU : (left: WasmI64, right: WasmI64) => Bool
 ```
 
-### Wasmi64.**geS**
+### WasmI64.**(>=)**
 
 ```grain
-geS : (WasmI64, WasmI64) -> Bool
+(>=) : (left: WasmI64, right: WasmI64) => Bool
 ```
 
-### Wasmi64.**geU**
+### WasmI64.**geU**
 
 ```grain
-geU : (WasmI64, WasmI64) -> Bool
+geU : (left: WasmI64, right: WasmI64) => Bool
 ```
 
-### Wasmi64.**extendI32S**
+### WasmI64.**extendI32S**
 
 ```grain
-extendI32S : WasmI32 -> WasmI64
+extendI32S : (num: WasmI32) => WasmI64
 ```
 
-### Wasmi64.**extendI32U**
+### WasmI64.**extendI32U**
 
 ```grain
-extendI32U : WasmI32 -> WasmI64
+extendI32U : (num: WasmI32) => WasmI64
 ```
 
-### Wasmi64.**truncF32S**
+### WasmI64.**truncF32S**
 
 ```grain
-truncF32S : WasmF32 -> WasmI64
+truncF32S : (num: WasmF32) => WasmI64
 ```
 
-### Wasmi64.**truncF32U**
+### WasmI64.**truncF32U**
 
 ```grain
-truncF32U : WasmF32 -> WasmI64
+truncF32U : (num: WasmF32) => WasmI64
 ```
 
-### Wasmi64.**truncF64S**
+### WasmI64.**truncF64S**
 
 ```grain
-truncF64S : WasmF64 -> WasmI64
+truncF64S : (num: WasmF64) => WasmI64
 ```
 
-### Wasmi64.**truncF64U**
+### WasmI64.**truncF64U**
 
 ```grain
-truncF64U : WasmF64 -> WasmI64
+truncF64U : (num: WasmF64) => WasmI64
 ```
 
-### Wasmi64.**reinterpretF64**
+### WasmI64.**reinterpretF64**
 
 ```grain
-reinterpretF64 : WasmF64 -> WasmI64
+reinterpretF64 : (num: WasmF64) => WasmI64
 ```
 
-### Wasmi64.**extendS8**
+### WasmI64.**extendS8**
 
 ```grain
-extendS8 : WasmI64 -> WasmI64
+extendS8 : (num: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**extendS16**
+### WasmI64.**extendS16**
 
 ```grain
-extendS16 : WasmI64 -> WasmI64
+extendS16 : (num: WasmI64) => WasmI64
 ```
 
-### Wasmi64.**extendS32**
+### WasmI64.**extendS32**
 
 ```grain
-extendS32 : WasmI64 -> WasmI64
+extendS32 : (num: WasmI64) => WasmI64
 ```
 

package/runtime/utils/printing.gr

@@ -1,25 +1,23 @@
-/* grainc-flags --no-pervasives */
+@noPervasives
+module Printing
+
 // 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"
+from "runtime/unsafe/wasmi32" include WasmI32
+from "runtime/unsafe/memory" include Memory
+from "runtime/numberUtils" include NumberUtils
 
-import foreign wasm fd_write: (
-  WasmI32,
-  WasmI32,
-  WasmI32,
-  WasmI32,
-) -> WasmI32 from "wasi_snapshot_preview1"
+foreign wasm fd_write:
+  (WasmI32, WasmI32, WasmI32, WasmI32) => WasmI32 from "wasi_snapshot_preview1"
 
 @unsafe
-export let numberToString = (n: WasmI64) => {
+provide let numberToString = (n: WasmI64) => {
   NumberUtils.itoa64(n, 10n)
 }
 
 @unsafe
-export let printNumber = (n: WasmI64) => {
+provide let printNumber = (n: WasmI64) => {
   // like print(), but `s` should be a Grain string
-  let (+) = WasmI32.add
+  use WasmI32.{ (+) }
   let s = numberToString(n)
   let ptr = WasmI32.fromGrain(s)
   // iov: [<ptr to string> <nbytes of string> <ptr to newline> <nbytes of newline>] (32 bytes)
@@ -40,9 +38,9 @@ export let printNumber = (n: WasmI64) => {
 }
 
 @unsafe
-export let printString = (s: String) => {
+provide let printString = (s: String) => {
   // like print(), but `s` should be a Grain string
-  let (+) = WasmI32.add
+  use WasmI32.{ (+) }
   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>

package/runtime/utils/printing.md

@@ -1,18 +1,26 @@
+---
+title: Printing
+---
+
+## Values
+
+Functions and constants included in the Printing module.
+
 ### Printing.**numberToString**
 
 ```grain
-numberToString : WasmI64 -> String
+numberToString : (n: WasmI64) => String
 ```
 
 ### Printing.**printNumber**
 
 ```grain
-printNumber : WasmI64 -> Void
+printNumber : (n: WasmI64) => Void
 ```
 
 ### Printing.**printString**
 
 ```grain
-printString : String -> Void
+printString : (s: String) => Void
 ```