@grain/stdlib 0.5.1 → 0.5.2

package/CHANGELOG.md

@@ -1,5 +1,18 @@
 # Changelog
 
+### [0.5.2](https://github.com/grain-lang/grain/compare/stdlib-v0.5.1...stdlib-v0.5.2) (2022-06-29)
+
+
+### Features
+
+* **stdlib:** Add number constants to number libraries ([#1331](https://github.com/grain-lang/grain/issues/1331)) ([f640ec2](https://github.com/grain-lang/grain/commit/f640ec20aa507c83c9cde290b911d0adcb4e8254))
+* **stdlib:** Implement Number.sin and Number.cos ([#1343](https://github.com/grain-lang/grain/issues/1343)) ([9357126](https://github.com/grain-lang/grain/commit/93571267b7df53e1cb9f61eaebf8748885e7392c))
+
+
+### Bug Fixes
+
+* **stdlib:** Make toNumber functions respect Number invariants ([#1347](https://github.com/grain-lang/grain/issues/1347)) ([78db882](https://github.com/grain-lang/grain/commit/78db8820cf5667a4d6737c9109f4223c1348b245))
+
 ### [0.5.1](https://github.com/grain-lang/grain/compare/stdlib-v0.5.0...stdlib-v0.5.1) (2022-06-08)
 
 

package/bigint.md

@@ -5,7 +5,7 @@ title: BigInt
 Utilities for working with the BigInt type.
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -20,7 +20,7 @@ Functions for converting between Numbers and the BigInt type.
 ### Bigint.**fromNumber**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -45,7 +45,7 @@ Returns:
 ### Bigint.**toNumber**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -74,7 +74,7 @@ Mathematical operations for BigInt values.
 ### Bigint.**incr**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -99,7 +99,7 @@ Returns:
 ### Bigint.**decr**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -124,7 +124,7 @@ Returns:
 ### Bigint.**neg**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -149,7 +149,7 @@ Returns:
 ### Bigint.**abs**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -174,7 +174,7 @@ Returns:
 ### Bigint.**add**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -200,7 +200,7 @@ Returns:
 ### Bigint.**sub**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -226,7 +226,7 @@ Returns:
 ### Bigint.**mul**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -252,7 +252,7 @@ Returns:
 ### Bigint.**div**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -279,7 +279,7 @@ Returns:
 ### Bigint.**rem**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -306,7 +306,7 @@ Returns:
 ### Bigint.**quotRem**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -332,7 +332,7 @@ Returns:
 ### Bigint.**gcd**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -362,7 +362,7 @@ Functions for operating on bits of BigInt values.
 ### Bigint.**shl**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -388,7 +388,7 @@ Returns:
 ### Bigint.**shr**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -418,7 +418,7 @@ Functions for comparing BigInt values.
 ### Bigint.**eqz**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -443,7 +443,7 @@ Returns:
 ### Bigint.**eq**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -469,7 +469,7 @@ Returns:
 ### Bigint.**ne**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -495,7 +495,7 @@ Returns:
 ### Bigint.**lt**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -521,7 +521,7 @@ Returns:
 ### Bigint.**lte**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -547,7 +547,7 @@ Returns:
 ### Bigint.**gt**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -573,7 +573,7 @@ Returns:
 ### Bigint.**gte**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -603,7 +603,7 @@ Boolean operations on the bits of BigInt values.
 ### Bigint.**lnot**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -628,7 +628,7 @@ Returns:
 ### Bigint.**land**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -654,7 +654,7 @@ Returns:
 ### Bigint.**lor**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -680,7 +680,7 @@ Returns:
 ### Bigint.**lxor**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -706,7 +706,7 @@ Returns:
 ### Bigint.**clz**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -732,7 +732,7 @@ Returns:
 ### Bigint.**ctz**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -757,7 +757,7 @@ Returns:
 ### Bigint.**popcnt**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -787,7 +787,7 @@ Other functions on BigInts.
 ### Bigint.**toString**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 

package/buffer.gr

@@ -83,21 +83,21 @@ let checkIsIndexInBounds = (i, len, buf) => {
 let addInt8help = (value, buffer) => {
   autogrow(_8BIT_LEN, buffer)
   let index = buffer.len
-  buffer.len = buffer.len + _8BIT_LEN
+  buffer.len += _8BIT_LEN
   Bytes.setInt8(index, value, buffer.data)
 }
 
 let addInt16help = (value, buffer) => {
   autogrow(_16BIT_LEN, buffer)
   let index = buffer.len
-  buffer.len = buffer.len + _16BIT_LEN
+  buffer.len += _16BIT_LEN
   Bytes.setInt16(index, value, buffer.data)
 }
 
 let addInt32help = (value, buffer) => {
   autogrow(_32BIT_LEN, buffer)
   let index = buffer.len
-  buffer.len = buffer.len + _32BIT_LEN
+  buffer.len += _32BIT_LEN
   Bytes.setInt32(index, value, buffer.data)
 }
 
@@ -255,7 +255,7 @@ export let addBytes = (bytes, buffer) => {
   let dst = WasmI32.fromGrain(buffer.data)
   appendBytes(0n, off, len, src, dst)
 
-  buffer.len = buffer.len + bytelen
+  buffer.len += bytelen
 }
 
 /**
@@ -278,7 +278,7 @@ export let addString = (string, buffer) => {
   let dst = WasmI32.fromGrain(buffer.data)
   appendBytes(0n, off, len, src, dst)
 
-  buffer.len = buffer.len + bytelen
+  buffer.len += bytelen
 }
 
 /**
@@ -318,7 +318,7 @@ export let addStringSlice = (start: Number, end, string, buffer) => {
   let dst = WasmI32.fromGrain(buffer.data)
   appendBytes(srcOff, dstOff, coerceNumberToWasmI32(bytelen), src, dst)
 
-  buffer.len = buffer.len + bytelen
+  buffer.len += bytelen
 }
 
 /**
@@ -364,7 +364,7 @@ export let addBytesSlice =
   let dst = WasmI32.fromGrain(buffer.data)
   appendBytes(srcOff, dstOff, len, src, dst)
 
-  buffer.len = buffer.len + length
+  buffer.len += length
 }
 
 /**
@@ -588,7 +588,7 @@ export let setFloat32 = (index, value, buffer) => {
 export let addFloat32 = (value, buffer) => {
   autogrow(_32BIT_LEN, buffer)
   let index = buffer.len
-  buffer.len = buffer.len + _32BIT_LEN
+  buffer.len += _32BIT_LEN
   setFloat32(index, value, buffer)
 }
 
@@ -631,7 +631,7 @@ export let setInt64 = (index, value, buffer) => {
 export let addInt64 = (value, buffer) => {
   autogrow(_64BIT_LEN, buffer)
   let index = buffer.len
-  buffer.len = buffer.len + _64BIT_LEN
+  buffer.len += _64BIT_LEN
   setInt64(index, value, buffer)
 }
 
@@ -674,6 +674,6 @@ export let setFloat64 = (index, value, buffer) => {
 export let addFloat64 = (value, buffer) => {
   autogrow(_64BIT_LEN, buffer)
   let index = buffer.len
-  buffer.len = buffer.len + _64BIT_LEN
+  buffer.len += _64BIT_LEN
   setFloat64(index, value, buffer)
 }

package/buffer.md

@@ -309,7 +309,7 @@ Parameters:
 <tr><th>version</th><th>changes</th></tr>
 </thead>
 <tbody>
-<tr><td><code>next</code></td><td>Now takes the end offset instead of length</td></tr>
+<tr><td><code>0.5.0</code></td><td>Now takes the end offset instead of length</td></tr>
 </tbody>
 </table>
 </details>

package/bytes.md

@@ -284,7 +284,7 @@ Parameters:
 ### Bytes.**clear**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 

package/exception.gr

@@ -1,11 +1,37 @@
+/**
+ * @module Exception: Utilities for working with the Exception type.
+ *
+ * The Exception type represents an error that has occured during computation.
+ *
+ * @example import Exception from "exception"
+ *
+ * @since 0.3.0
+ */
+
 import WasmI32 from "runtime/unsafe/wasmi32"
 import Memory from "runtime/unsafe/memory"
 import Exception from "runtime/exception"
 
+/**
+ * @section Values: Functions included in the Exception module.
+ */
+
+/**
+ * Registers an exception printer. When an exception is thrown, all registered
+ * printers are called in order from the most recently registered printer to
+ * the least recently registered printer. The first `Some` value returned is
+ * used as the exception's string value.
+ *
+ * @param printer: The exception printer to register
+ * @since v0.3.0
+ */
 @disableGC
-export let rec registerPrinter = (f: Exception -> Option<String>) => {
+export let rec registerPrinter = (printer: Exception -> Option<String>) => {
+  // This function _must_ be @disableGC because the printer list uses
+  // unsafe types. Not really a memory leak as this list is never collected
+
   // no need to increment refcount on f; we just don't decRef it at the end of the function
-  Exception.printers = WasmI32.fromGrain((f, Exception.printers))
+  Exception.printers = WasmI32.fromGrain((printer, Exception.printers))
   Memory.decRef(WasmI32.fromGrain(registerPrinter))
   void
 }

package/exception.md

@@ -1,6 +1,43 @@
+---
+title: Exception
+---
+
+Utilities for working with the Exception type.
+
+The Exception type represents an error that has occured during computation.
+
+<details disabled>
+<summary tabindex="-1">Added in <code>0.3.0</code></summary>
+No other changes yet.
+</details>
+
+```grain
+import Exception from "exception"
+```
+
+## Values
+
+Functions included in the Exception module.
+
 ### Exception.**registerPrinter**
 
+<details disabled>
+<summary tabindex="-1">Added in <code>0.3.0</code></summary>
+No other changes yet.
+</details>
+
 ```grain
 registerPrinter : (Exception -> Option<String>) -> Void
 ```
 
+Registers an exception printer. When an exception is thrown, all registered
+printers are called in order from the most recently registered printer to
+the least recently registered printer. The first `Some` value returned is
+used as the exception's string value.
+
+Parameters:
+
+|param|type|description|
+|-----|----|-----------|
+|`printer`|`Exception -> Option<String>`|The exception printer to register|
+

package/float32.gr

@@ -13,6 +13,56 @@ import {
   coerceFloat32ToNumber as toNumber,
 } from "runtime/numbers"
 
+/**
+ * @section Constants: Float32 constant values.
+ */
+
+/**
+ * Infinity represented as a Float32 value.
+ * 
+ * @since v0.4.0
+ */
+@unsafe
+export let infinity = {
+  let ptr = newFloat32(
+    WasmF32.reinterpretI32(0b01111111100000000000000000000000n)
+  )
+  WasmI32.toGrain(ptr): Float32
+}
+
+/**
+ * NaN (Not a Number) represented as a Float32 value.
+ * 
+ * @since v0.4.0
+ */
+@unsafe
+export let nan = {
+  let ptr = newFloat32(
+    WasmF32.reinterpretI32(0b01111111100000000000000000000001n)
+  )
+  WasmI32.toGrain(ptr): Float32
+}
+
+/**
+ * Pi represented as a Float32 value.
+ * 
+ * @since v0.5.2
+ */
+export let pi = 3.1415927f
+
+/**
+ * Tau represented as a Float32 value.
+ * 
+ * @since v0.5.2
+ */
+export let tau = 6.2831853f
+
+/**
+ * Euler's number represented as a Float32 value.
+ * 
+ * @since v0.5.2
+ */
+export let e = 2.7182817f
 /**
  * @section Conversions: Functions for converting between Numbers and the Float32 type.
  */
@@ -176,33 +226,3 @@ export let gte = (x: Float32, y: Float32) => {
   let yv = WasmF32.load(WasmI32.fromGrain(y), 8n)
   WasmF32.ge(xv, yv)
 }
-
-/**
- * @section Constants: Float32 constant values.
- */
-
-/**
- * Infinity represented as a Float32 value.
- * 
- * @since v0.4.0
- */
-@unsafe
-export let infinity = {
-  let ptr = newFloat32(
-    WasmF32.reinterpretI32(0b01111111100000000000000000000000n)
-  )
-  WasmI32.toGrain(ptr): Float32
-}
-
-/**
- * NaN (Not a Number) represented as a Float32 value.
- * 
- * @since v0.4.0
- */
-@unsafe
-export let nan = {
-  let ptr = newFloat32(
-    WasmF32.reinterpretI32(0b01111111100000000000000000000001n)
-  )
-  WasmI32.toGrain(ptr): Float32
-}

package/float32.md

@@ -13,6 +13,75 @@ No other changes yet.
 import Float32 from "float32"
 ```
 
+## Constants
+
+Float32 constant values.
+
+### Float32.**infinity**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>0.4.0</code></summary>
+No other changes yet.
+</details>
+
+```grain
+infinity : Float32
+```
+
+Infinity represented as a Float32 value.
+
+### Float32.**nan**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>0.4.0</code></summary>
+No other changes yet.
+</details>
+
+```grain
+nan : Float32
+```
+
+NaN (Not a Number) represented as a Float32 value.
+
+### Float32.**pi**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>next</code></summary>
+No other changes yet.
+</details>
+
+```grain
+pi : Float32
+```
+
+Pi represented as a Float32 value.
+
+### Float32.**tau**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>next</code></summary>
+No other changes yet.
+</details>
+
+```grain
+tau : Float32
+```
+
+Tau represented as a Float32 value.
+
+### Float32.**e**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>next</code></summary>
+No other changes yet.
+</details>
+
+```grain
+e : Float32
+```
+
+Euler's number represented as a Float32 value.
+
 ## Conversions
 
 Functions for converting between Numbers and the Float32 type.
@@ -283,33 +352,3 @@ Returns:
 |----|-----------|
 |`Bool`|`true` if the first value is greater than or equal to the second value or `false` otherwise|
 
-## Constants
-
-Float32 constant values.
-
-### Float32.**infinity**
-
-<details disabled>
-<summary tabindex="-1">Added in <code>0.4.0</code></summary>
-No other changes yet.
-</details>
-
-```grain
-infinity : Float32
-```
-
-Infinity represented as a Float32 value.
-
-### Float32.**nan**
-
-<details disabled>
-<summary tabindex="-1">Added in <code>0.4.0</code></summary>
-No other changes yet.
-</details>
-
-```grain
-nan : Float32
-```
-
-NaN (Not a Number) represented as a Float32 value.
-

package/float64.gr

@@ -13,6 +13,61 @@ import {
   coerceFloat64ToNumber as toNumber,
 } from "runtime/numbers"
 
+/**
+ * @section Constants: Float64 constant values.
+ */
+
+/**
+ * Infinity represented as a Float64 value.
+ * 
+ * @since v0.4.0
+ */
+@unsafe
+export let infinity = {
+  let ptr = newFloat64(
+    WasmF64.reinterpretI64(
+      0b0111111111110000000000000000000000000000000000000000000000000000N
+    )
+  )
+  WasmI32.toGrain(ptr): Float64
+}
+
+/**
+ * NaN (Not a Number) represented as a Float64 value.
+ * 
+ * @since v0.4.0
+ */
+@unsafe
+export let nan = {
+  let ptr = newFloat64(
+    WasmF64.reinterpretI64(
+      0b0111111111110000000000000000000000000000000000000000000000000001N
+    )
+  )
+  WasmI32.toGrain(ptr): Float64
+}
+
+/**
+ * Pi represented as a Float64 value.
+ * 
+ * @since v0.5.2
+ */
+export let pi = 3.141592653589793d
+
+/**
+ * Tau represented as a Float64 value.
+ * 
+ * @since v0.5.2
+ */
+export let tau = 6.283185307179586d
+
+/**
+ * Euler's number represented as a Float64 value.
+ * 
+ * @since v0.5.2
+ */
+export let e = 2.718281828459045d
+
 /**
  * @section Conversions: Functions for converting between Numbers and the Float64 type.
  */
@@ -176,37 +231,3 @@ export let gte = (x: Float64, y: Float64) => {
   let yv = WasmF64.load(WasmI32.fromGrain(y), 8n)
   WasmF64.ge(xv, yv)
 }
-
-/**
- * @section Constants: Float64 constant values.
- */
-
-/**
- * Infinity represented as a Float64 value.
- * 
- * @since v0.4.0
- */
-@unsafe
-export let infinity = {
-  let ptr = newFloat64(
-    WasmF64.reinterpretI64(
-      0b0111111111110000000000000000000000000000000000000000000000000000N
-    )
-  )
-  WasmI32.toGrain(ptr): Float64
-}
-
-/**
- * NaN (Not a Number) represented as a Float64 value.
- * 
- * @since v0.4.0
- */
-@unsafe
-export let nan = {
-  let ptr = newFloat64(
-    WasmF64.reinterpretI64(
-      0b0111111111110000000000000000000000000000000000000000000000000001N
-    )
-  )
-  WasmI32.toGrain(ptr): Float64
-}

package/float64.md

@@ -13,6 +13,75 @@ No other changes yet.
 import Float64 from "float64"
 ```
 
+## Constants
+
+Float64 constant values.
+
+### Float64.**infinity**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>0.4.0</code></summary>
+No other changes yet.
+</details>
+
+```grain
+infinity : Float64
+```
+
+Infinity represented as a Float64 value.
+
+### Float64.**nan**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>0.4.0</code></summary>
+No other changes yet.
+</details>
+
+```grain
+nan : Float64
+```
+
+NaN (Not a Number) represented as a Float64 value.
+
+### Float64.**pi**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>next</code></summary>
+No other changes yet.
+</details>
+
+```grain
+pi : Float64
+```
+
+Pi represented as a Float64 value.
+
+### Float64.**tau**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>next</code></summary>
+No other changes yet.
+</details>
+
+```grain
+tau : Float64
+```
+
+Tau represented as a Float64 value.
+
+### Float64.**e**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>next</code></summary>
+No other changes yet.
+</details>
+
+```grain
+e : Float64
+```
+
+Euler's number represented as a Float64 value.
+
 ## Conversions
 
 Functions for converting between Numbers and the Float64 type.
@@ -283,33 +352,3 @@ Returns:
 |----|-----------|
 |`Bool`|`true` if the first value is greater than or equal to the second value or `false` otherwise|
 
-## Constants
-
-Float64 constant values.
-
-### Float64.**infinity**
-
-<details disabled>
-<summary tabindex="-1">Added in <code>0.4.0</code></summary>
-No other changes yet.
-</details>
-
-```grain
-infinity : Float64
-```
-
-Infinity represented as a Float64 value.
-
-### Float64.**nan**
-
-<details disabled>
-<summary tabindex="-1">Added in <code>0.4.0</code></summary>
-No other changes yet.
-</details>
-
-```grain
-nan : Float64
-```
-
-NaN (Not a Number) represented as a Float64 value.
-

package/int32.md

@@ -574,7 +574,7 @@ Returns:
 ### Int32.**ltU**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -626,7 +626,7 @@ Returns:
 ### Int32.**gtU**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -678,7 +678,7 @@ Returns:
 ### Int32.**lteU**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -730,7 +730,7 @@ Returns:
 ### Int32.**gteU**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 

package/int64.md

@@ -574,7 +574,7 @@ Returns:
 ### Int64.**ltU**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -626,7 +626,7 @@ Returns:
 ### Int64.**gtU**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -678,7 +678,7 @@ Returns:
 ### Int64.**lteU**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -730,7 +730,7 @@ Returns:
 ### Int64.**gteU**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 

package/map.md

@@ -263,7 +263,7 @@ Parameters:
 <tr><th>version</th><th>changes</th></tr>
 </thead>
 <tbody>
-<tr><td><code>next</code></td><td>Ensured the iterator function return type is always `Void`</td></tr>
+<tr><td><code>0.5.0</code></td><td>Ensured the iterator function return type is always `Void`</td></tr>
 </tbody>
 </table>
 </details>

package/number.gr

@@ -19,6 +19,35 @@ import { parseInt } from "runtime/stringUtils"
 import { newFloat64, newInt64 } from "runtime/dataStructures"
 import Tags from "runtime/unsafe/tags"
 
+/**
+ * @section Constants: Number constant values.
+ */
+
+/**
+ * Pi represented as a Number value.
+ * 
+ * @since v0.5.2
+ */
+export let pi = 3.141592653589793
+
+/**
+ * Tau represented as a Number value.
+ * 
+ * @since v0.5.2
+ */
+export let tau = 6.283185307179586
+
+/**
+ * Euler's number represented as a Number value.
+ * 
+ * @since v0.5.2
+ */
+export let e = 2.718281828459045
+
+/**
+ * @section Operations: Functions for operating on values of the Number type.
+ */
+
 /**
  * Computes the sum of its operands.
  *
@@ -317,3 +346,55 @@ export let isInfinite = (x: Number) => {
  * @since v0.4.5
  */
 export parseInt
+
+/**
+ * Computes how many times pi has to be subtracted to achieve the required bounds for sin.
+ */
+let reduceToPiBound = (radians: Number) => {
+  floor(radians / pi)
+}
+
+/**
+ * Computes the sine of a number using Chebyshev polynomials. Requires the input to be bounded to (-pi, pi). More information on the algorithm can be found here: http://mooooo.ooo/chebyshev-sine-approximation/.
+ */
+let chebyshevSine = (radians: Number) => {
+  let pi_minor = -0.00000008742278
+  let x2 = radians * radians
+  let p11 = 0.00000000013291342
+  let p9 = p11 * x2 + -0.000000023317787
+  let p7 = p9 * x2 + 0.0000025222919
+  let p5 = p7 * x2 + -0.00017350505
+  let p3 = p5 * x2 + 0.0066208798
+  let p1 = p3 * x2 + -0.10132118
+  (radians - pi - pi_minor) * (radians + pi + pi_minor) * p1 * radians
+}
+
+/**
+ * Computes the sine of a number (in radians) using Chebyshev polynomials.
+ *
+ * @param radians: The input in radians
+ * @returns The computed sine
+ *
+ * @since v0.5.2
+ */
+export let sin = (radians: Number) => {
+  let quot = reduceToPiBound(radians)
+  let bounded = radians - pi * quot
+  if (quot % 2 == 0) {
+    chebyshevSine(bounded)
+  } else {
+    neg(chebyshevSine(bounded))
+  }
+}
+
+/**
+ * Computes the cosine of a number (in radians) using Chebyshev polynomials.
+ *
+ * @param radians: The input in radians
+ * @returns The computed cosine
+ *
+ * @since v0.5.2
+ */
+export let cos = (radians: Number) => {
+  sin(pi / 2 + radians)
+}

package/number.md

@@ -13,6 +13,53 @@ No other changes yet.
 import Number from "number"
 ```
 
+## Constants
+
+Number constant values.
+
+### Number.**pi**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>next</code></summary>
+No other changes yet.
+</details>
+
+```grain
+pi : Number
+```
+
+Pi represented as a Number value.
+
+### Number.**tau**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>next</code></summary>
+No other changes yet.
+</details>
+
+```grain
+tau : Number
+```
+
+Tau represented as a Number value.
+
+### Number.**e**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>next</code></summary>
+No other changes yet.
+</details>
+
+```grain
+e : Number
+```
+
+Euler's number represented as a Number value.
+
+## Operations
+
+Functions for operating on values of the Number type.
+
 ### Number.**add**
 
 <details disabled>
@@ -488,3 +535,53 @@ Returns:
 |----|-----------|
 |`Result<Number, String>`|`Ok(value)` containing the parsed number on a successful parse or `Err(msg)` containing an error message string otherwise|
 
+### Number.**sin**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>next</code></summary>
+No other changes yet.
+</details>
+
+```grain
+sin : Number -> Number
+```
+
+Computes the sine of a number (in radians) using Chebyshev polynomials.
+
+Parameters:
+
+|param|type|description|
+|-----|----|-----------|
+|`radians`|`Number`|The input in radians|
+
+Returns:
+
+|type|description|
+|----|-----------|
+|`Number`|The computed sine|
+
+### Number.**cos**
+
+<details disabled>
+<summary tabindex="-1">Added in <code>next</code></summary>
+No other changes yet.
+</details>
+
+```grain
+cos : Number -> Number
+```
+
+Computes the cosine of a number (in radians) using Chebyshev polynomials.
+
+Parameters:
+
+|param|type|description|
+|-----|----|-----------|
+|`radians`|`Number`|The input in radians|
+
+Returns:
+
+|type|description|
+|----|-----------|
+|`Number`|The computed cosine|
+

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@grain/stdlib",
-  "version": "0.5.1",
+  "version": "0.5.2",
   "description": "The standard library for the Grain language.",
   "license": "MIT",
   "homepage": "https://grain-lang.org",

package/random.md

@@ -5,7 +5,7 @@ title: Random
 Pseudo-random number generation.
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -30,7 +30,7 @@ Functions for working with pseudo-random number generators.
 ### Random.**make**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -55,7 +55,7 @@ Returns:
 ### Random.**makeUnseeded**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -74,7 +74,7 @@ Returns:
 ### Random.**nextInt32**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -99,7 +99,7 @@ Returns:
 ### Random.**nextInt64**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -124,7 +124,7 @@ Returns:
 ### Random.**nextInt32InRange**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -152,7 +152,7 @@ Returns:
 ### Random.**nextInt64InRange**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 

package/runtime/numbers.gr

@@ -2070,42 +2070,48 @@ export let coerceNumberToFloat64 = (x: Number) => {
 
 @unsafe
 export let coerceInt32ToNumber = (x: Int32) => {
-  let x = WasmI32.fromGrain(x)
-  // incRef x to reuse it via WasmI32.toGrain
-  Memory.incRef(x)
-  WasmI32.toGrain(x): Number
+  WasmI32.toGrain(
+    reducedInteger(WasmI64.extendI32S(boxedInt32Number(WasmI32.fromGrain(x))))
+  ): Number
 }
 
 @unsafe
 export let coerceInt64ToNumber = (x: Int64) => {
-  let x = WasmI32.fromGrain(x)
-  // incRef x to reuse it via WasmI32.toGrain
-  Memory.incRef(x)
-  WasmI32.toGrain(x): Number
+  WasmI32.toGrain(
+    reducedInteger(boxedInt64Number(WasmI32.fromGrain(x)))
+  ): Number
 }
 
 @unsafe
 export let coerceBigIntToNumber = (x: BigInt) => {
   let x = WasmI32.fromGrain(x)
-  // incRef x to reuse it via WasmI32.toGrain
+  // reducedBigInteger assumes that the bigint is dead,
+  // but in our case, it is not
   Memory.incRef(x)
-  WasmI32.toGrain(x): Number
+  WasmI32.toGrain(reducedBigInteger(x)): Number
 }
 
 @unsafe
 export let coerceRationalToNumber = (x: Rational) => {
-  let x = WasmI32.fromGrain(x)
-  // incRef x to reuse it via WasmI32.toGrain
-  Memory.incRef(x)
-  WasmI32.toGrain(x): Number
+  if (WasmI32.eq(boxedRationalDenominator(WasmI32.fromGrain(x)), 1n)) {
+    WasmI32.toGrain(
+      reducedInteger(
+        WasmI64.extendI32S(boxedRationalNumerator(WasmI32.fromGrain(x)))
+      )
+    ): Number
+  } else {
+    let x = WasmI32.fromGrain(x)
+    // incRef x to reuse it via WasmI32.toGrain
+    Memory.incRef(x)
+    WasmI32.toGrain(x): Number
+  }
 }
 
 @unsafe
 export let coerceFloat32ToNumber = (x: Float32) => {
-  let x = WasmI32.fromGrain(x)
-  // incRef x to reuse it via WasmI32.toGrain
-  Memory.incRef(x)
-  WasmI32.toGrain(x): Number
+  WasmI32.toGrain(
+    newFloat64(WasmF64.promoteF32(boxedFloat32Number(WasmI32.fromGrain(x))))
+  ): Number
 }
 
 @unsafe

package/set.md

@@ -215,7 +215,7 @@ Parameters:
 <tr><th>version</th><th>changes</th></tr>
 </thead>
 <tbody>
-<tr><td><code>next</code></td><td>Ensured the iterator function return type is always `Void`</td></tr>
+<tr><td><code>0.5.0</code></td><td>Ensured the iterator function return type is always `Void`</td></tr>
 </tbody>
 </table>
 </details>

package/sys/random.md

@@ -15,7 +15,7 @@ Functions and constants included in the Sys/Random module.
 ### Random.**randomInt32**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>
 
@@ -34,7 +34,7 @@ Returns:
 ### Random.**randomInt64**
 
 <details disabled>
-<summary tabindex="-1">Added in <code>next</code></summary>
+<summary tabindex="-1">Added in <code>0.5.0</code></summary>
 No other changes yet.
 </details>