npm - @grain/stdlib - Versions diffs - 0.6.5 → 0.7.0 - Mend

@grain/stdlib 0.6.5 → 0.7.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (139) hide show

package/CHANGELOG.md +64 -0
package/LICENSE +1 -1
package/README.md +2 -2
package/array.gr +55 -7
package/array.md +123 -77
package/bigint.md +30 -30
package/buffer.gr +20 -53
package/buffer.md +47 -47
package/bytes.gr +111 -35
package/bytes.md +111 -32
package/char.gr +201 -99
package/char.md +361 -34
package/exception.gr +11 -11
package/exception.md +26 -1
package/float32.gr +327 -3
package/float32.md +606 -19
package/float64.gr +320 -3
package/float64.md +606 -19
package/fs.gr +1082 -0
package/fs.md +630 -0
package/hash.gr +142 -88
package/hash.md +102 -14
package/int16.md +23 -23
package/int32.gr +25 -4
package/int32.md +65 -30
package/int64.gr +26 -1
package/int64.md +65 -30
package/int8.md +23 -23
package/json.gr +366 -51
package/json.md +418 -2
package/list.gr +387 -49
package/list.md +492 -69
package/map.gr +20 -12
package/map.md +44 -38
package/marshal.gr +41 -40
package/marshal.md +2 -2
package/number.gr +159 -30
package/number.md +215 -38
package/option.md +21 -21
package/package.json +5 -3
package/path.gr +48 -0
package/path.md +103 -12
package/pervasives.gr +2 -2
package/pervasives.md +37 -37
package/priorityqueue.gr +7 -7
package/priorityqueue.md +19 -19
package/queue.gr +183 -29
package/queue.md +296 -40
package/random.md +6 -6
package/range.gr +4 -4
package/range.md +6 -6
package/rational.md +16 -16
package/regex.gr +52 -51
package/regex.md +11 -11
package/result.md +16 -16
package/runtime/atof/common.md +39 -39
package/runtime/atof/decimal.gr +6 -6
package/runtime/atof/decimal.md +8 -8
package/runtime/atof/lemire.gr +5 -5
package/runtime/atof/lemire.md +1 -1
package/runtime/atof/parse.gr +16 -16
package/runtime/atof/parse.md +2 -2
package/runtime/atof/slow.md +1 -1
package/runtime/atof/table.md +2 -2
package/runtime/atoi/parse.gr +3 -3
package/runtime/atoi/parse.md +1 -1
package/runtime/bigint.gr +15 -47
package/runtime/bigint.md +54 -60
package/runtime/compare.gr +2 -2
package/runtime/compare.md +1 -1
package/runtime/dataStructures.md +33 -33
package/runtime/debugPrint.gr +4 -1
package/runtime/debugPrint.md +9 -9
package/runtime/equal.gr +99 -77
package/runtime/equal.md +1 -1
package/runtime/exception.gr +62 -82
package/runtime/exception.md +62 -11
package/runtime/gc.gr +39 -45
package/runtime/gc.md +4 -4
package/runtime/malloc.gr +7 -7
package/runtime/malloc.md +4 -4
package/runtime/math/kernel/cos.gr +70 -0
package/runtime/math/kernel/cos.md +14 -0
package/runtime/math/kernel/sin.gr +65 -0
package/runtime/math/kernel/sin.md +14 -0
package/runtime/math/kernel/tan.gr +136 -0
package/runtime/math/kernel/tan.md +14 -0
package/runtime/math/rempio2.gr +244 -0
package/runtime/math/rempio2.md +14 -0
package/runtime/math/trig.gr +130 -0
package/runtime/math/trig.md +28 -0
package/runtime/math/umuldi.gr +26 -0
package/runtime/math/umuldi.md +14 -0
package/runtime/numberUtils.gr +29 -29
package/runtime/numberUtils.md +12 -12
package/runtime/numbers.gr +373 -381
package/runtime/numbers.md +79 -73
package/runtime/string.gr +37 -105
package/runtime/string.md +3 -9
package/runtime/unsafe/constants.md +24 -24
package/runtime/unsafe/conv.md +13 -13
package/runtime/unsafe/memory.gr +24 -20
package/runtime/unsafe/memory.md +27 -7
package/runtime/unsafe/offsets.gr +36 -0
package/runtime/unsafe/offsets.md +88 -0
package/runtime/unsafe/panic.gr +28 -0
package/runtime/unsafe/panic.md +14 -0
package/runtime/unsafe/tags.md +32 -32
package/runtime/unsafe/wasmf32.md +28 -28
package/runtime/unsafe/wasmf64.md +28 -28
package/runtime/unsafe/wasmi32.md +47 -47
package/runtime/unsafe/wasmi64.md +50 -50
package/runtime/utf8.gr +189 -0
package/runtime/utf8.md +117 -0
package/runtime/wasi.gr +4 -2
package/runtime/wasi.md +138 -138
package/set.gr +18 -11
package/set.md +42 -36
package/stack.gr +171 -2
package/stack.md +297 -15
package/string.gr +352 -557
package/string.md +77 -34
package/uint16.gr +81 -0
package/uint16.md +183 -22
package/uint32.gr +25 -4
package/uint32.md +63 -28
package/uint64.gr +25 -5
package/uint64.md +63 -28
package/uint8.gr +81 -0
package/uint8.md +183 -22
package/uri.gr +57 -53
package/uri.md +11 -12
package/wasi/file.gr +67 -59
package/wasi/file.md +39 -39
package/wasi/process.md +5 -5
package/wasi/random.md +3 -3
package/wasi/time.md +4 -4
package/runtime/utils/printing.gr +0 -60
package/runtime/utils/printing.md +0 -26

