@grain/stdlib 0.6.6 → 0.7.0

package/int16.md

@@ -33,7 +33,7 @@ No other changes yet.
 </details>
 
 ```grain
-fromNumber : (number: Number) => Int16
+fromNumber: (number: Number) => Int16
 ```
 
 Converts a Number to an Int16.
@@ -58,7 +58,7 @@ No other changes yet.
 </details>
 
 ```grain
-toNumber : (value: Int16) => Number
+toNumber: (value: Int16) => Number
 ```
 
 Converts an Int16 to a Number.
@@ -83,7 +83,7 @@ No other changes yet.
 </details>
 
 ```grain
-fromUint16 : (number: Uint16) => Int16
+fromUint16: (number: Uint16) => Int16
 ```
 
 Converts a Uint16 to an Int16.
@@ -114,7 +114,7 @@ No other changes yet.
 </details>
 
 ```grain
-incr : (value: Int16) => Int16
+incr: (value: Int16) => Int16
 ```
 
 Increments the value by one.
@@ -149,7 +149,7 @@ No other changes yet.
 </details>
 
 ```grain
-decr : (value: Int16) => Int16
+decr: (value: Int16) => Int16
 ```
 
 Decrements the value by one.
@@ -184,7 +184,7 @@ No other changes yet.
 </details>
 
 ```grain
-(+) : (x: Int16, y: Int16) => Int16
+(+): (x: Int16, y: Int16) => Int16
 ```
 
 Computes the sum of its operands.
@@ -217,7 +217,7 @@ No other changes yet.
 </details>
 
 ```grain
-(-) : (x: Int16, y: Int16) => Int16
+(-): (x: Int16, y: Int16) => Int16
 ```
 
 Computes the difference of its operands.
@@ -250,7 +250,7 @@ No other changes yet.
 </details>
 
 ```grain
-(*) : (x: Int16, y: Int16) => Int16
+(*): (x: Int16, y: Int16) => Int16
 ```
 
 Computes the product of its operands.
@@ -283,7 +283,7 @@ No other changes yet.
 </details>
 
 ```grain
-(/) : (x: Int16, y: Int16) => Int16
+(/): (x: Int16, y: Int16) => Int16
 ```
 
 Computes the quotient of its operands using signed division.
@@ -316,7 +316,7 @@ No other changes yet.
 </details>
 
 ```grain
-rem : (x: Int16, y: Int16) => Int16
+rem: (x: Int16, y: Int16) => Int16
 ```
 
 Computes the remainder of the division of its operands using signed division.
@@ -348,7 +348,7 @@ No other changes yet.
 </details>
 
 ```grain
-(%) : (x: Int16, y: Int16) => Int16
+(%): (x: Int16, y: Int16) => Int16
 ```
 
 Computes the remainder of the division of the first operand by the second.
@@ -388,7 +388,7 @@ No other changes yet.
 </details>
 
 ```grain
-(<<) : (value: Int16, amount: Int16) => Int16
+(<<): (value: Int16, amount: Int16) => Int16
 ```
 
 Shifts the bits of the value left by the given number of bits.
@@ -421,7 +421,7 @@ No other changes yet.
 </details>
 
 ```grain
-(>>) : (value: Int16, amount: Int16) => Int16
+(>>): (value: Int16, amount: Int16) => Int16
 ```
 
 Shifts the bits of the value right by the given number of bits, preserving the sign bit.
@@ -454,7 +454,7 @@ No other changes yet.
 </details>
 
 ```grain
-(==) : (x: Int16, y: Int16) => Bool
+(==): (x: Int16, y: Int16) => Bool
 ```
 
 Checks if the first value is equal to the second value.
@@ -487,7 +487,7 @@ No other changes yet.
 </details>
 
 ```grain
-(!=) : (x: Int16, y: Int16) => Bool
+(!=): (x: Int16, y: Int16) => Bool
 ```
 
 Checks if the first value is not equal to the second value.
@@ -520,7 +520,7 @@ No other changes yet.
 </details>
 
 ```grain
-(<) : (x: Int16, y: Int16) => Bool
+(<): (x: Int16, y: Int16) => Bool
 ```
 
 Checks if the first value is less than the second value.
@@ -553,7 +553,7 @@ No other changes yet.
 </details>
 
 ```grain
-(>) : (x: Int16, y: Int16) => Bool
+(>): (x: Int16, y: Int16) => Bool
 ```
 
 Checks if the first value is greater than the second value.
