effect 4.0.0-beta.69 → 4.0.0-beta.70

package/dist/Option.d.ts

@@ -111,7 +111,7 @@ export type Option<A> = None<A> | Some<A>;
  *
  * - Use as a type guard target when narrowing via {@link isNone}
  *
- * **Behavior**
+ * **Details**
  *
  * - `_tag` is always `"None"`
  * - Implements `Pipeable`, `Inspectable`, and structural equality
@@ -152,7 +152,7 @@ export interface OptionIterator<T extends Option<any>> {
  * - Use as a type guard target when narrowing via {@link isSome}
  * - Access the inner value via `.value`
  *
- * **Behavior**
+ * **Details**
  *
  * - `_tag` is always `"Some"`
  * - `.value` holds the contained value of type `A`
@@ -180,6 +180,8 @@ export interface Some<out A> extends Pipeable, Inspectable {
 /**
  * Type-level unification support for `Option` values.
  *
+ * **Details**
+ *
  * This is used by Effect's `Unify` machinery to preserve the contained value
  * type when generic code returns or combines `Option` values. Users normally
  * do not need to reference this interface directly.
@@ -221,6 +223,8 @@ export declare namespace Option {
 /**
  * Marker interface used by Effect's `Unify` machinery for `Option` values.
  *
+ * **Details**
+ *
  * This supports type-level unification behavior for `Option`. Users normally
  * do not need to reference this interface directly.
  *
@@ -246,7 +250,7 @@ export interface OptionTypeLambda extends TypeLambda {
  * - Representing a missing or uninitialized value
  * - Returning "no result" from a function
  *
- * **Behavior**
+ * **Details**
  *
  * - Returns `Option<never>`, which is a subtype of `Option<A>` for any `A`
  * - Always returns the same singleton instance
@@ -278,7 +282,7 @@ export declare const none: <A = never>() => Option<A>;
  * - Wrapping a known-present value as `Option`
  * - Returning a successful result from a partial function
  *
- * **Behavior**
+ * **Details**
  *
  * - Always returns `Some<A>`
  * - Does not filter `null` or `undefined`; use {@link fromNullishOr} for that
@@ -310,7 +314,7 @@ export declare const some: <A>(value: A) => Option<A>;
  * - Validating unknown values at runtime boundaries
  * - Type-narrowing in union types
  *
- * **Behavior**
+ * **Details**
  *
  * - Returns `true` for both `Some` and `None` instances
  * - Acts as a type guard, narrowing the input to `Option<unknown>`
@@ -344,7 +348,7 @@ export declare const isOption: (input: unknown) => input is Option<unknown>;
  *
  * - Branching on absence before accessing `.value`
  *
- * **Behavior**
+ * **Details**
  *
  * - Acts as a type guard, narrowing to `None<A>`
  *
@@ -373,7 +377,7 @@ export declare const isNone: <A>(self: Option<A>) => self is None<A>;
  *
  * - Branching on presence before accessing `.value`
  *
- * **Behavior**
+ * **Details**
  *
  * - Acts as a type guard, narrowing to `Some<A>`
  *
@@ -403,7 +407,7 @@ export declare const isSome: <A>(self: Option<A>) => self is Some<A>;
  * - Exhaustively handling both branches in one expression
  * - Transforming an `Option` into a plain value
  *
- * **Behavior**
+ * **Details**
  *
  * - If `None`, calls `onNone` and returns its result
  * - If `Some`, calls `onSome` with the value and returns its result
@@ -437,7 +441,7 @@ export declare const match: {
      * - Exhaustively handling both branches in one expression
      * - Transforming an `Option` into a plain value
      *
-     * **Behavior**
+     * **Details**
      *
      * - If `None`, calls `onNone` and returns its result
      * - If `Some`, calls `onSome` with the value and returns its result
@@ -474,7 +478,7 @@ export declare const match: {
      * - Exhaustively handling both branches in one expression
      * - Transforming an `Option` into a plain value
      *
-     * **Behavior**
+     * **Details**
      *
      * - If `None`, calls `onNone` and returns its result
      * - If `Some`, calls `onSome` with the value and returns its result
@@ -512,7 +516,7 @@ export declare const match: {
  * - Turning a parsing function into a type-narrowing predicate
  * - Filtering arrays with `Array.prototype.filter`
  *
- * **Behavior**
+ * **Details**
  *
  * - Returns `true` when the original function returns `Some`
  * - Returns `false` when the original function returns `None`
@@ -554,7 +558,7 @@ export declare const toRefinement: <A, B extends A>(f: (a: A) => Option<B>) => (
  * - Safely extracting the head of a collection
  * - Working with generators or lazy iterables
  *
- * **Behavior**
+ * **Details**
  *
  * - Only consumes the first element; does not iterate the rest
  * - Returns `None` for empty iterables
@@ -580,7 +584,7 @@ export declare const fromIterable: <A>(collection: Iterable<A>) => Option<A>;
 /**
  * Converts a `Result` into an `Option`, keeping only the success value.
  *
- * **When to Use**
+ * **When to use**
  *
  * - Discarding the failure channel when you only care about success
  *
@@ -610,7 +614,7 @@ export declare const getSuccess: <A, E>(self: Result<A, E>) => Option<A>;
 /**
  * Converts a `Result` into an `Option`, keeping only the failure value.
  *
- * **When to Use**
+ * **When to use**
  *
  * - Extracting the failure when you do not need the success value
  *
@@ -645,7 +649,7 @@ export declare const getFailure: <A, E>(self: Result<A, E>) => Option<E>;
  * - Providing a default value for an absent `Option`
  * - Unwrapping with lazy evaluation of the fallback
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → returns the inner value
  * - `None` → calls `onNone()` and returns its result
@@ -679,7 +683,7 @@ export declare const getOrElse: {
      * - Providing a default value for an absent `Option`
      * - Unwrapping with lazy evaluation of the fallback
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → returns the inner value
      * - `None` → calls `onNone()` and returns its result
@@ -713,7 +717,7 @@ export declare const getOrElse: {
      * - Providing a default value for an absent `Option`
      * - Unwrapping with lazy evaluation of the fallback
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → returns the inner value
      * - `None` → calls `onNone()` and returns its result
@@ -748,7 +752,7 @@ export declare const getOrElse: {
  * - Chaining fallback `Option` computations
  * - Building priority chains of optional values
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → returns `self` unchanged
  * - `None` → evaluates and returns `that()`
@@ -781,7 +785,7 @@ export declare const orElse: {
      * - Chaining fallback `Option` computations
      * - Building priority chains of optional values
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → returns `self` unchanged
      * - `None` → evaluates and returns `that()`
@@ -814,7 +818,7 @@ export declare const orElse: {
      * - Chaining fallback `Option` computations
      * - Building priority chains of optional values
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → returns `self` unchanged
      * - `None` → evaluates and returns `that()`
@@ -848,7 +852,7 @@ export declare const orElse: {
  *
  * - Providing a default plain value (not an `Option`) as fallback
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → returns `self` unchanged
  * - `None` → calls `onNone()`, wraps result in `Some`, and returns it
@@ -879,7 +883,7 @@ export declare const orElseSome: {
      *
      * - Providing a default plain value (not an `Option`) as fallback
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → returns `self` unchanged
      * - `None` → calls `onNone()`, wraps result in `Some`, and returns it
@@ -910,7 +914,7 @@ export declare const orElseSome: {
      *
      * - Providing a default plain value (not an `Option`) as fallback
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → returns `self` unchanged
      * - `None` → calls `onNone()`, wraps result in `Some`, and returns it
@@ -942,7 +946,7 @@ export declare const orElseSome: {
  *
  * - Distinguishing whether a value came from the primary or fallback `Option`
  *
- * **Behavior**
+ * **Details**
  *
  * - `self` is `Some` → `Some(Result.fail(value))` (value from primary)
  * - `self` is `None`, `that()` is `Some` → `Some(Result.succeed(value))` (value from fallback)
@@ -974,7 +978,7 @@ export declare const orElseResult: {
      *
      * - Distinguishing whether a value came from the primary or fallback `Option`
      *
-     * **Behavior**
+     * **Details**
      *
      * - `self` is `Some` → `Some(Result.fail(value))` (value from primary)
      * - `self` is `None`, `that()` is `Some` → `Some(Result.succeed(value))` (value from fallback)
@@ -1006,7 +1010,7 @@ export declare const orElseResult: {
      *
      * - Distinguishing whether a value came from the primary or fallback `Option`
      *
-     * **Behavior**
+     * **Details**
      *
      * - `self` is `Some` → `Some(Result.fail(value))` (value from primary)
      * - `self` is `None`, `that()` is `Some` → `Some(Result.succeed(value))` (value from fallback)
@@ -1039,7 +1043,7 @@ export declare const orElseResult: {
  *
  * - Searching for the first available value in a priority list
  *
- * **Behavior**
+ * **Details**
  *
  * - Short-circuits on the first `Some`
  * - Returns `None` only when every element is `None`
@@ -1071,7 +1075,7 @@ export declare const firstSomeOf: <T, C extends Iterable<Option<T>> = Iterable<O
  * - Bridging from nullable APIs to `Option`
  * - Wrapping values that may be `null` or `undefined`
  *
- * **Behavior**
+ * **Details**
  *
  * - `null` or `undefined` → `None`
  * - Any other value → `Some` (typed as `NonNullable<A>`)
@@ -1107,7 +1111,7 @@ export declare const fromNullishOr: <A>(a: A) => Option<NonNullable<A>>;
  *
  * - When `null` is a meaningful value but `undefined` means absent
  *
- * **Behavior**
+ * **Details**
  *
  * - `undefined` → `None`
  * - Any other value (including `null`) → `Some`
@@ -1142,7 +1146,7 @@ export declare const fromUndefinedOr: <A>(a: A) => Option<Exclude<A, undefined>>
  *
  * - When `undefined` is a meaningful value but `null` means absent
  *
- * **Behavior**
+ * **Details**
  *
  * - `null` → `None`
  * - Any other value (including `undefined`) → `Some`
@@ -1177,7 +1181,7 @@ export declare const fromNullOr: <A>(a: A) => Option<Exclude<A, null>>;
  *
  * - Wrapping existing nullable-returning functions for use in `Option` pipelines
  *
- * **Behavior**
+ * **Details**
  *
  * - Calls the original function with the given arguments
  * - Wraps the result via {@link fromNullishOr}
@@ -1215,7 +1219,7 @@ export declare const liftNullishOr: <A extends ReadonlyArray<unknown>, B>(f: (..
  *
  * - Interoping with APIs that use `null` for missing values
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → the inner value
  * - `None` → `null`
@@ -1246,7 +1250,7 @@ export declare const getOrNull: <A>(self: Option<A>) => A | null;
  *
  * - Interoping with APIs that use `undefined` for missing values
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → the inner value
  * - `None` → `undefined`
@@ -1277,7 +1281,7 @@ export declare const getOrUndefined: <A>(self: Option<A>) => A | undefined;
  *
  * - Wrapping exception-throwing APIs (e.g. `JSON.parse`) for safe usage
  *
- * **Behavior**
+ * **Details**
  *
  * - If the function returns normally → `Some` with the result
  * - If the function throws → `None` (exception is swallowed)
@@ -1310,7 +1314,7 @@ export declare const liftThrowable: <A extends ReadonlyArray<unknown>, B>(f: (..
  * - Fail-fast unwrapping when absence is unexpected
  * - Providing a descriptive error for debugging
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → returns the inner value
  * - `None` → throws the value returned by `onNone()`
@@ -1342,7 +1346,7 @@ export declare const getOrThrowWith: {
      * - Fail-fast unwrapping when absence is unexpected
      * - Providing a descriptive error for debugging
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → returns the inner value
      * - `None` → throws the value returned by `onNone()`
@@ -1374,7 +1378,7 @@ export declare const getOrThrowWith: {
      * - Fail-fast unwrapping when absence is unexpected
      * - Providing a descriptive error for debugging
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → returns the inner value
      * - `None` → throws the value returned by `onNone()`
@@ -1406,7 +1410,7 @@ export declare const getOrThrowWith: {
  *
  * - Quick fail-fast unwrapping when a generic error is acceptable
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → returns the inner value
  * - `None` → throws `new Error("getOrThrow called on a None")`
@@ -1439,7 +1443,7 @@ export declare const getOrThrow: <A>(self: Option<A>) => A;
  * - Applying a pure transformation to an optional value
  * - Chaining transformations in a pipeline
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → applies `f` and wraps the result in a new `Some`
  * - `None` → returns `None` unchanged
@@ -1473,7 +1477,7 @@ export declare const map: {
      * - Applying a pure transformation to an optional value
      * - Chaining transformations in a pipeline
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → applies `f` and wraps the result in a new `Some`
      * - `None` → returns `None` unchanged
@@ -1507,7 +1511,7 @@ export declare const map: {
      * - Applying a pure transformation to an optional value
      * - Chaining transformations in a pipeline
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → applies `f` and wraps the result in a new `Some`
      * - `None` → returns `None` unchanged
@@ -1540,7 +1544,7 @@ export declare const map: {
  *
  * - Preserving presence/absence while discarding the original value
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → `Some(b)`
  * - `None` → `None`
@@ -1571,7 +1575,7 @@ export declare const as: {
      *
      * - Preserving presence/absence while discarding the original value
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → `Some(b)`
      * - `None` → `None`
@@ -1602,7 +1606,7 @@ export declare const as: {
      *
      * - Preserving presence/absence while discarding the original value
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → `Some(b)`
      * - `None` → `None`
@@ -1635,7 +1639,7 @@ export declare const as: {
  *
  * - Discarding the value while preserving presence/absence
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → `Some(undefined)`
  * - `None` → `None`
@@ -1691,7 +1695,7 @@ void_ as void };
  * - Chaining computations that each may fail (return `None`)
  * - Sequencing dependent optional operations
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → applies `f` to the value and returns its `Option` result
  * - `None` → returns `None` without calling `f`
@@ -1737,7 +1741,7 @@ export declare const flatMap: {
      * - Chaining computations that each may fail (return `None`)
      * - Sequencing dependent optional operations
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → applies `f` to the value and returns its `Option` result
      * - `None` → returns `None` without calling `f`
@@ -1783,7 +1787,7 @@ export declare const flatMap: {
      * - Chaining computations that each may fail (return `None`)
      * - Sequencing dependent optional operations
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` → applies `f` to the value and returns its `Option` result
      * - `None` → returns `None` without calling `f`
@@ -1830,7 +1834,7 @@ export declare const flatMap: {
  * - Flexible chaining where the next step may return `Option`, a plain value,
  *   or a function
  *
- * **Behavior**
+ * **Details**
  *
  * - If `self` is `None`, returns `None` immediately
  * - If `f` is a function, calls it with the `Some` value
@@ -1871,7 +1875,7 @@ export declare const andThen: {
      * - Flexible chaining where the next step may return `Option`, a plain value,
      *   or a function
      *
-     * **Behavior**
+     * **Details**
      *
      * - If `self` is `None`, returns `None` immediately
      * - If `f` is a function, calls it with the `Some` value
@@ -1912,7 +1916,7 @@ export declare const andThen: {
      * - Flexible chaining where the next step may return `Option`, a plain value,
      *   or a function
      *
-     * **Behavior**
+     * **Details**
      *
      * - If `self` is `None`, returns `None` immediately
      * - If `f` is a function, calls it with the `Some` value
@@ -1953,7 +1957,7 @@ export declare const andThen: {
      * - Flexible chaining where the next step may return `Option`, a plain value,
      *   or a function
      *
-     * **Behavior**
+     * **Details**
      *
      * - If `self` is `None`, returns `None` immediately
      * - If `f` is a function, calls it with the `Some` value
@@ -1994,7 +1998,7 @@ export declare const andThen: {
      * - Flexible chaining where the next step may return `Option`, a plain value,
      *   or a function
      *
-     * **Behavior**
+     * **Details**
      *
      * - If `self` is `None`, returns `None` immediately
      * - If `f` is a function, calls it with the `Some` value
@@ -2035,7 +2039,7 @@ export declare const andThen: {
      * - Flexible chaining where the next step may return `Option`, a plain value,
      *   or a function
      *
-     * **Behavior**
+     * **Details**
      *
      * - If `self` is `None`, returns `None` immediately
      * - If `f` is a function, calls it with the `Some` value
@@ -2076,7 +2080,7 @@ export declare const andThen: {
      * - Flexible chaining where the next step may return `Option`, a plain value,
      *   or a function
      *
-     * **Behavior**
+     * **Details**
      *
      * - If `self` is `None`, returns `None` immediately
      * - If `f` is a function, calls it with the `Some` value
@@ -2117,7 +2121,7 @@ export declare const andThen: {
      * - Flexible chaining where the next step may return `Option`, a plain value,
      *   or a function
      *
-     * **Behavior**
+     * **Details**
      *
      * - If `self` is `None`, returns `None` immediately
      * - If `f` is a function, calls it with the `Some` value
@@ -2158,7 +2162,7 @@ export declare const andThen: {
      * - Flexible chaining where the next step may return `Option`, a plain value,
      *   or a function
      *
-     * **Behavior**
+     * **Details**
      *
      * - If `self` is `None`, returns `None` immediately
      * - If `f` is a function, calls it with the `Some` value
@@ -2200,7 +2204,7 @@ export declare const andThen: {
  * - Chaining with functions that use `null`/`undefined` instead of `Option`
  * - Navigating deeply nested optional properties
  *
- * **Behavior**
+ * **Details**
  *
  * - `None` → `None`
  * - `Some` → applies `f`, then wraps via {@link fromNullishOr}
@@ -2242,7 +2246,7 @@ export declare const flatMapNullishOr: {
      * - Chaining with functions that use `null`/`undefined` instead of `Option`
      * - Navigating deeply nested optional properties
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `None`
      * - `Some` → applies `f`, then wraps via {@link fromNullishOr}
@@ -2284,7 +2288,7 @@ export declare const flatMapNullishOr: {
      * - Chaining with functions that use `null`/`undefined` instead of `Option`
      * - Navigating deeply nested optional properties
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `None`
      * - `Some` → applies `f`, then wraps via {@link fromNullishOr}
@@ -2325,7 +2329,7 @@ export declare const flatMapNullishOr: {
  *
  * - Removing one layer of `Option` nesting
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some(Some(value))` → `Some(value)`
  * - `Some(None)` → `None`
@@ -2356,7 +2360,7 @@ export declare const flatten: <A>(self: Option<Option<A>>) => Option<A>;
  *
  * - Running a side-condition that must succeed, then using the second value
  *
- * **Behavior**
+ * **Details**
  *
  * - Both `Some` → returns `that`
  * - Either `None` → returns `None`
@@ -2387,7 +2391,7 @@ export declare const zipRight: {
      *
      * - Running a side-condition that must succeed, then using the second value
      *
-     * **Behavior**
+     * **Details**
      *
      * - Both `Some` → returns `that`
      * - Either `None` → returns `None`
@@ -2418,7 +2422,7 @@ export declare const zipRight: {
      *
      * - Running a side-condition that must succeed, then using the second value
      *
-     * **Behavior**
+     * **Details**
      *
      * - Both `Some` → returns `that`
      * - Either `None` → returns `None`
@@ -2450,7 +2454,7 @@ export declare const zipRight: {
  *
  * - Running a validation that must succeed, but keeping the original value
  *
- * **Behavior**
+ * **Details**
  *
  * - Both `Some` → returns `self`
  * - Either `None` → returns `None`
@@ -2481,7 +2485,7 @@ export declare const zipLeft: {
      *
      * - Running a validation that must succeed, but keeping the original value
      *
-     * **Behavior**
+     * **Details**
      *
      * - Both `Some` → returns `self`
      * - Either `None` → returns `None`
@@ -2512,7 +2516,7 @@ export declare const zipLeft: {
      *
      * - Running a validation that must succeed, but keeping the original value
      *
-     * **Behavior**
+     * **Details**
      *
      * - Both `Some` → returns `self`
      * - Either `None` → returns `None`
@@ -2545,7 +2549,7 @@ export declare const zipLeft: {
  *
  * - Building pipelines of partial functions (Kleisli composition)
  *
- * **Behavior**
+ * **Details**
  *
  * - Calls `afb(a)`, then if `Some`, calls `bfc` with its value
  * - Short-circuits to `None` if either function returns `None`
@@ -2584,7 +2588,7 @@ export declare const composeK: {
      *
      * - Building pipelines of partial functions (Kleisli composition)
      *
-     * **Behavior**
+     * **Details**
      *
      * - Calls `afb(a)`, then if `Some`, calls `bfc` with its value
      * - Short-circuits to `None` if either function returns `None`
@@ -2623,7 +2627,7 @@ export declare const composeK: {
      *
      * - Building pipelines of partial functions (Kleisli composition)
      *
-     * **Behavior**
+     * **Details**
      *
      * - Calls `afb(a)`, then if `Some`, calls `bfc` with its value
      * - Short-circuits to `None` if either function returns `None`
@@ -2665,7 +2669,7 @@ export declare const composeK: {
  * - Validating a value without transforming it
  * - Adding a side-condition check in a pipeline
  *
- * **Behavior**
+ * **Details**
  *
  * - `None` → `None`
  * - `Some` → calls `f(value)`; if result is `Some`, returns original `self`; if `None`, returns `None`
@@ -2702,7 +2706,7 @@ export declare const tap: {
      * - Validating a value without transforming it
      * - Adding a side-condition check in a pipeline
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `None`
      * - `Some` → calls `f(value)`; if result is `Some`, returns original `self`; if `None`, returns `None`
@@ -2739,7 +2743,7 @@ export declare const tap: {
      * - Validating a value without transforming it
      * - Adding a side-condition check in a pipeline
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `None`
      * - `Some` → calls `f(value)`; if result is `Some`, returns original `self`; if `None`, returns `None`
@@ -2775,7 +2779,7 @@ export declare const tap: {
  *
  * - Pairing two optional values together
  *
- * **Behavior**
+ * **Details**
  *
  * - Both `Some` → `Some([a, b])`
  * - Either `None` → `None`
@@ -2807,7 +2811,7 @@ export declare const product: <A, B>(self: Option<A>, that: Option<B>) => Option
  *
  * - Collecting several `Option`s of the same type into a non-empty tuple
  *
- * **Behavior**
+ * **Details**
  *
  * - All `Some` → `Some([self.value, ...rest])`
  * - Any `None` → `None`
@@ -2843,7 +2847,7 @@ export declare const productMany: <A>(self: Option<A>, collection: Iterable<Opti
  * - Collecting multiple `Option`s into one, preserving the input shape
  * - "All or nothing" combination — any `None` makes the result `None`
  *
- * **Behavior**
+ * **Details**
  *
  * - Tuple input → `Option` of a tuple with the same length
  * - Struct input → `Option` of a struct with the same keys
@@ -2891,7 +2895,7 @@ export declare const all: <const I extends Iterable<Option<any>> | Record<string
  *
  * - Merging two optional values into a computed result
  *
- * **Behavior**
+ * **Details**
  *
  * - Both `Some` → applies `f(a, b)` and wraps in `Some`
  * - Either `None` → `None`
@@ -2926,7 +2930,7 @@ export declare const zipWith: {
      *
      * - Merging two optional values into a computed result
      *
-     * **Behavior**
+     * **Details**
      *
      * - Both `Some` → applies `f(a, b)` and wraps in `Some`
      * - Either `None` → `None`
@@ -2961,7 +2965,7 @@ export declare const zipWith: {
      *
      * - Merging two optional values into a computed result
      *
-     * **Behavior**
+     * **Details**
      *
      * - Both `Some` → applies `f(a, b)` and wraps in `Some`
      * - Either `None` → `None`
@@ -2997,7 +3001,7 @@ export declare const zipWith: {
  *
  * - Aggregating values from a collection where some may be absent
  *
- * **Behavior**
+ * **Details**
  *
  * - Iterates through the collection, applying `f` only to `Some` values
  * - `None` values are skipped entirely
@@ -3025,7 +3029,7 @@ export declare const reduceCompact: {
      *
      * - Aggregating values from a collection where some may be absent
      *
-     * **Behavior**
+     * **Details**
      *
      * - Iterates through the collection, applying `f` only to `Some` values
      * - `None` values are skipped entirely
@@ -3053,7 +3057,7 @@ export declare const reduceCompact: {
      *
      * - Aggregating values from a collection where some may be absent
      *
-     * **Behavior**
+     * **Details**
      *
      * - Iterates through the collection, applying `f` only to `Some` values
      * - `None` values are skipped entirely
@@ -3083,7 +3087,7 @@ export declare const reduceCompact: {
  * - Interfacing with array-based APIs
  * - Spreading optional values into collections
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` → single-element array `[value]`
  * - `None` → empty array `[]`
@@ -3113,7 +3117,7 @@ export declare const toArray: <A>(self: Option<A>) => Array<A>;
  *
  * - Categorizing an optional value into "left" (failure) and "right" (success) channels
  *
- * **Behavior**
+ * **Details**
  *
  * - `None` → `[None, None]`
  * - `Some` where `f` returns `Err` → `[Some(error), None]`
@@ -3152,7 +3156,7 @@ export declare const partitionMap: {
      *
      * - Categorizing an optional value into "left" (failure) and "right" (success) channels
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `[None, None]`
      * - `Some` where `f` returns `Err` → `[Some(error), None]`
@@ -3191,7 +3195,7 @@ export declare const partitionMap: {
      *
      * - Categorizing an optional value into "left" (failure) and "right" (success) channels
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `[None, None]`
      * - `Some` where `f` returns `Err` → `[Some(error), None]`
@@ -3227,6 +3231,8 @@ export declare const partitionMap: {
 /**
  * Transforms and filters an `Option` using a `Filter` callback.
  *
+ * **Details**
+ *
  * The callback returns a `Result`: `Result.succeed` keeps and transforms the
  * value, while `Result.fail` discards it.
  *
@@ -3251,6 +3257,8 @@ export declare const filterMap: {
     /**
      * Transforms and filters an `Option` using a `Filter` callback.
      *
+     * **Details**
+     *
      * The callback returns a `Result`: `Result.succeed` keeps and transforms the
      * value, while `Result.fail` discards it.
      *
@@ -3275,6 +3283,8 @@ export declare const filterMap: {
     /**
      * Transforms and filters an `Option` using a `Filter` callback.
      *
+     * **Details**
+     *
      * The callback returns a `Result`: `Result.succeed` keeps and transforms the
      * value, while `Result.fail` discards it.
      *
@@ -3306,7 +3316,7 @@ export declare const filterMap: {
  * - Discarding values that don't meet a condition
  * - Narrowing the type via a refinement predicate
  *
- * **Behavior**
+ * **Details**
  *
  * - `None` → `None`
  * - `Some` where `predicate(value)` is `true` → `Some(value)`
@@ -3347,7 +3357,7 @@ export declare const filter: {
      * - Discarding values that don't meet a condition
      * - Narrowing the type via a refinement predicate
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `None`
      * - `Some` where `predicate(value)` is `true` → `Some(value)`
@@ -3388,7 +3398,7 @@ export declare const filter: {
      * - Discarding values that don't meet a condition
      * - Narrowing the type via a refinement predicate
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `None`
      * - `Some` where `predicate(value)` is `true` → `Some(value)`
@@ -3429,7 +3439,7 @@ export declare const filter: {
      * - Discarding values that don't meet a condition
      * - Narrowing the type via a refinement predicate
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `None`
      * - `Some` where `predicate(value)` is `true` → `Some(value)`
@@ -3470,7 +3480,7 @@ export declare const filter: {
      * - Discarding values that don't meet a condition
      * - Narrowing the type via a refinement predicate
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `None`
      * - `Some` where `predicate(value)` is `true` → `Some(value)`
@@ -3510,7 +3520,7 @@ export declare const filter: {
  *
  * - Comparing two `Option` values for structural equality
  *
- * **Behavior**
+ * **Details**
  *
  * - `None` vs `None` → `true`
  * - `Some` vs `None` (or vice versa) → `false`
@@ -3544,7 +3554,7 @@ export declare const makeEquivalence: <A>(isEquivalent: Equivalence.Equivalence<
  *
  * - Sorting collections of `Option` values
  *
- * **Behavior**
+ * **Details**
  *
  * - `None` is considered less than any `Some`
  * - Two `Some` values are compared using the provided `Order`
@@ -3578,7 +3588,7 @@ export declare const makeOrder: <A>(O: Order<A>) => Order<Option<A>>;
  *
  * - Reusing an existing binary function in an `Option` context
  *
- * **Behavior**
+ * **Details**
  *
  * - Both `Some` → applies `f` and wraps in `Some`
  * - Either `None` → `None`
@@ -3615,7 +3625,7 @@ export declare const lift2: <A, B, C>(f: (a: A, b: B) => C) => {
  * - Converting a boolean check into an `Option`-returning function
  * - Validating input and wrapping it in `Option`
  *
- * **Behavior**
+ * **Details**
  *
  * - `predicate(value)` is `true` → `Some(value)`
  * - `predicate(value)` is `false` → `None`
@@ -3652,7 +3662,7 @@ export declare const liftPredicate: {
      * - Converting a boolean check into an `Option`-returning function
      * - Validating input and wrapping it in `Option`
      *
-     * **Behavior**
+     * **Details**
      *
      * - `predicate(value)` is `true` → `Some(value)`
      * - `predicate(value)` is `false` → `None`
@@ -3688,7 +3698,7 @@ export declare const liftPredicate: {
      * - Converting a boolean check into an `Option`-returning function
      * - Validating input and wrapping it in `Option`
      *
-     * **Behavior**
+     * **Details**
      *
      * - `predicate(value)` is `true` → `Some(value)`
      * - `predicate(value)` is `false` → `None`
@@ -3724,7 +3734,7 @@ export declare const liftPredicate: {
      * - Converting a boolean check into an `Option`-returning function
      * - Validating input and wrapping it in `Option`
      *
-     * **Behavior**
+     * **Details**
      *
      * - `predicate(value)` is `true` → `Some(value)`
      * - `predicate(value)` is `false` → `None`
@@ -3760,7 +3770,7 @@ export declare const liftPredicate: {
  *
  * - Testing membership with a custom equality check
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` where `isEquivalent(value, a)` is `true` → `true`
  * - `Some` where not equivalent, or `None` → `false`
@@ -3799,7 +3809,7 @@ export declare const containsWith: <A>(isEquivalent: (self: A, that: A) => boole
  *
  * - Quick membership test with standard equality
  *
- * **Behavior**
+ * **Details**
  *
  * - `Some` where `Equal.equals(value, a)` is `true` → `true`
  * - `Some` where not equal, or `None` → `false`
@@ -3834,7 +3844,7 @@ export declare const contains: {
      *
      * - Quick membership test with standard equality
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` where `Equal.equals(value, a)` is `true` → `true`
      * - `Some` where not equal, or `None` → `false`
@@ -3869,7 +3879,7 @@ export declare const contains: {
      *
      * - Quick membership test with standard equality
      *
-     * **Behavior**
+     * **Details**
      *
      * - `Some` where `Equal.equals(value, a)` is `true` → `true`
      * - `Some` where not equal, or `None` → `false`
@@ -3904,7 +3914,7 @@ export declare const contains: {
  *
  * - Checking a condition on an optional value without unwrapping
  *
- * **Behavior**
+ * **Details**
  *
  * - `None` → `false`
  * - `Some` where `predicate(value)` is `true` → `true`
@@ -3942,7 +3952,7 @@ export declare const exists: {
      *
      * - Checking a condition on an optional value without unwrapping
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `false`
      * - `Some` where `predicate(value)` is `true` → `true`
@@ -3980,7 +3990,7 @@ export declare const exists: {
      *
      * - Checking a condition on an optional value without unwrapping
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `false`
      * - `Some` where `predicate(value)` is `true` → `true`
@@ -4018,7 +4028,7 @@ export declare const exists: {
      *
      * - Checking a condition on an optional value without unwrapping
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `false`
      * - `Some` where `predicate(value)` is `true` → `true`
@@ -4056,7 +4066,7 @@ export declare const exists: {
      *
      * - Checking a condition on an optional value without unwrapping
      *
-     * **Behavior**
+     * **Details**
      *
      * - `None` → `false`
      * - `Some` where `predicate(value)` is `true` → `true`
@@ -4367,7 +4377,7 @@ export declare const Do: Option<{}>;
  * - Writing imperative-style code that chains multiple `Option`s
  * - Readability when many sequential optional steps are involved
  *
- * **Behavior**
+ * **Details**
  *
  * - Each `yield*` unwraps a `Some` value or short-circuits to `None`
  * - The return value is wrapped in `Some`
@@ -4407,7 +4417,7 @@ export declare const gen: Gen.Gen<OptionTypeLambda>;
  * - Building a reducer that falls back to the first available value
  * - Combining optional values where either side may be absent
  *
- * **Behavior**
+ * **Details**
  *
  * - `None` + `None` → `None`
  * - `Some(a)` + `None` → `Some(a)`
@@ -4439,7 +4449,7 @@ export declare function makeReducer<A>(combiner: Combiner.Combiner<A>): Reducer.
  *
  * - Operations that require both values to be present
  *
- * **Behavior**
+ * **Details**
  *
  * - `None` + anything → `None`
  * - anything + `None` → `None`
@@ -4473,7 +4483,7 @@ export declare function makeCombinerFailFast<A>(combiner: Combiner.Combiner<A>):
  * - Wrapping an existing `Reducer` to work with `Option` values
  * - Reductions where any `None` should abort the entire result
  *
- * **Behavior**
+ * **Details**
  *
  * - Initial value is `Some(reducer.initialValue)`
  * - Combines only when both operands are `Some`