@grain/stdlib 0.6.6 → 0.7.1

package/wasi/process.md

@@ -218,82 +218,82 @@ Functions and constants included in the Process module.
 ### Process.**argv**
 
 ```grain
-argv : () => Result<Array<String>, Exception>
+argv: () => Result<Array<String>, Exception>
 ```
 
 Access command line arguments.
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Array<String>, Exception>`|`Ok(args)` of an array containing positional string arguments to the process if successful or `Err(exception)` otherwise|
+| type                               | description                                                                                                              |
+| ---------------------------------- | ------------------------------------------------------------------------------------------------------------------------ |
+| `Result<Array<String>, Exception>` | `Ok(args)` of an array containing positional string arguments to the process if successful or `Err(exception)` otherwise |
 
 ### Process.**env**
 
 ```grain
-env : () => Result<Array<String>, Exception>
+env: () => Result<Array<String>, Exception>
 ```
 
 Access environment variables.
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Array<String>, Exception>`|`Ok(vars)` of an array containing environment variables supplied to the process if successful or `Err(exception)` otherwise|
+| type                               | description                                                                                                                 |
+| ---------------------------------- | --------------------------------------------------------------------------------------------------------------------------- |
+| `Result<Array<String>, Exception>` | `Ok(vars)` of an array containing environment variables supplied to the process if successful or `Err(exception)` otherwise |
 
 ### Process.**exit**
 
 ```grain
-exit : (code: Number) => Result<Void, Exception>
+exit: (code: Number) => Result<Void, Exception>
 ```
 
 Terminate the process normally.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`code`|`Number`|The value to exit with. An exit code of 0 is considered normal, with other values having meaning depending on the platform|
+| param  | type     | description                                                                                                                |
+| ------ | -------- | -------------------------------------------------------------------------------------------------------------------------- |
+| `code` | `Number` | The value to exit with. An exit code of 0 is considered normal, with other values having meaning depending on the platform |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Void, Exception>`|`Err(exception)` if unsuccessful. Will not actually return a value if successful, as the process has ended|
+| type                      | description                                                                                                |
+| ------------------------- | ---------------------------------------------------------------------------------------------------------- |
+| `Result<Void, Exception>` | `Err(exception)` if unsuccessful. Will not actually return a value if successful, as the process has ended |
 
 ### Process.**sigRaise**
 
 ```grain
-sigRaise : (signal: Signal) => Result<Void, Exception>
+sigRaise: (signal: Signal) => Result<Void, Exception>
 ```
 
 Send a signal to the process of the calling thread.
 
 Parameters:
 
-|param|type|description|
-|-----|----|-----------|
-|`signal`|`Signal`|The signal to send|
+| param    | type     | description        |
+| -------- | -------- | ------------------ |
+| `signal` | `Signal` | The signal to send |
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Void, Exception>`|`Ok(void)` if successful or `Err(exception)` otherwise|
+| type                      | description                                            |
+| ------------------------- | ------------------------------------------------------ |
+| `Result<Void, Exception>` | `Ok(void)` if successful or `Err(exception)` otherwise |
 
 ### Process.**schedYield**
 
 ```grain
-schedYield : () => Result<Void, Exception>
+schedYield: () => Result<Void, Exception>
 ```
 
 Yield execution to the calling thread.
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Void, Exception>`|`Ok(void)` if successful or `Err(exception)` otherwise|
+| type                      | description                                            |
+| ------------------------- | ------------------------------------------------------ |
+| `Result<Void, Exception>` | `Ok(void)` if successful or `Err(exception)` otherwise |
 

package/wasi/random.md

@@ -27,16 +27,16 @@ Functions and constants included in the Random module.
 </details>
 
 ```grain
-randomUint32 : () => Result<Uint32, Exception>
+randomUint32: () => Result<Uint32, Exception>
 ```
 
 Produce a random 32-bit integer. This function can be slow, so it's best to seed a generator if lots of random data is needed.
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Uint32, Exception>`|`Ok(num)` of a random Uint32 if successful or `Err(exception)` otherwise|
+| type                        | description                                                              |
+| --------------------------- | ------------------------------------------------------------------------ |
+| `Result<Uint32, Exception>` | `Ok(num)` of a random Uint32 if successful or `Err(exception)` otherwise |
 
 ### Random.**randomUint64**
 