package/uint32.md CHANGED Viewed

@@ -25,7 +25,7 @@ No other changes yet.
 </details>
 ```grain
-fromNumber : (number: Number) => Uint32
+fromNumber: (number: Number) => Uint32
 ```
 Converts a Number to a Uint32.
@@ -50,7 +50,7 @@ No other changes yet.
 </details>
 ```grain
-toNumber : (value: Uint32) => Number
+toNumber: (value: Uint32) => Number
 ```
 Converts a Uint32 to a Number.
@@ -75,7 +75,7 @@ No other changes yet.
 </details>
 ```grain
-fromInt32 : (number: Int32) => Uint32
+fromInt32: (number: Int32) => Uint32
 ```
 Converts an Int32 to a Uint32.
@@ -92,6 +92,41 @@ Returns:
 |----|-----------|
 |`Uint32`|The Int32 represented as a Uint32|
+### Uint32.**reinterpretFloat32**
+<details disabled>
+<summary tabindex="-1">Added in <code>0.7.0</code></summary>
+No other changes yet.
+</details>
+```grain
+reinterpretFloat32: (value: Float32) => Uint32
+```
+Interprets a Float32 as an Uint32.
+Parameters:
+|param|type|description|
+|-----|----|-----------|
+|`value`|`Float32`|The value to convert|
+Returns:
+|type|description|
+|----|-----------|
+|`Uint32`|The Float32 interpreted as an Uint32|
+Examples:
+```grain
+assert Uint32.reinterpretFloat32(1.0f) == 1065353216ul
+```
+```grain
+assert Uint32.reinterpretFloat32(-1.0f) == 3212836864ul
+```
 ### Uint32.**incr**
 <details disabled>
@@ -100,7 +135,7 @@ No other changes yet.
 </details>
 ```grain
-incr : (value: Uint32) => Uint32
+incr: (value: Uint32) => Uint32
 ```
 Increments the value by one.
@@ -125,7 +160,7 @@ No other changes yet.
 </details>
 ```grain
-decr : (value: Uint32) => Uint32
+decr: (value: Uint32) => Uint32
 ```
 Decrements the value by one.
@@ -150,7 +185,7 @@ No other changes yet.
 </details>
 ```grain
-(+) : (x: Uint32, y: Uint32) => Uint32
+(+): (x: Uint32, y: Uint32) => Uint32
 ```
 Computes the sum of its operands.
