effect 3.8.4 → 3.8.5

package/dist/dts/Array.d.ts

@@ -95,7 +95,33 @@ export declare const range: (start: number, end: number) => NonEmptyArray<number
  * @since 2.0.0
  */
 export declare const replicate: {
+    /**
+     * Return a `NonEmptyArray` containing a value repeated the specified number of times.
+     *
+     * **Note**. `n` is normalized to an integer >= 1.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * assert.deepStrictEqual(Array.replicate("a", 3), ["a", "a", "a"])
+     *
+     * @category constructors
+     * @since 2.0.0
+     */
     (n: number): <A>(a: A) => NonEmptyArray<A>;
+    /**
+     * Return a `NonEmptyArray` containing a value repeated the specified number of times.
+     *
+     * **Note**. `n` is normalized to an integer >= 1.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * assert.deepStrictEqual(Array.replicate("a", 3), ["a", "a", "a"])
+     *
+     * @category constructors
+     * @since 2.0.0
+     */
     <A>(a: A, n: number): NonEmptyArray<A>;
 };
 /**
@@ -173,10 +199,42 @@ export declare const fromOption: <A>(self: Option<A>) => Array<A>;
  * @since 2.0.0
  */
 export declare const match: {
+    /**
+     * Matches the elements of an array, applying functions to cases of empty and non-empty arrays.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const match = Array.match({
+     *   onEmpty: () => "empty",
+     *   onNonEmpty: ([head, ...tail]) => `head: ${head}, tail: ${tail.length}`
+     * })
+     * assert.deepStrictEqual(match([]), "empty")
+     * assert.deepStrictEqual(match([1, 2, 3]), "head: 1, tail: 2")
+     *
+     * @category pattern matching
+     * @since 2.0.0
+     */
     <B, A, C = B>(options: {
         readonly onEmpty: LazyArg<B>;
         readonly onNonEmpty: (self: NonEmptyReadonlyArray<A>) => C;
     }): (self: ReadonlyArray<A>) => B | C;
+    /**
+     * Matches the elements of an array, applying functions to cases of empty and non-empty arrays.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const match = Array.match({
+     *   onEmpty: () => "empty",
+     *   onNonEmpty: ([head, ...tail]) => `head: ${head}, tail: ${tail.length}`
+     * })
+     * assert.deepStrictEqual(match([]), "empty")
+     * assert.deepStrictEqual(match([1, 2, 3]), "head: 1, tail: 2")
+     *
+     * @category pattern matching
+     * @since 2.0.0
+     */
     <A, B, C = B>(self: ReadonlyArray<A>, options: {
         readonly onEmpty: LazyArg<B>;
         readonly onNonEmpty: (self: NonEmptyReadonlyArray<A>) => C;
@@ -199,10 +257,42 @@ export declare const match: {
  * @since 2.0.0
  */
 export declare const matchLeft: {
+    /**
+     * Matches the elements of an array from the left, applying functions to cases of empty and non-empty arrays.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const matchLeft = Array.matchLeft({
+     *   onEmpty: () => "empty",
+     *   onNonEmpty: (head, tail) => `head: ${head}, tail: ${tail.length}`
+     * })
+     * assert.deepStrictEqual(matchLeft([]), "empty")
+     * assert.deepStrictEqual(matchLeft([1, 2, 3]), "head: 1, tail: 2")
+     *
+     * @category pattern matching
+     * @since 2.0.0
+     */
     <B, A, C = B>(options: {
         readonly onEmpty: LazyArg<B>;
         readonly onNonEmpty: (head: A, tail: Array<A>) => C;
     }): (self: ReadonlyArray<A>) => B | C;
+    /**
+     * Matches the elements of an array from the left, applying functions to cases of empty and non-empty arrays.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const matchLeft = Array.matchLeft({
+     *   onEmpty: () => "empty",
+     *   onNonEmpty: (head, tail) => `head: ${head}, tail: ${tail.length}`
+     * })
+     * assert.deepStrictEqual(matchLeft([]), "empty")
+     * assert.deepStrictEqual(matchLeft([1, 2, 3]), "head: 1, tail: 2")
+     *
+     * @category pattern matching
+     * @since 2.0.0
+     */
     <A, B, C = B>(self: ReadonlyArray<A>, options: {
         readonly onEmpty: LazyArg<B>;
         readonly onNonEmpty: (head: A, tail: Array<A>) => C;
@@ -225,10 +315,42 @@ export declare const matchLeft: {
  * @since 2.0.0
  */
 export declare const matchRight: {
+    /**
+     * Matches the elements of an array from the right, applying functions to cases of empty and non-empty arrays.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const matchRight = Array.matchRight({
+     *   onEmpty: () => "empty",
+     *   onNonEmpty: (init, last) => `init: ${init.length}, last: ${last}`
+     * })
+     * assert.deepStrictEqual(matchRight([]), "empty")
+     * assert.deepStrictEqual(matchRight([1, 2, 3]), "init: 2, last: 3")
+     *
+     * @category pattern matching
+     * @since 2.0.0
+     */
     <B, A, C = B>(options: {
         readonly onEmpty: LazyArg<B>;
         readonly onNonEmpty: (init: Array<A>, last: A) => C;
     }): (self: ReadonlyArray<A>) => B | C;
+    /**
+     * Matches the elements of an array from the right, applying functions to cases of empty and non-empty arrays.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const matchRight = Array.matchRight({
+     *   onEmpty: () => "empty",
+     *   onNonEmpty: (init, last) => `init: ${init.length}, last: ${last}`
+     * })
+     * assert.deepStrictEqual(matchRight([]), "empty")
+     * assert.deepStrictEqual(matchRight([1, 2, 3]), "init: 2, last: 3")
+     *
+     * @category pattern matching
+     * @since 2.0.0
+     */
     <A, B, C = B>(self: ReadonlyArray<A>, options: {
         readonly onEmpty: LazyArg<B>;
         readonly onNonEmpty: (init: Array<A>, last: A) => C;
@@ -248,7 +370,33 @@ export declare const matchRight: {
  * @since 2.0.0
  */
 export declare const prepend: {
+    /**
+     * Prepend an element to the front of an `Iterable`, creating a new `NonEmptyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const original = [2, 3, 4];
+     * const result = Array.prepend(original, 1);
+     * assert.deepStrictEqual(result, [1, 2, 3, 4]);
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <B>(head: B): <A>(self: Iterable<A>) => NonEmptyArray<A | B>;
+    /**
+     * Prepend an element to the front of an `Iterable`, creating a new `NonEmptyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const original = [2, 3, 4];
+     * const result = Array.prepend(original, 1);
+     * assert.deepStrictEqual(result, [1, 2, 3, 4]);
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, head: B): NonEmptyArray<A | B>;
 };
 /**
@@ -267,9 +415,69 @@ export declare const prepend: {
  * @since 2.0.0
  */
 export declare const prependAll: {
+    /**
+     * Prepends the specified prefix array (or iterable) to the beginning of the specified array (or iterable).
+     * If either array is non-empty, the result is also a non-empty array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const prefix = [0, 1];
+     * const array = [2, 3];
+     * const result = Array.prependAll(array, prefix);
+     * assert.deepStrictEqual(result, [0, 1, 2, 3]);
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <S extends Iterable<any>, T extends Iterable<any>>(that: T): (self: S) => ReadonlyArray.OrNonEmpty<S, T, ReadonlyArray.Infer<S> | ReadonlyArray.Infer<T>>;
+    /**
+     * Prepends the specified prefix array (or iterable) to the beginning of the specified array (or iterable).
+     * If either array is non-empty, the result is also a non-empty array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const prefix = [0, 1];
+     * const array = [2, 3];
+     * const result = Array.prependAll(array, prefix);
+     * assert.deepStrictEqual(result, [0, 1, 2, 3]);
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, that: NonEmptyReadonlyArray<B>): NonEmptyArray<A | B>;
+    /**
+     * Prepends the specified prefix array (or iterable) to the beginning of the specified array (or iterable).
+     * If either array is non-empty, the result is also a non-empty array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const prefix = [0, 1];
+     * const array = [2, 3];
+     * const result = Array.prependAll(array, prefix);
+     * assert.deepStrictEqual(result, [0, 1, 2, 3]);
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, that: Iterable<B>): NonEmptyArray<A | B>;
+    /**
+     * Prepends the specified prefix array (or iterable) to the beginning of the specified array (or iterable).
+     * If either array is non-empty, the result is also a non-empty array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const prefix = [0, 1];
+     * const array = [2, 3];
+     * const result = Array.prependAll(array, prefix);
+     * assert.deepStrictEqual(result, [0, 1, 2, 3]);
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, that: Iterable<B>): Array<A | B>;
 };
 /**
@@ -286,7 +494,33 @@ export declare const prependAll: {
  * @since 2.0.0
  */
 export declare const append: {
+    /**
+     * Append an element to the end of an `Iterable`, creating a new `NonEmptyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const original = [1, 2, 3];
+     * const result = Array.append(original, 4);
+     * assert.deepStrictEqual(result, [1, 2, 3, 4]);
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <B>(last: B): <A>(self: Iterable<A>) => NonEmptyArray<A | B>;
+    /**
+     * Append an element to the end of an `Iterable`, creating a new `NonEmptyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const original = [1, 2, 3];
+     * const result = Array.append(original, 4);
+     * assert.deepStrictEqual(result, [1, 2, 3, 4]);
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, last: B): NonEmptyArray<A | B>;
 };
 /**
@@ -297,9 +531,37 @@ export declare const append: {
  * @since 2.0.0
  */
 export declare const appendAll: {
+    /**
+     * Concatenates two arrays (or iterables), combining their elements.
+     * If either array is non-empty, the result is also a non-empty array.
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <S extends Iterable<any>, T extends Iterable<any>>(that: T): (self: S) => ReadonlyArray.OrNonEmpty<S, T, ReadonlyArray.Infer<S> | ReadonlyArray.Infer<T>>;
+    /**
+     * Concatenates two arrays (or iterables), combining their elements.
+     * If either array is non-empty, the result is also a non-empty array.
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, that: NonEmptyReadonlyArray<B>): NonEmptyArray<A | B>;
+    /**
+     * Concatenates two arrays (or iterables), combining their elements.
+     * If either array is non-empty, the result is also a non-empty array.
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, that: Iterable<B>): NonEmptyArray<A | B>;
+    /**
+     * Concatenates two arrays (or iterables), combining their elements.
+     * If either array is non-empty, the result is also a non-empty array.
+     *
+     * @category concatenating
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, that: Iterable<B>): Array<A | B>;
 };
 /**
@@ -324,7 +586,49 @@ export declare const appendAll: {
  * @since 2.0.0
  */
 export declare const scan: {
+    /**
+     * Accumulates values from an `Iterable` starting from the left, storing
+     * each intermediate result in an array. Useful for tracking the progression of
+     * a value through a series of transformations.
+     *
+     * @example
+     * import { Array } from "effect";
+     *
+     * const numbers = [1, 2, 3, 4]
+     * const result = Array.scan(numbers, 0, (acc, value) => acc + value)
+     * assert.deepStrictEqual(result, [0, 1, 3, 6, 10])
+     *
+     * // Explanation:
+     * // This function starts with the initial value (0 in this case)
+     * // and adds each element of the array to this accumulator one by one,
+     * // keeping track of the cumulative sum after each addition.
+     * // Each of these sums is captured in the resulting array.
+     *
+     * @category folding
+     * @since 2.0.0
+     */
     <B, A>(b: B, f: (b: B, a: A) => B): (self: Iterable<A>) => NonEmptyArray<B>;
+    /**
+     * Accumulates values from an `Iterable` starting from the left, storing
+     * each intermediate result in an array. Useful for tracking the progression of
+     * a value through a series of transformations.
+     *
+     * @example
+     * import { Array } from "effect";
+     *
+     * const numbers = [1, 2, 3, 4]
+     * const result = Array.scan(numbers, 0, (acc, value) => acc + value)
+     * assert.deepStrictEqual(result, [0, 1, 3, 6, 10])
+     *
+     * // Explanation:
+     * // This function starts with the initial value (0 in this case)
+     * // and adds each element of the array to this accumulator one by one,
+     * // keeping track of the cumulative sum after each addition.
+     * // Each of these sums is captured in the resulting array.
+     *
+     * @category folding
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, b: B, f: (b: B, a: A) => B): NonEmptyArray<B>;
 };
 /**
@@ -343,7 +647,37 @@ export declare const scan: {
  * @since 2.0.0
  */
 export declare const scanRight: {
+    /**
+     * Accumulates values from an `Iterable` starting from the right, storing
+     * each intermediate result in an array. Useful for tracking the progression of
+     * a value through a series of transformations.
+     *
+     * @example
+     * import { Array } from "effect";
+     *
+     * const numbers = [1, 2, 3, 4]
+     * const result = Array.scanRight(numbers, 0, (acc, value) => acc + value)
+     * assert.deepStrictEqual(result, [10, 9, 7, 4, 0])
+     *
+     * @category folding
+     * @since 2.0.0
+     */
     <B, A>(b: B, f: (b: B, a: A) => B): (self: Iterable<A>) => NonEmptyArray<B>;
+    /**
+     * Accumulates values from an `Iterable` starting from the right, storing
+     * each intermediate result in an array. Useful for tracking the progression of
+     * a value through a series of transformations.
+     *
+     * @example
+     * import { Array } from "effect";
+     *
+     * const numbers = [1, 2, 3, 4]
+     * const result = Array.scanRight(numbers, 0, (acc, value) => acc + value)
+     * assert.deepStrictEqual(result, [10, 9, 7, 4, 0])
+     *
+     * @category folding
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, b: B, f: (b: B, a: A) => B): NonEmptyArray<B>;
 };
 /**
@@ -361,7 +695,35 @@ export declare const scanRight: {
  * @since 2.0.0
  */
 export declare const isArray: {
+    /**
+     * Determine if `unknown` is an Array.
+     *
+     * @param self - The value to check.
+     *
+     * @example
+     * import { isArray } from "effect/Array"
+     *
+     * assert.deepStrictEqual(isArray(null), false);
+     * assert.deepStrictEqual(isArray([1, 2, 3]), true);
+     *
+     * @category guards
+     * @since 2.0.0
+     */
     (self: unknown): self is Array<unknown>;
+    /**
+     * Determine if `unknown` is an Array.
+     *
+     * @param self - The value to check.
+     *
+     * @example
+     * import { isArray } from "effect/Array"
+     *
+     * assert.deepStrictEqual(isArray(null), false);
+     * assert.deepStrictEqual(isArray([1, 2, 3]), true);
+     *
+     * @category guards
+     * @since 2.0.0
+     */
     <T>(self: T): self is Extract<T, ReadonlyArray<any>>;
 };
 /**
@@ -442,7 +804,19 @@ export declare const length: <A>(self: ReadonlyArray<A>) => number;
  * @since 2.0.0
  */
 export declare const get: {
+    /**
+     * This function provides a safe way to read a value at a particular index from a `ReadonlyArray`.
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     (index: number): <A>(self: ReadonlyArray<A>) => Option<A>;
+    /**
+     * This function provides a safe way to read a value at a particular index from a `ReadonlyArray`.
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     <A>(self: ReadonlyArray<A>, index: number): Option<A>;
 };
 /**
@@ -452,7 +826,19 @@ export declare const get: {
  * @category unsafe
  */
 export declare const unsafeGet: {
+    /**
+     * Gets an element unsafely, will throw on out of bounds.
+     *
+     * @since 2.0.0
+     * @category unsafe
+     */
     (index: number): <A>(self: ReadonlyArray<A>) => A;
+    /**
+     * Gets an element unsafely, will throw on out of bounds.
+     *
+     * @since 2.0.0
+     * @category unsafe
+     */
     <A>(self: ReadonlyArray<A>, index: number): A;
 };
 /**
@@ -577,7 +963,37 @@ export declare const initNonEmpty: <A>(self: NonEmptyReadonlyArray<A>) => Array<
  * @since 2.0.0
  */
 export declare const take: {
+    /**
+     * Keep only a max number of elements from the start of an `Iterable`, creating a new `Array`.
+     *
+     * **Note**. `n` is normalized to a non negative integer.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.take(numbers, 3)
+     * assert.deepStrictEqual(result, [1, 2, 3])
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     (n: number): <A>(self: Iterable<A>) => Array<A>;
+    /**
+     * Keep only a max number of elements from the start of an `Iterable`, creating a new `Array`.
+     *
+     * **Note**. `n` is normalized to a non negative integer.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.take(numbers, 3)
+     * assert.deepStrictEqual(result, [1, 2, 3])
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, n: number): Array<A>;
 };
 /**
@@ -596,7 +1012,37 @@ export declare const take: {
  * @since 2.0.0
  */
 export declare const takeRight: {
+    /**
+     * Keep only a max number of elements from the end of an `Iterable`, creating a new `Array`.
+     *
+     * **Note**. `n` is normalized to a non negative integer.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.takeRight(numbers, 3)
+     * assert.deepStrictEqual(result, [3, 4, 5])
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     (n: number): <A>(self: Iterable<A>) => Array<A>;
+    /**
+     * Keep only a max number of elements from the end of an `Iterable`, creating a new `Array`.
+     *
+     * **Note**. `n` is normalized to a non negative integer.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.takeRight(numbers, 3)
+     * assert.deepStrictEqual(result, [3, 4, 5])
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, n: number): Array<A>;
 };
 /**
@@ -619,9 +1065,85 @@ export declare const takeRight: {
  * @since 2.0.0
  */
 export declare const takeWhile: {
+    /**
+     * Calculate the longest initial subarray for which all element satisfy the specified predicate, creating a new `Array`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 3, 2, 4, 1, 2]
+     * const result = Array.takeWhile(numbers, x => x < 4)
+     * assert.deepStrictEqual(result, [1, 3, 2])
+     *
+     * // Explanation:
+     * // - The function starts with the first element (`1`), which is less than `4`, so it adds `1` to the result.
+     * // - The next element (`3`) is also less than `4`, so it adds `3`.
+     * // - The next element (`2`) is again less than `4`, so it adds `2`.
+     * // - The function then encounters `4`, which is not less than `4`. At this point, it stops checking further elements and finalizes the result.
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     <A, B extends A>(refinement: (a: NoInfer<A>, i: number) => a is B): (self: Iterable<A>) => Array<B>;
+    /**
+     * Calculate the longest initial subarray for which all element satisfy the specified predicate, creating a new `Array`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 3, 2, 4, 1, 2]
+     * const result = Array.takeWhile(numbers, x => x < 4)
+     * assert.deepStrictEqual(result, [1, 3, 2])
+     *
+     * // Explanation:
+     * // - The function starts with the first element (`1`), which is less than `4`, so it adds `1` to the result.
+     * // - The next element (`3`) is also less than `4`, so it adds `3`.
+     * // - The next element (`2`) is again less than `4`, so it adds `2`.
+     * // - The function then encounters `4`, which is not less than `4`. At this point, it stops checking further elements and finalizes the result.
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: Iterable<A>) => Array<A>;
+    /**
+     * Calculate the longest initial subarray for which all element satisfy the specified predicate, creating a new `Array`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 3, 2, 4, 1, 2]
+     * const result = Array.takeWhile(numbers, x => x < 4)
+     * assert.deepStrictEqual(result, [1, 3, 2])
+     *
+     * // Explanation:
+     * // - The function starts with the first element (`1`), which is less than `4`, so it adds `1` to the result.
+     * // - The next element (`3`) is also less than `4`, so it adds `3`.
+     * // - The next element (`2`) is again less than `4`, so it adds `2`.
+     * // - The function then encounters `4`, which is not less than `4`. At this point, it stops checking further elements and finalizes the result.
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     <A, B extends A>(self: Iterable<A>, refinement: (a: A, i: number) => a is B): Array<B>;
+    /**
+     * Calculate the longest initial subarray for which all element satisfy the specified predicate, creating a new `Array`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 3, 2, 4, 1, 2]
+     * const result = Array.takeWhile(numbers, x => x < 4)
+     * assert.deepStrictEqual(result, [1, 3, 2])
+     *
+     * // Explanation:
+     * // - The function starts with the first element (`1`), which is less than `4`, so it adds `1` to the result.
+     * // - The next element (`3`) is also less than `4`, so it adds `3`.
+     * // - The next element (`2`) is again less than `4`, so it adds `2`.
+     * // - The function then encounters `4`, which is not less than `4`. At this point, it stops checking further elements and finalizes the result.
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, predicate: (a: A, i: number) => boolean): Array<A>;
 };
 /**
@@ -634,9 +1156,45 @@ export declare const takeWhile: {
  * @since 2.0.0
  */
 export declare const span: {
+    /**
+     * Split an `Iterable` into two parts:
+     *
+     * 1. the longest initial subarray for which all elements satisfy the specified predicate
+     * 2. the remaining elements
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     <A, B extends A>(refinement: (a: NoInfer<A>, i: number) => a is B): (self: Iterable<A>) => [init: Array<B>, rest: Array<Exclude<A, B>>];
+    /**
+     * Split an `Iterable` into two parts:
+     *
+     * 1. the longest initial subarray for which all elements satisfy the specified predicate
+     * 2. the remaining elements
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: Iterable<A>) => [init: Array<A>, rest: Array<A>];
+    /**
+     * Split an `Iterable` into two parts:
+     *
+     * 1. the longest initial subarray for which all elements satisfy the specified predicate
+     * 2. the remaining elements
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     <A, B extends A>(self: Iterable<A>, refinement: (a: A, i: number) => a is B): [init: Array<B>, rest: Array<Exclude<A, B>>];
+    /**
+     * Split an `Iterable` into two parts:
+     *
+     * 1. the longest initial subarray for which all elements satisfy the specified predicate
+     * 2. the remaining elements
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, predicate: (a: A, i: number) => boolean): [init: Array<A>, rest: Array<A>];
 };
 /**
@@ -655,7 +1213,37 @@ export declare const span: {
  * @since 2.0.0
  */
 export declare const drop: {
+    /**
+     * Drop a max number of elements from the start of an `Iterable`, creating a new `Array`.
+     *
+     * **Note**. `n` is normalized to a non negative integer.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.drop(numbers, 2)
+     * assert.deepStrictEqual(result, [3, 4, 5])
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     (n: number): <A>(self: Iterable<A>) => Array<A>;
+    /**
+     * Drop a max number of elements from the start of an `Iterable`, creating a new `Array`.
+     *
+     * **Note**. `n` is normalized to a non negative integer.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.drop(numbers, 2)
+     * assert.deepStrictEqual(result, [3, 4, 5])
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, n: number): Array<A>;
 };
 /**
@@ -674,7 +1262,37 @@ export declare const drop: {
  * @since 2.0.0
  */
 export declare const dropRight: {
+    /**
+     * Drop a max number of elements from the end of an `Iterable`, creating a new `Array`.
+     *
+     * **Note**. `n` is normalized to a non negative integer.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.dropRight(numbers, 2)
+     * assert.deepStrictEqual(result, [1, 2, 3])
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     (n: number): <A>(self: Iterable<A>) => Array<A>;
+    /**
+     * Drop a max number of elements from the end of an `Iterable`, creating a new `Array`.
+     *
+     * **Note**. `n` is normalized to a non negative integer.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.dropRight(numbers, 2)
+     * assert.deepStrictEqual(result, [1, 2, 3])
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, n: number): Array<A>;
 };
 /**
@@ -691,7 +1309,33 @@ export declare const dropRight: {
  * @since 2.0.0
  */
 export declare const dropWhile: {
+    /**
+     * Remove the longest initial subarray for which all element satisfy the specified predicate, creating a new `Array`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.dropWhile(numbers, x => x < 4)
+     * assert.deepStrictEqual(result, [4, 5])
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: Iterable<A>) => Array<A>;
+    /**
+     * Remove the longest initial subarray for which all element satisfy the specified predicate, creating a new `Array`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.dropWhile(numbers, x => x < 4)
+     * assert.deepStrictEqual(result, [4, 5])
+     *
+     * @category getters
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, predicate: (a: A, i: number) => boolean): Array<A>;
 };
 /**
@@ -708,7 +1352,33 @@ export declare const dropWhile: {
  * @since 2.0.0
  */
 export declare const findFirstIndex: {
+    /**
+     * Return the first index for which a predicate holds.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [5, 3, 8, 9]
+     * const result = Array.findFirstIndex(numbers, x => x > 5)
+     * assert.deepStrictEqual(result, Option.some(2))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: Iterable<A>) => Option<number>;
+    /**
+     * Return the first index for which a predicate holds.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [5, 3, 8, 9]
+     * const result = Array.findFirstIndex(numbers, x => x > 5)
+     * assert.deepStrictEqual(result, Option.some(2))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, predicate: (a: A, i: number) => boolean): Option<number>;
 };
 /**
@@ -725,7 +1395,33 @@ export declare const findFirstIndex: {
  * @since 2.0.0
  */
 export declare const findLastIndex: {
+    /**
+     * Return the last index for which a predicate holds.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 3, 8, 9]
+     * const result = Array.findLastIndex(numbers, x => x < 5)
+     * assert.deepStrictEqual(result, Option.some(1))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: Iterable<A>) => Option<number>;
+    /**
+     * Return the last index for which a predicate holds.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 3, 8, 9]
+     * const result = Array.findLastIndex(numbers, x => x < 5)
+     * assert.deepStrictEqual(result, Option.some(1))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, predicate: (a: A, i: number) => boolean): Option<number>;
 };
 /**
@@ -743,11 +1439,95 @@ export declare const findLastIndex: {
  * @since 2.0.0
  */
 export declare const findFirst: {
+    /**
+     * Returns the first element that satisfies the specified
+     * predicate, or `None` if no such element exists.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findFirst(numbers, x => x > 3)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A, B>(f: (a: NoInfer<A>, i: number) => Option<B>): (self: Iterable<A>) => Option<B>;
+    /**
+     * Returns the first element that satisfies the specified
+     * predicate, or `None` if no such element exists.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findFirst(numbers, x => x > 3)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A, B extends A>(refinement: (a: NoInfer<A>, i: number) => a is B): (self: Iterable<A>) => Option<B>;
+    /**
+     * Returns the first element that satisfies the specified
+     * predicate, or `None` if no such element exists.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findFirst(numbers, x => x > 3)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: Iterable<A>) => Option<A>;
+    /**
+     * Returns the first element that satisfies the specified
+     * predicate, or `None` if no such element exists.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findFirst(numbers, x => x > 3)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, f: (a: A, i: number) => Option<B>): Option<B>;
+    /**
+     * Returns the first element that satisfies the specified
+     * predicate, or `None` if no such element exists.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findFirst(numbers, x => x > 3)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A, B extends A>(self: Iterable<A>, refinement: (a: A, i: number) => a is B): Option<B>;
+    /**
+     * Returns the first element that satisfies the specified
+     * predicate, or `None` if no such element exists.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findFirst(numbers, x => x > 3)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, predicate: (a: A, i: number) => boolean): Option<A>;
 };
 /**
@@ -765,11 +1545,95 @@ export declare const findFirst: {
  * @since 2.0.0
  */
 export declare const findLast: {
+    /**
+     * Finds the last element in an iterable collection that satisfies the given predicate or refinement.
+     * Returns an `Option` containing the found element, or `Option.none` if no element matches.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findLast(numbers, n => n % 2 === 0)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A, B>(f: (a: NoInfer<A>, i: number) => Option<B>): (self: Iterable<A>) => Option<B>;
+    /**
+     * Finds the last element in an iterable collection that satisfies the given predicate or refinement.
+     * Returns an `Option` containing the found element, or `Option.none` if no element matches.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findLast(numbers, n => n % 2 === 0)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A, B extends A>(refinement: (a: NoInfer<A>, i: number) => a is B): (self: Iterable<A>) => Option<B>;
+    /**
+     * Finds the last element in an iterable collection that satisfies the given predicate or refinement.
+     * Returns an `Option` containing the found element, or `Option.none` if no element matches.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findLast(numbers, n => n % 2 === 0)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: Iterable<A>) => Option<A>;
+    /**
+     * Finds the last element in an iterable collection that satisfies the given predicate or refinement.
+     * Returns an `Option` containing the found element, or `Option.none` if no element matches.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findLast(numbers, n => n % 2 === 0)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, f: (a: A, i: number) => Option<B>): Option<B>;
+    /**
+     * Finds the last element in an iterable collection that satisfies the given predicate or refinement.
+     * Returns an `Option` containing the found element, or `Option.none` if no element matches.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findLast(numbers, n => n % 2 === 0)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A, B extends A>(self: Iterable<A>, refinement: (a: A, i: number) => a is B): Option<B>;
+    /**
+     * Finds the last element in an iterable collection that satisfies the given predicate or refinement.
+     * Returns an `Option` containing the found element, or `Option.none` if no element matches.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.findLast(numbers, n => n % 2 === 0)
+     * assert.deepStrictEqual(result, Option.some(4))
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, predicate: (a: A, i: number) => boolean): Option<A>;
 };
 /**
@@ -786,7 +1650,33 @@ export declare const findLast: {
  * @since 2.0.0
  */
 export declare const insertAt: {
+    /**
+     * Insert an element at the specified index, creating a new `NonEmptyArray`,
+     * or return `None` if the index is out of bounds.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const letters = ['a', 'b', 'c', 'e']
+     * const result = Array.insertAt(letters, 3, 'd')
+     * assert.deepStrictEqual(result, Option.some(['a', 'b', 'c', 'd', 'e']))
+     *
+     * @since 2.0.0
+     */
     <B>(i: number, b: B): <A>(self: Iterable<A>) => Option<NonEmptyArray<A | B>>;
+    /**
+     * Insert an element at the specified index, creating a new `NonEmptyArray`,
+     * or return `None` if the index is out of bounds.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const letters = ['a', 'b', 'c', 'e']
+     * const result = Array.insertAt(letters, 3, 'd')
+     * assert.deepStrictEqual(result, Option.some(['a', 'b', 'c', 'd', 'e']))
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, i: number, b: B): Option<NonEmptyArray<A | B>>;
 };
 /**
@@ -803,7 +1693,33 @@ export declare const insertAt: {
  * @since 2.0.0
  */
 export declare const replace: {
+    /**
+     * Change the element at the specified index, creating a new `Array`,
+     * or return a copy of the input if the index is out of bounds.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const letters = ['a', 'b', 'c', 'd']
+     * const result = Array.replace(letters, 1, 'z')
+     * assert.deepStrictEqual(result, ['a', 'z', 'c', 'd'])
+     *
+     * @since 2.0.0
+     */
     <B>(i: number, b: B): <A, S extends Iterable<A> = Iterable<A>>(self: S) => ReadonlyArray.With<S, ReadonlyArray.Infer<S> | B>;
+    /**
+     * Change the element at the specified index, creating a new `Array`,
+     * or return a copy of the input if the index is out of bounds.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const letters = ['a', 'b', 'c', 'd']
+     * const result = Array.replace(letters, 1, 'z')
+     * assert.deepStrictEqual(result, ['a', 'z', 'c', 'd'])
+     *
+     * @since 2.0.0
+     */
     <A, B, S extends Iterable<A> = Iterable<A>>(self: S, i: number, b: B): ReadonlyArray.With<S, ReadonlyArray.Infer<S> | B>;
 };
 /**
@@ -819,7 +1735,31 @@ export declare const replace: {
  * @since 2.0.0
  */
 export declare const replaceOption: {
+    /**
+     * Replaces an element in an array with the given value, returning an option of the updated array.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.replaceOption(numbers, 1, 4)
+     * assert.deepStrictEqual(result, Option.some([1, 4, 3]))
+     *
+     * @since 2.0.0
+     */
     <B>(i: number, b: B): <A, S extends Iterable<A> = Iterable<A>>(self: S) => Option<ReadonlyArray.With<S, ReadonlyArray.Infer<S> | B>>;
+    /**
+     * Replaces an element in an array with the given value, returning an option of the updated array.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.replaceOption(numbers, 1, 4)
+     * assert.deepStrictEqual(result, Option.some([1, 4, 3]))
+     *
+     * @since 2.0.0
+     */
     <A, B, S extends Iterable<A> = Iterable<A>>(self: S, i: number, b: B): Option<ReadonlyArray.With<S, ReadonlyArray.Infer<S> | B>>;
 };
 /**
@@ -836,7 +1776,33 @@ export declare const replaceOption: {
  * @since 2.0.0
  */
 export declare const modify: {
+    /**
+     * Apply a function to the element at the specified index, creating a new `Array`,
+     * or return a copy of the input if the index is out of bounds.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4]
+     * const result = Array.modify(numbers, 2, (n) => n * 2)
+     * assert.deepStrictEqual(result, [1, 2, 6, 4])
+     *
+     * @since 2.0.0
+     */
     <A, B, S extends Iterable<A> = Iterable<A>>(i: number, f: (a: ReadonlyArray.Infer<S>) => B): (self: S) => ReadonlyArray.With<S, ReadonlyArray.Infer<S> | B>;
+    /**
+     * Apply a function to the element at the specified index, creating a new `Array`,
+     * or return a copy of the input if the index is out of bounds.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4]
+     * const result = Array.modify(numbers, 2, (n) => n * 2)
+     * assert.deepStrictEqual(result, [1, 2, 6, 4])
+     *
+     * @since 2.0.0
+     */
     <A, B, S extends Iterable<A> = Iterable<A>>(self: S, i: number, f: (a: ReadonlyArray.Infer<S>) => B): ReadonlyArray.With<S, ReadonlyArray.Infer<S> | B>;
 };
 /**
@@ -856,7 +1822,39 @@ export declare const modify: {
  * @since 2.0.0
  */
 export declare const modifyOption: {
+    /**
+     * Apply a function to the element at the specified index, creating a new `Array`,
+     * or return `None` if the index is out of bounds.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4]
+     * const result = Array.modifyOption(numbers, 2, (n) => n * 2)
+     * assert.deepStrictEqual(result, Option.some([1, 2, 6, 4]))
+     *
+     * const outOfBoundsResult = Array.modifyOption(numbers, 5, (n) => n * 2)
+     * assert.deepStrictEqual(outOfBoundsResult, Option.none())
+     *
+     * @since 2.0.0
+     */
     <A, B, S extends Iterable<A> = Iterable<A>>(i: number, f: (a: ReadonlyArray.Infer<S>) => B): (self: S) => Option<ReadonlyArray.With<S, ReadonlyArray.Infer<S> | B>>;
+    /**
+     * Apply a function to the element at the specified index, creating a new `Array`,
+     * or return `None` if the index is out of bounds.
+     *
+     * @example
+     * import { Array, Option } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4]
+     * const result = Array.modifyOption(numbers, 2, (n) => n * 2)
+     * assert.deepStrictEqual(result, Option.some([1, 2, 6, 4]))
+     *
+     * const outOfBoundsResult = Array.modifyOption(numbers, 5, (n) => n * 2)
+     * assert.deepStrictEqual(outOfBoundsResult, Option.none())
+     *
+     * @since 2.0.0
+     */
     <A, B, S extends Iterable<A> = Iterable<A>>(self: S, i: number, f: (a: ReadonlyArray.Infer<S>) => B): Option<ReadonlyArray.With<S, ReadonlyArray.Infer<S> | B>>;
 };
 /**
@@ -876,7 +1874,39 @@ export declare const modifyOption: {
  * @since 2.0.0
  */
 export declare const remove: {
+    /**
+     * Delete the element at the specified index, creating a new `Array`,
+     * or return a copy of the input if the index is out of bounds.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4]
+     * const result = Array.remove(numbers, 2)
+     * assert.deepStrictEqual(result, [1, 2, 4])
+     *
+     * const outOfBoundsResult = Array.remove(numbers, 5)
+     * assert.deepStrictEqual(outOfBoundsResult, [1, 2, 3, 4])
+     *
+     * @since 2.0.0
+     */
     (i: number): <A>(self: Iterable<A>) => Array<A>;
+    /**
+     * Delete the element at the specified index, creating a new `Array`,
+     * or return a copy of the input if the index is out of bounds.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4]
+     * const result = Array.remove(numbers, 2)
+     * assert.deepStrictEqual(result, [1, 2, 4])
+     *
+     * const outOfBoundsResult = Array.remove(numbers, 5)
+     * assert.deepStrictEqual(outOfBoundsResult, [1, 2, 3, 4])
+     *
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, i: number): Array<A>;
 };
 /**
@@ -901,8 +1931,29 @@ export declare const reverse: <S extends Iterable<any> | NonEmptyReadonlyArray<a
  * @since 2.0.0
  */
 export declare const sort: {
+    /**
+     * Create a new array with elements sorted in increasing order based on the specified comparator.
+     * If the input is a `NonEmptyReadonlyArray`, the output will also be a `NonEmptyReadonlyArray`.
+     *
+     * @category sorting
+     * @since 2.0.0
+     */
     <B>(O: Order.Order<B>): <A extends B, S extends ReadonlyArray<A> | Iterable<A>>(self: S) => ReadonlyArray.With<S, ReadonlyArray.Infer<S>>;
+    /**
+     * Create a new array with elements sorted in increasing order based on the specified comparator.
+     * If the input is a `NonEmptyReadonlyArray`, the output will also be a `NonEmptyReadonlyArray`.
+     *
+     * @category sorting
+     * @since 2.0.0
+     */
     <A extends B, B>(self: NonEmptyReadonlyArray<A>, O: Order.Order<B>): NonEmptyArray<A>;
+    /**
+     * Create a new array with elements sorted in increasing order based on the specified comparator.
+     * If the input is a `NonEmptyReadonlyArray`, the output will also be a `NonEmptyReadonlyArray`.
+     *
+     * @category sorting
+     * @since 2.0.0
+     */
     <A extends B, B>(self: Iterable<A>, O: Order.Order<B>): Array<A>;
 };
 /**
@@ -926,8 +1977,68 @@ export declare const sort: {
  * @category elements
  */
 export declare const sortWith: {
+    /**
+     * Sorts an array based on a provided mapping function and order. The mapping
+     * function transforms the elements into a value that can be compared, and the
+     * order defines how those values should be sorted.
+     *
+     * @example
+     * import { Array, Order } from "effect"
+     *
+     * const strings = ["aaa", "b", "cc"]
+     * const result = Array.sortWith(strings, (s) => s.length, Order.number)
+     * assert.deepStrictEqual(result, ["b", "cc", "aaa"])
+     *
+     * // Explanation:
+     * // The array of strings is sorted based on their lengths. The mapping function `(s) => s.length`
+     * // converts each string into its length, and the `Order.number` specifies that the lengths should
+     * // be sorted in ascending order.
+     *
+     * @since 2.0.0
+     * @category elements
+     */
     <S extends Iterable<any> | NonEmptyReadonlyArray<any>, B>(f: (a: ReadonlyArray.Infer<S>) => B, order: Order.Order<B>): (self: S) => ReadonlyArray.With<S, ReadonlyArray.Infer<S>>;
+    /**
+     * Sorts an array based on a provided mapping function and order. The mapping
+     * function transforms the elements into a value that can be compared, and the
+     * order defines how those values should be sorted.
+     *
+     * @example
+     * import { Array, Order } from "effect"
+     *
+     * const strings = ["aaa", "b", "cc"]
+     * const result = Array.sortWith(strings, (s) => s.length, Order.number)
+     * assert.deepStrictEqual(result, ["b", "cc", "aaa"])
+     *
+     * // Explanation:
+     * // The array of strings is sorted based on their lengths. The mapping function `(s) => s.length`
+     * // converts each string into its length, and the `Order.number` specifies that the lengths should
+     * // be sorted in ascending order.
+     *
+     * @since 2.0.0
+     * @category elements
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, f: (a: A) => B, O: Order.Order<B>): NonEmptyArray<A>;
+    /**
+     * Sorts an array based on a provided mapping function and order. The mapping
+     * function transforms the elements into a value that can be compared, and the
+     * order defines how those values should be sorted.
+     *
+     * @example
+     * import { Array, Order } from "effect"
+     *
+     * const strings = ["aaa", "b", "cc"]
+     * const result = Array.sortWith(strings, (s) => s.length, Order.number)
+     * assert.deepStrictEqual(result, ["b", "cc", "aaa"])
+     *
+     * // Explanation:
+     * // The array of strings is sorted based on their lengths. The mapping function `(s) => s.length`
+     * // converts each string into its length, and the `Order.number` specifies that the lengths should
+     * // be sorted in ascending order.
+     *
+     * @since 2.0.0
+     * @category elements
+     */
     <A, B>(self: Iterable<A>, f: (a: A) => B, order: Order.Order<B>): Array<A>;
 };
 /**
@@ -980,9 +2091,73 @@ export declare const sortBy: <S extends Iterable<any> | NonEmptyReadonlyArray<an
  * @since 2.0.0
  */
 export declare const zip: {
+    /**
+     * Takes two `Iterable`s and returns an `Array` of corresponding pairs.
+     * If one input `Iterable` is short, excess elements of the
+     * longer `Iterable` are discarded.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = ['a', 'b']
+     * const result = Array.zip(array1, array2)
+     * assert.deepStrictEqual(result, [[1, 'a'], [2, 'b']])
+     *
+     * @category zipping
+     * @since 2.0.0
+     */
     <B>(that: NonEmptyReadonlyArray<B>): <A>(self: NonEmptyReadonlyArray<A>) => NonEmptyArray<[A, B]>;
+    /**
+     * Takes two `Iterable`s and returns an `Array` of corresponding pairs.
+     * If one input `Iterable` is short, excess elements of the
+     * longer `Iterable` are discarded.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = ['a', 'b']
+     * const result = Array.zip(array1, array2)
+     * assert.deepStrictEqual(result, [[1, 'a'], [2, 'b']])
+     *
+     * @category zipping
+     * @since 2.0.0
+     */
     <B>(that: Iterable<B>): <A>(self: Iterable<A>) => Array<[A, B]>;
+    /**
+     * Takes two `Iterable`s and returns an `Array` of corresponding pairs.
+     * If one input `Iterable` is short, excess elements of the
+     * longer `Iterable` are discarded.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = ['a', 'b']
+     * const result = Array.zip(array1, array2)
+     * assert.deepStrictEqual(result, [[1, 'a'], [2, 'b']])
+     *
+     * @category zipping
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, that: NonEmptyReadonlyArray<B>): NonEmptyArray<[A, B]>;
+    /**
+     * Takes two `Iterable`s and returns an `Array` of corresponding pairs.
+     * If one input `Iterable` is short, excess elements of the
+     * longer `Iterable` are discarded.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = ['a', 'b']
+     * const result = Array.zip(array1, array2)
+     * assert.deepStrictEqual(result, [[1, 'a'], [2, 'b']])
+     *
+     * @category zipping
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, that: Iterable<B>): Array<[A, B]>;
 };
 /**
@@ -1001,9 +2176,69 @@ export declare const zip: {
  * @since 2.0.0
  */
 export declare const zipWith: {
+    /**
+     * Apply a function to pairs of elements at the same index in two `Iterable`s, collecting the results in a new `Array`. If one
+     * input `Iterable` is short, excess elements of the longer `Iterable` are discarded.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = [4, 5, 6]
+     * const result = Array.zipWith(array1, array2, (a, b) => a + b)
+     * assert.deepStrictEqual(result, [5, 7, 9])
+     *
+     * @category zipping
+     * @since 2.0.0
+     */
     <B, A, C>(that: NonEmptyReadonlyArray<B>, f: (a: A, b: B) => C): (self: NonEmptyReadonlyArray<A>) => NonEmptyArray<C>;
+    /**
+     * Apply a function to pairs of elements at the same index in two `Iterable`s, collecting the results in a new `Array`. If one
+     * input `Iterable` is short, excess elements of the longer `Iterable` are discarded.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = [4, 5, 6]
+     * const result = Array.zipWith(array1, array2, (a, b) => a + b)
+     * assert.deepStrictEqual(result, [5, 7, 9])
+     *
+     * @category zipping
+     * @since 2.0.0
+     */
     <B, A, C>(that: Iterable<B>, f: (a: A, b: B) => C): (self: Iterable<A>) => Array<C>;
+    /**
+     * Apply a function to pairs of elements at the same index in two `Iterable`s, collecting the results in a new `Array`. If one
+     * input `Iterable` is short, excess elements of the longer `Iterable` are discarded.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = [4, 5, 6]
+     * const result = Array.zipWith(array1, array2, (a, b) => a + b)
+     * assert.deepStrictEqual(result, [5, 7, 9])
+     *
+     * @category zipping
+     * @since 2.0.0
+     */
     <A, B, C>(self: NonEmptyReadonlyArray<A>, that: NonEmptyReadonlyArray<B>, f: (a: A, b: B) => C): NonEmptyArray<C>;
+    /**
+     * Apply a function to pairs of elements at the same index in two `Iterable`s, collecting the results in a new `Array`. If one
+     * input `Iterable` is short, excess elements of the longer `Iterable` are discarded.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = [4, 5, 6]
+     * const result = Array.zipWith(array1, array2, (a, b) => a + b)
+     * assert.deepStrictEqual(result, [5, 7, 9])
+     *
+     * @category zipping
+     * @since 2.0.0
+     */
     <B, A, C>(self: Iterable<A>, that: Iterable<B>, f: (a: A, b: B) => C): Array<C>;
 };
 /**
@@ -1032,8 +2267,47 @@ export declare const unzip: <S extends Iterable<readonly [any, any]> | NonEmptyR
  * @since 2.0.0
  */
 export declare const intersperse: {
+    /**
+     * Places an element in between members of an `Iterable`.
+     * If the input is a non-empty array, the result is also a non-empty array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.intersperse(numbers, 0)
+     * assert.deepStrictEqual(result, [1, 0, 2, 0, 3])
+     *
+     * @since 2.0.0
+     */
     <B>(middle: B): <S extends Iterable<any>>(self: S) => ReadonlyArray.With<S, ReadonlyArray.Infer<S> | B>;
+    /**
+     * Places an element in between members of an `Iterable`.
+     * If the input is a non-empty array, the result is also a non-empty array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.intersperse(numbers, 0)
+     * assert.deepStrictEqual(result, [1, 0, 2, 0, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, middle: B): NonEmptyArray<A | B>;
+    /**
+     * Places an element in between members of an `Iterable`.
+     * If the input is a non-empty array, the result is also a non-empty array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.intersperse(numbers, 0)
+     * assert.deepStrictEqual(result, [1, 0, 2, 0, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, middle: B): Array<A | B>;
 };
 /**
@@ -1048,7 +2322,29 @@ export declare const intersperse: {
  * @since 2.0.0
  */
 export declare const modifyNonEmptyHead: {
+    /**
+     * Apply a function to the head, creating a new `NonEmptyReadonlyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.modifyNonEmptyHead([1, 2, 3], n => n * 10)
+     * assert.deepStrictEqual(result, [10, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(f: (a: A) => B): (self: NonEmptyReadonlyArray<A>) => NonEmptyArray<A | B>;
+    /**
+     * Apply a function to the head, creating a new `NonEmptyReadonlyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.modifyNonEmptyHead([1, 2, 3], n => n * 10)
+     * assert.deepStrictEqual(result, [10, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, f: (a: A) => B): NonEmptyArray<A | B>;
 };
 /**
@@ -1063,7 +2359,29 @@ export declare const modifyNonEmptyHead: {
  * @since 2.0.0
  */
 export declare const setNonEmptyHead: {
+    /**
+     * Change the head, creating a new `NonEmptyReadonlyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.setNonEmptyHead([1, 2, 3], 10)
+     * assert.deepStrictEqual(result, [10, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <B>(b: B): <A>(self: NonEmptyReadonlyArray<A>) => NonEmptyArray<A | B>;
+    /**
+     * Change the head, creating a new `NonEmptyReadonlyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.setNonEmptyHead([1, 2, 3], 10)
+     * assert.deepStrictEqual(result, [10, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, b: B): NonEmptyArray<A | B>;
 };
 /**
@@ -1078,7 +2396,29 @@ export declare const setNonEmptyHead: {
  * @since 2.0.0
  */
 export declare const modifyNonEmptyLast: {
+    /**
+     * Apply a function to the last element, creating a new `NonEmptyReadonlyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.modifyNonEmptyLast([1, 2, 3], n => n * 2)
+     * assert.deepStrictEqual(result, [1, 2, 6])
+     *
+     * @since 2.0.0
+     */
     <A, B>(f: (a: A) => B): (self: NonEmptyReadonlyArray<A>) => NonEmptyArray<A | B>;
+    /**
+     * Apply a function to the last element, creating a new `NonEmptyReadonlyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.modifyNonEmptyLast([1, 2, 3], n => n * 2)
+     * assert.deepStrictEqual(result, [1, 2, 6])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, f: (a: A) => B): NonEmptyArray<A | B>;
 };
 /**
@@ -1093,7 +2433,29 @@ export declare const modifyNonEmptyLast: {
  * @since 2.0.0
  */
 export declare const setNonEmptyLast: {
+    /**
+     * Change the last element, creating a new `NonEmptyReadonlyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.setNonEmptyLast([1, 2, 3], 4)
+     * assert.deepStrictEqual(result, [1, 2, 4])
+     *
+     * @since 2.0.0
+     */
     <B>(b: B): <A>(self: NonEmptyReadonlyArray<A>) => NonEmptyArray<A | B>;
+    /**
+     * Change the last element, creating a new `NonEmptyReadonlyArray`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.setNonEmptyLast([1, 2, 3], 4)
+     * assert.deepStrictEqual(result, [1, 2, 4])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, b: B): NonEmptyArray<A | B>;
 };
 /**
@@ -1110,8 +2472,47 @@ export declare const setNonEmptyLast: {
  * @since 2.0.0
  */
 export declare const rotate: {
+    /**
+     * Rotate an `Iterable` by `n` steps.
+     * If the input is a non-empty array, the result is also a non-empty array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const letters = ['a', 'b', 'c', 'd']
+     * const result = Array.rotate(letters, 2)
+     * assert.deepStrictEqual(result, ['c', 'd', 'a', 'b'])
+     *
+     * @since 2.0.0
+     */
     (n: number): <S extends Iterable<any>>(self: S) => ReadonlyArray.With<S, ReadonlyArray.Infer<S>>;
+    /**
+     * Rotate an `Iterable` by `n` steps.
+     * If the input is a non-empty array, the result is also a non-empty array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const letters = ['a', 'b', 'c', 'd']
+     * const result = Array.rotate(letters, 2)
+     * assert.deepStrictEqual(result, ['c', 'd', 'a', 'b'])
+     *
+     * @since 2.0.0
+     */
     <A>(self: NonEmptyReadonlyArray<A>, n: number): NonEmptyArray<A>;
+    /**
+     * Rotate an `Iterable` by `n` steps.
+     * If the input is a non-empty array, the result is also a non-empty array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const letters = ['a', 'b', 'c', 'd']
+     * const result = Array.rotate(letters, 2)
+     * assert.deepStrictEqual(result, ['c', 'd', 'a', 'b'])
+     *
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, n: number): Array<A>;
 };
 /**
@@ -1147,7 +2548,33 @@ export declare const containsWith: <A>(isEquivalent: (self: A, that: A) => boole
  * @since 2.0.0
  */
 export declare const contains: {
+    /**
+     * Returns a function that checks if a `ReadonlyArray` contains a given value using the default `Equivalence`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const letters = ['a', 'b', 'c', 'd']
+     * const result = Array.contains('c')(letters)
+     * assert.deepStrictEqual(result, true)
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(a: A): (self: Iterable<A>) => boolean;
+    /**
+     * Returns a function that checks if a `ReadonlyArray` contains a given value using the default `Equivalence`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const letters = ['a', 'b', 'c', 'd']
+     * const result = Array.contains('c')(letters)
+     * assert.deepStrictEqual(result, true)
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, a: A): boolean;
 };
 /**
@@ -1170,8 +2597,65 @@ export declare const contains: {
  * @since 2.0.0
  */
 export declare const chop: {
+    /**
+     * A useful recursion pattern for processing an `Iterable` to produce a new `Array`, often used for "chopping" up the input
+     * `Iterable`. Typically chop is called with some function that will consume an initial prefix of the `Iterable` and produce a
+     * value and the rest of the `Array`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.chop(numbers, (as): [number, Array<number>] => [as[0] * 2, as.slice(1)])
+     * assert.deepStrictEqual(result, [2, 4, 6, 8, 10])
+     *
+     * // Explanation:
+     * // The `chopFunction` takes the first element of the array, doubles it, and then returns it along with the rest of the array.
+     * // The `chop` function applies this `chopFunction` recursively to the input array `[1, 2, 3, 4, 5]`,
+     * // resulting in a new array `[2, 4, 6, 8, 10]`.
+     *
+     * @since 2.0.0
+     */
     <S extends Iterable<any>, B>(f: (as: NonEmptyReadonlyArray<ReadonlyArray.Infer<S>>) => readonly [B, ReadonlyArray<ReadonlyArray.Infer<S>>]): (self: S) => ReadonlyArray.With<S, ReadonlyArray.Infer<S>>;
+    /**
+     * A useful recursion pattern for processing an `Iterable` to produce a new `Array`, often used for "chopping" up the input
+     * `Iterable`. Typically chop is called with some function that will consume an initial prefix of the `Iterable` and produce a
+     * value and the rest of the `Array`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.chop(numbers, (as): [number, Array<number>] => [as[0] * 2, as.slice(1)])
+     * assert.deepStrictEqual(result, [2, 4, 6, 8, 10])
+     *
+     * // Explanation:
+     * // The `chopFunction` takes the first element of the array, doubles it, and then returns it along with the rest of the array.
+     * // The `chop` function applies this `chopFunction` recursively to the input array `[1, 2, 3, 4, 5]`,
+     * // resulting in a new array `[2, 4, 6, 8, 10]`.
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, f: (as: NonEmptyReadonlyArray<A>) => readonly [B, ReadonlyArray<A>]): NonEmptyArray<B>;
+    /**
+     * A useful recursion pattern for processing an `Iterable` to produce a new `Array`, often used for "chopping" up the input
+     * `Iterable`. Typically chop is called with some function that will consume an initial prefix of the `Iterable` and produce a
+     * value and the rest of the `Array`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.chop(numbers, (as): [number, Array<number>] => [as[0] * 2, as.slice(1)])
+     * assert.deepStrictEqual(result, [2, 4, 6, 8, 10])
+     *
+     * // Explanation:
+     * // The `chopFunction` takes the first element of the array, doubles it, and then returns it along with the rest of the array.
+     * // The `chop` function applies this `chopFunction` recursively to the input array `[1, 2, 3, 4, 5]`,
+     * // resulting in a new array `[2, 4, 6, 8, 10]`.
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, f: (as: NonEmptyReadonlyArray<A>) => readonly [B, ReadonlyArray<A>]): Array<B>;
 };
 /**
@@ -1189,7 +2673,35 @@ export declare const chop: {
  * @since 2.0.0
  */
 export declare const splitAt: {
+    /**
+     * Splits an `Iterable` into two segments, with the first segment containing a maximum of `n` elements.
+     * The value of `n` can be `0`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.splitAt(numbers, 3)
+     * assert.deepStrictEqual(result, [[1, 2, 3], [4, 5]])
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     (n: number): <A>(self: Iterable<A>) => [beforeIndex: Array<A>, fromIndex: Array<A>];
+    /**
+     * Splits an `Iterable` into two segments, with the first segment containing a maximum of `n` elements.
+     * The value of `n` can be `0`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.splitAt(numbers, 3)
+     * assert.deepStrictEqual(result, [[1, 2, 3], [4, 5]])
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, n: number): [beforeIndex: Array<A>, fromIndex: Array<A>];
 };
 /**
@@ -1206,7 +2718,33 @@ export declare const splitAt: {
  * @since 2.0.0
  */
 export declare const splitNonEmptyAt: {
+    /**
+     * Splits a `NonEmptyReadonlyArray` into two segments, with the first segment containing a maximum of `n` elements.
+     * The value of `n` must be `>= 1`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.splitNonEmptyAt(["a", "b", "c", "d", "e"], 3)
+     * assert.deepStrictEqual(result, [["a", "b", "c"], ["d", "e"]])
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     (n: number): <A>(self: NonEmptyReadonlyArray<A>) => [beforeIndex: NonEmptyArray<A>, fromIndex: Array<A>];
+    /**
+     * Splits a `NonEmptyReadonlyArray` into two segments, with the first segment containing a maximum of `n` elements.
+     * The value of `n` must be `>= 1`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.splitNonEmptyAt(["a", "b", "c", "d", "e"], 3)
+     * assert.deepStrictEqual(result, [["a", "b", "c"], ["d", "e"]])
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     <A>(self: NonEmptyReadonlyArray<A>, n: number): [beforeIndex: NonEmptyArray<A>, fromIndex: Array<A>];
 };
 /**
@@ -1223,7 +2761,33 @@ export declare const splitNonEmptyAt: {
  * @category splitting
  */
 export declare const split: {
+    /**
+     * Splits this iterable into `n` equally sized arrays.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5, 6, 7, 8]
+     * const result = Array.split(numbers, 3)
+     * assert.deepStrictEqual(result, [[1, 2, 3], [4, 5, 6], [7, 8]])
+     *
+     * @since 2.0.0
+     * @category splitting
+     */
     (n: number): <A>(self: Iterable<A>) => Array<Array<A>>;
+    /**
+     * Splits this iterable into `n` equally sized arrays.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5, 6, 7, 8]
+     * const result = Array.split(numbers, 3)
+     * assert.deepStrictEqual(result, [[1, 2, 3], [4, 5, 6], [7, 8]])
+     *
+     * @since 2.0.0
+     * @category splitting
+     */
     <A>(self: Iterable<A>, n: number): Array<Array<A>>;
 };
 /**
@@ -1241,7 +2805,35 @@ export declare const split: {
  * @since 2.0.0
  */
 export declare const splitWhere: {
+    /**
+     * Splits this iterable on the first element that matches this predicate.
+     * Returns a tuple containing two arrays: the first one is before the match, and the second one is from the match onward.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.splitWhere(numbers, n => n > 3)
+     * assert.deepStrictEqual(result, [[1, 2, 3], [4, 5]])
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: Iterable<A>) => [beforeMatch: Array<A>, fromMatch: Array<A>];
+    /**
+     * Splits this iterable on the first element that matches this predicate.
+     * Returns a tuple containing two arrays: the first one is before the match, and the second one is from the match onward.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.splitWhere(numbers, n => n > 3)
+     * assert.deepStrictEqual(result, [[1, 2, 3], [4, 5]])
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, predicate: (a: A, i: number) => boolean): [beforeMatch: Array<A>, fromMatch: Array<A>];
 };
 /**
@@ -1257,7 +2849,31 @@ export declare const splitWhere: {
  * @since 2.0.0
  */
 export declare const copy: {
+    /**
+     * Copies an array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const copy = Array.copy(numbers)
+     * assert.deepStrictEqual(copy, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A>(self: NonEmptyReadonlyArray<A>): NonEmptyArray<A>;
+    /**
+     * Copies an array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const copy = Array.copy(numbers)
+     * assert.deepStrictEqual(copy, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A>(self: ReadonlyArray<A>): Array<A>;
 };
 /**
@@ -1288,8 +2904,89 @@ export declare const copy: {
  * @since 2.0.0
  */
 export declare const chunksOf: {
+    /**
+     * Splits an `Iterable` into length-`n` pieces. The last piece will be shorter if `n` does not evenly divide the length of
+     * the `Iterable`. Note that `chunksOf(n)([])` is `[]`, not `[[]]`. This is intentional, and is consistent with a recursive
+     * definition of `chunksOf`; it satisfies the property that
+     *
+     * ```ts
+     * chunksOf(n)(xs).concat(chunksOf(n)(ys)) == chunksOf(n)(xs.concat(ys)))
+     * ```
+     *
+     * whenever `n` evenly divides the length of `self`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.chunksOf(numbers, 2)
+     * assert.deepStrictEqual(result, [[1, 2], [3, 4], [5]])
+     *
+     * // Explanation:
+     * // The `chunksOf` function takes an array of numbers `[1, 2, 3, 4, 5]` and a number `2`.
+     * // It splits the array into chunks of length 2. Since the array length is not evenly divisible by 2,
+     * // the last chunk contains the remaining elements.
+     * // The result is `[[1, 2], [3, 4], [5]]`.
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     (n: number): <S extends Iterable<any>>(self: S) => ReadonlyArray.With<S, NonEmptyArray<ReadonlyArray.Infer<S>>>;
+    /**
+     * Splits an `Iterable` into length-`n` pieces. The last piece will be shorter if `n` does not evenly divide the length of
+     * the `Iterable`. Note that `chunksOf(n)([])` is `[]`, not `[[]]`. This is intentional, and is consistent with a recursive
+     * definition of `chunksOf`; it satisfies the property that
+     *
+     * ```ts
+     * chunksOf(n)(xs).concat(chunksOf(n)(ys)) == chunksOf(n)(xs.concat(ys)))
+     * ```
+     *
+     * whenever `n` evenly divides the length of `self`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.chunksOf(numbers, 2)
+     * assert.deepStrictEqual(result, [[1, 2], [3, 4], [5]])
+     *
+     * // Explanation:
+     * // The `chunksOf` function takes an array of numbers `[1, 2, 3, 4, 5]` and a number `2`.
+     * // It splits the array into chunks of length 2. Since the array length is not evenly divisible by 2,
+     * // the last chunk contains the remaining elements.
+     * // The result is `[[1, 2], [3, 4], [5]]`.
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     <A>(self: NonEmptyReadonlyArray<A>, n: number): NonEmptyArray<NonEmptyArray<A>>;
+    /**
+     * Splits an `Iterable` into length-`n` pieces. The last piece will be shorter if `n` does not evenly divide the length of
+     * the `Iterable`. Note that `chunksOf(n)([])` is `[]`, not `[[]]`. This is intentional, and is consistent with a recursive
+     * definition of `chunksOf`; it satisfies the property that
+     *
+     * ```ts
+     * chunksOf(n)(xs).concat(chunksOf(n)(ys)) == chunksOf(n)(xs.concat(ys)))
+     * ```
+     *
+     * whenever `n` evenly divides the length of `self`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3, 4, 5]
+     * const result = Array.chunksOf(numbers, 2)
+     * assert.deepStrictEqual(result, [[1, 2], [3, 4], [5]])
+     *
+     * // Explanation:
+     * // The `chunksOf` function takes an array of numbers `[1, 2, 3, 4, 5]` and a number `2`.
+     * // It splits the array into chunks of length 2. Since the array length is not evenly divisible by 2,
+     * // the last chunk contains the remaining elements.
+     * // The result is `[[1, 2], [3, 4], [5]]`.
+     *
+     * @category splitting
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, n: number): Array<NonEmptyArray<A>>;
 };
 /**
@@ -1305,7 +3002,31 @@ export declare const chunksOf: {
  * @since 2.0.0
  */
 export declare const groupWith: {
+    /**
+     * Group equal, consecutive elements of a `NonEmptyReadonlyArray` into `NonEmptyArray`s using the provided `isEquivalent` function.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.groupWith(["a", "a", "b", "b", "b", "c", "a"], (x, y) => x === y)
+     * assert.deepStrictEqual(result, [["a", "a"], ["b", "b", "b"], ["c"], ["a"]])
+     *
+     * @category grouping
+     * @since 2.0.0
+     */
     <A>(isEquivalent: (self: A, that: A) => boolean): (self: NonEmptyReadonlyArray<A>) => NonEmptyArray<NonEmptyArray<A>>;
+    /**
+     * Group equal, consecutive elements of a `NonEmptyReadonlyArray` into `NonEmptyArray`s using the provided `isEquivalent` function.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const result = Array.groupWith(["a", "a", "b", "b", "b", "c", "a"], (x, y) => x === y)
+     * assert.deepStrictEqual(result, [["a", "a"], ["b", "b", "b"], ["c"], ["a"]])
+     *
+     * @category grouping
+     * @since 2.0.0
+     */
     <A>(self: NonEmptyReadonlyArray<A>, isEquivalent: (self: A, that: A) => boolean): NonEmptyArray<NonEmptyArray<A>>;
 };
 /**
@@ -1343,7 +3064,49 @@ export declare const group: <A>(self: NonEmptyReadonlyArray<A>) => NonEmptyArray
  * @since 2.0.0
  */
 export declare const groupBy: {
+    /**
+     * Splits an `Iterable` into sub-non-empty-arrays stored in an object, based on the result of calling a `string`-returning
+     * function on each element, and grouping the results according to values returned
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const people = [
+     *   { name: "Alice", group: "A" },
+     *   { name: "Bob", group: "B" },
+     *   { name: "Charlie", group: "A" }
+     * ]
+     * const result = Array.groupBy(people, person => person.group)
+     * assert.deepStrictEqual(result, {
+     *   A: [{ name: "Alice", group: "A" }, { name: "Charlie", group: "A" }],
+     *   B: [{ name: "Bob", group: "B" }]
+     * })
+     *
+     * @category grouping
+     * @since 2.0.0
+     */
     <A, K extends string | symbol>(f: (a: A) => K): (self: Iterable<A>) => Record<Record.ReadonlyRecord.NonLiteralKey<K>, NonEmptyArray<A>>;
+    /**
+     * Splits an `Iterable` into sub-non-empty-arrays stored in an object, based on the result of calling a `string`-returning
+     * function on each element, and grouping the results according to values returned
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const people = [
+     *   { name: "Alice", group: "A" },
+     *   { name: "Bob", group: "B" },
+     *   { name: "Charlie", group: "A" }
+     * ]
+     * const result = Array.groupBy(people, person => person.group)
+     * assert.deepStrictEqual(result, {
+     *   A: [{ name: "Alice", group: "A" }, { name: "Charlie", group: "A" }],
+     *   B: [{ name: "Bob", group: "B" }]
+     * })
+     *
+     * @category grouping
+     * @since 2.0.0
+     */
     <A, K extends string | symbol>(self: Iterable<A>, f: (a: A) => K): Record<Record.ReadonlyRecord.NonLiteralKey<K>, NonEmptyArray<A>>;
 };
 /**
@@ -1360,9 +3123,61 @@ export declare const groupBy: {
  * @since 2.0.0
  */
 export declare const unionWith: {
+    /**
+     * Calculates the union of two arrays using the provided equivalence relation.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = [2, 3]
+     * const union = Array.unionWith(array1, array2, (a, b) => a === b)
+     * assert.deepStrictEqual(union, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <S extends Iterable<any>, T extends Iterable<any>>(that: T, isEquivalent: (self: ReadonlyArray.Infer<S>, that: ReadonlyArray.Infer<T>) => boolean): (self: S) => ReadonlyArray.OrNonEmpty<S, T, ReadonlyArray.Infer<S> | ReadonlyArray.Infer<T>>;
+    /**
+     * Calculates the union of two arrays using the provided equivalence relation.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = [2, 3]
+     * const union = Array.unionWith(array1, array2, (a, b) => a === b)
+     * assert.deepStrictEqual(union, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, that: Iterable<B>, isEquivalent: (self: A, that: B) => boolean): NonEmptyArray<A | B>;
+    /**
+     * Calculates the union of two arrays using the provided equivalence relation.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = [2, 3]
+     * const union = Array.unionWith(array1, array2, (a, b) => a === b)
+     * assert.deepStrictEqual(union, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, that: NonEmptyReadonlyArray<B>, isEquivalent: (self: A, that: B) => boolean): NonEmptyArray<A | B>;
+    /**
+     * Calculates the union of two arrays using the provided equivalence relation.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = [2, 3]
+     * const union = Array.unionWith(array1, array2, (a, b) => a === b)
+     * assert.deepStrictEqual(union, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, that: Iterable<B>, isEquivalent: (self: A, that: B) => boolean): Array<A | B>;
 };
 /**
@@ -1379,9 +3194,61 @@ export declare const unionWith: {
  * @since 2.0.0
  */
 export declare const union: {
+    /**
+     * Creates a union of two arrays, removing duplicates.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = [2, 3]
+     * const result = Array.union(array1, array2)
+     * assert.deepStrictEqual(result, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <T extends Iterable<any>>(that: T): <S extends Iterable<any>>(self: S) => ReadonlyArray.OrNonEmpty<S, T, ReadonlyArray.Infer<S> | ReadonlyArray.Infer<T>>;
+    /**
+     * Creates a union of two arrays, removing duplicates.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = [2, 3]
+     * const result = Array.union(array1, array2)
+     * assert.deepStrictEqual(result, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, that: ReadonlyArray<B>): NonEmptyArray<A | B>;
+    /**
+     * Creates a union of two arrays, removing duplicates.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = [2, 3]
+     * const result = Array.union(array1, array2)
+     * assert.deepStrictEqual(result, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: ReadonlyArray<A>, that: NonEmptyReadonlyArray<B>): NonEmptyArray<A | B>;
+    /**
+     * Creates a union of two arrays, removing duplicates.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = [2, 3]
+     * const result = Array.union(array1, array2)
+     * assert.deepStrictEqual(result, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, that: Iterable<B>): Array<A | B>;
 };
 /**
@@ -1418,7 +3285,35 @@ export declare const intersectionWith: <A>(isEquivalent: (self: A, that: A) => b
  * @since 2.0.0
  */
 export declare const intersection: {
+    /**
+     * Creates an `Array` of unique values that are included in all given `Iterable`s.
+     * The order and references of result values are determined by the first `Iterable`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = [3, 4, 1]
+     * const result = Array.intersection(array1, array2)
+     * assert.deepStrictEqual(result, [1, 3])
+     *
+     * @since 2.0.0
+     */
     <B>(that: Iterable<B>): <A>(self: Iterable<A>) => Array<A & B>;
+    /**
+     * Creates an `Array` of unique values that are included in all given `Iterable`s.
+     * The order and references of result values are determined by the first `Iterable`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = [3, 4, 1]
+     * const result = Array.intersection(array1, array2)
+     * assert.deepStrictEqual(result, [1, 3])
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, that: Iterable<B>): Array<A & B>;
 };
 /**
@@ -1454,7 +3349,35 @@ export declare const differenceWith: <A>(isEquivalent: (self: A, that: A) => boo
  * @since 2.0.0
  */
 export declare const difference: {
+    /**
+     * Creates a `Array` of values not included in the other given `Iterable`.
+     * The order and references of result values are determined by the first `Iterable`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = [2, 3, 4]
+     * const difference = Array.difference(array1, array2)
+     * assert.deepStrictEqual(difference, [1])
+     *
+     * @since 2.0.0
+     */
     <A>(that: Iterable<A>): (self: Iterable<A>) => Array<A>;
+    /**
+     * Creates a `Array` of values not included in the other given `Iterable`.
+     * The order and references of result values are determined by the first `Iterable`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2, 3]
+     * const array2 = [2, 3, 4]
+     * const difference = Array.difference(array1, array2)
+     * assert.deepStrictEqual(difference, [1])
+     *
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, that: Iterable<A>): Array<A>;
 };
 /**
@@ -1499,7 +3422,15 @@ export declare namespace ReadonlyArray {
  * @since 2.0.0
  */
 export declare const map: {
+    /**
+     * @category mapping
+     * @since 2.0.0
+     */
     <S extends ReadonlyArray<any>, B>(f: (a: ReadonlyArray.Infer<S>, i: number) => B): (self: S) => ReadonlyArray.With<S, B>;
+    /**
+     * @category mapping
+     * @since 2.0.0
+     */
     <S extends ReadonlyArray<any>, B>(self: S, f: (a: ReadonlyArray.Infer<S>, i: number) => B): ReadonlyArray.With<S, B>;
 };
 /**
@@ -1509,8 +3440,26 @@ export declare const map: {
  * @since 2.0.0
  */
 export declare const flatMap: {
+    /**
+     * Applies a function to each element in an array and returns a new array containing the concatenated mapped elements.
+     *
+     * @category sequencing
+     * @since 2.0.0
+     */
     <S extends ReadonlyArray<any>, T extends ReadonlyArray<any>>(f: (a: ReadonlyArray.Infer<S>, i: number) => T): (self: S) => ReadonlyArray.AndNonEmpty<S, T, ReadonlyArray.Infer<T>>;
+    /**
+     * Applies a function to each element in an array and returns a new array containing the concatenated mapped elements.
+     *
+     * @category sequencing
+     * @since 2.0.0
+     */
     <A, B>(self: NonEmptyReadonlyArray<A>, f: (a: A, i: number) => NonEmptyReadonlyArray<B>): NonEmptyArray<B>;
+    /**
+     * Applies a function to each element in an array and returns a new array containing the concatenated mapped elements.
+     *
+     * @category sequencing
+     * @since 2.0.0
+     */
     <A, B>(self: ReadonlyArray<A>, f: (a: A, i: number) => ReadonlyArray<B>): Array<B>;
 };
 /**
@@ -1547,7 +3496,39 @@ export declare const flatten: <S extends ReadonlyArray<ReadonlyArray<any>>>(self
  * @since 2.0.0
  */
 export declare const filterMap: {
+    /**
+     * Applies a function to each element of the `Iterable` and filters based on the result, keeping the transformed values where the function returns `Some`.
+     * This method combines filtering and mapping functionalities, allowing transformations and filtering of elements based on a single function pass.
+     *
+     * @example
+     * import { Array, Option } from "effect";
+     *
+     * const data = [1, 2, 3, 4, 5];
+     * const evenSquares = (x: number) => x % 2 === 0 ? Option.some(x * x) : Option.none();
+     * const result = Array.filterMap(data, evenSquares);
+     *
+     * assert.deepStrictEqual(result, [4, 16]);
+     *
+     * @category filtering
+     * @since 2.0.0
+     */
     <A, B>(f: (a: A, i: number) => Option<B>): (self: Iterable<A>) => Array<B>;
+    /**
+     * Applies a function to each element of the `Iterable` and filters based on the result, keeping the transformed values where the function returns `Some`.
+     * This method combines filtering and mapping functionalities, allowing transformations and filtering of elements based on a single function pass.
+     *
+     * @example
+     * import { Array, Option } from "effect";
+     *
+     * const data = [1, 2, 3, 4, 5];
+     * const evenSquares = (x: number) => x % 2 === 0 ? Option.some(x * x) : Option.none();
+     * const result = Array.filterMap(data, evenSquares);
+     *
+     * assert.deepStrictEqual(result, [4, 16]);
+     *
+     * @category filtering
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, f: (a: A, i: number) => Option<B>): Array<B>;
 };
 /**
@@ -1568,7 +3549,41 @@ export declare const filterMap: {
  * @since 2.0.0
  */
 export declare const filterMapWhile: {
+    /**
+     * Applies a function to each element of the array and filters based on the result, stopping when a condition is not met.
+     * This method combines filtering and mapping in a single pass, and short-circuits, i.e., stops processing, as soon as the function returns `None`.
+     * This is useful when you need to transform an array but only up to the point where a certain condition holds true.
+     *
+     * @example
+     * import { Array, Option } from "effect";
+     *
+     * const data = [2, 4, 5];
+     * const toSquareTillOdd = (x: number) => x % 2 === 0 ? Option.some(x * x) : Option.none();
+     * const result = Array.filterMapWhile(data, toSquareTillOdd);
+     *
+     * assert.deepStrictEqual(result, [4, 16]);
+     *
+     * @category filtering
+     * @since 2.0.0
+     */
     <A, B>(f: (a: A, i: number) => Option<B>): (self: Iterable<A>) => Array<B>;
+    /**
+     * Applies a function to each element of the array and filters based on the result, stopping when a condition is not met.
+     * This method combines filtering and mapping in a single pass, and short-circuits, i.e., stops processing, as soon as the function returns `None`.
+     * This is useful when you need to transform an array but only up to the point where a certain condition holds true.
+     *
+     * @example
+     * import { Array, Option } from "effect";
+     *
+     * const data = [2, 4, 5];
+     * const toSquareTillOdd = (x: number) => x % 2 === 0 ? Option.some(x * x) : Option.none();
+     * const result = Array.filterMapWhile(data, toSquareTillOdd);
+     *
+     * assert.deepStrictEqual(result, [4, 16]);
+     *
+     * @category filtering
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, f: (a: A, i: number) => Option<B>): Array<B>;
 };
 /**
@@ -1595,7 +3610,53 @@ export declare const filterMapWhile: {
  * @since 2.0.0
  */
 export declare const partitionMap: {
+    /**
+     * Applies a function to each element of the `Iterable`, categorizing the results into two separate arrays.
+     * This function is particularly useful for operations where each element can result in two possible types,
+     * and you want to separate these types into different collections. For instance, separating validation results
+     * into successes and failures.
+     *
+     * @example
+     * import { Array, Either } from "effect";
+     *
+     * const data = [1, 2, 3, 4, 5]
+     * const isEven = (x: number) => x % 2 === 0
+     * const partitioned = Array.partitionMap(data, x =>
+     *   isEven(x) ? Either.right(x) : Either.left(x)
+     * )
+     *
+     * assert.deepStrictEqual(partitioned, [
+     *   [1, 3, 5],
+     *   [2, 4]
+     * ])
+     *
+     * @category filtering
+     * @since 2.0.0
+     */
     <A, B, C>(f: (a: A, i: number) => array_<C, B>): (self: Iterable<A>) => [left: Array<B>, right: Array<C>];
+    /**
+     * Applies a function to each element of the `Iterable`, categorizing the results into two separate arrays.
+     * This function is particularly useful for operations where each element can result in two possible types,
+     * and you want to separate these types into different collections. For instance, separating validation results
+     * into successes and failures.
+     *
+     * @example
+     * import { Array, Either } from "effect";
+     *
+     * const data = [1, 2, 3, 4, 5]
+     * const isEven = (x: number) => x % 2 === 0
+     * const partitioned = Array.partitionMap(data, x =>
+     *   isEven(x) ? Either.right(x) : Either.left(x)
+     * )
+     *
+     * assert.deepStrictEqual(partitioned, [
+     *   [1, 3, 5],
+     *   [2, 4]
+     * ])
+     *
+     * @category filtering
+     * @since 2.0.0
+     */
     <A, B, C>(self: Iterable<A>, f: (a: A, i: number) => array_<C, B>): [left: Array<B>, right: Array<C>];
 };
 /**
@@ -1648,9 +3709,25 @@ export declare const getRights: <T extends Iterable<array_<any, any>>>(self: T)
  * @since 2.0.0
  */
 export declare const filter: {
+    /**
+     * @category filtering
+     * @since 2.0.0
+     */
     <A, B extends A>(refinement: (a: NoInfer<A>, i: number) => a is B): (self: Iterable<A>) => Array<B>;
+    /**
+     * @category filtering
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: Iterable<A>) => Array<A>;
+    /**
+     * @category filtering
+     * @since 2.0.0
+     */
     <A, B extends A>(self: Iterable<A>, refinement: (a: A, i: number) => a is B): Array<B>;
+    /**
+     * @category filtering
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, predicate: (a: A, i: number) => boolean): Array<A>;
 };
 /**
@@ -1660,9 +3737,33 @@ export declare const filter: {
  * @since 2.0.0
  */
 export declare const partition: {
+    /**
+     * Separate elements based on a predicate that also exposes the index of the element.
+     *
+     * @category filtering
+     * @since 2.0.0
+     */
     <A, B extends A>(refinement: (a: NoInfer<A>, i: number) => a is B): (self: Iterable<A>) => [excluded: Array<Exclude<A, B>>, satisfying: Array<B>];
+    /**
+     * Separate elements based on a predicate that also exposes the index of the element.
+     *
+     * @category filtering
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: Iterable<A>) => [excluded: Array<A>, satisfying: Array<A>];
+    /**
+     * Separate elements based on a predicate that also exposes the index of the element.
+     *
+     * @category filtering
+     * @since 2.0.0
+     */
     <A, B extends A>(self: Iterable<A>, refinement: (a: A, i: number) => a is B): [excluded: Array<Exclude<A, B>>, satisfying: Array<B>];
+    /**
+     * Separate elements based on a predicate that also exposes the index of the element.
+     *
+     * @category filtering
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, predicate: (a: A, i: number) => boolean): [excluded: Array<A>, satisfying: Array<A>];
 };
 /**
@@ -1693,7 +3794,33 @@ export declare const separate: <T extends Iterable<array_<any, any>>>(self: T) =
  * @since 2.0.0
  */
 export declare const reduce: {
+    /**
+     * Reduces an array from the left.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.reduce(numbers, 0, (acc, n) => acc + n)
+     * assert.deepStrictEqual(result, 6)
+     *
+     * @category folding
+     * @since 2.0.0
+     */
     <B, A>(b: B, f: (b: B, a: A, i: number) => B): (self: Iterable<A>) => B;
+    /**
+     * Reduces an array from the left.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.reduce(numbers, 0, (acc, n) => acc + n)
+     * assert.deepStrictEqual(result, 6)
+     *
+     * @category folding
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, b: B, f: (b: B, a: A, i: number) => B): B;
 };
 /**
@@ -1710,7 +3837,33 @@ export declare const reduce: {
  * @since 2.0.0
  */
 export declare const reduceRight: {
+    /**
+     * Reduces an array from the right.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.reduceRight(numbers, 0, (acc, n) => acc + n)
+     * assert.deepStrictEqual(result, 6)
+     *
+     * @category folding
+     * @since 2.0.0
+     */
     <B, A>(b: B, f: (b: B, a: A, i: number) => B): (self: Iterable<A>) => B;
+    /**
+     * Reduces an array from the right.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.reduceRight(numbers, 0, (acc, n) => acc + n)
+     * assert.deepStrictEqual(result, 6)
+     *
+     * @category folding
+     * @since 2.0.0
+     */
     <A, B>(self: Iterable<A>, b: B, f: (b: B, a: A, i: number) => B): B;
 };
 /**
@@ -1729,6 +3882,20 @@ export declare const reduceRight: {
  */
 export declare const liftPredicate: {
     <A, B extends A>(refinement: Refinement<A, B>): (a: A) => Array<B>;
+    /**
+     * Lifts a predicate into an array.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const isEven = (n: number) => n % 2 === 0
+     * const to = Array.liftPredicate(isEven)
+     * assert.deepStrictEqual(to(1), [])
+     * assert.deepStrictEqual(to(2), [2])
+     *
+     * @category lifting
+     * @since 2.0.0
+     */
     <A>(predicate: Predicate<A>): <B extends A>(b: B) => Array<B>;
 };
 /**
@@ -1765,7 +3932,43 @@ export declare const liftNullable: <A extends Array<unknown>, B>(f: (...a: A) =>
  * @since 2.0.0
  */
 export declare const flatMapNullable: {
+    /**
+     * Maps over an array and flattens the result, removing null and undefined values.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.flatMapNullable(numbers, n => (n % 2 === 0 ? null : n))
+     * assert.deepStrictEqual(result, [1, 3])
+     *
+     * // Explanation:
+     * // The array of numbers [1, 2, 3] is mapped with a function that returns null for even numbers
+     * // and the number itself for odd numbers. The resulting array [1, null, 3] is then flattened
+     * // to remove null values, resulting in [1, 3].
+     *
+     * @category sequencing
+     * @since 2.0.0
+     */
     <A, B>(f: (a: A) => B | null | undefined): (self: ReadonlyArray<A>) => Array<NonNullable<B>>;
+    /**
+     * Maps over an array and flattens the result, removing null and undefined values.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.flatMapNullable(numbers, n => (n % 2 === 0 ? null : n))
+     * assert.deepStrictEqual(result, [1, 3])
+     *
+     * // Explanation:
+     * // The array of numbers [1, 2, 3] is mapped with a function that returns null for even numbers
+     * // and the number itself for odd numbers. The resulting array [1, null, 3] is then flattened
+     * // to remove null values, resulting in [1, 3].
+     *
+     * @category sequencing
+     * @since 2.0.0
+     */
     <A, B>(self: ReadonlyArray<A>, f: (a: A) => B | null | undefined): Array<NonNullable<B>>;
 };
 /**
@@ -1803,9 +4006,33 @@ export declare const liftEither: <A extends Array<unknown>, E, B>(f: (...a: A) =
  * @since 2.0.0
  */
 export declare const every: {
+    /**
+     * Check if a predicate holds true for every `ReadonlyArray` element.
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A, B extends A>(refinement: (a: NoInfer<A>, i: number) => a is B): (self: ReadonlyArray<A>) => self is ReadonlyArray<B>;
+    /**
+     * Check if a predicate holds true for every `ReadonlyArray` element.
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: ReadonlyArray<A>) => boolean;
+    /**
+     * Check if a predicate holds true for every `ReadonlyArray` element.
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A, B extends A>(self: ReadonlyArray<A>, refinement: (a: A, i: number) => a is B): self is ReadonlyArray<B>;
+    /**
+     * Check if a predicate holds true for every `ReadonlyArray` element.
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(self: ReadonlyArray<A>, predicate: (a: A, i: number) => boolean): boolean;
 };
 /**
@@ -1815,7 +4042,19 @@ export declare const every: {
  * @since 2.0.0
  */
 export declare const some: {
+    /**
+     * Check if a predicate holds true for some `ReadonlyArray` element.
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(predicate: (a: NoInfer<A>, i: number) => boolean): (self: ReadonlyArray<A>) => self is NonEmptyReadonlyArray<A>;
+    /**
+     * Check if a predicate holds true for some `ReadonlyArray` element.
+     *
+     * @category elements
+     * @since 2.0.0
+     */
     <A>(self: ReadonlyArray<A>, predicate: (a: A, i: number) => boolean): self is NonEmptyReadonlyArray<A>;
 };
 /**
@@ -1837,7 +4076,43 @@ export declare const some: {
  * @since 2.0.0
  */
 export declare const extend: {
+    /**
+     * Extends an array with a function that maps each subarray to a value.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.extend(numbers, as => as.length)
+     * assert.deepStrictEqual(result, [3, 2, 1])
+     *
+     * // Explanation:
+     * // The function maps each subarray starting from each element to its length.
+     * // The subarrays are: [1, 2, 3], [2, 3], [3].
+     * // The lengths are: 3, 2, 1.
+     * // Therefore, the result is [3, 2, 1].
+     *
+     * @since 2.0.0
+     */
     <A, B>(f: (as: ReadonlyArray<A>) => B): (self: ReadonlyArray<A>) => Array<B>;
+    /**
+     * Extends an array with a function that maps each subarray to a value.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.extend(numbers, as => as.length)
+     * assert.deepStrictEqual(result, [3, 2, 1])
+     *
+     * // Explanation:
+     * // The function maps each subarray starting from each element to its length.
+     * // The subarrays are: [1, 2, 3], [2, 3], [3].
+     * // The lengths are: 3, 2, 1.
+     * // Therefore, the result is [3, 2, 1].
+     *
+     * @since 2.0.0
+     */
     <A, B>(self: ReadonlyArray<A>, f: (as: ReadonlyArray<A>) => B): Array<B>;
 };
 /**
@@ -1852,7 +4127,29 @@ export declare const extend: {
  * @since 2.0.0
  */
 export declare const min: {
+    /**
+     * Finds the minimum element in an array based on a comparator.
+     *
+     * @example
+     * import { Array, Order } from "effect"
+     *
+     * const min = Array.min([3, 1, 2], Order.number)
+     * assert.deepStrictEqual(min, 1)
+     *
+     * @since 2.0.0
+     */
     <A>(O: Order.Order<A>): (self: NonEmptyReadonlyArray<A>) => A;
+    /**
+     * Finds the minimum element in an array based on a comparator.
+     *
+     * @example
+     * import { Array, Order } from "effect"
+     *
+     * const min = Array.min([3, 1, 2], Order.number)
+     * assert.deepStrictEqual(min, 1)
+     *
+     * @since 2.0.0
+     */
     <A>(self: NonEmptyReadonlyArray<A>, O: Order.Order<A>): A;
 };
 /**
@@ -1867,7 +4164,29 @@ export declare const min: {
  * @since 2.0.0
  */
 export declare const max: {
+    /**
+     * Finds the maximum element in an array based on a comparator.
+     *
+     * @example
+     * import { Array, Order } from "effect"
+     *
+     * const max = Array.max([3, 1, 2], Order.number)
+     * assert.deepStrictEqual(max, 3)
+     *
+     * @since 2.0.0
+     */
     <A>(O: Order.Order<A>): (self: NonEmptyReadonlyArray<A>) => A;
+    /**
+     * Finds the maximum element in an array based on a comparator.
+     *
+     * @example
+     * import { Array, Order } from "effect"
+     *
+     * const max = Array.max([3, 1, 2], Order.number)
+     * assert.deepStrictEqual(max, 3)
+     *
+     * @since 2.0.0
+     */
     <A>(self: NonEmptyReadonlyArray<A>, O: Order.Order<A>): A;
 };
 /**
@@ -1912,7 +4231,29 @@ export declare const getEquivalence: <A>(isEquivalent: Equivalence.Equivalence<A
  * @since 2.0.0
  */
 export declare const forEach: {
+    /**
+     * Performs a side-effect for each element of the `Iterable`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * Array.forEach(numbers, n => console.log(n)) // 1, 2, 3
+     *
+     * @since 2.0.0
+     */
     <A>(f: (a: A, i: number) => void): (self: Iterable<A>) => void;
+    /**
+     * Performs a side-effect for each element of the `Iterable`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * Array.forEach(numbers, n => console.log(n)) // 1, 2, 3
+     *
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, f: (a: A, i: number) => void): void;
 };
 /**
@@ -1929,8 +4270,47 @@ export declare const forEach: {
  * @since 2.0.0
  */
 export declare const dedupeWith: {
+    /**
+     * Remove duplicates from an `Iterable` using the provided `isEquivalent` function,
+     * preserving the order of the first occurrence of each element.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 2, 3, 3, 3]
+     * const unique = Array.dedupeWith(numbers, (a, b) => a === b)
+     * assert.deepStrictEqual(unique, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <S extends Iterable<any>>(isEquivalent: (self: ReadonlyArray.Infer<S>, that: ReadonlyArray.Infer<S>) => boolean): (self: S) => ReadonlyArray.With<S, ReadonlyArray.Infer<S>>;
+    /**
+     * Remove duplicates from an `Iterable` using the provided `isEquivalent` function,
+     * preserving the order of the first occurrence of each element.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 2, 3, 3, 3]
+     * const unique = Array.dedupeWith(numbers, (a, b) => a === b)
+     * assert.deepStrictEqual(unique, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A>(self: NonEmptyReadonlyArray<A>, isEquivalent: (self: A, that: A) => boolean): NonEmptyArray<A>;
+    /**
+     * Remove duplicates from an `Iterable` using the provided `isEquivalent` function,
+     * preserving the order of the first occurrence of each element.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 2, 3, 3, 3]
+     * const unique = Array.dedupeWith(numbers, (a, b) => a === b)
+     * assert.deepStrictEqual(unique, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, isEquivalent: (self: A, that: A) => boolean): Array<A>;
 };
 /**
@@ -1953,7 +4333,31 @@ export declare const dedupe: <S extends Iterable<any> | NonEmptyReadonlyArray<an
  * @since 2.0.0
  */
 export declare const dedupeAdjacentWith: {
+    /**
+     * Deduplicates adjacent elements that are identical using the provided `isEquivalent` function.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 1, 2, 2, 3, 3]
+     * const unique = Array.dedupeAdjacentWith(numbers, (a, b) => a === b)
+     * assert.deepStrictEqual(unique, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A>(isEquivalent: (self: A, that: A) => boolean): (self: Iterable<A>) => Array<A>;
+    /**
+     * Deduplicates adjacent elements that are identical using the provided `isEquivalent` function.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 1, 2, 2, 3, 3]
+     * const unique = Array.dedupeAdjacentWith(numbers, (a, b) => a === b)
+     * assert.deepStrictEqual(unique, [1, 2, 3])
+     *
+     * @since 2.0.0
+     */
     <A>(self: Iterable<A>, isEquivalent: (self: A, that: A) => boolean): Array<A>;
 };
 /**
@@ -1983,7 +4387,33 @@ export declare const dedupeAdjacent: <A>(self: Iterable<A>) => Array<A>;
  * @category folding
  */
 export declare const join: {
+    /**
+     * Joins the elements together with "sep" in the middle.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const strings = ["a", "b", "c"]
+     * const joined = Array.join(strings, "-")
+     * assert.deepStrictEqual(joined, "a-b-c")
+     *
+     * @since 2.0.0
+     * @category folding
+     */
     (sep: string): (self: Iterable<string>) => string;
+    /**
+     * Joins the elements together with "sep" in the middle.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const strings = ["a", "b", "c"]
+     * const joined = Array.join(strings, "-")
+     * assert.deepStrictEqual(joined, "a-b-c")
+     *
+     * @since 2.0.0
+     * @category folding
+     */
     (self: Iterable<string>, sep: string): string;
 };
 /**
@@ -2000,7 +4430,33 @@ export declare const join: {
  * @category folding
  */
 export declare const mapAccum: {
+    /**
+     * Statefully maps over the chunk, producing new elements of type `B`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.mapAccum(numbers, 0, (acc, n) => [acc + n, acc + n])
+     * assert.deepStrictEqual(result, [6, [1, 3, 6]])
+     *
+     * @since 2.0.0
+     * @category folding
+     */
     <S, A, B>(s: S, f: (s: S, a: A, i: number) => readonly [S, B]): (self: Iterable<A>) => [state: S, mappedArray: Array<B>];
+    /**
+     * Statefully maps over the chunk, producing new elements of type `B`.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const numbers = [1, 2, 3]
+     * const result = Array.mapAccum(numbers, 0, (acc, n) => [acc + n, acc + n])
+     * assert.deepStrictEqual(result, [6, [1, 3, 6]])
+     *
+     * @since 2.0.0
+     * @category folding
+     */
     <S, A, B>(self: Iterable<A>, s: S, f: (s: S, a: A, i: number) => readonly [S, B]): [state: S, mappedArray: Array<B>];
 };
 /**
@@ -2018,7 +4474,35 @@ export declare const mapAccum: {
  * @category elements
  */
 export declare const cartesianWith: {
+    /**
+     * Zips this chunk crosswise with the specified chunk using the specified combiner.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = ["a", "b"]
+     * const product = Array.cartesianWith(array1, array2, (a, b) => `${a}-${b}`)
+     * assert.deepStrictEqual(product, ["1-a", "1-b", "2-a", "2-b"])
+     *
+     * @since 2.0.0
+     * @category elements
+     */
     <A, B, C>(that: ReadonlyArray<B>, f: (a: A, b: B) => C): (self: ReadonlyArray<A>) => Array<C>;
+    /**
+     * Zips this chunk crosswise with the specified chunk using the specified combiner.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = ["a", "b"]
+     * const product = Array.cartesianWith(array1, array2, (a, b) => `${a}-${b}`)
+     * assert.deepStrictEqual(product, ["1-a", "1-b", "2-a", "2-b"])
+     *
+     * @since 2.0.0
+     * @category elements
+     */
     <A, B, C>(self: ReadonlyArray<A>, that: ReadonlyArray<B>, f: (a: A, b: B) => C): Array<C>;
 };
 /**
@@ -2036,7 +4520,35 @@ export declare const cartesianWith: {
  * @category elements
  */
 export declare const cartesian: {
+    /**
+     * Zips this chunk crosswise with the specified chunk.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = ["a", "b"]
+     * const product = Array.cartesian(array1, array2)
+     * assert.deepStrictEqual(product, [[1, "a"], [1, "b"], [2, "a"], [2, "b"]])
+     *
+     * @since 2.0.0
+     * @category elements
+     */
     <B>(that: ReadonlyArray<B>): <A>(self: ReadonlyArray<A>) => Array<[A, B]>;
+    /**
+     * Zips this chunk crosswise with the specified chunk.
+     *
+     * @example
+     * import { Array } from "effect"
+     *
+     * const array1 = [1, 2]
+     * const array2 = ["a", "b"]
+     * const product = Array.cartesian(array1, array2)
+     * assert.deepStrictEqual(product, [[1, "a"], [1, "b"], [2, "a"], [2, "b"]])
+     *
+     * @since 2.0.0
+     * @category elements
+     */
     <A, B>(self: ReadonlyArray<A>, that: ReadonlyArray<B>): Array<[A, B]>;
 };
 /**
@@ -2127,9 +4639,95 @@ export declare const Do: ReadonlyArray<{}>;
  * @since 3.2.0
  */
 export declare const bind: {
+    /**
+     * The "do simulation" for array allows you to sequentially apply operations to the elements of arrays, just as nested loops allow you to go through all combinations of elements in an arrays.
+     *
+     * It can be used to simulate "array comprehension".
+     * It's a technique that allows you to create new arrays by iterating over existing ones and applying specific **conditions** or **transformations** to the elements. It's like assembling a new collection from pieces of other collections based on certain rules.
+     *
+     * Here's how the do simulation works:
+     *
+     * 1. Start the do simulation using the `Do` value
+     * 2. Within the do simulation scope, you can use the `bind` function to define variables and bind them to `Array` values
+     * 3. You can accumulate multiple `bind` statements to define multiple variables within the scope
+     * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
+     * 5. Regular `Option` functions like `map` and `filter` can still be used within the do simulation. These functions will receive the accumulated variables as arguments within the scope
+     *
+     * @see {@link bindTo}
+     * @see {@link Do}
+     * @see {@link let_ let}
+     *
+     * @example
+     * import { Array as Arr, pipe } from "effect"
+     * const doResult = pipe(
+     *   Arr.Do,
+     *   Arr.bind("x", () => [1, 3, 5]),
+     *   Arr.bind("y", () => [2, 4, 6]),
+     *   Arr.filter(({ x, y }) => x < y), // condition
+     *   Arr.map(({ x, y }) => [x, y] as const) // transformation
+     * )
+     * assert.deepStrictEqual(doResult, [[1, 2], [1, 4], [1, 6], [3, 4], [3, 6], [5, 6]])
+     *
+     * // equivalent
+     * const x = [1, 3, 5],
+     *       y = [2, 4, 6],
+     *       result = [];
+     * for(let i = 0; i < x.length; i++) {
+     *   for(let j = 0; j < y.length; j++) {
+     *     const _x = x[i], _y = y[j];
+     *     if(_x < _y) result.push([_x, _y] as const)
+     *   }
+     * }
+     *
+     * @category do notation
+     * @since 3.2.0
+     */
     <A extends object, N extends string, B>(tag: Exclude<N, keyof A>, f: (a: A) => ReadonlyArray<B>): (self: ReadonlyArray<A>) => Array<{
         [K in N | keyof A]: K extends keyof A ? A[K] : B;
     }>;
+    /**
+     * The "do simulation" for array allows you to sequentially apply operations to the elements of arrays, just as nested loops allow you to go through all combinations of elements in an arrays.
+     *
+     * It can be used to simulate "array comprehension".
+     * It's a technique that allows you to create new arrays by iterating over existing ones and applying specific **conditions** or **transformations** to the elements. It's like assembling a new collection from pieces of other collections based on certain rules.
+     *
+     * Here's how the do simulation works:
+     *
+     * 1. Start the do simulation using the `Do` value
+     * 2. Within the do simulation scope, you can use the `bind` function to define variables and bind them to `Array` values
+     * 3. You can accumulate multiple `bind` statements to define multiple variables within the scope
+     * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
+     * 5. Regular `Option` functions like `map` and `filter` can still be used within the do simulation. These functions will receive the accumulated variables as arguments within the scope
+     *
+     * @see {@link bindTo}
+     * @see {@link Do}
+     * @see {@link let_ let}
+     *
+     * @example
+     * import { Array as Arr, pipe } from "effect"
+     * const doResult = pipe(
+     *   Arr.Do,
+     *   Arr.bind("x", () => [1, 3, 5]),
+     *   Arr.bind("y", () => [2, 4, 6]),
+     *   Arr.filter(({ x, y }) => x < y), // condition
+     *   Arr.map(({ x, y }) => [x, y] as const) // transformation
+     * )
+     * assert.deepStrictEqual(doResult, [[1, 2], [1, 4], [1, 6], [3, 4], [3, 6], [5, 6]])
+     *
+     * // equivalent
+     * const x = [1, 3, 5],
+     *       y = [2, 4, 6],
+     *       result = [];
+     * for(let i = 0; i < x.length; i++) {
+     *   for(let j = 0; j < y.length; j++) {
+     *     const _x = x[i], _y = y[j];
+     *     if(_x < _y) result.push([_x, _y] as const)
+     *   }
+     * }
+     *
+     * @category do notation
+     * @since 3.2.0
+     */
     <A extends object, N extends string, B>(self: ReadonlyArray<A>, tag: Exclude<N, keyof A>, f: (a: A) => ReadonlyArray<B>): Array<{
         [K in N | keyof A]: K extends keyof A ? A[K] : B;
     }>;
@@ -2178,9 +4776,95 @@ export declare const bind: {
  * @since 3.2.0
  */
 export declare const bindTo: {
+    /**
+     * The "do simulation" for array allows you to sequentially apply operations to the elements of arrays, just as nested loops allow you to go through all combinations of elements in an arrays.
+     *
+     * It can be used to simulate "array comprehension".
+     * It's a technique that allows you to create new arrays by iterating over existing ones and applying specific **conditions** or **transformations** to the elements. It's like assembling a new collection from pieces of other collections based on certain rules.
+     *
+     * Here's how the do simulation works:
+     *
+     * 1. Start the do simulation using the `Do` value
+     * 2. Within the do simulation scope, you can use the `bind` function to define variables and bind them to `Array` values
+     * 3. You can accumulate multiple `bind` statements to define multiple variables within the scope
+     * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
+     * 5. Regular `Option` functions like `map` and `filter` can still be used within the do simulation. These functions will receive the accumulated variables as arguments within the scope
+     *
+     * @see {@link bindTo}
+     * @see {@link Do}
+     * @see {@link let_ let}
+     *
+     * @example
+     * import { Array as Arr, pipe } from "effect"
+     * const doResult = pipe(
+     *   Arr.Do,
+     *   Arr.bind("x", () => [1, 3, 5]),
+     *   Arr.bind("y", () => [2, 4, 6]),
+     *   Arr.filter(({ x, y }) => x < y), // condition
+     *   Arr.map(({ x, y }) => [x, y] as const) // transformation
+     * )
+     * assert.deepStrictEqual(doResult, [[1, 2], [1, 4], [1, 6], [3, 4], [3, 6], [5, 6]])
+     *
+     * // equivalent
+     * const x = [1, 3, 5],
+     *       y = [2, 4, 6],
+     *       result = [];
+     * for(let i = 0; i < x.length; i++) {
+     *   for(let j = 0; j < y.length; j++) {
+     *     const _x = x[i], _y = y[j];
+     *     if(_x < _y) result.push([_x, _y] as const)
+     *   }
+     * }
+     *
+     * @category do notation
+     * @since 3.2.0
+     */
     <N extends string>(tag: N): <A>(self: ReadonlyArray<A>) => Array<{
         [K in N]: A;
     }>;
+    /**
+     * The "do simulation" for array allows you to sequentially apply operations to the elements of arrays, just as nested loops allow you to go through all combinations of elements in an arrays.
+     *
+     * It can be used to simulate "array comprehension".
+     * It's a technique that allows you to create new arrays by iterating over existing ones and applying specific **conditions** or **transformations** to the elements. It's like assembling a new collection from pieces of other collections based on certain rules.
+     *
+     * Here's how the do simulation works:
+     *
+     * 1. Start the do simulation using the `Do` value
+     * 2. Within the do simulation scope, you can use the `bind` function to define variables and bind them to `Array` values
+     * 3. You can accumulate multiple `bind` statements to define multiple variables within the scope
+     * 4. Inside the do simulation scope, you can also use the `let` function to define variables and bind them to simple values
+     * 5. Regular `Option` functions like `map` and `filter` can still be used within the do simulation. These functions will receive the accumulated variables as arguments within the scope
+     *
+     * @see {@link bindTo}
+     * @see {@link Do}
+     * @see {@link let_ let}
+     *
+     * @example
+     * import { Array as Arr, pipe } from "effect"
+     * const doResult = pipe(
+     *   Arr.Do,
+     *   Arr.bind("x", () => [1, 3, 5]),
+     *   Arr.bind("y", () => [2, 4, 6]),
+     *   Arr.filter(({ x, y }) => x < y), // condition
+     *   Arr.map(({ x, y }) => [x, y] as const) // transformation
+     * )
+     * assert.deepStrictEqual(doResult, [[1, 2], [1, 4], [1, 6], [3, 4], [3, 6], [5, 6]])
+     *
+     * // equivalent
+     * const x = [1, 3, 5],
+     *       y = [2, 4, 6],
+     *       result = [];
+     * for(let i = 0; i < x.length; i++) {
+     *   for(let j = 0; j < y.length; j++) {
+     *     const _x = x[i], _y = y[j];
+     *     if(_x < _y) result.push([_x, _y] as const)
+     *   }
+     * }
+     *
+     * @category do notation
+     * @since 3.2.0
+     */
     <A, N extends string>(self: ReadonlyArray<A>, tag: N): Array<{
         [K in N]: A;
     }>;