effect 4.0.0-beta.66 → 4.0.0-beta.68

package/src/BigInt.ts

@@ -17,9 +17,10 @@ import * as Reducer from "./Reducer.ts"
 /**
  * Reference to the global BigInt constructor.
  *
- * @example
+ * **Example** (Constructing bigints)
+ *
  * ```ts
- * import * as BigInt from "effect/BigInt"
+ * import { BigInt } from "effect"
  *
  * const bigInt = BigInt.BigInt(123)
  * console.log(bigInt) // 123n
@@ -40,13 +41,14 @@ const bigint2 = BigInt(2)
 /**
  * Tests if a value is a `bigint`.
  *
- * @example
+ * **Example** (Checking for bigints)
+ *
  * ```ts
- * import { isBigInt } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(isBigInt(1n), true)
- * assert.deepStrictEqual(isBigInt(1), false)
+ * assert.deepStrictEqual(BigInt.isBigInt(1n), true)
+ * assert.deepStrictEqual(BigInt.isBigInt(1), false)
  * ```
  *
  * @category guards
@@ -57,12 +59,13 @@ export const isBigInt: (u: unknown) => u is bigint = predicate.isBigInt
 /**
  * Provides an addition operation on `bigint`s.
  *
- * @example
+ * **Example** (Adding bigints)
+ *
  * ```ts
- * import { sum } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(sum(2n, 3n), 5n)
+ * assert.deepStrictEqual(BigInt.sum(2n, 3n), 5n)
  * ```
  *
  * @category math
@@ -72,12 +75,13 @@ export const sum: {
   /**
    * Provides an addition operation on `bigint`s.
    *
-   * @example
+   * **Example** (Adding bigints)
+   *
    * ```ts
-   * import { sum } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(sum(2n, 3n), 5n)
+   * assert.deepStrictEqual(BigInt.sum(2n, 3n), 5n)
    * ```
    *
    * @category math
@@ -87,12 +91,13 @@ export const sum: {
   /**
    * Provides an addition operation on `bigint`s.
    *
-   * @example
+   * **Example** (Adding bigints)
+   *
    * ```ts
-   * import { sum } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(sum(2n, 3n), 5n)
+   * assert.deepStrictEqual(BigInt.sum(2n, 3n), 5n)
    * ```
    *
    * @category math
@@ -104,12 +109,13 @@ export const sum: {
 /**
  * Provides a multiplication operation on `bigint`s.
  *
- * @example
+ * **Example** (Multiplying bigints)
+ *
  * ```ts
- * import { multiply } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(multiply(2n, 3n), 6n)
+ * assert.deepStrictEqual(BigInt.multiply(2n, 3n), 6n)
  * ```
  *
  * @category math
@@ -119,12 +125,13 @@ export const multiply: {
   /**
    * Provides a multiplication operation on `bigint`s.
    *
-   * @example
+   * **Example** (Multiplying bigints)
+   *
    * ```ts
-   * import { multiply } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(multiply(2n, 3n), 6n)
+   * assert.deepStrictEqual(BigInt.multiply(2n, 3n), 6n)
    * ```
    *
    * @category math
@@ -134,12 +141,13 @@ export const multiply: {
   /**
    * Provides a multiplication operation on `bigint`s.
    *
-   * @example
+   * **Example** (Multiplying bigints)
+   *
    * ```ts
-   * import { multiply } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(multiply(2n, 3n), 6n)
+   * assert.deepStrictEqual(BigInt.multiply(2n, 3n), 6n)
    * ```
    *
    * @category math
@@ -151,12 +159,13 @@ export const multiply: {
 /**
  * Provides a subtraction operation on `bigint`s.
  *
- * @example
+ * **Example** (Subtracting bigints)
+ *
  * ```ts
- * import { subtract } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(subtract(2n, 3n), -1n)
+ * assert.deepStrictEqual(BigInt.subtract(2n, 3n), -1n)
  * ```
  *
  * @category math
@@ -166,12 +175,13 @@ export const subtract: {
   /**
    * Provides a subtraction operation on `bigint`s.
    *
-   * @example
+   * **Example** (Subtracting bigints)
+   *
    * ```ts
-   * import { subtract } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(subtract(2n, 3n), -1n)
+   * assert.deepStrictEqual(BigInt.subtract(2n, 3n), -1n)
    * ```
    *
    * @category math
@@ -181,12 +191,13 @@ export const subtract: {
   /**
    * Provides a subtraction operation on `bigint`s.
    *
-   * @example
+   * **Example** (Subtracting bigints)
+   *
    * ```ts
-   * import { subtract } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(subtract(2n, 3n), -1n)
+   * assert.deepStrictEqual(BigInt.subtract(2n, 3n), -1n)
    * ```
    *
    * @category math
@@ -196,22 +207,19 @@ export const subtract: {
 } = dual(2, (self: bigint, that: bigint): bigint => self - that)
 
 /**
- * Provides a division operation on `bigint`s.
+ * Safely divides one `bigint` by another.
  *
- * If the dividend is not a multiple of the divisor the result will be a `bigint` value
- * which represents the integer division rounded down to the nearest integer.
+ * Uses JavaScript `bigint` division, so non-exact quotients are truncated
+ * toward zero. Returns `Option.none()` when the divisor is `0n`.
  *
- * Returns `Option.none()` if the divisor is `0n`.
+ * **Example** (Dividing bigints safely)
  *
- * @example
  * ```ts
- * import { divide } from "effect/BigInt"
+ * import { BigInt, Option } from "effect"
  * import * as assert from "node:assert"
  *
- * import { Option } from "effect"
- *
- * assert.deepStrictEqual(divide(6n, 3n), Option.some(2n))
- * assert.deepStrictEqual(divide(6n, 0n), Option.none())
+ * assert.deepStrictEqual(BigInt.divide(6n, 3n), Option.some(2n))
+ * assert.deepStrictEqual(BigInt.divide(6n, 0n), Option.none())
  * ```
  *
  * @category math
@@ -219,22 +227,19 @@ export const subtract: {
  */
 export const divide: {
   /**
-   * Provides a division operation on `bigint`s.
+   * Safely divides one `bigint` by another.
    *
-   * If the dividend is not a multiple of the divisor the result will be a `bigint` value
-   * which represents the integer division rounded down to the nearest integer.
+   * Uses JavaScript `bigint` division, so non-exact quotients are truncated
+   * toward zero. Returns `Option.none()` when the divisor is `0n`.
    *
-   * Returns `Option.none()` if the divisor is `0n`.
+   * **Example** (Dividing bigints safely)
    *
-   * @example
    * ```ts
-   * import { divide } from "effect/BigInt"
+   * import { BigInt, Option } from "effect"
    * import * as assert from "node:assert"
    *
-   * import { Option } from "effect"
-   *
-   * assert.deepStrictEqual(divide(6n, 3n), Option.some(2n))
-   * assert.deepStrictEqual(divide(6n, 0n), Option.none())
+   * assert.deepStrictEqual(BigInt.divide(6n, 3n), Option.some(2n))
+   * assert.deepStrictEqual(BigInt.divide(6n, 0n), Option.none())
    * ```
    *
    * @category math
@@ -242,22 +247,19 @@ export const divide: {
    */
   (that: bigint): (self: bigint) => Option.Option<bigint>
   /**
-   * Provides a division operation on `bigint`s.
+   * Safely divides one `bigint` by another.
    *
-   * If the dividend is not a multiple of the divisor the result will be a `bigint` value
-   * which represents the integer division rounded down to the nearest integer.
+   * Uses JavaScript `bigint` division, so non-exact quotients are truncated
+   * toward zero. Returns `Option.none()` when the divisor is `0n`.
    *
-   * Returns `Option.none()` if the divisor is `0n`.
+   * **Example** (Dividing bigints safely)
    *
-   * @example
    * ```ts
-   * import { divide } from "effect/BigInt"
+   * import { BigInt, Option } from "effect"
    * import * as assert from "node:assert"
    *
-   * import { Option } from "effect"
-   *
-   * assert.deepStrictEqual(divide(6n, 3n), Option.some(2n))
-   * assert.deepStrictEqual(divide(6n, 0n), Option.none())
+   * assert.deepStrictEqual(BigInt.divide(6n, 3n), Option.some(2n))
+   * assert.deepStrictEqual(BigInt.divide(6n, 0n), Option.none())
    * ```
    *
    * @category math
@@ -270,79 +272,77 @@ export const divide: {
 )
 
 /**
- * Provides a division operation on `bigint`s.
+ * Divides one `bigint` by another, throwing if the divisor is zero.
  *
- * If the dividend is not a multiple of the divisor the result will be a `bigint` value
- * which represents the integer division rounded down to the nearest integer.
+ * Uses JavaScript `bigint` division, so non-exact quotients are truncated
+ * toward zero. Throws a `RangeError` when the divisor is `0n`.
  *
- * Throws a `RangeError` if the divisor is `0n`.
+ * **Example** (Dividing bigints unsafely)
  *
- * @example
  * ```ts
- * import { divideUnsafe } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(divideUnsafe(6n, 3n), 2n)
- * assert.deepStrictEqual(divideUnsafe(6n, 4n), 1n)
+ * assert.deepStrictEqual(BigInt.divideUnsafe(6n, 3n), 2n)
+ * assert.deepStrictEqual(BigInt.divideUnsafe(6n, 4n), 1n)
  * ```
  *
  * @category math
- * @since 2.0.0
+ * @since 4.0.0
  */
 export const divideUnsafe: {
   /**
-   * Provides a division operation on `bigint`s.
+   * Divides one `bigint` by another, throwing if the divisor is zero.
    *
-   * If the dividend is not a multiple of the divisor the result will be a `bigint` value
-   * which represents the integer division rounded down to the nearest integer.
+   * Uses JavaScript `bigint` division, so non-exact quotients are truncated
+   * toward zero. Throws a `RangeError` when the divisor is `0n`.
    *
-   * Throws a `RangeError` if the divisor is `0n`.
+   * **Example** (Dividing bigints unsafely)
    *
-   * @example
    * ```ts
-   * import { divideUnsafe } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(divideUnsafe(6n, 3n), 2n)
-   * assert.deepStrictEqual(divideUnsafe(6n, 4n), 1n)
+   * assert.deepStrictEqual(BigInt.divideUnsafe(6n, 3n), 2n)
+   * assert.deepStrictEqual(BigInt.divideUnsafe(6n, 4n), 1n)
    * ```
    *
    * @category math
-   * @since 2.0.0
+   * @since 4.0.0
    */
   (that: bigint): (self: bigint) => bigint
   /**
-   * Provides a division operation on `bigint`s.
+   * Divides one `bigint` by another, throwing if the divisor is zero.
    *
-   * If the dividend is not a multiple of the divisor the result will be a `bigint` value
-   * which represents the integer division rounded down to the nearest integer.
+   * Uses JavaScript `bigint` division, so non-exact quotients are truncated
+   * toward zero. Throws a `RangeError` when the divisor is `0n`.
    *
-   * Throws a `RangeError` if the divisor is `0n`.
+   * **Example** (Dividing bigints unsafely)
    *
-   * @example
    * ```ts
-   * import { divideUnsafe } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(divideUnsafe(6n, 3n), 2n)
-   * assert.deepStrictEqual(divideUnsafe(6n, 4n), 1n)
+   * assert.deepStrictEqual(BigInt.divideUnsafe(6n, 3n), 2n)
+   * assert.deepStrictEqual(BigInt.divideUnsafe(6n, 4n), 1n)
    * ```
    *
    * @category math
-   * @since 2.0.0
+   * @since 4.0.0
    */
   (self: bigint, that: bigint): bigint
 } = dual(2, (self: bigint, that: bigint): bigint => self / that)
 
 /**
- * Returns the result of adding `1n` to a given number.
+ * Returns the result of adding `1n` to a `bigint`.
+ *
+ * **Example** (Incrementing a bigint)
  *
- * @example
  * ```ts
- * import { increment } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(increment(2n), 3n)
+ * assert.deepStrictEqual(BigInt.increment(2n), 3n)
  * ```
  *
  * @category math
@@ -351,14 +351,15 @@ export const divideUnsafe: {
 export const increment = (n: bigint): bigint => n + bigint1
 
 /**
- * Decrements a number by `1n`.
+ * Returns the result of subtracting `1n` from a `bigint`.
+ *
+ * **Example** (Decrementing a bigint)
  *
- * @example
  * ```ts
- * import { decrement } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(decrement(3n), 2n)
+ * assert.deepStrictEqual(BigInt.decrement(3n), 2n)
  * ```
  *
  * @category math
@@ -369,9 +370,10 @@ export const decrement = (n: bigint): bigint => n - bigint1
 /**
  * Provides an `Order` instance for `bigint` that allows comparing and sorting BigInt values.
  *
- * @example
+ * **Example** (Comparing bigints with Order)
+ *
  * ```ts
- * import * as BigInt from "effect/BigInt"
+ * import { BigInt } from "effect"
  *
  * const a = 123n
  * const b = 456n
@@ -390,7 +392,8 @@ export const Order: order.Order<bigint> = order.BigInt
 /**
  * An `Equivalence` instance for bigints using strict equality (`===`).
  *
- * @example
+ * **Example** (Comparing bigints for equivalence)
+ *
  * ```ts
  * import { BigInt } from "effect"
  *
@@ -399,59 +402,62 @@ export const Order: order.Order<bigint> = order.BigInt
  * ```
  *
  * @category instances
- * @since 4.0.0
+ * @since 2.0.0
  */
 export const Equivalence: Equ.Equivalence<bigint> = Equ.BigInt
 
 /**
  * Returns `true` if the first argument is less than the second, otherwise `false`.
  *
- * @example
+ * **Example** (Checking less-than comparisons)
+ *
  * ```ts
- * import { isLessThan } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(isLessThan(2n, 3n), true)
- * assert.deepStrictEqual(isLessThan(3n, 3n), false)
- * assert.deepStrictEqual(isLessThan(4n, 3n), false)
+ * assert.deepStrictEqual(BigInt.isLessThan(2n, 3n), true)
+ * assert.deepStrictEqual(BigInt.isLessThan(3n, 3n), false)
+ * assert.deepStrictEqual(BigInt.isLessThan(4n, 3n), false)
  * ```
  *
  * @category predicates
- * @since 2.0.0
+ * @since 4.0.0
  */
 export const isLessThan: {
   /**
    * Returns `true` if the first argument is less than the second, otherwise `false`.
    *
-   * @example
+   * **Example** (Checking less-than comparisons)
+   *
    * ```ts
-   * import { isLessThan } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(isLessThan(2n, 3n), true)
-   * assert.deepStrictEqual(isLessThan(3n, 3n), false)
-   * assert.deepStrictEqual(isLessThan(4n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isLessThan(2n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isLessThan(3n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isLessThan(4n, 3n), false)
    * ```
    *
    * @category predicates
-   * @since 2.0.0
+   * @since 4.0.0
    */
   (that: bigint): (self: bigint) => boolean
   /**
    * Returns `true` if the first argument is less than the second, otherwise `false`.
    *
-   * @example
+   * **Example** (Checking less-than comparisons)
+   *
    * ```ts
-   * import { isLessThan } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(isLessThan(2n, 3n), true)
-   * assert.deepStrictEqual(isLessThan(3n, 3n), false)
-   * assert.deepStrictEqual(isLessThan(4n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isLessThan(2n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isLessThan(3n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isLessThan(4n, 3n), false)
    * ```
    *
    * @category predicates
-   * @since 2.0.0
+   * @since 4.0.0
    */
   (self: bigint, that: bigint): boolean
 } = order.isLessThan(Order)
@@ -459,52 +465,55 @@ export const isLessThan: {
 /**
  * Returns a function that checks if a given `bigint` is less than or equal to the provided one.
  *
- * @example
+ * **Example** (Checking less-than-or-equal comparisons)
+ *
  * ```ts
- * import { isLessThanOrEqualTo } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(isLessThanOrEqualTo(2n, 3n), true)
- * assert.deepStrictEqual(isLessThanOrEqualTo(3n, 3n), true)
- * assert.deepStrictEqual(isLessThanOrEqualTo(4n, 3n), false)
+ * assert.deepStrictEqual(BigInt.isLessThanOrEqualTo(2n, 3n), true)
+ * assert.deepStrictEqual(BigInt.isLessThanOrEqualTo(3n, 3n), true)
+ * assert.deepStrictEqual(BigInt.isLessThanOrEqualTo(4n, 3n), false)
  * ```
  *
  * @category predicates
- * @since 2.0.0
+ * @since 4.0.0
  */
 export const isLessThanOrEqualTo: {
   /**
    * Returns a function that checks if a given `bigint` is less than or equal to the provided one.
    *
-   * @example
+   * **Example** (Checking less-than-or-equal comparisons)
+   *
    * ```ts
-   * import { isLessThanOrEqualTo } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(isLessThanOrEqualTo(2n, 3n), true)
-   * assert.deepStrictEqual(isLessThanOrEqualTo(3n, 3n), true)
-   * assert.deepStrictEqual(isLessThanOrEqualTo(4n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isLessThanOrEqualTo(2n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isLessThanOrEqualTo(3n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isLessThanOrEqualTo(4n, 3n), false)
    * ```
    *
    * @category predicates
-   * @since 2.0.0
+   * @since 4.0.0
    */
   (that: bigint): (self: bigint) => boolean
   /**
    * Returns a function that checks if a given `bigint` is less than or equal to the provided one.
    *
-   * @example
+   * **Example** (Checking less-than-or-equal comparisons)
+   *
    * ```ts
-   * import { isLessThanOrEqualTo } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(isLessThanOrEqualTo(2n, 3n), true)
-   * assert.deepStrictEqual(isLessThanOrEqualTo(3n, 3n), true)
-   * assert.deepStrictEqual(isLessThanOrEqualTo(4n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isLessThanOrEqualTo(2n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isLessThanOrEqualTo(3n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isLessThanOrEqualTo(4n, 3n), false)
    * ```
    *
    * @category predicates
-   * @since 2.0.0
+   * @since 4.0.0
    */
   (self: bigint, that: bigint): boolean
 } = order.isLessThanOrEqualTo(Order)
@@ -512,52 +521,55 @@ export const isLessThanOrEqualTo: {
 /**
  * Returns `true` if the first argument is greater than the second, otherwise `false`.
  *
- * @example
+ * **Example** (Checking greater-than comparisons)
+ *
  * ```ts
- * import { isGreaterThan } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(isGreaterThan(2n, 3n), false)
- * assert.deepStrictEqual(isGreaterThan(3n, 3n), false)
- * assert.deepStrictEqual(isGreaterThan(4n, 3n), true)
+ * assert.deepStrictEqual(BigInt.isGreaterThan(2n, 3n), false)
+ * assert.deepStrictEqual(BigInt.isGreaterThan(3n, 3n), false)
+ * assert.deepStrictEqual(BigInt.isGreaterThan(4n, 3n), true)
  * ```
  *
  * @category predicates
- * @since 2.0.0
+ * @since 4.0.0
  */
 export const isGreaterThan: {
   /**
    * Returns `true` if the first argument is greater than the second, otherwise `false`.
    *
-   * @example
+   * **Example** (Checking greater-than comparisons)
+   *
    * ```ts
-   * import { isGreaterThan } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(isGreaterThan(2n, 3n), false)
-   * assert.deepStrictEqual(isGreaterThan(3n, 3n), false)
-   * assert.deepStrictEqual(isGreaterThan(4n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isGreaterThan(2n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isGreaterThan(3n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isGreaterThan(4n, 3n), true)
    * ```
    *
    * @category predicates
-   * @since 2.0.0
+   * @since 4.0.0
    */
   (that: bigint): (self: bigint) => boolean
   /**
    * Returns `true` if the first argument is greater than the second, otherwise `false`.
    *
-   * @example
+   * **Example** (Checking greater-than comparisons)
+   *
    * ```ts
-   * import { isGreaterThan } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(isGreaterThan(2n, 3n), false)
-   * assert.deepStrictEqual(isGreaterThan(3n, 3n), false)
-   * assert.deepStrictEqual(isGreaterThan(4n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isGreaterThan(2n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isGreaterThan(3n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isGreaterThan(4n, 3n), true)
    * ```
    *
    * @category predicates
-   * @since 2.0.0
+   * @since 4.0.0
    */
   (self: bigint, that: bigint): boolean
 } = order.isGreaterThan(Order)
@@ -565,52 +577,55 @@ export const isGreaterThan: {
 /**
  * Returns a function that checks if a given `bigint` is greater than or equal to the provided one.
  *
- * @example
+ * **Example** (Checking greater-than-or-equal comparisons)
+ *
  * ```ts
- * import { isGreaterThanOrEqualTo } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(isGreaterThanOrEqualTo(2n, 3n), false)
- * assert.deepStrictEqual(isGreaterThanOrEqualTo(3n, 3n), true)
- * assert.deepStrictEqual(isGreaterThanOrEqualTo(4n, 3n), true)
+ * assert.deepStrictEqual(BigInt.isGreaterThanOrEqualTo(2n, 3n), false)
+ * assert.deepStrictEqual(BigInt.isGreaterThanOrEqualTo(3n, 3n), true)
+ * assert.deepStrictEqual(BigInt.isGreaterThanOrEqualTo(4n, 3n), true)
  * ```
  *
  * @category predicates
- * @since 2.0.0
+ * @since 4.0.0
  */
 export const isGreaterThanOrEqualTo: {
   /**
    * Returns a function that checks if a given `bigint` is greater than or equal to the provided one.
    *
-   * @example
+   * **Example** (Checking greater-than-or-equal comparisons)
+   *
    * ```ts
-   * import { isGreaterThanOrEqualTo } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(isGreaterThanOrEqualTo(2n, 3n), false)
-   * assert.deepStrictEqual(isGreaterThanOrEqualTo(3n, 3n), true)
-   * assert.deepStrictEqual(isGreaterThanOrEqualTo(4n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isGreaterThanOrEqualTo(2n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isGreaterThanOrEqualTo(3n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isGreaterThanOrEqualTo(4n, 3n), true)
    * ```
    *
    * @category predicates
-   * @since 2.0.0
+   * @since 4.0.0
    */
   (that: bigint): (self: bigint) => boolean
   /**
    * Returns a function that checks if a given `bigint` is greater than or equal to the provided one.
    *
-   * @example
+   * **Example** (Checking greater-than-or-equal comparisons)
+   *
    * ```ts
-   * import { isGreaterThanOrEqualTo } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(isGreaterThanOrEqualTo(2n, 3n), false)
-   * assert.deepStrictEqual(isGreaterThanOrEqualTo(3n, 3n), true)
-   * assert.deepStrictEqual(isGreaterThanOrEqualTo(4n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isGreaterThanOrEqualTo(2n, 3n), false)
+   * assert.deepStrictEqual(BigInt.isGreaterThanOrEqualTo(3n, 3n), true)
+   * assert.deepStrictEqual(BigInt.isGreaterThanOrEqualTo(4n, 3n), true)
    * ```
    *
    * @category predicates
-   * @since 2.0.0
+   * @since 4.0.0
    */
   (self: bigint, that: bigint): boolean
 } = order.isGreaterThanOrEqualTo(Order)
@@ -618,9 +633,10 @@ export const isGreaterThanOrEqualTo: {
 /**
  * Checks if a `bigint` is between a `minimum` and `maximum` value (inclusive).
  *
- * @example
+ * **Example** (Checking whether a bigint is within bounds)
+ *
  * ```ts
- * import * as BigInt from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
  * const between = BigInt.between({ minimum: 0n, maximum: 5n })
@@ -637,9 +653,10 @@ export const between: {
   /**
    * Checks if a `bigint` is between a `minimum` and `maximum` value (inclusive).
    *
-   * @example
+   * **Example** (Checking whether a bigint is within bounds)
+   *
    * ```ts
-   * import * as BigInt from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
    * const between = BigInt.between({ minimum: 0n, maximum: 5n })
@@ -661,9 +678,10 @@ export const between: {
   /**
    * Checks if a `bigint` is between a `minimum` and `maximum` value (inclusive).
    *
-   * @example
+   * **Example** (Checking whether a bigint is within bounds)
+   *
    * ```ts
-   * import * as BigInt from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
    * const between = BigInt.between({ minimum: 0n, maximum: 5n })
@@ -692,9 +710,10 @@ export const between: {
  * - If the `bigint` is greater than the `maximum` value, the function returns the `maximum` value.
  * - Otherwise, it returns the original `bigint`.
  *
- * @example
+ * **Example** (Clamping a bigint to bounds)
+ *
  * ```ts
- * import * as BigInt from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
  * const clamp = BigInt.clamp({ minimum: 1n, maximum: 5n })
@@ -715,9 +734,10 @@ export const clamp: {
    * - If the `bigint` is greater than the `maximum` value, the function returns the `maximum` value.
    * - Otherwise, it returns the original `bigint`.
    *
-   * @example
+   * **Example** (Clamping a bigint to bounds)
+   *
    * ```ts
-   * import * as BigInt from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
    * const clamp = BigInt.clamp({ minimum: 1n, maximum: 5n })
@@ -743,9 +763,10 @@ export const clamp: {
    * - If the `bigint` is greater than the `maximum` value, the function returns the `maximum` value.
    * - Otherwise, it returns the original `bigint`.
    *
-   * @example
+   * **Example** (Clamping a bigint to bounds)
+   *
    * ```ts
-   * import * as BigInt from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
    * const clamp = BigInt.clamp({ minimum: 1n, maximum: 5n })
@@ -770,12 +791,13 @@ export const clamp: {
 /**
  * Returns the minimum between two `bigint`s.
  *
- * @example
+ * **Example** (Finding the minimum bigint)
+ *
  * ```ts
- * import { min } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(min(2n, 3n), 2n)
+ * assert.deepStrictEqual(BigInt.min(2n, 3n), 2n)
  * ```
  *
  * @category math
@@ -785,12 +807,13 @@ export const min: {
   /**
    * Returns the minimum between two `bigint`s.
    *
-   * @example
+   * **Example** (Finding the minimum bigint)
+   *
    * ```ts
-   * import { min } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(min(2n, 3n), 2n)
+   * assert.deepStrictEqual(BigInt.min(2n, 3n), 2n)
    * ```
    *
    * @category math
@@ -800,12 +823,13 @@ export const min: {
   /**
    * Returns the minimum between two `bigint`s.
    *
-   * @example
+   * **Example** (Finding the minimum bigint)
+   *
    * ```ts
-   * import { min } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(min(2n, 3n), 2n)
+   * assert.deepStrictEqual(BigInt.min(2n, 3n), 2n)
    * ```
    *
    * @category math
@@ -817,12 +841,13 @@ export const min: {
 /**
  * Returns the maximum between two `bigint`s.
  *
- * @example
+ * **Example** (Finding the maximum bigint)
+ *
  * ```ts
- * import { max } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(max(2n, 3n), 3n)
+ * assert.deepStrictEqual(BigInt.max(2n, 3n), 3n)
  * ```
  *
  * @category math
@@ -832,12 +857,13 @@ export const max: {
   /**
    * Returns the maximum between two `bigint`s.
    *
-   * @example
+   * **Example** (Finding the maximum bigint)
+   *
    * ```ts
-   * import { max } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(max(2n, 3n), 3n)
+   * assert.deepStrictEqual(BigInt.max(2n, 3n), 3n)
    * ```
    *
    * @category math
@@ -847,12 +873,13 @@ export const max: {
   /**
    * Returns the maximum between two `bigint`s.
    *
-   * @example
+   * **Example** (Finding the maximum bigint)
+   *
    * ```ts
-   * import { max } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(max(2n, 3n), 3n)
+   * assert.deepStrictEqual(BigInt.max(2n, 3n), 3n)
    * ```
    *
    * @category math
@@ -864,14 +891,15 @@ export const max: {
 /**
  * Determines the sign of a given `bigint`.
  *
- * @example
+ * **Example** (Determining bigint signs)
+ *
  * ```ts
- * import { sign } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(sign(-5n), -1)
- * assert.deepStrictEqual(sign(0n), 0)
- * assert.deepStrictEqual(sign(5n), 1)
+ * assert.deepStrictEqual(BigInt.sign(-5n), -1)
+ * assert.deepStrictEqual(BigInt.sign(0n), 0)
+ * assert.deepStrictEqual(BigInt.sign(5n), 1)
  * ```
  *
  * @category math
@@ -882,14 +910,15 @@ export const sign = (n: bigint): Ordering => order.BigInt(n, bigint0)
 /**
  * Determines the absolute value of a given `bigint`.
  *
- * @example
+ * **Example** (Calculating absolute values)
+ *
  * ```ts
- * import { abs } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(abs(-5n), 5n)
- * assert.deepStrictEqual(abs(0n), 0n)
- * assert.deepStrictEqual(abs(5n), 5n)
+ * assert.deepStrictEqual(BigInt.abs(-5n), 5n)
+ * assert.deepStrictEqual(BigInt.abs(0n), 0n)
+ * assert.deepStrictEqual(BigInt.abs(5n), 5n)
  * ```
  *
  * @category math
@@ -900,14 +929,15 @@ export const abs = (n: bigint): bigint => (n < bigint0 ? -n : n)
 /**
  * Determines the greatest common divisor of two `bigint`s.
  *
- * @example
+ * **Example** (Calculating greatest common divisors)
+ *
  * ```ts
- * import { gcd } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(gcd(2n, 3n), 1n)
- * assert.deepStrictEqual(gcd(2n, 4n), 2n)
- * assert.deepStrictEqual(gcd(16n, 24n), 8n)
+ * assert.deepStrictEqual(BigInt.gcd(2n, 3n), 1n)
+ * assert.deepStrictEqual(BigInt.gcd(2n, 4n), 2n)
+ * assert.deepStrictEqual(BigInt.gcd(16n, 24n), 8n)
  * ```
  *
  * @category math
@@ -917,14 +947,15 @@ export const gcd: {
   /**
    * Determines the greatest common divisor of two `bigint`s.
    *
-   * @example
+   * **Example** (Calculating greatest common divisors)
+   *
    * ```ts
-   * import { gcd } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(gcd(2n, 3n), 1n)
-   * assert.deepStrictEqual(gcd(2n, 4n), 2n)
-   * assert.deepStrictEqual(gcd(16n, 24n), 8n)
+   * assert.deepStrictEqual(BigInt.gcd(2n, 3n), 1n)
+   * assert.deepStrictEqual(BigInt.gcd(2n, 4n), 2n)
+   * assert.deepStrictEqual(BigInt.gcd(16n, 24n), 8n)
    * ```
    *
    * @category math
@@ -934,14 +965,15 @@ export const gcd: {
   /**
    * Determines the greatest common divisor of two `bigint`s.
    *
-   * @example
+   * **Example** (Calculating greatest common divisors)
+   *
    * ```ts
-   * import { gcd } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(gcd(2n, 3n), 1n)
-   * assert.deepStrictEqual(gcd(2n, 4n), 2n)
-   * assert.deepStrictEqual(gcd(16n, 24n), 8n)
+   * assert.deepStrictEqual(BigInt.gcd(2n, 3n), 1n)
+   * assert.deepStrictEqual(BigInt.gcd(2n, 4n), 2n)
+   * assert.deepStrictEqual(BigInt.gcd(16n, 24n), 8n)
    * ```
    *
    * @category math
@@ -960,14 +992,15 @@ export const gcd: {
 /**
  * Determines the least common multiple of two `bigint`s.
  *
- * @example
+ * **Example** (Calculating least common multiples)
+ *
  * ```ts
- * import { lcm } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(lcm(2n, 3n), 6n)
- * assert.deepStrictEqual(lcm(2n, 4n), 4n)
- * assert.deepStrictEqual(lcm(16n, 24n), 48n)
+ * assert.deepStrictEqual(BigInt.lcm(2n, 3n), 6n)
+ * assert.deepStrictEqual(BigInt.lcm(2n, 4n), 4n)
+ * assert.deepStrictEqual(BigInt.lcm(16n, 24n), 48n)
  * ```
  *
  * @category math
@@ -977,14 +1010,15 @@ export const lcm: {
   /**
    * Determines the least common multiple of two `bigint`s.
    *
-   * @example
+   * **Example** (Calculating least common multiples)
+   *
    * ```ts
-   * import { lcm } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(lcm(2n, 3n), 6n)
-   * assert.deepStrictEqual(lcm(2n, 4n), 4n)
-   * assert.deepStrictEqual(lcm(16n, 24n), 48n)
+   * assert.deepStrictEqual(BigInt.lcm(2n, 3n), 6n)
+   * assert.deepStrictEqual(BigInt.lcm(2n, 4n), 4n)
+   * assert.deepStrictEqual(BigInt.lcm(16n, 24n), 48n)
    * ```
    *
    * @category math
@@ -994,14 +1028,15 @@ export const lcm: {
   /**
    * Determines the least common multiple of two `bigint`s.
    *
-   * @example
+   * **Example** (Calculating least common multiples)
+   *
    * ```ts
-   * import { lcm } from "effect/BigInt"
+   * import { BigInt } from "effect"
    * import * as assert from "node:assert"
    *
-   * assert.deepStrictEqual(lcm(2n, 3n), 6n)
-   * assert.deepStrictEqual(lcm(2n, 4n), 4n)
-   * assert.deepStrictEqual(lcm(16n, 24n), 48n)
+   * assert.deepStrictEqual(BigInt.lcm(2n, 3n), 6n)
+   * assert.deepStrictEqual(BigInt.lcm(2n, 4n), 4n)
+   * assert.deepStrictEqual(BigInt.lcm(16n, 24n), 48n)
    * ```
    *
    * @category math
@@ -1011,20 +1046,24 @@ export const lcm: {
 } = dual(2, (self: bigint, that: bigint): bigint => (self * that) / gcd(self, that))
 
 /**
- * Determines the square root of a given `bigint` unsafely. Throws if the given `bigint` is negative.
+ * Returns the integer square root of a non-negative `bigint`.
+ *
+ * For non-perfect squares, returns the largest `bigint` whose square is less
+ * than or equal to the input. Throws a `RangeError` if the input is negative.
+ *
+ * **Example** (Calculating square roots unsafely)
  *
- * @example
  * ```ts
- * import { sqrtUnsafe } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(sqrtUnsafe(4n), 2n)
- * assert.deepStrictEqual(sqrtUnsafe(9n), 3n)
- * assert.deepStrictEqual(sqrtUnsafe(16n), 4n)
+ * assert.deepStrictEqual(BigInt.sqrtUnsafe(4n), 2n)
+ * assert.deepStrictEqual(BigInt.sqrtUnsafe(9n), 3n)
+ * assert.deepStrictEqual(BigInt.sqrtUnsafe(16n), 4n)
  * ```
  *
  * @category math
- * @since 2.0.0
+ * @since 4.0.0
  */
 export const sqrtUnsafe = (n: bigint): bigint => {
   if (n < bigint0) {
@@ -1041,10 +1080,13 @@ export const sqrtUnsafe = (n: bigint): bigint => {
 }
 
 /**
- * Determines the square root of a given `bigint` safely. Returns `Option.none()` if
- * the given `bigint` is negative.
+ * Safely returns the integer square root of a `bigint`.
+ *
+ * For non-perfect squares, returns the largest `bigint` whose square is less
+ * than or equal to the input. Returns `Option.none()` when the input is
+ * negative.
  *
- * **Example**
+ * **Example** (Calculating square roots safely)
  *
  * ```ts
  * import { BigInt } from "effect"
@@ -1062,14 +1104,17 @@ export const sqrt = (n: bigint): Option.Option<bigint> =>
   isGreaterThanOrEqualTo(n, bigint0) ? Option.some(sqrtUnsafe(n)) : Option.none()
 
 /**
- * Takes an `Iterable` of `bigint`s and returns their sum as a single `bigint
+ * Takes an `Iterable` of `bigint`s and returns their sum as a single `bigint`.
+ *
+ * Returns `0n` for an empty iterable.
+ *
+ * **Example** (Summing iterable bigints)
  *
- * @example
  * ```ts
- * import { sumAll } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(sumAll([2n, 3n, 4n]), 9n)
+ * assert.deepStrictEqual(BigInt.sumAll([2n, 3n, 4n]), 9n)
  * ```
  *
  * @category math
@@ -1084,14 +1129,18 @@ export const sumAll = (collection: Iterable<bigint>): bigint => {
 }
 
 /**
- * Takes an `Iterable` of `bigint`s and returns their multiplication as a single `number`.
+ * Takes an `Iterable` of `bigint`s and returns their product as a single
+ * `bigint`.
+ *
+ * Returns `1n` for an empty iterable.
+ *
+ * **Example** (Multiplying iterable bigints)
  *
- * @example
  * ```ts
- * import { multiplyAll } from "effect/BigInt"
+ * import { BigInt } from "effect"
  * import * as assert from "node:assert"
  *
- * assert.deepStrictEqual(multiplyAll([2n, 3n, 4n]), 24n)
+ * assert.deepStrictEqual(BigInt.multiplyAll([2n, 3n, 4n]), 24n)
  * ```
  *
  * @category math
@@ -1114,7 +1163,8 @@ export const multiplyAll = (collection: Iterable<bigint>): bigint => {
  * If the `bigint` is outside the safe integer range for JavaScript (`Number.MAX_SAFE_INTEGER`
  * and `Number.MIN_SAFE_INTEGER`), it returns `Option.none()`.
  *
- * @example
+ * **Example** (Converting bigints to numbers)
+ *
  * ```ts
  * import { BigInt as BI } from "effect"
  *
@@ -1123,7 +1173,7 @@ export const multiplyAll = (collection: Iterable<bigint>): bigint => {
  * BI.toNumber(BigInt(Number.MIN_SAFE_INTEGER) - 1n) // Option.none()
  * ```
  *
- * @category conversions
+ * @category converting
  * @since 2.0.0
  */
 export const toNumber = (b: bigint): Option.Option<number> => {
@@ -1139,7 +1189,8 @@ export const toNumber = (b: bigint): Option.Option<number> => {
  * If the string is empty or contains characters that cannot be converted into a
  * `bigint`, it returns `Option.none()`.
  *
- * @example
+ * **Example** (Parsing strings as bigints)
+ *
  * ```ts
  * import { BigInt } from "effect"
  *
@@ -1148,7 +1199,7 @@ export const toNumber = (b: bigint): Option.Option<number> => {
  * BigInt.fromString("a") // Option.none()
  * ```
  *
- * @category conversions
+ * @category converting
  * @since 2.4.12
  */
 export const fromString = (s: string): Option.Option<bigint> => {
@@ -1168,7 +1219,8 @@ export const fromString = (s: string): Option.Option<bigint> => {
  * (`Number.MAX_SAFE_INTEGER` and `Number.MIN_SAFE_INTEGER`) or if the number is
  * not a valid `bigint`, it returns `Option.none()`.
  *
- * @example
+ * **Example** (Converting numbers to bigints)
+ *
  * ```ts
  * import { BigInt } from "effect"
  *
@@ -1178,7 +1230,7 @@ export const fromString = (s: string): Option.Option<bigint> => {
  * BigInt.fromNumber(Number.MIN_SAFE_INTEGER - 1) // Option.none()
  * ```
  *
- * @category conversions
+ * @category converting
  * @since 2.4.12
  */
 export function fromNumber(n: number): Option.Option<bigint> {
@@ -1194,9 +1246,13 @@ export function fromNumber(n: number): Option.Option<bigint> {
 }
 
 /**
- * Returns the remainder of dividing the first `bigint` by the second `bigint`.
+ * Returns the JavaScript remainder of dividing one `bigint` by another.
+ *
+ * The result follows JavaScript `%` semantics, including the sign of the
+ * dividend. Throws a `RangeError` when the divisor is `0n`.
+ *
+ * **Example** (Calculating remainders)
  *
- * @example
  * ```ts
  * import { BigInt } from "effect"
  *
@@ -1210,9 +1266,13 @@ export function fromNumber(n: number): Option.Option<bigint> {
  */
 export const remainder: {
   /**
-   * Returns the remainder of dividing the first `bigint` by the second `bigint`.
+   * Returns the JavaScript remainder of dividing one `bigint` by another.
+   *
+   * The result follows JavaScript `%` semantics, including the sign of the
+   * dividend. Throws a `RangeError` when the divisor is `0n`.
+   *
+   * **Example** (Calculating remainders)
    *
-   * @example
    * ```ts
    * import { BigInt } from "effect"
    *
@@ -1226,9 +1286,13 @@ export const remainder: {
    */
   (divisor: bigint): (self: bigint) => bigint
   /**
-   * Returns the remainder of dividing the first `bigint` by the second `bigint`.
+   * Returns the JavaScript remainder of dividing one `bigint` by another.
+   *
+   * The result follows JavaScript `%` semantics, including the sign of the
+   * dividend. Throws a `RangeError` when the divisor is `0n`.
+   *
+   * **Example** (Calculating remainders)
    *
-   * @example
    * ```ts
    * import { BigInt } from "effect"
    *
@@ -1246,6 +1310,7 @@ export const remainder: {
 /**
  * A `Reducer` for combining `bigint`s using addition.
  *
+ * @category math
  * @since 4.0.0
  */
 export const ReducerSum: Reducer.Reducer<bigint> = Reducer.make((a, b) => a + b, bigint0)
@@ -1253,6 +1318,7 @@ export const ReducerSum: Reducer.Reducer<bigint> = Reducer.make((a, b) => a + b,
 /**
  * A `Reducer` for combining `bigint`s using multiplication.
  *
+ * @category math
  * @since 4.0.0
  */
 export const ReducerMultiply: Reducer.Reducer<bigint> = Reducer.make((a, b) => a * b, bigint1, (collection) => {
@@ -1267,6 +1333,7 @@ export const ReducerMultiply: Reducer.Reducer<bigint> = Reducer.make((a, b) => a
 /**
  * A `Combiner` that returns the maximum `bigint`.
  *
+ * @category math
  * @since 4.0.0
  */
 export const CombinerMax: Combiner.Combiner<bigint> = Combiner.max(Order)
@@ -1274,6 +1341,7 @@ export const CombinerMax: Combiner.Combiner<bigint> = Combiner.max(Order)
 /**
  * A `Combiner` that returns the minimum `bigint`.
  *
+ * @category math
  * @since 4.0.0
  */
 export const CombinerMin: Combiner.Combiner<bigint> = Combiner.min(Order)