@@ -176,7 +211,7 @@ No other changes yet.
 </details>
 ```grain
-(-) : (x: Uint32, y: Uint32) => Uint32
+(-): (x: Uint32, y: Uint32) => Uint32
 ```
 Computes the difference of its operands.
@@ -202,7 +237,7 @@ No other changes yet.
 </details>
 ```grain
-(*) : (x: Uint32, y: Uint32) => Uint32
+(*): (x: Uint32, y: Uint32) => Uint32
 ```
 Computes the product of its operands.
@@ -228,7 +263,7 @@ No other changes yet.
 </details>
 ```grain
-(/) : (x: Uint32, y: Uint32) => Uint32
+(/): (x: Uint32, y: Uint32) => Uint32
 ```
 Computes the quotient of its operands.
@@ -254,7 +289,7 @@ No other changes yet.
 </details>
 ```grain
-rem : (x: Uint32, y: Uint32) => Uint32
+rem: (x: Uint32, y: Uint32) => Uint32
 ```
 Computes the remainder of the division of its operands.
@@ -280,7 +315,7 @@ No other changes yet.
 </details>
 ```grain
-rotl : (value: Uint32, amount: Uint32) => Uint32
+rotl: (value: Uint32, amount: Uint32) => Uint32
 ```
 Rotates the bits of the value left by the given number of bits.
@@ -306,7 +341,7 @@ No other changes yet.
 </details>
 ```grain
-rotr : (value: Uint32, amount: Uint32) => Uint32
+rotr: (value: Uint32, amount: Uint32) => Uint32
 ```
 Rotates the bits of the value right by the given number of bits.
@@ -332,7 +367,7 @@ No other changes yet.
 </details>
 ```grain
-(<<) : (value: Uint32, amount: Uint32) => Uint32
+(<<): (value: Uint32, amount: Uint32) => Uint32
 ```
 Shifts the bits of the value left by the given number of bits.
@@ -358,7 +393,7 @@ No other changes yet.
 </details>
 ```grain
-(>>>) : (value: Uint32, amount: Uint32) => Uint32
+(>>>): (value: Uint32, amount: Uint32) => Uint32
 ```
 Shifts the bits of the value right by the given number of bits.
@@ -384,7 +419,7 @@ No other changes yet.
 </details>
 ```grain
-(==) : (x: Uint32, y: Uint32) => Bool
+(==): (x: Uint32, y: Uint32) => Bool
 ```
 Checks if the first value is equal to the second value.
@@ -410,7 +445,7 @@ No other changes yet.
 </details>
 ```grain
-(!=) : (x: Uint32, y: Uint32) => Bool
+(!=): (x: Uint32, y: Uint32) => Bool
 ```
 Checks if the first value is not equal to the second value.
@@ -436,7 +471,7 @@ No other changes yet.
 </details>
 ```grain
-eqz : (value: Uint32) => Bool
+eqz: (value: Uint32) => Bool
 ```
 Checks if the given value is equal to zero.
@@ -461,7 +496,7 @@ No other changes yet.
 </details>
 ```grain
-(<) : (x: Uint32, y: Uint32) => Bool
+(<): (x: Uint32, y: Uint32) => Bool
 ```
 Checks if the first value is less than the second value.
@@ -487,7 +522,7 @@ No other changes yet.
 </details>
 ```grain
-(>) : (x: Uint32, y: Uint32) => Bool
+(>): (x: Uint32, y: Uint32) => Bool
 ```
 Checks if the first value is greater than the second value.
@@ -513,7 +548,7 @@ No other changes yet.
 </details>
 ```grain
-(<=) : (x: Uint32, y: Uint32) => Bool
+(<=): (x: Uint32, y: Uint32) => Bool
 ```
 Checks if the first value is less than or equal to the second value.
@@ -539,7 +574,7 @@ No other changes yet.
 </details>
 ```grain
-(>=) : (x: Uint32, y: Uint32) => Bool
+(>=): (x: Uint32, y: Uint32) => Bool
 ```
 Checks if the first value is greater than or equal to the second value.