@@ -586,7 +586,7 @@ No other changes yet.
 </details>
 
 ```grain
-(<=) : (x: Int16, y: Int16) => Bool
+(<=): (x: Int16, y: Int16) => Bool
 ```
 
 Checks if the first value is less than or equal to the second value.
@@ -624,7 +624,7 @@ No other changes yet.
 </details>
 
 ```grain
-(>=) : (x: Int16, y: Int16) => Bool
+(>=): (x: Int16, y: Int16) => Bool
 ```
 
 Checks if the first value is greater than or equal to the second value.
@@ -662,7 +662,7 @@ No other changes yet.
 </details>
 
 ```grain
-lnot : (value: Int16) => Int16
+lnot: (value: Int16) => Int16
 ```
 
 Computes the bitwise NOT of the given value.
@@ -693,7 +693,7 @@ No other changes yet.
 </details>
 
 ```grain
-(&) : (x: Int16, y: Int16) => Int16
+(&): (x: Int16, y: Int16) => Int16
 ```
 
 Computes the bitwise AND (`&`) on the given operands.
@@ -726,7 +726,7 @@ No other changes yet.
 </details>
 
 ```grain
-(|) : (x: Int16, y: Int16) => Int16
+(|): (x: Int16, y: Int16) => Int16
 ```
 
 Computes the bitwise OR (`|`) on the given operands.
@@ -759,7 +759,7 @@ No other changes yet.
 </details>
 
 ```grain
-(^) : (x: Int16, y: Int16) => Int16
+(^): (x: Int16, y: Int16) => Int16
 ```
 
 Computes the bitwise XOR (`^`) on the given operands.

package/int32.gr

@@ -10,6 +10,12 @@
  */
 module Int32
 
