effect 4.0.0-beta.83 → 4.0.0-beta.85

package/dist/Predicate.d.ts

@@ -14,7 +14,7 @@ import type { TupleOf, TupleOfAtLeast } from "./Types.ts";
  * A predicate returns `true` or `false` and never throws by itself. It does not
  * narrow types unless you use `Refinement`.
  *
- * **Example** (Define a predicate)
+ * **Example** (Defining a predicate)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -76,7 +76,7 @@ export interface PredicateTypeLambda extends TypeLambda {
  * A refinement returns a type predicate (`a is B`). Use it with `if` or
  * `filter` to narrow types.
  *
- * **Example** (Narrow unknown)
+ * **Example** (Narrowing unknown values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -111,7 +111,7 @@ export interface Refinement<in A, out B extends A> {
  * These utilities are type-only, create no runtime values, and the namespace is
  * erased at runtime.
  *
- * **Example** (Extract predicate input)
+ * **Example** (Extracting predicate input)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -138,7 +138,7 @@ export declare namespace Predicate {
      * This is type-only and creates no runtime value. It resolves to `never` if
      * the type does not match `Predicate`.
      *
-     * **Example** (Infer input)
+     * **Example** (Inferring the input type)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -164,7 +164,7 @@ export declare namespace Predicate {
      *
      * This is type-only and creates no runtime value.
      *
-     * **Example** (Generic constraint)
+     * **Example** (Using generic constraints)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -191,7 +191,7 @@ export declare namespace Predicate {
  * These utilities are type-only, create no runtime values, and the namespace is
  * erased at runtime.
  *
- * **Example** (Extract refinement types)
+ * **Example** (Extracting refinement types)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -218,7 +218,7 @@ export declare namespace Refinement {
      * This is type-only and creates no runtime value. It resolves to `never` if
      * the type does not match `Refinement`.
      *
-     * **Example** (Infer input)
+     * **Example** (Inferring the input type)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -245,7 +245,7 @@ export declare namespace Refinement {
      * This is type-only and creates no runtime value. It resolves to `never` if
      * the type does not match `Refinement`.
      *
-     * **Example** (Infer output)
+     * **Example** (Inferring the output type)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -270,7 +270,7 @@ export declare namespace Refinement {
      *
      * This is type-only and creates no runtime value.
      *
-     * **Example** (Generic constraint)
+     * **Example** (Using generic constraints)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -298,7 +298,7 @@ export declare namespace Refinement {
  * Returns a new predicate that applies `f` before `self`. There is no
  * additional short-circuiting beyond what `self` does.
  *
- * **Example** (Check string length)
+ * **Example** (Checking string length)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -330,7 +330,7 @@ export declare const mapInput: {
      * Returns a new predicate that applies `f` before `self`. There is no
      * additional short-circuiting beyond what `self` does.
      *
-     * **Example** (Check string length)
+     * **Example** (Checking string length)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -362,7 +362,7 @@ export declare const mapInput: {
      * Returns a new predicate that applies `f` before `self`. There is no
      * additional short-circuiting beyond what `self` does.
      *
-     * **Example** (Check string length)
+     * **Example** (Checking string length)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -395,7 +395,7 @@ export declare const mapInput: {
  * This only checks length, not element types, and returns a refinement on the
  * array type.
  *
- * **Example** (Exact length)
+ * **Example** (Checking exact length)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -424,7 +424,7 @@ export declare const isTupleOf: {
      * This only checks length, not element types, and returns a refinement on the
      * array type.
      *
-     * **Example** (Exact length)
+     * **Example** (Checking exact length)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -453,7 +453,7 @@ export declare const isTupleOf: {
      * This only checks length, not element types, and returns a refinement on the
      * array type.
      *
-     * **Example** (Exact length)
+     * **Example** (Checking exact length)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -483,7 +483,7 @@ export declare const isTupleOf: {
  * This only checks length, not element types, and returns a refinement on the
  * array type.
  *
- * **Example** (Minimum length)
+ * **Example** (Checking minimum length)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -512,7 +512,7 @@ export declare const isTupleOfAtLeast: {
      * This only checks length, not element types, and returns a refinement on the
      * array type.
      *
-     * **Example** (Minimum length)
+     * **Example** (Checking minimum length)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -541,7 +541,7 @@ export declare const isTupleOfAtLeast: {
      * This only checks length, not element types, and returns a refinement on the
      * array type.
      *
-     * **Example** (Minimum length)
+     * **Example** (Checking minimum length)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -571,7 +571,7 @@ export declare const isTupleOfAtLeast: {
  * This uses `!!input` and treats `0`, `""`, `false`, `null`, and `undefined`
  * as false.
  *
- * **Example** (Filter truthy)
+ * **Example** (Filtering truthy values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -599,7 +599,7 @@ export declare function isTruthy(input: unknown): boolean;
  *
  * Uses `instanceof Set`.
  *
- * **Example** (Guard a Set)
+ * **Example** (Guarding a Set)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -628,7 +628,7 @@ export declare function isSet(input: unknown): input is Set<unknown>;
  *
  * Uses `instanceof Map`.
  *
- * **Example** (Guard a Map)
+ * **Example** (Guarding a Map)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -658,7 +658,7 @@ export declare function isMap(input: unknown): input is Map<unknown, unknown>;
  *
  * Uses `typeof input === "string"`.
  *
- * **Example** (Guard string)
+ * **Example** (Guarding strings)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -689,7 +689,7 @@ export declare function isString(input: unknown): input is string;
  *
  * Uses `typeof input === "number"` and does not exclude `NaN` or `Infinity`.
  *
- * **Example** (Guard number)
+ * **Example** (Guarding numbers)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -719,7 +719,7 @@ export declare function isNumber(input: unknown): input is number;
  *
  * Uses `typeof input === "boolean"`.
  *
- * **Example** (Guard boolean)
+ * **Example** (Guarding booleans)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -749,7 +749,7 @@ export declare function isBoolean(input: unknown): input is boolean;
  *
  * Uses `typeof input === "bigint"`.
  *
- * **Example** (Guard bigint)
+ * **Example** (Guarding bigints)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -778,7 +778,7 @@ export declare function isBigInt(input: unknown): input is bigint;
  *
  * Uses `typeof input === "symbol"`.
  *
- * **Example** (Guard symbol)
+ * **Example** (Guarding symbols)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -807,7 +807,7 @@ export declare function isSymbol(input: unknown): input is symbol;
  *
  * Uses `isString`, `isNumber`, and `isSymbol`.
  *
- * **Example** (Guard property key)
+ * **Example** (Guarding property keys)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -839,7 +839,7 @@ export declare function isPropertyKey(u: unknown): u is PropertyKey;
  *
  * Uses `typeof input === "function"`.
  *
- * **Example** (Guard function)
+ * **Example** (Guarding functions)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -868,7 +868,7 @@ export declare function isFunction(input: unknown): input is Function;
  *
  * Uses `input === undefined`.
  *
- * **Example** (Guard undefined)
+ * **Example** (Guarding undefined values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -896,7 +896,7 @@ export declare function isUndefined(input: unknown): input is undefined;
  *
  * Returns a refinement that excludes `undefined`.
  *
- * **Example** (Filter undefined)
+ * **Example** (Filtering undefined values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -924,7 +924,7 @@ export declare function isNotUndefined<A>(input: A): input is Exclude<A, undefin
  *
  * Uses `input === null`.
  *
- * **Example** (Guard null)
+ * **Example** (Guarding null values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -952,7 +952,7 @@ export declare function isNull(input: unknown): input is null;
  *
  * Returns a refinement that excludes `null`.
  *
- * **Example** (Filter null)
+ * **Example** (Filtering null values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -980,7 +980,7 @@ export declare function isNotNull<A>(input: A): input is Exclude<A, null>;
  *
  * Uses `input === null || input === undefined`.
  *
- * **Example** (Guard nullish)
+ * **Example** (Guarding nullish values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1010,7 +1010,7 @@ export declare function isNullish<A>(input: A): input is A & (null | undefined);
  *
  * Uses `input != null`.
  *
- * **Example** (Filter non-nullish)
+ * **Example** (Filtering non-nullish values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1035,7 +1035,7 @@ export declare function isNotNullish<A>(input: A): input is NonNullable<A>;
  *
  * Use when you need a `Predicate` that never accepts, e.g. in default branches.
  *
- * **Example** (Never matches)
+ * **Example** (Matching no values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1055,7 +1055,7 @@ export declare function isNever(_: unknown): _ is never;
  *
  * Use when you need a `Predicate` that always accepts, e.g. as a placeholder.
  *
- * **Example** (Always matches)
+ * **Example** (Matching every value)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1080,7 +1080,7 @@ export declare function isUnknown(_: unknown): _ is unknown;
  *
  * Uses `typeof input === "object" && input !== null` and includes arrays.
  *
- * **Example** (Object or array)
+ * **Example** (Checking objects or arrays)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1110,7 +1110,7 @@ export declare function isObjectOrArray(input: unknown): input is {
  * also accepts object instances such as `Date`, `Map`, class instances, and
  * typed arrays. It excludes `null` and arrays.
  *
- * **Example** (Guard object)
+ * **Example** (Guarding objects)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1142,7 +1142,7 @@ export declare function isObject(input: unknown): input is {
  * runtime. This delegates to `isObject`, so class instances and built-in object
  * instances are accepted.
  *
- * **Example** (Readonly object)
+ * **Example** (Checking readonly objects)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1171,7 +1171,7 @@ export declare function isReadonlyObject(input: unknown): input is {
  *
  * Returns `true` for arrays and functions, and `false` for `null`.
  *
- * **Example** (Object keyword)
+ * **Example** (Checking object keywords)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1199,7 +1199,7 @@ export declare function isObjectKeyword(input: unknown): input is object;
  * Uses the `in` operator and `isObjectKeyword`. This does not check property
  * value types.
  *
- * **Example** (Guard property)
+ * **Example** (Guarding object properties)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1231,7 +1231,7 @@ export declare const hasProperty: {
      * Uses the `in` operator and `isObjectKeyword`. This does not check property
      * value types.
      *
-     * **Example** (Guard property)
+     * **Example** (Guarding object properties)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1265,7 +1265,7 @@ export declare const hasProperty: {
      * Uses the `in` operator and `isObjectKeyword`. This does not check property
      * value types.
      *
-     * **Example** (Guard property)
+     * **Example** (Guarding object properties)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1299,7 +1299,7 @@ export declare const hasProperty: {
  *
  * Uses `hasProperty` and strict equality on `_tag`.
  *
- * **Example** (Guard tagged)
+ * **Example** (Guarding tagged values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1326,7 +1326,7 @@ export declare const isTagged: {
      *
      * Uses `hasProperty` and strict equality on `_tag`.
      *
-     * **Example** (Guard tagged)
+     * **Example** (Guarding tagged values)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1355,7 +1355,7 @@ export declare const isTagged: {
      *
      * Uses `hasProperty` and strict equality on `_tag`.
      *
-     * **Example** (Guard tagged)
+     * **Example** (Guarding tagged values)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1384,7 +1384,7 @@ export declare const isTagged: {
  *
  * Uses `instanceof Error`.
  *
- * **Example** (Guard error)
+ * **Example** (Guarding errors)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1410,7 +1410,7 @@ export declare function isError(input: unknown): input is Error;
  *
  * Uses `instanceof Uint8Array`.
  *
- * **Example** (Guard Uint8Array)
+ * **Example** (Guarding Uint8Array values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1437,7 +1437,7 @@ export declare function isUint8Array(input: unknown): input is Uint8Array;
  *
  * Uses `instanceof Date`.
  *
- * **Example** (Guard Date)
+ * **Example** (Guarding Date values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1463,7 +1463,7 @@ export declare function isDate(input: unknown): input is Date;
  *
  * Accepts strings as iterable and uses `hasProperty` for `Symbol.iterator`.
  *
- * **Example** (Guard iterable)
+ * **Example** (Guarding iterables)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1490,7 +1490,7 @@ export declare function isIterable(input: unknown): input is Iterable<unknown>;
  *
  * Performs a structural check for `then` and `catch` functions.
  *
- * **Example** (Guard promise)
+ * **Example** (Guarding promises)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1517,7 +1517,7 @@ export declare function isPromise(input: unknown): input is Promise<unknown>;
  *
  * Performs a structural check for a callable `then`.
  *
- * **Example** (Guard promise-like)
+ * **Example** (Guarding promise-like values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1543,7 +1543,7 @@ export declare function isPromiseLike(input: unknown): input is PromiseLike<unkn
  *
  * Uses `instanceof RegExp`.
  *
- * **Example** (Guard RegExp)
+ * **Example** (Guarding RegExp values)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1571,7 +1571,7 @@ export declare function isRegExp(input: unknown): input is RegExp;
  * For refinements, the output type is narrowed by both checks. Evaluation
  * short-circuits on the first `false`.
  *
- * **Example** (Compose refinements)
+ * **Example** (Composing refinements)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1603,7 +1603,7 @@ export declare const compose: {
      * For refinements, the output type is narrowed by both checks. Evaluation
      * short-circuits on the first `false`.
      *
-     * **Example** (Compose refinements)
+     * **Example** (Composing refinements)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1635,7 +1635,7 @@ export declare const compose: {
      * For refinements, the output type is narrowed by both checks. Evaluation
      * short-circuits on the first `false`.
      *
-     * **Example** (Compose refinements)
+     * **Example** (Composing refinements)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1667,7 +1667,7 @@ export declare const compose: {
      * For refinements, the output type is narrowed by both checks. Evaluation
      * short-circuits on the first `false`.
      *
-     * **Example** (Compose refinements)
+     * **Example** (Composing refinements)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1699,7 +1699,7 @@ export declare const compose: {
      * For refinements, the output type is narrowed by both checks. Evaluation
      * short-circuits on the first `false`.
      *
-     * **Example** (Compose refinements)
+     * **Example** (Composing refinements)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1732,7 +1732,7 @@ export declare const compose: {
  * Returns a refinement if any element predicate is a refinement. Evaluation
  * stops at the first failing element.
  *
- * **Example** (Tuple predicate)
+ * **Example** (Checking tuples)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1767,7 +1767,7 @@ export declare function Tuple<const T extends ReadonlyArray<Predicate.Any>>(elem
  * Returns a refinement if any field predicate is a refinement. Only the
  * specified keys are checked, and extra keys are ignored.
  *
- * **Example** (Struct predicate)
+ * **Example** (Checking structs)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1803,7 +1803,7 @@ export declare function Struct<R extends Record<string, Predicate.Any>>(fields:
  *
  * Returns a new predicate that flips the boolean result.
  *
- * **Example** (Negate)
+ * **Example** (Negating a predicate)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1833,7 +1833,7 @@ export declare function not<A>(self: Predicate<A>): Predicate<A>;
  * Evaluation short-circuits on the first `true`. For refinements, the output
  * type is a union.
  *
- * **Example** (Either condition)
+ * **Example** (Checking either condition)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -1862,7 +1862,7 @@ export declare const or: {
      * Evaluation short-circuits on the first `true`. For refinements, the output
      * type is a union.
      *
-     * **Example** (Either condition)
+     * **Example** (Checking either condition)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1891,7 +1891,7 @@ export declare const or: {
      * Evaluation short-circuits on the first `true`. For refinements, the output
      * type is a union.
      *
-     * **Example** (Either condition)
+     * **Example** (Checking either condition)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1920,7 +1920,7 @@ export declare const or: {
      * Evaluation short-circuits on the first `true`. For refinements, the output
      * type is a union.
      *
-     * **Example** (Either condition)
+     * **Example** (Checking either condition)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1949,7 +1949,7 @@ export declare const or: {
      * Evaluation short-circuits on the first `true`. For refinements, the output
      * type is a union.
      *
-     * **Example** (Either condition)
+     * **Example** (Checking either condition)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -1980,7 +1980,7 @@ export declare const or: {
  * Evaluation short-circuits on the first `false`. For refinements, the output
  * type is an intersection.
  *
- * **Example** (Both conditions)
+ * **Example** (Checking both conditions)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -2018,7 +2018,7 @@ export declare const and: {
      * Evaluation short-circuits on the first `false`. For refinements, the output
      * type is an intersection.
      *
-     * **Example** (Both conditions)
+     * **Example** (Checking both conditions)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2056,7 +2056,7 @@ export declare const and: {
      * Evaluation short-circuits on the first `false`. For refinements, the output
      * type is an intersection.
      *
-     * **Example** (Both conditions)
+     * **Example** (Checking both conditions)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2094,7 +2094,7 @@ export declare const and: {
      * Evaluation short-circuits on the first `false`. For refinements, the output
      * type is an intersection.
      *
-     * **Example** (Both conditions)
+     * **Example** (Checking both conditions)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2132,7 +2132,7 @@ export declare const and: {
      * Evaluation short-circuits on the first `false`. For refinements, the output
      * type is an intersection.
      *
-     * **Example** (Both conditions)
+     * **Example** (Checking both conditions)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2168,7 +2168,7 @@ export declare const and: {
  *
  * Returns `true` when results differ.
  *
- * **Example** (Exclusive or)
+ * **Example** (Checking exclusive-or conditions)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -2197,7 +2197,7 @@ export declare const xor: {
      *
      * Returns `true` when results differ.
      *
-     * **Example** (Exclusive or)
+     * **Example** (Checking exclusive-or conditions)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2226,7 +2226,7 @@ export declare const xor: {
      *
      * Returns `true` when results differ.
      *
-     * **Example** (Exclusive or)
+     * **Example** (Checking exclusive-or conditions)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2256,7 +2256,7 @@ export declare const xor: {
  *
  * Returns `true` when both results are equal.
  *
- * **Example** (Equivalence)
+ * **Example** (Defining equivalence)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -2283,7 +2283,7 @@ export declare const eqv: {
      *
      * Returns `true` when both results are equal.
      *
-     * **Example** (Equivalence)
+     * **Example** (Defining equivalence)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2310,7 +2310,7 @@ export declare const eqv: {
      *
      * Returns `true` when both results are equal.
      *
-     * **Example** (Equivalence)
+     * **Example** (Defining equivalence)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2340,7 +2340,7 @@ export declare const eqv: {
  * Models constraints like "if A then B" and returns `true` when the antecedent
  * is `false`.
  *
- * **Example** (Implication)
+ * **Example** (Checking implication)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -2371,7 +2371,7 @@ export declare const implies: {
      * Models constraints like "if A then B" and returns `true` when the antecedent
      * is `false`.
      *
-     * **Example** (Implication)
+     * **Example** (Checking implication)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2402,7 +2402,7 @@ export declare const implies: {
      * Models constraints like "if A then B" and returns `true` when the antecedent
      * is `false`.
      *
-     * **Example** (Implication)
+     * **Example** (Checking implication)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2432,7 +2432,7 @@ export declare const implies: {
  *
  * Returns the negation of `or`.
  *
- * **Example** (NOR)
+ * **Example** (Checking NOR conditions)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -2459,7 +2459,7 @@ export declare const nor: {
      *
      * Returns the negation of `or`.
      *
-     * **Example** (NOR)
+     * **Example** (Checking NOR conditions)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2486,7 +2486,7 @@ export declare const nor: {
      *
      * Returns the negation of `or`.
      *
-     * **Example** (NOR)
+     * **Example** (Checking NOR conditions)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2514,7 +2514,7 @@ export declare const nor: {
  *
  * Returns the negation of `and`.
  *
- * **Example** (NAND)
+ * **Example** (Checking NAND conditions)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -2541,7 +2541,7 @@ export declare const nand: {
      *
      * Returns the negation of `and`.
      *
-     * **Example** (NAND)
+     * **Example** (Checking NAND conditions)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2568,7 +2568,7 @@ export declare const nand: {
      *
      * Returns the negation of `and`.
      *
-     * **Example** (NAND)
+     * **Example** (Checking NAND conditions)
      *
      * ```ts
      * import { Predicate } from "effect"
@@ -2597,7 +2597,7 @@ export declare const nand: {
  * Evaluation short-circuits on the first `false`. The collection is iterated
  * each time the predicate is called.
  *
- * **Example** (All checks)
+ * **Example** (Checking all predicates)
  *
  * ```ts
  * import { Predicate } from "effect"
@@ -2625,7 +2625,7 @@ export declare function every<A>(collection: Iterable<Predicate<A>>): Predicate<
  * Evaluation short-circuits on the first `true`. The collection is iterated
  * each time the predicate is called.
  *
- * **Example** (Any check)
+ * **Example** (Checking any predicate)
  *
  * ```ts
  * import { Predicate } from "effect"