@@ -565,7 +600,7 @@ No other changes yet.
 </details>
 ```grain
-lnot : (value: Uint32) => Uint32
+lnot: (value: Uint32) => Uint32
 ```
 Computes the bitwise NOT of the given value.
@@ -590,7 +625,7 @@ No other changes yet.
 </details>
 ```grain
-(&) : (x: Uint32, y: Uint32) => Uint32
+(&): (x: Uint32, y: Uint32) => Uint32
 ```
 Computes the bitwise AND (`&`) on the given operands.
@@ -616,7 +651,7 @@ No other changes yet.
 </details>
 ```grain
-(|) : (x: Uint32, y: Uint32) => Uint32
+(|): (x: Uint32, y: Uint32) => Uint32
 ```
 Computes the bitwise OR (`|`) on the given operands.
@@ -642,7 +677,7 @@ No other changes yet.
 </details>
 ```grain
-(^) : (x: Uint32, y: Uint32) => Uint32
+(^): (x: Uint32, y: Uint32) => Uint32
 ```
 Computes the bitwise XOR (`^`) on the given operands.
@@ -668,7 +703,7 @@ No other changes yet.
 </details>
 ```grain
-clz : (value: Uint32) => Uint32
+clz: (value: Uint32) => Uint32
 ```
 Counts the number of leading zero bits in the value.
@@ -693,7 +728,7 @@ No other changes yet.
 </details>
 ```grain
-ctz : (value: Uint32) => Uint32
+ctz: (value: Uint32) => Uint32
 ```
 Counts the number of trailing zero bits in the value.
@@ -718,7 +753,7 @@ No other changes yet.
 </details>
 ```grain
-popcnt : (value: Uint32) => Uint32
+popcnt: (value: Uint32) => Uint32
 ```
 Counts the number of bits set to `1` in the value, also known as a population count.

package/uint64.gr CHANGED Viewed

@@ -6,6 +6,12 @@
  */
 module Uint64
+from "runtime/unsafe/offsets" include Offsets
+use Offsets.{
+  _UINT64_VALUE_OFFSET as _VALUE_OFFSET,
+  _INT64_VALUE_OFFSET,
+  _FLOAT64_VALUE_OFFSET,
+}
 from "runtime/unsafe/wasmi32" include WasmI32
 from "runtime/unsafe/wasmi64" include WasmI64
 use WasmI64.{ (==), (!=), (&), (|), (^), (+), (-), (*), (<<), (>>>) }
@@ -16,10 +22,6 @@ use Numbers.{ reducedUnsignedInteger, coerceNumberToUnsignedWasmI64 }
 from "runtime/dataStructures" include DataStructures
 use DataStructures.{ newUint64 }
-// First 8 bytes of 64-bit unsigned int are heap tag and 32 bits of padding
-@unsafe
-let _VALUE_OFFSET = 8n
 /**
  * Converts a Number to a Uint64.
  *
@@ -61,7 +63,25 @@ provide let toNumber = (value: Uint64) => {
  */
 @unsafe
 provide let fromInt64 = (number: Int64) => {
-  let x = WasmI64.load(WasmI32.fromGrain(number), 8n)
+  let x = WasmI64.load(WasmI32.fromGrain(number), _INT64_VALUE_OFFSET)
+  let result = newUint64(x)
+  WasmI32.toGrain(result): Uint64
+}
+/**
+ * Interprets a Float64 as an Uint64.
+ *
+ * @param value: The value to convert
+ * @returns The Float64 interpreted as an Uint64
+ *
+ * @example assert Uint64.reinterpretFloat64(1.0d) == 4607182418800017408uL
+ * @example assert Uint64.reinterpretFloat64(-1.0d) == 13830554455654793216uL
+ *
+ * @since v0.7.0
+ */
+@unsafe
+provide let reinterpretFloat64 = (value: Float64) => {
+  let x = WasmI64.load(WasmI32.fromGrain(value), _FLOAT64_VALUE_OFFSET)
   let result = newUint64(x)
   WasmI32.toGrain(result): Uint64
 }

package/uint64.md CHANGED Viewed