+from "runtime/unsafe/offsets" include Offsets
+use Offsets.{
+  _UINT32_VALUE_OFFSET as _VALUE_OFFSET,
+  _UINT32_VALUE_OFFSET,
+  _FLOAT32_VALUE_OFFSET,
+}
 from "runtime/unsafe/wasmi32" include WasmI32
 use WasmI32.{
   (+),
@@ -40,9 +46,6 @@ use Numbers.{
   coerceInt32ToNumber as toNumber,
 }
 
-@unsafe
-let _VALUE_OFFSET = 4n
-
 provide { fromNumber, toNumber }
 
 /**
@@ -57,7 +60,25 @@ provide { fromNumber, toNumber }
  */
 @unsafe
 provide let fromUint32 = (number: Uint32) => {
-  let x = WasmI32.load(WasmI32.fromGrain(number), _VALUE_OFFSET)
+  let x = WasmI32.load(WasmI32.fromGrain(number), _UINT32_VALUE_OFFSET)
+  let result = newInt32(x)
+  WasmI32.toGrain(result): Int32
+}
+
+/**
+ * Interprets a Float32 as an Int32.
+ *
+ * @param value: The value to convert
+ * @returns The Float32 interpreted as an Int32
+ *
+ * @example Int32.reinterpretFloat32(1.0f) == 1065353216l
+ * @example Int32.reinterpretFloat32(-1.0f) == -1065353216l
+ *
+ * @since v0.7.0
+ */
+@unsafe
+provide let reinterpretFloat32 = (value: Float32) => {
+  let x = WasmI32.load(WasmI32.fromGrain(value), _FLOAT32_VALUE_OFFSET)
   let result = newInt32(x)
   WasmI32.toGrain(result): Int32
 }

package/int32.md

@@ -33,7 +33,7 @@ No other changes yet.
 </details>
 
 ```grain
-fromNumber : (number: Number) => Int32
+fromNumber: (number: Number) => Int32
 ```
 
 Converts a Number to an Int32.
@@ -58,7 +58,7 @@ No other changes yet.
 </details>
 
 ```grain
-toNumber : (value: Int32) => Number
+toNumber: (value: Int32) => Number
 ```
 
 Converts an Int32 to a Number.
@@ -83,7 +83,7 @@ No other changes yet.
 </details>
 
 ```grain
-fromUint32 : (number: Uint32) => Int32
+fromUint32: (number: Uint32) => Int32
 ```
 
 Converts a Uint32 to an Int32.
@@ -106,6 +106,41 @@ Examples:
 Int32.fromUint32(1ul) == 1l
 ```
 
+### Int32.**reinterpretFloat32**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>0.7.0</code></summary>
+No other changes yet.
+</details>
+
+```grain
+reinterpretFloat32: (value: Float32) => Int32
+```
+
+Interprets a Float32 as an Int32.
+
+Parameters:
+
+|param|type|description|
+|-----|----|-----------|
+|`value`|`Float32`|The value to convert|
+
+Returns:
+
+|type|description|
+|----|-----------|
+|`Int32`|The Float32 interpreted as an Int32|
+
+Examples:
+
+```grain
+Int32.reinterpretFloat32(1.0f) == 1065353216l
+```
+
+```grain
+Int32.reinterpretFloat32(-1.0f) == -1065353216l
+```
+
 ### Int32.**incr**
 
 <details disabled>
@@ -114,7 +149,7 @@ No other changes yet.
 </details>
 
 ```grain
-incr : (value: Int32) => Int32
+incr: (value: Int32) => Int32
 ```
 
 Increments the value by one.
@@ -149,7 +184,7 @@ No other changes yet.
 </details>
 
 ```grain
-decr : (value: Int32) => Int32
+decr: (value: Int32) => Int32
 ```
 
 Decrements the value by one.
@@ -191,7 +226,7 @@ Int32.decr(0l) == -1l
 </details>
 
 ```grain
-(+) : (x: Int32, y: Int32) => Int32
+(+): (x: Int32, y: Int32) => Int32
 ```
 
 Computes the sum of its operands.
@@ -231,7 +266,7 @@ assert 1l + 1l == 2l
 </details>
 
 ```grain
-(-) : (x: Int32, y: Int32) => Int32
+(-): (x: Int32, y: Int32) => Int32
 ```
 
 Computes the difference of its operands.
@@ -271,7 +306,7 @@ assert 2l - 1l == 1l
 </details>
 
 ```grain
-(*) : (x: Int32, y: Int32) => Int32
+(*): (x: Int32, y: Int32) => Int32
 ```
 
 Computes the product of its operands.
@@ -311,7 +346,7 @@ assert 2l * 2l == 4l
 </details>
 
 ```grain
-(/) : (x: Int32, y: Int32) => Int32
+(/): (x: Int32, y: Int32) => Int32
 ```
 
 Computes the quotient of its operands using signed division.
@@ -344,7 +379,7 @@ No other changes yet.
 </details>
 
 ```grain
-rem : (x: Int32, y: Int32) => Int32
+rem: (x: Int32, y: Int32) => Int32
 ```
 
 Computes the remainder of the division of its operands using signed division.
@@ -383,7 +418,7 @@ Int32.rem(8l, 3l) == 2l
 </details>
 
 ```grain
-(%) : (x: Int32, y: Int32) => Int32
+(%): (x: Int32, y: Int32) => Int32
 ```
 
 Computes the remainder of the division of the first operand by the second.
@@ -423,7 +458,7 @@ No other changes yet.
 </details>
 
 ```grain
-rotl : (value: Int32, amount: Int32) => Int32
+rotl: (value: Int32, amount: Int32) => Int32
 ```
 
 Rotates the bits of the value left by the given number of bits.
@@ -459,7 +494,7 @@ No other changes yet.
 </details>
 
 ```grain
-rotr : (value: Int32, amount: Int32) => Int32
+rotr: (value: Int32, amount: Int32) => Int32
 ```
 
 Rotates the bits of the value right by the given number of bits.
@@ -502,7 +537,7 @@ Int32.rotr(4l, 2l) == 1l
 </details>
 
 ```grain
-(<<) : (value: Int32, amount: Int32) => Int32
+(<<): (value: Int32, amount: Int32) => Int32
 ```
 
 Shifts the bits of the value left by the given number of bits.
@@ -542,7 +577,7 @@ assert (5l << 1l) == 10l
 </details>
 
 ```grain
-(>>) : (value: Int32, amount: Int32) => Int32
+(>>): (value: Int32, amount: Int32) => Int32
 ```
 
 Shifts the bits of the value right by the given number of bits, preserving the sign bit.
@@ -582,7 +617,7 @@ assert (5l >> 1l) == 2l
 </details>
 
 ```grain
-(==) : (x: Int32, y: Int32) => Bool
+(==): (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is equal to the second value.
@@ -622,7 +657,7 @@ assert 1l == 1l
 </details>
 
 ```grain
-(!=) : (x: Int32, y: Int32) => Bool
+(!=): (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is not equal to the second value.
@@ -655,7 +690,7 @@ No other changes yet.
 </details>
 
 ```grain
-eqz : (value: Int32) => Bool
+eqz: (value: Int32) => Bool
 ```
 
 Checks if the given value is equal to zero.
@@ -697,7 +732,7 @@ Int32.eqz(1l) == false
 </details>
 
 ```grain
-(<) : (x: Int32, y: Int32) => Bool
+(<): (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is less than the second value.
@@ -737,7 +772,7 @@ assert 1l < 2l
 </details>
 
 ```grain
-(>) : (x: Int32, y: Int32) => Bool
+(>): (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is greater than the second value.
@@ -777,7 +812,7 @@ assert 2l > 1l
 </details>
 
 ```grain
-(<=) : (x: Int32, y: Int32) => Bool
+(<=): (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is less than or equal to the second value.
@@ -822,7 +857,7 @@ assert 1l <= 1l
 </details>
 
 ```grain
-(>=) : (x: Int32, y: Int32) => Bool
+(>=): (x: Int32, y: Int32) => Bool
 ```
 
 Checks if the first value is greater than or equal to the second value.
@@ -860,7 +895,7 @@ No other changes yet.
 </details>
 
 ```grain
-lnot : (value: Int32) => Int32
+lnot: (value: Int32) => Int32
 ```
 
 Computes the bitwise NOT of the given value.
@@ -898,7 +933,7 @@ Int32.lnot(-5l) == 4l
 </details>
 
 ```grain
-(&) : (x: Int32, y: Int32) => Int32
+(&): (x: Int32, y: Int32) => Int32
 ```
 
 Computes the bitwise AND (`&`) on the given operands.
@@ -938,7 +973,7 @@ assert (3l & 4l) == 0l
 </details>
 
 ```grain
-(|) : (x: Int32, y: Int32) => Int32
+(|): (x: Int32, y: Int32) => Int32
 ```
 
 Computes the bitwise OR (`|`) on the given operands.
@@ -978,7 +1013,7 @@ assert (3l | 4l) == 7l
 </details>
 
 ```grain
-(^) : (x: Int32, y: Int32) => Int32
+(^): (x: Int32, y: Int32) => Int32
 ```
 
 Computes the bitwise XOR (`^`) on the given operands.
@@ -1011,7 +1046,7 @@ No other changes yet.
 </details>
 
 ```grain
-clz : (value: Int32) => Int32
+clz: (value: Int32) => Int32
 ```
 
 Counts the number of leading zero bits in the value.
@@ -1046,7 +1081,7 @@ No other changes yet.
 </details>
 
 ```grain
-ctz : (value: Int32) => Int32
+ctz: (value: Int32) => Int32
 ```
 
 Counts the number of trailing zero bits in the value.
@@ -1081,7 +1116,7 @@ No other changes yet.
 </details>
 
 ```grain
-popcnt : (value: Int32) => Int32
+popcnt: (value: Int32) => Int32
 ```
 
 Counts the number of bits set to `1` in the value, also known as a population count.
@@ -1116,7 +1151,7 @@ No other changes yet.
 </details>
 
 ```grain
-(**) : (base: Int32, power: Int32) => Int32
+(**): (base: Int32, power: Int32) => Int32
 ```
 
 Computes the exponentiation of the given base and power.

package/int64.gr

@@ -10,6 +10,13 @@
  */
 module Int64
 
+from "runtime/unsafe/offsets" include Offsets
+// TODO(#703): Use `_VALUE_OFFSET` throughout this module
+use Offsets.{
+  _INT64_VALUE_OFFSET as _VALUE_OFFSET,
+  _UINT64_VALUE_OFFSET,
+  _FLOAT64_VALUE_OFFSET,
+}
 from "runtime/unsafe/wasmi32" include WasmI32
 from "runtime/unsafe/wasmi64" include WasmI64
 use WasmI64.{ (==), (!=), (&), (|), (^), (<<), (>>), (<), (<=), (>), (>=) }
@@ -38,7 +45,25 @@ provide { fromNumber, toNumber }
  */
 @unsafe
 provide let fromUint64 = (number: Uint64) => {
-  let x = WasmI64.load(WasmI32.fromGrain(number), 8n)
+  let x = WasmI64.load(WasmI32.fromGrain(number), _UINT64_VALUE_OFFSET)
+  let result = newInt64(x)
+  WasmI32.toGrain(result): Int64
+}
+
+/**
+ * Interprets a Float64 as an Int64.
+ *
+ * @param value: The value to convert
+ * @returns The Float64 interpreted as an Int64
+ *
+ * @example assert Int64.reinterpretFloat64(1.0d) == 4607182418800017408L
+ * @example assert Int64.reinterpretFloat64(-1.0d) == -4616189618054758400L
+ *
+ * @since v0.7.0
+ */
+@unsafe
+provide let reinterpretFloat64 = (value: Float64) => {
+  let x = WasmI64.load(WasmI32.fromGrain(value), _FLOAT64_VALUE_OFFSET)
   let result = newInt64(x)
   WasmI32.toGrain(result): Int64
 }