@@ -53,28 +53,28 @@ Returns:
 </details>
 
 ```grain
-randomUint64 : () => Result<Uint64, Exception>
+randomUint64: () => Result<Uint64, Exception>
 ```
 
 Produce a random 64-bit integer. This function can be slow, so it's best to seed a generator if lots of random data is needed.
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Uint64, Exception>`|`Ok(num)` of a random Uint64 if successful or `Err(exception)` otherwise|
+| type                        | description                                                              |
+| --------------------------- | ------------------------------------------------------------------------ |
+| `Result<Uint64, Exception>` | `Ok(num)` of a random Uint64 if successful or `Err(exception)` otherwise |
 
 ### Random.**random**
 
 ```grain
-random : () => Result<Number, Exception>
+random: () => Result<Number, Exception>
 ```
 
 Produce a random number. This function can be slow, so it's best to seed a generator if lots of random data is needed.
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Number, Exception>`|`Ok(num)` of a random number if successful or `Err(exception)` otherwise|
+| type                        | description                                                              |
+| --------------------------- | ------------------------------------------------------------------------ |
+| `Result<Number, Exception>` | `Ok(num)` of a random number if successful or `Err(exception)` otherwise |
 

package/wasi/time.md

@@ -15,7 +15,7 @@ Functions and constants included in the Time module.
 ### Time.**realTime**
 
 ```grain
-realTime : () => Result<Int64, Exception>
+realTime: () => Result<Int64, Exception>
 ```
 
 Get the current time, in nanoseconds.
@@ -23,14 +23,14 @@ Time value 0 corresponds with 1970-01-01T00:00:00Z.
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Int64, Exception>`|`Ok(time)` of the current time if successful or `Err(exception)` otherwise|
+| type                       | description                                                                |
+| -------------------------- | -------------------------------------------------------------------------- |
+| `Result<Int64, Exception>` | `Ok(time)` of the current time if successful or `Err(exception)` otherwise |
 
 ### Time.**monotonicTime**
 
 ```grain
-monotonicTime : () => Result<Int64, Exception>
+monotonicTime: () => Result<Int64, Exception>
 ```
 
 Get the time of the system's high-resolution clock, in nanoseconds.
@@ -40,35 +40,35 @@ Useful for calculation of precise time intervals.
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Int64, Exception>`|`Ok(time)` of the current time if successful or `Err(exception)` otherwise|
+| type                       | description                                                                |
+| -------------------------- | -------------------------------------------------------------------------- |
+| `Result<Int64, Exception>` | `Ok(time)` of the current time if successful or `Err(exception)` otherwise |
 
 ### Time.**processCpuTime**
 
 ```grain
-processCpuTime : () => Result<Int64, Exception>
+processCpuTime: () => Result<Int64, Exception>
 ```
 
 Get the number of nanoseconds elapsed since the process began.
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Int64, Exception>`|`Ok(elapsed)` of the elapsed nanoseconds if successful or `Err(exception)` otherwise|
+| type                       | description                                                                          |
+| -------------------------- | ------------------------------------------------------------------------------------ |
+| `Result<Int64, Exception>` | `Ok(elapsed)` of the elapsed nanoseconds if successful or `Err(exception)` otherwise |
 
 ### Time.**threadCpuTime**
 
 ```grain
-threadCpuTime : () => Result<Int64, Exception>
+threadCpuTime: () => Result<Int64, Exception>
 ```
 
 Get the number of nanoseconds elapsed since the thread began.
 
 Returns:
 
-|type|description|
-|----|-----------|
-|`Result<Int64, Exception>`|`Ok(elapsed)` of the elapsed nanoseconds if successful or `Err(exception)` otherwise|
+| type                       | description                                                                          |
+| -------------------------- | ------------------------------------------------------------------------------------ |
+| `Result<Int64, Exception>` | `Ok(elapsed)` of the elapsed nanoseconds if successful or `Err(exception)` otherwise |
 

package/runtime/utils/printing.gr

@@ -1,60 +0,0 @@
-@noPervasives
-module Printing
-
-// Printing utilities for runtime code (primarily for debugging)
-from "runtime/unsafe/wasmi32" include WasmI32
-from "runtime/unsafe/memory" include Memory
-from "runtime/numberUtils" include NumberUtils
-
-foreign wasm fd_write:
-  (WasmI32, WasmI32, WasmI32, WasmI32) => WasmI32 from "wasi_snapshot_preview1"
-
-@unsafe
-provide let numberToString = (n: WasmI64) => {
-  NumberUtils.itoa64(n, 10n)
-}
-
-@unsafe
-provide let printNumber = (n: WasmI64) => {
-  // like print(), but `s` should be a Grain string
-  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)
-  // 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
-provide let printString = (s: String) => {
-  // like print(), but `s` should be a Grain string
-  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>
-  // 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

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