@@ -25,7 +25,7 @@ No other changes yet.
 </details>
 ```grain
-fromNumber : (number: Number) => Uint64
+fromNumber: (number: Number) => Uint64
 ```
 Converts a Number to a Uint64.
@@ -50,7 +50,7 @@ No other changes yet.
 </details>
 ```grain
-toNumber : (value: Uint64) => Number
+toNumber: (value: Uint64) => Number
 ```
 Converts a Uint64 to a Number.
@@ -75,7 +75,7 @@ No other changes yet.
 </details>
 ```grain
-fromInt64 : (number: Int64) => Uint64
+fromInt64: (number: Int64) => Uint64
 ```
 Converts an Int64 to a Uint64.
@@ -92,6 +92,41 @@ Returns:
 |----|-----------|
 |`Uint64`|The Int64 represented as a Uint64|
+### Uint64.**reinterpretFloat64**
+<details disabled>
+<summary tabindex="-1">Added in <code>0.7.0</code></summary>
+No other changes yet.
+</details>
+```grain
+reinterpretFloat64: (value: Float64) => Uint64
+```
+Interprets a Float64 as an Uint64.
+Parameters:
+|param|type|description|
+|-----|----|-----------|
+|`value`|`Float64`|The value to convert|
+Returns:
+|type|description|
+|----|-----------|
+|`Uint64`|The Float64 interpreted as an Uint64|
+Examples:
+```grain
+assert Uint64.reinterpretFloat64(1.0d) == 4607182418800017408uL
+```
+```grain
+assert Uint64.reinterpretFloat64(-1.0d) == 13830554455654793216uL
+```
 ### Uint64.**incr**
 <details disabled>
@@ -100,7 +135,7 @@ No other changes yet.
 </details>
 ```grain
-incr : (value: Uint64) => Uint64
+incr: (value: Uint64) => Uint64
 ```
 Increments the value by one.
@@ -125,7 +160,7 @@ No other changes yet.
 </details>
 ```grain
-decr : (value: Uint64) => Uint64
+decr: (value: Uint64) => Uint64
 ```
 Decrements the value by one.
@@ -150,7 +185,7 @@ No other changes yet.
 </details>
 ```grain
-(+) : (x: Uint64, y: Uint64) => Uint64
+(+): (x: Uint64, y: Uint64) => Uint64
 ```
 Computes the sum of its operands.
@@ -176,7 +211,7 @@ No other changes yet.
 </details>
 ```grain
-(-) : (x: Uint64, y: Uint64) => Uint64
+(-): (x: Uint64, y: Uint64) => Uint64
 ```
 Computes the difference of its operands.
@@ -202,7 +237,7 @@ No other changes yet.
 </details>
 ```grain
-(*) : (x: Uint64, y: Uint64) => Uint64
+(*): (x: Uint64, y: Uint64) => Uint64
 ```
 Computes the product of its operands.
@@ -228,7 +263,7 @@ No other changes yet.
 </details>
 ```grain
-(/) : (x: Uint64, y: Uint64) => Uint64
+(/): (x: Uint64, y: Uint64) => Uint64
 ```
 Computes the quotient of its operands.
@@ -254,7 +289,7 @@ No other changes yet.
 </details>
 ```grain
-rem : (x: Uint64, y: Uint64) => Uint64
+rem: (x: Uint64, y: Uint64) => Uint64
 ```
 Computes the remainder of the division of its operands.
@@ -280,7 +315,7 @@ No other changes yet.
 </details>
 ```grain
-rotl : (value: Uint64, amount: Uint64) => Uint64
+rotl: (value: Uint64, amount: Uint64) => Uint64
 ```
 Rotates the bits of the value left by the given number of bits.
@@ -306,7 +341,7 @@ No other changes yet.
 </details>
 ```grain
-rotr : (value: Uint64, amount: Uint64) => Uint64
+rotr: (value: Uint64, amount: Uint64) => Uint64
 ```
 Rotates the bits of the value right by the given number of bits.
@@ -332,7 +367,7 @@ No other changes yet.
 </details>
 ```grain
-(<<) : (value: Uint64, amount: Uint64) => Uint64
+(<<): (value: Uint64, amount: Uint64) => Uint64
 ```
 Shifts the bits of the value left by the given number of bits.
