effect 4.0.0-beta.71 → 4.0.0-beta.72

package/src/Array.ts

@@ -47,8 +47,6 @@
  *
  * - {@link fromIterable} returns the original array reference when the input is
  *   already an array. Use {@link copy} when you need a fresh shallow copy.
- * - {@link sort}, {@link reverse}, {@link rotate}, and update operations
- *   allocate new arrays; they do not mutate the input.
  * - {@link makeBy}, {@link range}, and {@link replicate} always return
  *   non-empty arrays. `range(start, end)` is inclusive and returns `[start]`
  *   when `start > end`.
@@ -104,12 +102,12 @@ import * as Tuple from "./Tuple.ts"
 import type { NoInfer, TupleOf } from "./Types.ts"
 
 /**
- * Reference to the global `Array` constructor.
+ * Exposes the global array constructor.
  *
  * **When to use**
  *
- * Use when you need the native `Array` constructor while the `Array`
- * namespace is in scope (e.g. `Array.Array.isArray`, `Array.Array.from`).
+ * Use to access native JavaScript array constructor methods such as `isArray`
+ * or `from` from the Effect module namespace.
  *
  * **Example** (Using the Array constructor)
  *
@@ -900,7 +898,6 @@ export const matchRight: {
  * **Details**
  *
  * - Always returns a non-empty array.
- * - Does not mutate the input.
  *
  * **Example** (Prepending an element)
  *
@@ -928,7 +925,6 @@ export const prepend: {
    * **Details**
    *
    * - Always returns a non-empty array.
-   * - Does not mutate the input.
    *
    * **Example** (Prepending an element)
    *
@@ -956,7 +952,6 @@ export const prepend: {
    * **Details**
    *
    * - Always returns a non-empty array.
-   * - Does not mutate the input.
    *
    * **Example** (Prepending an element)
    *
@@ -986,7 +981,6 @@ export const prepend: {
  * **Details**
  *
  * - If either input is non-empty, the result is a `NonEmptyArray`.
- * - Does not mutate the input.
  *
  * **Example** (Prepending multiple elements)
  *
@@ -1014,7 +1008,6 @@ export const prependAll: {
    * **Details**
    *
    * - If either input is non-empty, the result is a `NonEmptyArray`.
-   * - Does not mutate the input.
    *
    * **Example** (Prepending multiple elements)
    *
@@ -1042,7 +1035,6 @@ export const prependAll: {
    * **Details**
    *
    * - If either input is non-empty, the result is a `NonEmptyArray`.
-   * - Does not mutate the input.
    *
    * **Example** (Prepending multiple elements)
    *
@@ -1070,7 +1062,6 @@ export const prependAll: {
    * **Details**
    *
    * - If either input is non-empty, the result is a `NonEmptyArray`.
-   * - Does not mutate the input.
    *
    * **Example** (Prepending multiple elements)
    *
@@ -1098,7 +1089,6 @@ export const prependAll: {
    * **Details**
    *
    * - If either input is non-empty, the result is a `NonEmptyArray`.
-   * - Does not mutate the input.
    *
    * **Example** (Prepending multiple elements)
    *
@@ -1132,7 +1122,6 @@ export const prependAll: {
  * **Details**
  *
  * - Always returns a non-empty array.
- * - Does not mutate the input.
  *
  * **Example** (Appending an element)
  *
@@ -1161,7 +1150,6 @@ export const append: {
    * **Details**
    *
    * - Always returns a non-empty array.
-   * - Does not mutate the input.
    *
    * **Example** (Appending an element)
    *
@@ -1190,7 +1178,6 @@ export const append: {
    * **Details**
    *
    * - Always returns a non-empty array.
-   * - Does not mutate the input.
    *
    * **Example** (Appending an element)
    *
@@ -1221,7 +1208,6 @@ export const append: {
  * **Details**
  *
  * - If either input is non-empty, the result is a `NonEmptyArray`.
- * - Does not mutate the inputs.
  *
  * **Example** (Concatenating arrays)
  *
@@ -1250,7 +1236,6 @@ export const appendAll: {
    * **Details**
    *
    * - If either input is non-empty, the result is a `NonEmptyArray`.
-   * - Does not mutate the inputs.
    *
    * **Example** (Concatenating arrays)
    *
@@ -1279,7 +1264,6 @@ export const appendAll: {
    * **Details**
    *
    * - If either input is non-empty, the result is a `NonEmptyArray`.
-   * - Does not mutate the inputs.
    *
    * **Example** (Concatenating arrays)
    *
@@ -1308,7 +1292,6 @@ export const appendAll: {
    * **Details**
    *
    * - If either input is non-empty, the result is a `NonEmptyArray`.
-   * - Does not mutate the inputs.
    *
    * **Example** (Concatenating arrays)
    *
@@ -1337,7 +1320,6 @@ export const appendAll: {
    * **Details**
    *
    * - If either input is non-empty, the result is a `NonEmptyArray`.
-   * - Does not mutate the inputs.
    *
    * **Example** (Concatenating arrays)
    *
@@ -1361,7 +1343,7 @@ export const appendAll: {
 )
 
 /**
- * Left-to-right fold that keeps every intermediate accumulator value.
+ * Folds left-to-right while keeping every intermediate accumulator value.
  *
  * **When to use**
  *
@@ -1390,7 +1372,7 @@ export const appendAll: {
  */
 export const scan: {
   /**
-   * Left-to-right fold that keeps every intermediate accumulator value.
+   * Folds left-to-right while keeping every intermediate accumulator value.
    *
    * **When to use**
    *
@@ -1419,7 +1401,7 @@ export const scan: {
    */
   <B, A>(b: B, f: (b: B, a: A) => B): (self: Iterable<A>) => NonEmptyArray<B>
   /**
-   * Left-to-right fold that keeps every intermediate accumulator value.
+   * Folds left-to-right while keeping every intermediate accumulator value.
    *
    * **When to use**
    *
@@ -1458,7 +1440,7 @@ export const scan: {
 })
 
 /**
- * Right-to-left fold that keeps every intermediate accumulator value.
+ * Folds right-to-left while keeping every intermediate accumulator value.
  *
  * **When to use**
  *
@@ -1487,7 +1469,7 @@ export const scan: {
  */
 export const scanRight: {
   /**
-   * Right-to-left fold that keeps every intermediate accumulator value.
+   * Folds right-to-left while keeping every intermediate accumulator value.
    *
    * **When to use**
    *
@@ -1516,7 +1498,7 @@ export const scanRight: {
    */
   <B, A>(b: B, f: (b: B, a: A) => B): (self: Iterable<A>) => NonEmptyArray<B>
   /**
-   * Right-to-left fold that keeps every intermediate accumulator value.
+   * Folds right-to-left while keeping every intermediate accumulator value.
    *
    * **When to use**
    *
@@ -1555,7 +1537,7 @@ export const scanRight: {
 })
 
 /**
- * Tests whether a value is an `Array`.
+ * Checks whether a value is an `Array`.
  *
  * **When to use**
  *
@@ -1583,7 +1565,7 @@ export const scanRight: {
  */
 export const isArray: {
   /**
-   * Tests whether a value is an `Array`.
+   * Checks whether a value is an `Array`.
    *
    * **When to use**
    *
@@ -1611,7 +1593,7 @@ export const isArray: {
    */
   (self: unknown): self is Array<unknown>
   /**
-   * Tests whether a value is an `Array`.
+   * Checks whether a value is an `Array`.
    *
    * **When to use**
    *
@@ -1641,7 +1623,7 @@ export const isArray: {
 } = Array.isArray
 
 /**
- * Tests whether a mutable `Array` is empty, narrowing the type to `[]`.
+ * Checks whether a mutable `Array` is empty, narrowing the type to `[]`.
  *
  * **Example** (Checking for an empty array)
  *
@@ -1661,7 +1643,7 @@ export const isArray: {
 export const isArrayEmpty = <A>(self: Array<A>): self is [] => self.length === 0
 
 /**
- * Tests whether a `ReadonlyArray` is empty, narrowing the type to `readonly []`.
+ * Checks whether a `ReadonlyArray` is empty, narrowing the type to `readonly []`.
  *
  * **Example** (Checking for an empty readonly array)
  *
@@ -1681,7 +1663,7 @@ export const isArrayEmpty = <A>(self: Array<A>): self is [] => self.length === 0
 export const isReadonlyArrayEmpty: <A>(self: ReadonlyArray<A>) => self is readonly [] = isArrayEmpty as any
 
 /**
- * Tests whether a mutable `Array` is non-empty, narrowing the type to
+ * Checks whether a mutable `Array` is non-empty, narrowing the type to
  * `NonEmptyArray`.
  *
  * **Example** (Checking for a non-empty array)
@@ -1702,7 +1684,7 @@ export const isReadonlyArrayEmpty: <A>(self: ReadonlyArray<A>) => self is readon
 export const isArrayNonEmpty: <A>(self: Array<A>) => self is NonEmptyArray<A> = internalArray.isArrayNonEmpty
 
 /**
- * Tests whether a `ReadonlyArray` is non-empty, narrowing the type to
+ * Checks whether a `ReadonlyArray` is non-empty, narrowing the type to
  * `NonEmptyReadonlyArray`.
  *
  * **Example** (Checking for a non-empty readonly array)
@@ -1751,7 +1733,7 @@ export function isOutOfBounds<A>(i: number, as: ReadonlyArray<A>): boolean {
 const clamp = <A>(i: number, as: ReadonlyArray<A>): number => Math.floor(Math.min(Math.max(0, i), as.length))
 
 /**
- * Safely reads an element at the given index, returning `Option.some` or
+ * Reads an element at the given index safely, returning `Option.some` or
  * `Option.none` if the index is out of bounds.
  *
  * **When to use**
@@ -1782,7 +1764,7 @@ const clamp = <A>(i: number, as: ReadonlyArray<A>): number => Math.floor(Math.mi
  */
 export const get: {
   /**
-   * Safely reads an element at the given index, returning `Option.some` or
+   * Reads an element at the given index safely, returning `Option.some` or
    * `Option.none` if the index is out of bounds.
    *
    * **When to use**
@@ -1813,7 +1795,7 @@ export const get: {
    */
   (index: number): <A>(self: ReadonlyArray<A>) => Option.Option<A>
   /**
-   * Safely reads an element at the given index, returning `Option.some` or
+   * Reads an element at the given index safely, returning `Option.some` or
    * `Option.none` if the index is out of bounds.
    *
    * **When to use**
@@ -2008,7 +1990,7 @@ export const unappend = <A>(
 ): [arrayWithoutLastElement: Array<A>, lastElement: A] => [initNonEmpty(self), lastNonEmpty(self)]
 
 /**
- * Returns the first element of an array wrapped in `Option.some`, or
+ * Returns the first element of an array safely wrapped in `Option.some`, or
  * `Option.none` if the array is empty.
  *
  * **When to use**
@@ -2057,7 +2039,7 @@ export const head: <A>(self: ReadonlyArray<A>) => Option.Option<A> = get(0)
 export const headNonEmpty: <A>(self: NonEmptyReadonlyArray<A>) => A = getUnsafe(0)
 
 /**
- * Returns the last element of an array wrapped in `Option.some`, or
+ * Returns the last element of an array safely wrapped in `Option.some`, or
  * `Option.none` if the array is empty.
  *
  * **When to use**
@@ -2107,7 +2089,7 @@ export const last = <A>(self: ReadonlyArray<A>): Option.Option<A> =>
 export const lastNonEmpty = <A>(self: NonEmptyReadonlyArray<A>): A => self[self.length - 1]
 
 /**
- * Returns all elements except the first, wrapped in an `Option`.
+ * Returns all elements except the first safely, wrapped in an `Option`.
  *
  * **When to use**
  *
@@ -2162,7 +2144,7 @@ export function tail<A>(self: Iterable<A>): Option.Option<Array<A>> {
 export const tailNonEmpty = <A>(self: NonEmptyReadonlyArray<A>): Array<A> => self.slice(1)
 
 /**
- * Returns all elements except the last, wrapped in an `Option`.
+ * Returns all elements except the last safely, wrapped in an `Option`.
  *
  * **When to use**
  *
@@ -3975,7 +3957,7 @@ export const findLast: {
 )
 
 /**
- * Inserts an element at the specified index, returning a new `NonEmptyArray`
+ * Inserts an element at the specified index safely, returning a new `NonEmptyArray`
  * wrapped in an `Option`.
  *
  * **When to use**
@@ -3985,7 +3967,6 @@ export const findLast: {
  * **Details**
  *
  * - Valid indices: `0` to `length` (inclusive — inserting at `length` appends).
- * - Does not mutate the input.
  *
  * **Example** (Inserting at an index)
  *
@@ -4003,7 +3984,7 @@ export const findLast: {
  */
 export const insertAt: {
   /**
-   * Inserts an element at the specified index, returning a new `NonEmptyArray`
+   * Inserts an element at the specified index safely, returning a new `NonEmptyArray`
    * wrapped in an `Option`.
    *
    * **When to use**
@@ -4013,7 +3994,6 @@ export const insertAt: {
    * **Details**
    *
    * - Valid indices: `0` to `length` (inclusive — inserting at `length` appends).
-   * - Does not mutate the input.
    *
    * **Example** (Inserting at an index)
    *
@@ -4031,7 +4011,7 @@ export const insertAt: {
    */
   <B>(i: number, b: B): <A>(self: Iterable<A>) => Option.Option<NonEmptyArray<A | B>>
   /**
-   * Inserts an element at the specified index, returning a new `NonEmptyArray`
+   * Inserts an element at the specified index safely, returning a new `NonEmptyArray`
    * wrapped in an `Option`.
    *
    * **When to use**
@@ -4041,7 +4021,6 @@ export const insertAt: {
    * **Details**
    *
    * - Valid indices: `0` to `length` (inclusive — inserting at `length` appends).
-   * - Does not mutate the input.
    *
    * **Example** (Inserting at an index)
    *
@@ -4068,7 +4047,7 @@ export const insertAt: {
 })
 
 /**
- * Replaces the element at the specified index with a new value, returning the
+ * Replaces the element at the specified index safely with a new value, returning the
  * updated array in `Option.some`.
  *
  * **When to use**
@@ -4078,7 +4057,6 @@ export const insertAt: {
  * **Details**
  *
  * - Returns `Option.none()` when the index is out of bounds.
- * - Does not mutate the input.
  *
  * **Example** (Replacing an element)
  *
@@ -4096,7 +4074,7 @@ export const insertAt: {
  */
 export const replace: {
   /**
-   * Replaces the element at the specified index with a new value, returning the
+   * Replaces the element at the specified index safely with a new value, returning the
    * updated array in `Option.some`.
    *
    * **When to use**
@@ -4106,7 +4084,6 @@ export const replace: {
    * **Details**
    *
    * - Returns `Option.none()` when the index is out of bounds.
-   * - Does not mutate the input.
    *
    * **Example** (Replacing an element)
    *
@@ -4126,7 +4103,7 @@ export const replace: {
     self: S
   ) => Option.Option<ReadonlyArray.With<S, ReadonlyArray.Infer<S> | B>>
   /**
-   * Replaces the element at the specified index with a new value, returning the
+   * Replaces the element at the specified index safely with a new value, returning the
    * updated array in `Option.some`.
    *
    * **When to use**
@@ -4136,7 +4113,6 @@ export const replace: {
    * **Details**
    *
    * - Returns `Option.none()` when the index is out of bounds.
-   * - Does not mutate the input.
    *
    * **Example** (Replacing an element)
    *
@@ -4159,7 +4135,7 @@ export const replace: {
 )
 
 /**
- * Applies a function to the element at the specified index, returning the
+ * Applies a function to the element at the specified index safely, returning the
  * updated array in `Option.some`.
  *
  * **When to use**
@@ -4170,7 +4146,6 @@ export const replace: {
  * **Details**
  *
  * - Returns `Option.none()` when the index is out of bounds.
- * - Does not mutate the input.
  *
  * **Example** (Modifying an element)
  *
@@ -4190,7 +4165,7 @@ export const replace: {
  */
 export const modify: {
   /**
-   * Applies a function to the element at the specified index, returning the
+   * Applies a function to the element at the specified index safely, returning the
    * updated array in `Option.some`.
    *
    * **When to use**
@@ -4201,7 +4176,6 @@ export const modify: {
    * **Details**
    *
    * - Returns `Option.none()` when the index is out of bounds.
-   * - Does not mutate the input.
    *
    * **Example** (Modifying an element)
    *
@@ -4221,7 +4195,7 @@ export const modify: {
    */
   <A, B, S extends Iterable<A> = Iterable<A>>(i: number, f: (a: ReadonlyArray.Infer<S>) => B): (self: S) => Option.Option<ReadonlyArray.With<S, ReadonlyArray.Infer<S> | B>>
   /**
-   * Applies a function to the element at the specified index, returning the
+   * Applies a function to the element at the specified index safely, returning the
    * updated array in `Option.some`.
    *
    * **When to use**
@@ -4232,7 +4206,6 @@ export const modify: {
    * **Details**
    *
    * - Returns `Option.none()` when the index is out of bounds.
-   * - Does not mutate the input.
    *
    * **Example** (Modifying an element)
    *
@@ -4270,10 +4243,6 @@ export const modify: {
  *
  * Use to remove a single element at a known index.
  *
- * **Details**
- *
- * Does not mutate the input.
- *
  * **Example** (Removing an element)
  *
  * ```ts
@@ -4298,10 +4267,6 @@ export const remove: {
    *
    * Use to remove a single element at a known index.
    *
-   * **Details**
-   *
-   * Does not mutate the input.
-   *
    * **Example** (Removing an element)
    *
    * ```ts
@@ -4326,10 +4291,6 @@ export const remove: {
    *
    * Use to remove a single element at a known index.
    *
-   * **Details**
-   *
-   * Does not mutate the input.
-   *
    * **Example** (Removing an element)
    *
    * ```ts
@@ -4364,7 +4325,6 @@ export const remove: {
  *
  * **Details**
  *
- * - Does not mutate the input.
  * - Preserves `NonEmptyArray` in the return type.
  *
  * **Example** (Reversing an array)
@@ -4392,7 +4352,6 @@ export const reverse = <S extends Iterable<any>>(
  *
  * **Details**
  *
- * - Does not mutate the input.
  * - Preserves `NonEmptyArray` in the return type.
  * - Use {@link sortWith} to sort by a derived key, or {@link sortBy} for
  *   multi-key sorting.
@@ -4421,7 +4380,6 @@ export const sort: {
    *
    * **Details**
    *
-   * - Does not mutate the input.
    * - Preserves `NonEmptyArray` in the return type.
    * - Use {@link sortWith} to sort by a derived key, or {@link sortBy} for
    *   multi-key sorting.
@@ -4450,7 +4408,6 @@ export const sort: {
    *
    * **Details**
    *
-   * - Does not mutate the input.
    * - Preserves `NonEmptyArray` in the return type.
    * - Use {@link sortWith} to sort by a derived key, or {@link sortBy} for
    *   multi-key sorting.
@@ -4479,7 +4436,6 @@ export const sort: {
    *
    * **Details**
    *
-   * - Does not mutate the input.
    * - Preserves `NonEmptyArray` in the return type.
    * - Use {@link sortWith} to sort by a derived key, or {@link sortBy} for
    *   multi-key sorting.
@@ -4517,7 +4473,6 @@ export const sort: {
  * **Details**
  *
  * - Equivalent to `sort(Order.mapInput(order, f))` but more convenient.
- * - Does not mutate the input.
  *
  * **Example** (Sorting strings by length)
  *
@@ -4547,7 +4502,6 @@ export const sortWith: {
    * **Details**
    *
    * - Equivalent to `sort(Order.mapInput(order, f))` but more convenient.
-   * - Does not mutate the input.
    *
    * **Example** (Sorting strings by length)
    *
@@ -4577,7 +4531,6 @@ export const sortWith: {
    * **Details**
    *
    * - Equivalent to `sort(Order.mapInput(order, f))` but more convenient.
-   * - Does not mutate the input.
    *
    * **Example** (Sorting strings by length)
    *
@@ -4607,7 +4560,6 @@ export const sortWith: {
    * **Details**
    *
    * - Equivalent to `sort(Order.mapInput(order, f))` but more convenient.
-   * - Does not mutate the input.
    *
    * **Example** (Sorting strings by length)
    *
@@ -5349,7 +5301,7 @@ export const setLastNonEmpty: {
 )
 
 /**
- * Rotates an array by `n` steps. Positive `n` rotates right; negative `n`
+ * Transforms an array by rotating it `n` steps. Positive `n` rotates right; negative `n`
  * rotates left.
  *
  * **When to use**
@@ -5379,7 +5331,7 @@ export const setLastNonEmpty: {
  */
 export const rotate: {
   /**
-   * Rotates an array by `n` steps. Positive `n` rotates right; negative `n`
+   * Transforms an array by rotating it `n` steps. Positive `n` rotates right; negative `n`
    * rotates left.
    *
    * **When to use**
@@ -5409,7 +5361,7 @@ export const rotate: {
    */
   (n: number): <S extends Iterable<any>>(self: S) => ReadonlyArray.With<S, ReadonlyArray.Infer<S>>
   /**
-   * Rotates an array by `n` steps. Positive `n` rotates right; negative `n`
+   * Transforms an array by rotating it `n` steps. Positive `n` rotates right; negative `n`
    * rotates left.
    *
    * **When to use**
@@ -5439,7 +5391,7 @@ export const rotate: {
    */
   <A>(self: NonEmptyReadonlyArray<A>, n: number): NonEmptyArray<A>
   /**
-   * Rotates an array by `n` steps. Positive `n` rotates right; negative `n`
+   * Transforms an array by rotating it `n` steps. Positive `n` rotates right; negative `n`
    * rotates left.
    *
    * **When to use**
@@ -5522,7 +5474,7 @@ export const containsWith = <A>(isEquivalent: (self: A, that: A) => boolean): {
   })
 
 /**
- * Tests whether an array contains a value, using `Equal.equivalence()` for
+ * Checks whether an array contains a value, using `Equal.equivalence()` for
  * comparison.
  *
  * **When to use**
@@ -5545,7 +5497,7 @@ export const containsWith = <A>(isEquivalent: (self: A, that: A) => boolean): {
  */
 export const contains: {
   /**
-   * Tests whether an array contains a value, using `Equal.equivalence()` for
+   * Checks whether an array contains a value, using `Equal.equivalence()` for
    * comparison.
    *
    * **When to use**
@@ -5568,7 +5520,7 @@ export const contains: {
    */
   <A>(a: A): (self: Iterable<A>) => boolean
   /**
-   * Tests whether an array contains a value, using `Equal.equivalence()` for
+   * Checks whether an array contains a value, using `Equal.equivalence()` for
    * comparison.
    *
    * **When to use**
@@ -5593,8 +5545,8 @@ export const contains: {
 } = containsWith(Equal.asEquivalence())
 
 /**
- * Repeatedly applies a function that consumes a prefix of the array and
- * produces a value plus the remaining elements, collecting the values.
+ * Applies a function repeatedly to consume prefixes of the array and collect
+ * the values it produces.
  *
  * **When to use**
  *
@@ -5628,8 +5580,8 @@ export const contains: {
  */
 export const chop: {
   /**
-   * Repeatedly applies a function that consumes a prefix of the array and
-   * produces a value plus the remaining elements, collecting the values.
+   * Applies a function repeatedly to consume prefixes of the array and collect
+   * the values it produces.
    *
    * **When to use**
    *
@@ -5665,8 +5617,8 @@ export const chop: {
     f: (as: NonEmptyReadonlyArray<ReadonlyArray.Infer<S>>) => readonly [B, ReadonlyArray<ReadonlyArray.Infer<S>>]
   ): (self: S) => ReadonlyArray.With<S, ReadonlyArray.Infer<S>>
   /**
-   * Repeatedly applies a function that consumes a prefix of the array and
-   * produces a value plus the remaining elements, collecting the values.
+   * Applies a function repeatedly to consume prefixes of the array and collect
+   * the values it produces.
    *
    * **When to use**
    *
@@ -5703,8 +5655,8 @@ export const chop: {
     f: (as: NonEmptyReadonlyArray<A>) => readonly [B, ReadonlyArray<A>]
   ): NonEmptyArray<B>
   /**
-   * Repeatedly applies a function that consumes a prefix of the array and
-   * produces a value plus the remaining elements, collecting the values.
+   * Applies a function repeatedly to consume prefixes of the array and collect
+   * the values it produces.
    *
    * **When to use**
    *
@@ -8567,7 +8519,7 @@ export const liftResult = <A extends Array<unknown>, E, B>(
 }
 
 /**
- * Tests whether all elements satisfy the predicate. Supports refinements for
+ * Checks whether all elements satisfy the predicate. Supports refinements for
  * type narrowing.
  *
  * **When to use**
@@ -8591,7 +8543,7 @@ export const liftResult = <A extends Array<unknown>, E, B>(
  */
 export const every: {
   /**
-   * Tests whether all elements satisfy the predicate. Supports refinements for
+   * Checks whether all elements satisfy the predicate. Supports refinements for
    * type narrowing.
    *
    * **When to use**
@@ -8615,7 +8567,7 @@ export const every: {
    */
   <A, B extends A>(refinement: (a: NoInfer<A>, i: number) => a is B): (self: ReadonlyArray<A>) => self is ReadonlyArray<B>
   /**
-   * Tests whether all elements satisfy the predicate. Supports refinements for
+   * Checks whether all elements satisfy the predicate. Supports refinements for
    * type narrowing.
    *
    * **When to use**
@@ -8639,7 +8591,7 @@ export const every: {
    */
   <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: ReadonlyArray<A>) => boolean
   /**
-   * Tests whether all elements satisfy the predicate. Supports refinements for
+   * Checks whether all elements satisfy the predicate. Supports refinements for
    * type narrowing.
    *
    * **When to use**
@@ -8663,7 +8615,7 @@ export const every: {
    */
   <A, B extends A>(self: ReadonlyArray<A>, refinement: (a: A, i: number) => a is B): self is ReadonlyArray<B>
   /**
-   * Tests whether all elements satisfy the predicate. Supports refinements for
+   * Checks whether all elements satisfy the predicate. Supports refinements for
    * type narrowing.
    *
    * **When to use**
@@ -8693,7 +8645,7 @@ export const every: {
 )
 
 /**
- * Tests whether at least one element satisfies the predicate. Narrows the type
+ * Checks whether at least one element satisfies the predicate. Narrows the type
  * to `NonEmptyReadonlyArray` on success.
  *
  * **Example** (Testing for any match)
@@ -8713,7 +8665,7 @@ export const every: {
  */
 export const some: {
   /**
-   * Tests whether at least one element satisfies the predicate. Narrows the type
+   * Checks whether at least one element satisfies the predicate. Narrows the type
    * to `NonEmptyReadonlyArray` on success.
    *
    * **Example** (Testing for any match)
@@ -8733,7 +8685,7 @@ export const some: {
    */
   <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: ReadonlyArray<A>) => self is NonEmptyReadonlyArray<A>
   /**
-   * Tests whether at least one element satisfies the predicate. Narrows the type
+   * Checks whether at least one element satisfies the predicate. Narrows the type
    * to `NonEmptyReadonlyArray` on success.
    *
    * **Example** (Testing for any match)
@@ -9729,7 +9681,7 @@ export const cartesian: {
 // -------------------------------------------------------------------------------------
 
 /**
- * Starting point for the "do simulation" — an array comprehension pattern.
+ * Provides the starting point for the "do simulation" — an array comprehension pattern.
  *
  * **When to use**
  *
@@ -9762,7 +9714,7 @@ export const cartesian: {
 export const Do: ReadonlyArray<{}> = of({})
 
 /**
- * Introduces a new array variable into a do-notation scope, producing the cartesian product with all previous bindings.
+ * Adds a new array variable to a do-notation scope, producing the cartesian product with all previous bindings.
  *
  * **When to use**
  *
@@ -9798,7 +9750,7 @@ export const Do: ReadonlyArray<{}> = of({})
  */
 export const bind: {
   /**
-   * Introduces a new array variable into a do-notation scope, producing the cartesian product with all previous bindings.
+   * Adds a new array variable to a do-notation scope, producing the cartesian product with all previous bindings.
    *
    * **When to use**
    *
@@ -9836,7 +9788,7 @@ export const bind: {
     self: ReadonlyArray<A>
   ) => Array<{ [K in N | keyof A]: K extends keyof A ? A[K] : B }>
   /**
-   * Introduces a new array variable into a do-notation scope, producing the cartesian product with all previous bindings.
+   * Adds a new array variable to a do-notation scope, producing the cartesian product with all previous bindings.
    *
    * **When to use**
    *
@@ -9878,7 +9830,7 @@ export const bind: {
 } = internalDoNotation.bind<ReadonlyArrayTypeLambda>(map, flatMap) as any
 
 /**
- * Names the elements of an array by wrapping each in an object with the given key, starting a do-notation scope.
+ * Wraps each array element in an object with the given key, starting a do-notation scope.
  *
  * **When to use**
  *
@@ -9910,7 +9862,7 @@ export const bind: {
  */
 export const bindTo: {
   /**
-   * Names the elements of an array by wrapping each in an object with the given key, starting a do-notation scope.
+   * Wraps each array element in an object with the given key, starting a do-notation scope.
    *
    * **When to use**
    *
@@ -9942,7 +9894,7 @@ export const bindTo: {
    */
   <N extends string>(tag: N): <A>(self: ReadonlyArray<A>) => Array<{ [K in N]: A }>
   /**
-   * Names the elements of an array by wrapping each in an object with the given key, starting a do-notation scope.
+   * Wraps each array element in an object with the given key, starting a do-notation scope.
    *
    * **When to use**
    *
@@ -10046,7 +9998,7 @@ export function makeReducerConcat<A>(): Reducer.Reducer<Array<A>> {
 }
 
 /**
- * Counts the elements in an iterable that satisfy a predicate.
+ * Computes the number of elements in an iterable that satisfy a predicate.
  *
  * **When to use**
  *
@@ -10074,7 +10026,7 @@ export function makeReducerConcat<A>(): Reducer.Reducer<Array<A>> {
  */
 export const countBy: {
   /**
-   * Counts the elements in an iterable that satisfy a predicate.
+   * Computes the number of elements in an iterable that satisfy a predicate.
    *
    * **When to use**
    *
@@ -10102,7 +10054,7 @@ export const countBy: {
    */
   <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: Iterable<A>) => number
   /**
-   * Counts the elements in an iterable that satisfy a predicate.
+   * Computes the number of elements in an iterable that satisfy a predicate.
    *
    * **When to use**
    *