effect 4.0.0-beta.73 → 4.0.0-beta.75

package/dist/Predicate.d.ts

@@ -5,14 +5,14 @@ import type { TupleOf, TupleOfAtLeast } from "./Types.ts";
  *
  * **When to use**
  *
- * Use when you want a reusable boolean check for `A`.
- * - You plan to combine checks with {@link and}/{@link or}.
- * - You want a simple filter predicate for arrays or iterables.
+ * Use when you want a reusable boolean check for `A`, especially when you plan
+ * to combine checks with {@link and}/{@link or} or pass a predicate to arrays
+ * and iterables.
  *
  * **Details**
  *
- * - Returns `true` or `false`; never throws by itself.
- * - Does not narrow types unless you use {@link Refinement}.
+ * A predicate returns `true` or `false` and never throws by itself. It does not
+ * narrow types unless you use `Refinement`.
  *
  * **Example** (Define a predicate)
  *
@@ -38,13 +38,13 @@ export interface Predicate<in A> {
  *
  * **When to use**
  *
- * Use when you are defining APIs that abstract over predicates with HKTs.
- * - You need a `TypeLambda` instance for predicate-based type classes.
+ * Use when you are defining APIs that abstract over predicates with HKTs and
+ * need a `TypeLambda` instance for predicate-based type classes.
  *
  * **Details**
  *
- * - Type-only; no runtime value is created.
- * - Does not affect emitted JavaScript.
+ * This is type-only, creates no runtime value, and does not affect emitted
+ * JavaScript.
  *
  * **Example** (Type-level usage)
  *
@@ -67,14 +67,14 @@ export interface PredicateTypeLambda extends TypeLambda {
  *
  * **When to use**
  *
- * Use when you want a runtime check that refines `A` to `B` for TypeScript.
- * - You want to compose multiple type guards with {@link compose}.
- * - You need to guard `unknown` values safely.
+ * Use when you want a runtime check that refines `A` to `B` for TypeScript,
+ * especially when composing type guards with {@link compose} or safely
+ * checking `unknown` values.
  *
  * **Details**
  *
- * - Returns a type predicate (`a is B`).
- * - Use with `if`/`filter` to narrow types.
+ * A refinement returns a type predicate (`a is B`). Use it with `if` or
+ * `filter` to narrow types.
  *
  * **Example** (Narrow unknown)
  *
@@ -103,13 +103,13 @@ export interface Refinement<in A, out B extends A> {
  *
  * **When to use**
  *
- * Use when you need to extract input types from predicate signatures.
- * - You want to write generic helpers over predicate types.
+ * Use when you need to extract input types from predicate signatures while
+ * writing generic helpers over predicate types.
  *
  * **Details**
  *
- * - Type-only; no runtime value is created.
- * - The namespace is erased at runtime.
+ * These utilities are type-only, create no runtime values, and the namespace is
+ * erased at runtime.
  *
  * **Example** (Extract predicate input)
  *
@@ -130,13 +130,13 @@ export declare namespace Predicate {
      *
      * **When to use**
      *
-     * Use when you want to infer the input type from a predicate type.
-     * - You are defining generic utilities over predicates.
+     * Use when you want to infer the input type from a predicate type while
+     * defining generic utilities over predicates.
      *
      * **Details**
      *
-     * - Type-only; no runtime value is created.
-     * - Resolves to `never` if the type does not match `Predicate`.
+     * This is type-only and creates no runtime value. It resolves to `never` if
+     * the type does not match `Predicate`.
      *
      * **Example** (Infer input)
      *
@@ -149,7 +149,7 @@ export declare namespace Predicate {
      *
      * @see {@link Predicate.Any}
      * @see {@link Refinement.In}
-     * @category type-level
+     * @category utility types
      * @since 3.6.0
      */
     type In<T extends Any> = [T] extends [Predicate<infer _A>] ? _A : never;
@@ -162,7 +162,7 @@ export declare namespace Predicate {
      *
      * **Details**
      *
-     * - Type-only; no runtime value is created.
+     * This is type-only and creates no runtime value.
      *
      * **Example** (Generic constraint)
      *
@@ -173,7 +173,7 @@ export declare namespace Predicate {
      * ```
      *
      * @see {@link Predicate.In}
-     * @category type-level
+     * @category utility types
      * @since 3.6.0
      */
     type Any = Predicate<any>;
@@ -183,13 +183,13 @@ export declare namespace Predicate {
  *
  * **When to use**
  *
- * Use when you need to extract input/output types from refinement signatures.
- * - You want to write generic helpers over refinements.
+ * Use when you need to extract input and output types from refinement
+ * signatures while writing generic helpers over refinements.
  *
  * **Details**
  *
- * - Type-only; no runtime value is created.
- * - The namespace is erased at runtime.
+ * These utilities are type-only, create no runtime values, and the namespace is
+ * erased at runtime.
  *
  * **Example** (Extract refinement types)
  *
@@ -215,8 +215,8 @@ export declare namespace Refinement {
      *
      * **Details**
      *
-     * - Type-only; no runtime value is created.
-     * - Resolves to `never` if the type does not match `Refinement`.
+     * This is type-only and creates no runtime value. It resolves to `never` if
+     * the type does not match `Refinement`.
      *
      * **Example** (Infer input)
      *
@@ -229,7 +229,7 @@ export declare namespace Refinement {
      *
      * @see {@link Refinement.Out}
      * @see {@link Predicate.In}
-     * @category type-level
+     * @category utility types
      * @since 3.6.0
      */
     type In<T extends Any> = [T] extends [Refinement<infer _A, infer _>] ? _A : never;
@@ -242,8 +242,8 @@ export declare namespace Refinement {
      *
      * **Details**
      *
-     * - Type-only; no runtime value is created.
-     * - Resolves to `never` if the type does not match `Refinement`.
+     * This is type-only and creates no runtime value. It resolves to `never` if
+     * the type does not match `Refinement`.
      *
      * **Example** (Infer output)
      *
@@ -255,7 +255,7 @@ export declare namespace Refinement {
      * ```
      *
      * @see {@link Refinement.In}
-     * @category type-level
+     * @category utility types
      * @since 3.6.0
      */
     type Out<T extends Any> = [T] extends [Refinement<infer _, infer _B>] ? _B : never;
@@ -268,7 +268,7 @@ export declare namespace Refinement {
      *
      * **Details**
      *
-     * - Type-only; no runtime value is created.
+     * This is type-only and creates no runtime value.
      *
      * **Example** (Generic constraint)
      *
@@ -280,7 +280,7 @@ export declare namespace Refinement {
      *
      * @see {@link Refinement.In}
      * @see {@link Refinement.Out}
-     * @category type-level
+     * @category utility types
      * @since 3.6.0
      */
     type Any = Refinement<any, any>;
@@ -290,13 +290,13 @@ export declare namespace Refinement {
  *
  * **When to use**
  *
- * Use when you have a predicate on `A` and want one on `B` via `B -> A`.
- * - You want to check derived values (lengths, projections, etc.).
+ * Use when you have a predicate on `A` and want to check `B` values by mapping
+ * each `B` to an `A`, such as checking lengths or projections.
  *
  * **Details**
  *
- * - Returns a new predicate that applies `f` before `self`.
- * - No short-circuit beyond what `self` does.
+ * Returns a new predicate that applies `f` before `self`. There is no
+ * additional short-circuiting beyond what `self` does.
  *
  * **Example** (Check string length)
  *
@@ -322,13 +322,13 @@ export declare const mapInput: {
      *
      * **When to use**
      *
-     * Use when you have a predicate on `A` and want one on `B` via `B -> A`.
-     * - You want to check derived values (lengths, projections, etc.).
+     * Use when you have a predicate on `A` and want to check `B` values by mapping
+     * each `B` to an `A`, such as checking lengths or projections.
      *
      * **Details**
      *
-     * - Returns a new predicate that applies `f` before `self`.
-     * - No short-circuit beyond what `self` does.
+     * Returns a new predicate that applies `f` before `self`. There is no
+     * additional short-circuiting beyond what `self` does.
      *
      * **Example** (Check string length)
      *
@@ -354,13 +354,13 @@ export declare const mapInput: {
      *
      * **When to use**
      *
-     * Use when you have a predicate on `A` and want one on `B` via `B -> A`.
-     * - You want to check derived values (lengths, projections, etc.).
+     * Use when you have a predicate on `A` and want to check `B` values by mapping
+     * each `B` to an `A`, such as checking lengths or projections.
      *
      * **Details**
      *
-     * - Returns a new predicate that applies `f` before `self`.
-     * - No short-circuit beyond what `self` does.
+     * Returns a new predicate that applies `f` before `self`. There is no
+     * additional short-circuiting beyond what `self` does.
      *
      * **Example** (Check string length)
      *
@@ -387,13 +387,13 @@ export declare const mapInput: {
  *
  * **When to use**
  *
- * Use when you need a runtime check for tuple length.
- * - You want to narrow `ReadonlyArray<T>` to `TupleOf<N, T>`.
+ * Use when you need a `Predicate` guard for exact tuple length that narrows
+ * `ReadonlyArray<T>` to `TupleOf<N, T>`.
  *
  * **Details**
  *
- * - Only checks length, not element types.
- * - Returns a refinement on the array type.
+ * This only checks length, not element types, and returns a refinement on the
+ * array type.
  *
  * **Example** (Exact length)
  *
@@ -416,13 +416,13 @@ export declare const isTupleOf: {
      *
      * **When to use**
      *
-     * Use when you need a runtime check for tuple length.
-     * - You want to narrow `ReadonlyArray<T>` to `TupleOf<N, T>`.
+     * Use when you need a `Predicate` guard for exact tuple length that narrows
+     * `ReadonlyArray<T>` to `TupleOf<N, T>`.
      *
      * **Details**
      *
-     * - Only checks length, not element types.
-     * - Returns a refinement on the array type.
+     * This only checks length, not element types, and returns a refinement on the
+     * array type.
      *
      * **Example** (Exact length)
      *
@@ -445,13 +445,13 @@ export declare const isTupleOf: {
      *
      * **When to use**
      *
-     * Use when you need a runtime check for tuple length.
-     * - You want to narrow `ReadonlyArray<T>` to `TupleOf<N, T>`.
+     * Use when you need a `Predicate` guard for exact tuple length that narrows
+     * `ReadonlyArray<T>` to `TupleOf<N, T>`.
      *
      * **Details**
      *
-     * - Only checks length, not element types.
-     * - Returns a refinement on the array type.
+     * This only checks length, not element types, and returns a refinement on the
+     * array type.
      *
      * **Example** (Exact length)
      *
@@ -475,13 +475,13 @@ export declare const isTupleOf: {
  *
  * **When to use**
  *
- * Use when you need a runtime check for tuple-like minimum length.
- * - You want to narrow `ReadonlyArray<T>` to `TupleOfAtLeast<N, T>`.
+ * Use when you need a `Predicate` guard for tuple-like minimum length that
+ * narrows `ReadonlyArray<T>` to `TupleOfAtLeast<N, T>`.
  *
  * **Details**
  *
- * - Only checks length, not element types.
- * - Returns a refinement on the array type.
+ * This only checks length, not element types, and returns a refinement on the
+ * array type.
  *
  * **Example** (Minimum length)
  *
@@ -504,13 +504,13 @@ export declare const isTupleOfAtLeast: {
      *
      * **When to use**
      *
-     * Use when you need a runtime check for tuple-like minimum length.
-     * - You want to narrow `ReadonlyArray<T>` to `TupleOfAtLeast<N, T>`.
+     * Use when you need a `Predicate` guard for tuple-like minimum length that
+     * narrows `ReadonlyArray<T>` to `TupleOfAtLeast<N, T>`.
      *
      * **Details**
      *
-     * - Only checks length, not element types.
-     * - Returns a refinement on the array type.
+     * This only checks length, not element types, and returns a refinement on the
+     * array type.
      *
      * **Example** (Minimum length)
      *
@@ -533,13 +533,13 @@ export declare const isTupleOfAtLeast: {
      *
      * **When to use**
      *
-     * Use when you need a runtime check for tuple-like minimum length.
-     * - You want to narrow `ReadonlyArray<T>` to `TupleOfAtLeast<N, T>`.
+     * Use when you need a `Predicate` guard for tuple-like minimum length that
+     * narrows `ReadonlyArray<T>` to `TupleOfAtLeast<N, T>`.
      *
      * **Details**
      *
-     * - Only checks length, not element types.
-     * - Returns a refinement on the array type.
+     * This only checks length, not element types, and returns a refinement on the
+     * array type.
      *
      * **Example** (Minimum length)
      *
@@ -563,13 +563,13 @@ export declare const isTupleOfAtLeast: {
  *
  * **When to use**
  *
- * Use when you want a predicate that mirrors JavaScript truthiness.
- * - You need to filter out falsy values like `0`, "", and `false`.
+ * Use when you want a predicate that mirrors JavaScript truthiness and filters
+ * out falsy values like `0`, `""`, and `false`.
  *
  * **Details**
  *
- * - Uses `!!input` under the hood.
- * - Treats `0`, "", `false`, `null`, and `undefined` as false.
+ * This uses `!!input` and treats `0`, `""`, `false`, `null`, and `undefined`
+ * as false.
  *
  * **Example** (Filter truthy)
  *
@@ -593,11 +593,11 @@ export declare function isTruthy(input: unknown): boolean;
  *
  * **When to use**
  *
- * Use when you need a runtime guard for `Set` values.
+ * Use when you need a `Predicate` runtime guard for `Set` values.
  *
  * **Details**
  *
- * - Uses `instanceof Set`.
+ * Uses `instanceof Set`.
  *
  * **Example** (Guard a Set)
  *
@@ -622,11 +622,11 @@ export declare function isSet(input: unknown): input is Set<unknown>;
  *
  * **When to use**
  *
- * Use when you need a runtime guard for `Map` values.
+ * Use when you need a `Predicate` runtime guard for `Map` values.
  *
  * **Details**
  *
- * - Uses `instanceof Map`.
+ * Uses `instanceof Map`.
  *
  * **Example** (Guard a Map)
  *
@@ -651,12 +651,12 @@ export declare function isMap(input: unknown): input is Map<unknown, unknown>;
  *
  * **When to use**
  *
- * Use when you need to guard an `unknown` value as a string.
- * - You want to narrow in `if` statements.
+ * Use when you need a `Predicate` guard to narrow an `unknown` value to a
+ * string.
  *
  * **Details**
  *
- * - Uses `typeof input === "string"`.
+ * Uses `typeof input === "string"`.
  *
  * **Example** (Guard string)
  *
@@ -682,12 +682,12 @@ export declare function isString(input: unknown): input is string;
  *
  * **When to use**
  *
- * Use when you need to guard an `unknown` value as a number.
+ * Use when you need a `Predicate` guard to narrow an `unknown` value to a
+ * number.
  *
  * **Details**
  *
- * - Uses `typeof input === "number"`.
- * - Does not exclude `NaN` or `Infinity`.
+ * Uses `typeof input === "number"` and does not exclude `NaN` or `Infinity`.
  *
  * **Example** (Guard number)
  *
@@ -712,11 +712,12 @@ export declare function isNumber(input: unknown): input is number;
  *
  * **When to use**
  *
- * Use when you need to guard an `unknown` value as a boolean.
+ * Use when you need a `Predicate` guard to narrow an `unknown` value to a
+ * boolean.
  *
  * **Details**
  *
- * - Uses `typeof input === "boolean"`.
+ * Uses `typeof input === "boolean"`.
  *
  * **Example** (Guard boolean)
  *
@@ -741,11 +742,12 @@ export declare function isBoolean(input: unknown): input is boolean;
  *
  * **When to use**
  *
- * Use when you need to guard an `unknown` value as a bigint.
+ * Use when you need a `Predicate` guard to narrow an `unknown` value to a
+ * bigint.
  *
  * **Details**
  *
- * - Uses `typeof input === "bigint"`.
+ * Uses `typeof input === "bigint"`.
  *
  * **Example** (Guard bigint)
  *
@@ -769,11 +771,12 @@ export declare function isBigInt(input: unknown): input is bigint;
  *
  * **When to use**
  *
- * Use when you need to guard an `unknown` value as a symbol.
+ * Use when you need a `Predicate` guard to narrow an `unknown` value to a
+ * symbol.
  *
  * **Details**
  *
- * - Uses `typeof input === "symbol"`.
+ * Uses `typeof input === "symbol"`.
  *
  * **Example** (Guard symbol)
  *
@@ -797,11 +800,12 @@ export declare function isSymbol(input: unknown): input is symbol;
  *
  * **When to use**
  *
- * Use when you need to guard unknown keys before indexing.
+ * Use when you need a `Predicate` guard for unknown property keys before
+ * indexing.
  *
  * **Details**
  *
- * - Uses {@link isString}, {@link isNumber}, and {@link isSymbol}.
+ * Uses `isString`, `isNumber`, and `isSymbol`.
  *
  * **Example** (Guard property key)
  *
@@ -828,11 +832,12 @@ export declare function isPropertyKey(u: unknown): u is PropertyKey;
  *
  * **When to use**
  *
- * Use when you need to guard an `unknown` value as callable.
+ * Use when you need a `Predicate` guard to narrow an `unknown` value to a
+ * callable function.
  *
  * **Details**
  *
- * - Uses `typeof input === "function"`.
+ * Uses `typeof input === "function"`.
  *
  * **Example** (Guard function)
  *
@@ -856,11 +861,12 @@ export declare function isFunction(input: unknown): input is Function;
  *
  * **When to use**
  *
- * Use when you need a guard for optional values.
+ * Use when you need a `Predicate` guard for values that are exactly
+ * `undefined`.
  *
  * **Details**
  *
- * - Uses `input === undefined`.
+ * Uses `input === undefined`.
  *
  * **Example** (Guard undefined)
  *
@@ -883,11 +889,12 @@ export declare function isUndefined(input: unknown): input is undefined;
  *
  * **When to use**
  *
- * Use when you want to filter out `undefined` while preserving other falsy values.
+ * Use when you need a `Predicate` refinement that filters out `undefined`
+ * while preserving other falsy values.
  *
  * **Details**
  *
- * - Returns a refinement that excludes `undefined`.
+ * Returns a refinement that excludes `undefined`.
  *
  * **Example** (Filter undefined)
  *
@@ -911,11 +918,11 @@ export declare function isNotUndefined<A>(input: A): input is Exclude<A, undefin
  *
  * **When to use**
  *
- * Use when you need a guard for nullable values.
+ * Use when you need a `Predicate` guard for nullable values.
  *
  * **Details**
  *
- * - Uses `input === null`.
+ * Uses `input === null`.
  *
  * **Example** (Guard null)
  *
@@ -938,11 +945,12 @@ export declare function isNull(input: unknown): input is null;
  *
  * **When to use**
  *
- * Use when you want to filter out `null` while preserving other falsy values.
+ * Use when you need a `Predicate` refinement that filters out `null` while
+ * preserving other falsy values.
  *
  * **Details**
  *
- * - Returns a refinement that excludes `null`.
+ * Returns a refinement that excludes `null`.
  *
  * **Example** (Filter null)
  *
@@ -966,11 +974,11 @@ export declare function isNotNull<A>(input: A): input is Exclude<A, null>;
  *
  * **When to use**
  *
- * Use when you want to guard nullish values explicitly.
+ * Use when you need a `Predicate` guard for nullish values.
  *
  * **Details**
  *
- * - Uses `input === null || input === undefined`.
+ * Uses `input === null || input === undefined`.
  *
  * **Example** (Guard nullish)
  *
@@ -995,11 +1003,12 @@ export declare function isNullish<A>(input: A): input is A & (null | undefined);
  *
  * **When to use**
  *
- * Use when you want to filter out nullish values but keep other falsy ones.
+ * Use when you need a `Predicate` refinement that filters out nullish values
+ * but keeps other falsy ones.
  *
  * **Details**
  *
- * - Uses `input != null`.
+ * Uses `input != null`.
  *
  * **Example** (Filter non-nullish)
  *
@@ -1024,11 +1033,7 @@ export declare function isNotNullish<A>(input: A): input is NonNullable<A>;
  *
  * **When to use**
  *
- * Use when you need a predicate that never accepts, e.g. in default branches.
- *
- * **Details**
- *
- * - Always returns `false`.
+ * Use when you need a `Predicate` that never accepts, e.g. in default branches.
  *
  * **Example** (Never matches)
  *
@@ -1048,11 +1053,7 @@ export declare function isNever(_: unknown): _ is never;
  *
  * **When to use**
  *
- * Use when you need a predicate that always accepts, e.g. as a placeholder.
- *
- * **Details**
- *
- * - Always returns `true`.
+ * Use when you need a `Predicate` that always accepts, e.g. as a placeholder.
  *
  * **Example** (Always matches)
  *
@@ -1072,12 +1073,12 @@ export declare function isUnknown(_: unknown): _ is unknown;
  *
  * **When to use**
  *
- * Use when you want to accept plain objects and arrays, but not `null`.
+ * Use when you need a `Predicate` guard that accepts plain objects and arrays,
+ * but not `null`.
  *
  * **Details**
  *
- * - Uses `typeof input === "object" && input !== null`.
- * - Includes arrays.
+ * Uses `typeof input === "object" && input !== null` and includes arrays.
  *
  * **Example** (Object or array)
  *
@@ -1100,7 +1101,8 @@ export declare function isObjectOrArray(input: unknown): input is {
  *
  * **When to use**
  *
- * Use to narrow unknown input to a non-null, non-array object.
+ * Use to narrow unknown input to a non-null, non-array object with a
+ * `Predicate` guard.
  *
  * **Details**
  *
@@ -1132,7 +1134,7 @@ export declare function isObject(input: unknown): input is {
  * **When to use**
  *
  * Use to narrow unknown input to a readonly view of a non-null, non-array
- * object.
+ * object with a `Predicate` guard.
  *
  * **Details**
  *
@@ -1162,11 +1164,12 @@ export declare function isReadonlyObject(input: unknown): input is {
  *
  * **When to use**
  *
- * Use when you want to accept arrays and functions as well as objects.
+ * Use when you need a `Predicate` guard that accepts arrays and functions as
+ * well as objects.
  *
  * **Details**
  *
- * - Returns `true` for arrays and functions, `false` for `null`.
+ * Returns `true` for arrays and functions, and `false` for `null`.
  *
  * **Example** (Object keyword)
  *
@@ -1188,13 +1191,13 @@ export declare function isObjectKeyword(input: unknown): input is object;
  *
  * **When to use**
  *
- * Use when you need to guard property access on `unknown` values.
- * - You want a simple structural guard for objects.
+ * Use when you need a `Predicate` guard for property access on `unknown`
+ * values with a simple structural object check.
  *
  * **Details**
  *
- * - Uses the `in` operator and {@link isObjectKeyword}.
- * - Does not check property value types.
+ * Uses the `in` operator and `isObjectKeyword`. This does not check property
+ * value types.
  *
  * **Example** (Guard property)
  *
@@ -1220,13 +1223,13 @@ export declare const hasProperty: {
      *
      * **When to use**
      *
-     * Use when you need to guard property access on `unknown` values.
-     * - You want a simple structural guard for objects.
+     * Use when you need a `Predicate` guard for property access on `unknown`
+     * values with a simple structural object check.
      *
      * **Details**
      *
-     * - Uses the `in` operator and {@link isObjectKeyword}.
-     * - Does not check property value types.
+     * Uses the `in` operator and `isObjectKeyword`. This does not check property
+     * value types.
      *
      * **Example** (Guard property)
      *
@@ -1254,13 +1257,13 @@ export declare const hasProperty: {
      *
      * **When to use**
      *
-     * Use when you need to guard property access on `unknown` values.
-     * - You want a simple structural guard for objects.
+     * Use when you need a `Predicate` guard for property access on `unknown`
+     * values with a simple structural object check.
      *
      * **Details**
      *
-     * - Uses the `in` operator and {@link isObjectKeyword}.
-     * - Does not check property value types.
+     * Uses the `in` operator and `isObjectKeyword`. This does not check property
+     * value types.
      *
      * **Example** (Guard property)
      *
@@ -1289,12 +1292,12 @@ export declare const hasProperty: {
  *
  * **When to use**
  *
- * Use when you model tagged unions with a `_tag` field.
- * - You want a quick, structural guard for tagged values.
+ * Use when you model tagged unions with a `_tag` field and want a quick
+ * `Predicate` guard for tagged values.
  *
  * **Details**
  *
- * - Uses {@link hasProperty} and strict equality on `_tag`.
+ * Uses `hasProperty` and strict equality on `_tag`.
  *
  * **Example** (Guard tagged)
  *
@@ -1316,12 +1319,12 @@ export declare const isTagged: {
      *
      * **When to use**
      *
-     * Use when you model tagged unions with a `_tag` field.
-     * - You want a quick, structural guard for tagged values.
+     * Use when you model tagged unions with a `_tag` field and want a quick
+     * `Predicate` guard for tagged values.
      *
      * **Details**
      *
-     * - Uses {@link hasProperty} and strict equality on `_tag`.
+     * Uses `hasProperty` and strict equality on `_tag`.
      *
      * **Example** (Guard tagged)
      *
@@ -1345,12 +1348,12 @@ export declare const isTagged: {
      *
      * **When to use**
      *
-     * Use when you model tagged unions with a `_tag` field.
-     * - You want a quick, structural guard for tagged values.
+     * Use when you model tagged unions with a `_tag` field and want a quick
+     * `Predicate` guard for tagged values.
      *
      * **Details**
      *
-     * - Uses {@link hasProperty} and strict equality on `_tag`.
+     * Uses `hasProperty` and strict equality on `_tag`.
      *
      * **Example** (Guard tagged)
      *
@@ -1375,11 +1378,11 @@ export declare const isTagged: {
  *
  * **When to use**
  *
- * Use when you need to guard errors caught from unknown sources.
+ * Use when you need a `Predicate` guard for errors caught from unknown sources.
  *
  * **Details**
  *
- * - Uses `instanceof Error`.
+ * Uses `instanceof Error`.
  *
  * **Example** (Guard error)
  *
@@ -1401,11 +1404,11 @@ export declare function isError(input: unknown): input is Error;
  *
  * **When to use**
  *
- * Use when you need to guard binary data at runtime.
+ * Use when you need a `Predicate` runtime guard for binary data.
  *
  * **Details**
  *
- * - Uses `instanceof Uint8Array`.
+ * Uses `instanceof Uint8Array`.
  *
  * **Example** (Guard Uint8Array)
  *
@@ -1428,11 +1431,11 @@ export declare function isUint8Array(input: unknown): input is Uint8Array;
  *
  * **When to use**
  *
- * Use when you need to guard dates at runtime.
+ * Use when you need a `Predicate` runtime guard for dates.
  *
  * **Details**
  *
- * - Uses `instanceof Date`.
+ * Uses `instanceof Date`.
  *
  * **Example** (Guard Date)
  *
@@ -1454,12 +1457,11 @@ export declare function isDate(input: unknown): input is Date;
  *
  * **When to use**
  *
- * Use when you need a guard before iterating an unknown value.
+ * Use when you need a `Predicate` guard before iterating an unknown value.
  *
  * **Details**
  *
- * - Accepts strings as iterable.
- * - Uses {@link hasProperty} for `Symbol.iterator`.
+ * Accepts strings as iterable and uses `hasProperty` for `Symbol.iterator`.
  *
  * **Example** (Guard iterable)
  *
@@ -1482,11 +1484,11 @@ export declare function isIterable(input: unknown): input is Iterable<unknown>;
  *
  * **When to use**
  *
- * Use when you need to detect promise instances across realms.
+ * Use when you need a `Predicate` guard for promise instances across realms.
  *
  * **Details**
  *
- * - Structural check for `then` and `catch` functions.
+ * Performs a structural check for `then` and `catch` functions.
  *
  * **Example** (Guard promise)
  *
@@ -1508,11 +1510,12 @@ export declare function isPromise(input: unknown): input is Promise<unknown>;
  *
  * **When to use**
  *
- * Use when you only need `then` to interop with promise-like values.
+ * Use when you need a `Predicate` guard for promise-like values with a
+ * callable `then` method.
  *
  * **Details**
  *
- * - Structural check for a callable `then`.
+ * Performs a structural check for a callable `then`.
  *
  * **Example** (Guard promise-like)
  *
@@ -1534,11 +1537,11 @@ export declare function isPromiseLike(input: unknown): input is PromiseLike<unkn
  *
  * **When to use**
  *
- * Use when you need a runtime guard for regular expressions.
+ * Use when you need a `Predicate` runtime guard for regular expressions.
  *
  * **Details**
  *
- * - Uses `instanceof RegExp`.
+ * Uses `instanceof RegExp`.
  *
  * **Example** (Guard RegExp)
  *
@@ -1560,13 +1563,13 @@ export declare function isRegExp(input: unknown): input is RegExp;
  *
  * **When to use**
  *
- * Use when you want to chain two refinements for progressive narrowing.
- * - You want a predicate that applies two checks in sequence.
+ * Use when you want to compose two `Predicate` checks in sequence, especially
+ * when chaining refinements for progressive narrowing.
  *
  * **Details**
  *
- * - For refinements, the output type is narrowed by both.
- * - Short-circuits on the first `false`.
+ * For refinements, the output type is narrowed by both checks. Evaluation
+ * short-circuits on the first `false`.
  *
  * **Example** (Compose refinements)
  *
@@ -1592,13 +1595,13 @@ export declare const compose: {
      *
      * **When to use**
      *
-     * Use when you want to chain two refinements for progressive narrowing.
-     * - You want a predicate that applies two checks in sequence.
+     * Use when you want to compose two `Predicate` checks in sequence, especially
+     * when chaining refinements for progressive narrowing.
      *
      * **Details**
      *
-     * - For refinements, the output type is narrowed by both.
-     * - Short-circuits on the first `false`.
+     * For refinements, the output type is narrowed by both checks. Evaluation
+     * short-circuits on the first `false`.
      *
      * **Example** (Compose refinements)
      *
@@ -1624,13 +1627,13 @@ export declare const compose: {
      *
      * **When to use**
      *
-     * Use when you want to chain two refinements for progressive narrowing.
-     * - You want a predicate that applies two checks in sequence.
+     * Use when you want to compose two `Predicate` checks in sequence, especially
+     * when chaining refinements for progressive narrowing.
      *
      * **Details**
      *
-     * - For refinements, the output type is narrowed by both.
-     * - Short-circuits on the first `false`.
+     * For refinements, the output type is narrowed by both checks. Evaluation
+     * short-circuits on the first `false`.
      *
      * **Example** (Compose refinements)
      *
@@ -1656,13 +1659,13 @@ export declare const compose: {
      *
      * **When to use**
      *
-     * Use when you want to chain two refinements for progressive narrowing.
-     * - You want a predicate that applies two checks in sequence.
+     * Use when you want to compose two `Predicate` checks in sequence, especially
+     * when chaining refinements for progressive narrowing.
      *
      * **Details**
      *
-     * - For refinements, the output type is narrowed by both.
-     * - Short-circuits on the first `false`.
+     * For refinements, the output type is narrowed by both checks. Evaluation
+     * short-circuits on the first `false`.
      *
      * **Example** (Compose refinements)
      *
@@ -1688,13 +1691,13 @@ export declare const compose: {
      *
      * **When to use**
      *
-     * Use when you want to chain two refinements for progressive narrowing.
-     * - You want a predicate that applies two checks in sequence.
+     * Use when you want to compose two `Predicate` checks in sequence, especially
+     * when chaining refinements for progressive narrowing.
      *
      * **Details**
      *
-     * - For refinements, the output type is narrowed by both.
-     * - Short-circuits on the first `false`.
+     * For refinements, the output type is narrowed by both checks. Evaluation
+     * short-circuits on the first `false`.
      *
      * **Example** (Compose refinements)
      *
@@ -1721,13 +1724,13 @@ export declare const compose: {
  *
  * **When to use**
  *
- * Use when you want to validate tuple positions independently.
- * - You want to lift element predicates into a tuple predicate.
+ * Use when you want to validate tuple positions independently by lifting
+ * element predicates into a tuple predicate.
  *
  * **Details**
  *
- * - Returns a refinement if any element predicate is a refinement.
- * - Stops at the first failing element.
+ * Returns a refinement if any element predicate is a refinement. Evaluation
+ * stops at the first failing element.
  *
  * **Example** (Tuple predicate)
  *
@@ -1756,13 +1759,13 @@ export declare function Tuple<const T extends ReadonlyArray<Predicate.Any>>(elem
  *
  * **When to use**
  *
- * Use when you want to validate a record shape at runtime.
- * - You want to lift property predicates into an object predicate.
+ * Use when you want to validate a record shape at runtime by lifting property
+ * predicates into an object predicate.
  *
  * **Details**
  *
- * - Returns a refinement if any field predicate is a refinement.
- * - Checks only the specified keys; extra keys are ignored.
+ * Returns a refinement if any field predicate is a refinement. Only the
+ * specified keys are checked, and extra keys are ignored.
  *
  * **Example** (Struct predicate)
  *
@@ -1798,7 +1801,7 @@ export declare function Struct<R extends Record<string, Predicate.Any>>(fields:
  *
  * **Details**
  *
- * - Returns a new predicate that flips the boolean result.
+ * Returns a new predicate that flips the boolean result.
  *
  * **Example** (Negate)
  *
@@ -1822,13 +1825,13 @@ export declare function not<A>(self: Predicate<A>): Predicate<A>;
  *
  * **When to use**
  *
- * Use when you want to accept values that satisfy at least one condition.
- * - You want to combine refinements with union narrowing.
+ * Use when you want to combine `Predicate`s with OR, accepting values that
+ * satisfy at least one condition, including refinements that narrow to a union.
  *
  * **Details**
  *
- * - Short-circuits on the first `true`.
- * - For refinements, the output type is a union.
+ * Evaluation short-circuits on the first `true`. For refinements, the output
+ * type is a union.
  *
  * **Example** (Either condition)
  *
@@ -1851,13 +1854,13 @@ export declare const or: {
      *
      * **When to use**
      *
-     * Use when you want to accept values that satisfy at least one condition.
-     * - You want to combine refinements with union narrowing.
+     * Use when you want to combine `Predicate`s with OR, accepting values that
+     * satisfy at least one condition, including refinements that narrow to a union.
      *
      * **Details**
      *
-     * - Short-circuits on the first `true`.
-     * - For refinements, the output type is a union.
+     * Evaluation short-circuits on the first `true`. For refinements, the output
+     * type is a union.
      *
      * **Example** (Either condition)
      *
@@ -1880,13 +1883,13 @@ export declare const or: {
      *
      * **When to use**
      *
-     * Use when you want to accept values that satisfy at least one condition.
-     * - You want to combine refinements with union narrowing.
+     * Use when you want to combine `Predicate`s with OR, accepting values that
+     * satisfy at least one condition, including refinements that narrow to a union.
      *
      * **Details**
      *
-     * - Short-circuits on the first `true`.
-     * - For refinements, the output type is a union.
+     * Evaluation short-circuits on the first `true`. For refinements, the output
+     * type is a union.
      *
      * **Example** (Either condition)
      *
@@ -1909,13 +1912,13 @@ export declare const or: {
      *
      * **When to use**
      *
-     * Use when you want to accept values that satisfy at least one condition.
-     * - You want to combine refinements with union narrowing.
+     * Use when you want to combine `Predicate`s with OR, accepting values that
+     * satisfy at least one condition, including refinements that narrow to a union.
      *
      * **Details**
      *
-     * - Short-circuits on the first `true`.
-     * - For refinements, the output type is a union.
+     * Evaluation short-circuits on the first `true`. For refinements, the output
+     * type is a union.
      *
      * **Example** (Either condition)
      *
@@ -1938,13 +1941,13 @@ export declare const or: {
      *
      * **When to use**
      *
-     * Use when you want to accept values that satisfy at least one condition.
-     * - You want to combine refinements with union narrowing.
+     * Use when you want to combine `Predicate`s with OR, accepting values that
+     * satisfy at least one condition, including refinements that narrow to a union.
      *
      * **Details**
      *
-     * - Short-circuits on the first `true`.
-     * - For refinements, the output type is a union.
+     * Evaluation short-circuits on the first `true`. For refinements, the output
+     * type is a union.
      *
      * **Example** (Either condition)
      *
@@ -1968,13 +1971,14 @@ export declare const or: {
  *
  * **When to use**
  *
- * Use when you want to accept values that satisfy multiple conditions.
- * - You want to combine refinements with intersection narrowing.
+ * Use when you want to combine `Predicate`s with AND, accepting values that
+ * satisfy multiple conditions, including refinements that narrow to an
+ * intersection.
  *
  * **Details**
  *
- * - Short-circuits on the first `false`.
- * - For refinements, the output type is an intersection.
+ * Evaluation short-circuits on the first `false`. For refinements, the output
+ * type is an intersection.
  *
  * **Example** (Both conditions)
  *
@@ -2005,13 +2009,14 @@ export declare const and: {
      *
      * **When to use**
      *
-     * Use when you want to accept values that satisfy multiple conditions.
-     * - You want to combine refinements with intersection narrowing.
+     * Use when you want to combine `Predicate`s with AND, accepting values that
+     * satisfy multiple conditions, including refinements that narrow to an
+     * intersection.
      *
      * **Details**
      *
-     * - Short-circuits on the first `false`.
-     * - For refinements, the output type is an intersection.
+     * Evaluation short-circuits on the first `false`. For refinements, the output
+     * type is an intersection.
      *
      * **Example** (Both conditions)
      *
@@ -2042,13 +2047,14 @@ export declare const and: {
      *
      * **When to use**
      *
-     * Use when you want to accept values that satisfy multiple conditions.
-     * - You want to combine refinements with intersection narrowing.
+     * Use when you want to combine `Predicate`s with AND, accepting values that
+     * satisfy multiple conditions, including refinements that narrow to an
+     * intersection.
      *
      * **Details**
      *
-     * - Short-circuits on the first `false`.
-     * - For refinements, the output type is an intersection.
+     * Evaluation short-circuits on the first `false`. For refinements, the output
+     * type is an intersection.
      *
      * **Example** (Both conditions)
      *
@@ -2079,13 +2085,14 @@ export declare const and: {
      *
      * **When to use**
      *
-     * Use when you want to accept values that satisfy multiple conditions.
-     * - You want to combine refinements with intersection narrowing.
+     * Use when you want to combine `Predicate`s with AND, accepting values that
+     * satisfy multiple conditions, including refinements that narrow to an
+     * intersection.
      *
      * **Details**
      *
-     * - Short-circuits on the first `false`.
-     * - For refinements, the output type is an intersection.
+     * Evaluation short-circuits on the first `false`. For refinements, the output
+     * type is an intersection.
      *
      * **Example** (Both conditions)
      *
@@ -2116,13 +2123,14 @@ export declare const and: {
      *
      * **When to use**
      *
-     * Use when you want to accept values that satisfy multiple conditions.
-     * - You want to combine refinements with intersection narrowing.
+     * Use when you want to combine `Predicate`s with AND, accepting values that
+     * satisfy multiple conditions, including refinements that narrow to an
+     * intersection.
      *
      * **Details**
      *
-     * - Short-circuits on the first `false`.
-     * - For refinements, the output type is an intersection.
+     * Evaluation short-circuits on the first `false`. For refinements, the output
+     * type is an intersection.
      *
      * **Example** (Both conditions)
      *
@@ -2154,11 +2162,11 @@ export declare const and: {
  *
  * **When to use**
  *
- * Use when you want an exclusive-or between two conditions.
+ * Use when you want to combine two `Predicate`s with exclusive-or semantics.
  *
  * **Details**
  *
- * - Returns `true` when results differ.
+ * Returns `true` when results differ.
  *
  * **Example** (Exclusive or)
  *
@@ -2183,11 +2191,11 @@ export declare const xor: {
      *
      * **When to use**
      *
-     * Use when you want an exclusive-or between two conditions.
+     * Use when you want to combine two `Predicate`s with exclusive-or semantics.
      *
      * **Details**
      *
-     * - Returns `true` when results differ.
+     * Returns `true` when results differ.
      *
      * **Example** (Exclusive or)
      *
@@ -2212,11 +2220,11 @@ export declare const xor: {
      *
      * **When to use**
      *
-     * Use when you want an exclusive-or between two conditions.
+     * Use when you want to combine two `Predicate`s with exclusive-or semantics.
      *
      * **Details**
      *
-     * - Returns `true` when results differ.
+     * Returns `true` when results differ.
      *
      * **Example** (Exclusive or)
      *
@@ -2242,11 +2250,11 @@ export declare const xor: {
  *
  * **When to use**
  *
- * Use when you want to check equivalence of two predicates.
+ * Use when you want to check equivalence of two `Predicate`s.
  *
  * **Details**
  *
- * - Returns `true` when both results are equal.
+ * Returns `true` when both results are equal.
  *
  * **Example** (Equivalence)
  *
@@ -2269,11 +2277,11 @@ export declare const eqv: {
      *
      * **When to use**
      *
-     * Use when you want to check equivalence of two predicates.
+     * Use when you want to check equivalence of two `Predicate`s.
      *
      * **Details**
      *
-     * - Returns `true` when both results are equal.
+     * Returns `true` when both results are equal.
      *
      * **Example** (Equivalence)
      *
@@ -2296,11 +2304,11 @@ export declare const eqv: {
      *
      * **When to use**
      *
-     * Use when you want to check equivalence of two predicates.
+     * Use when you want to check equivalence of two `Predicate`s.
      *
      * **Details**
      *
-     * - Returns `true` when both results are equal.
+     * Returns `true` when both results are equal.
      *
      * **Example** (Equivalence)
      *
@@ -2324,12 +2332,13 @@ export declare const eqv: {
  *
  * **When to use**
  *
- * Use when you want a rule that only applies when a precondition holds.
- * - You model constraints like "if A then B".
+ * Use when you need to encode logical implication between `Predicate` rules,
+ * where one rule only applies when a precondition holds.
  *
  * **Details**
  *
- * - Returns `true` when the antecedent is `false`.
+ * Models constraints like "if A then B" and returns `true` when the antecedent
+ * is `false`.
  *
  * **Example** (Implication)
  *
@@ -2354,12 +2363,13 @@ export declare const implies: {
      *
      * **When to use**
      *
-     * Use when you want a rule that only applies when a precondition holds.
-     * - You model constraints like "if A then B".
+     * Use when you need to encode logical implication between `Predicate` rules,
+     * where one rule only applies when a precondition holds.
      *
      * **Details**
      *
-     * - Returns `true` when the antecedent is `false`.
+     * Models constraints like "if A then B" and returns `true` when the antecedent
+     * is `false`.
      *
      * **Example** (Implication)
      *
@@ -2384,12 +2394,13 @@ export declare const implies: {
      *
      * **When to use**
      *
-     * Use when you want a rule that only applies when a precondition holds.
-     * - You model constraints like "if A then B".
+     * Use when you need to encode logical implication between `Predicate` rules,
+     * where one rule only applies when a precondition holds.
      *
      * **Details**
      *
-     * - Returns `true` when the antecedent is `false`.
+     * Models constraints like "if A then B" and returns `true` when the antecedent
+     * is `false`.
      *
      * **Example** (Implication)
      *
@@ -2415,11 +2426,11 @@ export declare const implies: {
  *
  * **When to use**
  *
- * Use when you want the logical NOR of two conditions.
+ * Use when you want to combine two `Predicate`s with logical NOR semantics.
  *
  * **Details**
  *
- * - Returns the negation of {@link or}.
+ * Returns the negation of `or`.
  *
  * **Example** (NOR)
  *
@@ -2442,11 +2453,11 @@ export declare const nor: {
      *
      * **When to use**
      *
-     * Use when you want the logical NOR of two conditions.
+     * Use when you want to combine two `Predicate`s with logical NOR semantics.
      *
      * **Details**
      *
-     * - Returns the negation of {@link or}.
+     * Returns the negation of `or`.
      *
      * **Example** (NOR)
      *
@@ -2469,11 +2480,11 @@ export declare const nor: {
      *
      * **When to use**
      *
-     * Use when you want the logical NOR of two conditions.
+     * Use when you want to combine two `Predicate`s with logical NOR semantics.
      *
      * **Details**
      *
-     * - Returns the negation of {@link or}.
+     * Returns the negation of `or`.
      *
      * **Example** (NOR)
      *
@@ -2497,11 +2508,11 @@ export declare const nor: {
  *
  * **When to use**
  *
- * Use when you want the logical NAND of two conditions.
+ * Use when you want to combine two `Predicate`s with logical NAND semantics.
  *
  * **Details**
  *
- * - Returns the negation of {@link and}.
+ * Returns the negation of `and`.
  *
  * **Example** (NAND)
  *
@@ -2524,11 +2535,11 @@ export declare const nand: {
      *
      * **When to use**
      *
-     * Use when you want the logical NAND of two conditions.
+     * Use when you want to combine two `Predicate`s with logical NAND semantics.
      *
      * **Details**
      *
-     * - Returns the negation of {@link and}.
+     * Returns the negation of `and`.
      *
      * **Example** (NAND)
      *
@@ -2551,11 +2562,11 @@ export declare const nand: {
      *
      * **When to use**
      *
-     * Use when you want the logical NAND of two conditions.
+     * Use when you want to combine two `Predicate`s with logical NAND semantics.
      *
      * **Details**
      *
-     * - Returns the negation of {@link and}.
+     * Returns the negation of `and`.
      *
      * **Example** (NAND)
      *
@@ -2583,8 +2594,8 @@ export declare const nand: {
  *
  * **Details**
  *
- * - Short-circuits on the first `false`.
- * - Iterates the collection each time the predicate is called.
+ * Evaluation short-circuits on the first `false`. The collection is iterated
+ * each time the predicate is called.
  *
  * **Example** (All checks)
  *
@@ -2611,8 +2622,8 @@ export declare function every<A>(collection: Iterable<Predicate<A>>): Predicate<
  *
  * **Details**
  *
- * - Short-circuits on the first `true`.
- * - Iterates the collection each time the predicate is called.
+ * Evaluation short-circuits on the first `true`. The collection is iterated
+ * each time the predicate is called.
  *
  * **Example** (Any check)
  *