@@ -358,7 +393,7 @@ No other changes yet.
 </details>
 ```grain
-(>>>) : (value: Uint64, amount: Uint64) => Uint64
+(>>>): (value: Uint64, amount: Uint64) => Uint64
 ```
 Shifts the bits of the value right by the given number of bits.
@@ -384,7 +419,7 @@ No other changes yet.
 </details>
 ```grain
-(==) : (x: Uint64, y: Uint64) => Bool
+(==): (x: Uint64, y: Uint64) => Bool
 ```
 Checks if the first value is equal to the second value.
@@ -410,7 +445,7 @@ No other changes yet.
 </details>
 ```grain
-(!=) : (x: Uint64, y: Uint64) => Bool
+(!=): (x: Uint64, y: Uint64) => Bool
 ```
 Checks if the first value is not equal to the second value.
@@ -436,7 +471,7 @@ No other changes yet.
 </details>
 ```grain
-eqz : (value: Uint64) => Bool
+eqz: (value: Uint64) => Bool
 ```
 Checks if the given value is equal to zero.
@@ -461,7 +496,7 @@ No other changes yet.
 </details>
 ```grain
-(<) : (x: Uint64, y: Uint64) => Bool
+(<): (x: Uint64, y: Uint64) => Bool
 ```
 Checks if the first value is less than the second value.
@@ -487,7 +522,7 @@ No other changes yet.
 </details>
 ```grain
-(>) : (x: Uint64, y: Uint64) => Bool
+(>): (x: Uint64, y: Uint64) => Bool
 ```
 Checks if the first value is greater than the second value.
@@ -513,7 +548,7 @@ No other changes yet.
 </details>
 ```grain
-(<=) : (x: Uint64, y: Uint64) => Bool
+(<=): (x: Uint64, y: Uint64) => Bool
 ```
 Checks if the first value is less than or equal to the second value.
@@ -539,7 +574,7 @@ No other changes yet.
 </details>
 ```grain
-(>=) : (x: Uint64, y: Uint64) => Bool
+(>=): (x: Uint64, y: Uint64) => Bool
 ```
 Checks if the first value is greater than or equal to the second value.
@@ -565,7 +600,7 @@ No other changes yet.
 </details>
 ```grain
-lnot : (value: Uint64) => Uint64
+lnot: (value: Uint64) => Uint64
 ```
 Computes the bitwise NOT of the given value.
@@ -590,7 +625,7 @@ No other changes yet.
 </details>
 ```grain
-(&) : (x: Uint64, y: Uint64) => Uint64
+(&): (x: Uint64, y: Uint64) => Uint64
 ```
 Computes the bitwise AND (`&`) on the given operands.
@@ -616,7 +651,7 @@ No other changes yet.
 </details>
 ```grain
-(|) : (x: Uint64, y: Uint64) => Uint64
+(|): (x: Uint64, y: Uint64) => Uint64
 ```
 Computes the bitwise OR (`|`) on the given operands.
@@ -642,7 +677,7 @@ No other changes yet.
 </details>
 ```grain
-(^) : (x: Uint64, y: Uint64) => Uint64
+(^): (x: Uint64, y: Uint64) => Uint64
 ```
 Computes the bitwise XOR (`^`) on the given operands.
@@ -668,7 +703,7 @@ No other changes yet.
 </details>
 ```grain
-clz : (value: Uint64) => Uint64
+clz: (value: Uint64) => Uint64
 ```
 Counts the number of leading zero bits in the value.
@@ -693,7 +728,7 @@ No other changes yet.
 </details>
 ```grain
-ctz : (value: Uint64) => Uint64
+ctz: (value: Uint64) => Uint64
 ```
 Counts the number of trailing zero bits in the value.
@@ -718,7 +753,7 @@ No other changes yet.
 </details>
 ```grain
-popcnt : (value: Uint64) => Uint64
+popcnt: (value: Uint64) => Uint64
 ```
 Counts the number of bits set to `1` in the value, also known as a population count.