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

package/src/FiberHandle.ts

@@ -59,10 +59,9 @@ import type * as Scope from "./Scope.ts"
 const TypeId = "~effect/FiberHandle"
 
 /**
- * Scoped handle that manages at most one fiber.
- *
- * The current fiber is interrupted when the handle's scope closes, and managed
- * fibers are removed from the handle when they complete.
+ * Scoped handle that manages at most one fiber, interrupts the current fiber
+ * when the handle's scope closes, and removes managed fibers from the handle
+ * when they complete.
  *
  * **Example** (Managing a single fiber)
  *
@@ -95,9 +94,8 @@ export interface FiberHandle<out A = unknown, out E = unknown> extends Pipeable,
 }
 
 /**
- * Returns `true` if a value is a `FiberHandle`.
- *
- * This is a type guard that checks for the `FiberHandle` runtime marker.
+ * Returns `true` if a value is a `FiberHandle` by checking for the
+ * `FiberHandle` runtime marker.
  *
  * **Example** (Checking fiber handles)
  *
@@ -136,11 +134,14 @@ const makeUnsafe = <A = unknown, E = unknown>(): FiberHandle<A, E> => {
 }
 
 /**
- * A FiberHandle can be used to store a single fiber.
- * When the associated Scope is closed, the contained fiber will be interrupted.
+ * Creates a scoped `FiberHandle` that can store a single fiber.
  *
- * You can add a fiber to the handle using `FiberHandle.run`, and the fiber will
- * be automatically removed from the FiberHandle when it completes.
+ * **Details**
+ *
+ * When the associated `Scope` is closed, the contained fiber will be
+ * interrupted. You can add a fiber to the handle using `FiberHandle.run`, and
+ * the fiber will be automatically removed from the `FiberHandle` when it
+ * completes.
  *
  * **Example** (Creating a scoped fiber handle)
  *
@@ -183,6 +184,8 @@ export const make = <A = unknown, E = unknown>(): Effect.Effect<FiberHandle<A, E
 /**
  * Creates a scoped run function that forks effects into a new `FiberHandle`.
  *
+ * **Details**
+ *
  * Each call returns the forked fiber, stores it in the handle, and interrupts
  * the previous fiber unless `onlyIfMissing` is set. The managed fiber is
  * interrupted when the handle's scope closes.
@@ -232,6 +235,8 @@ export const makeRuntime = <R, E = unknown, A = unknown>(): Effect.Effect<
  * Creates a scoped run function that forks effects into a new `FiberHandle`
  * and returns a `Promise` for each effect result.
  *
+ * **Details**
+ *
  * Each call stores the fiber in the handle and interrupts the previous fiber
  * unless `onlyIfMissing` is set. The returned Promise resolves with the
  * effect's success value or rejects with the squashed failure cause.
@@ -410,11 +415,13 @@ export const setUnsafe: {
 })
 
 /**
- * Set the fiber in the `FiberHandle`. When the fiber completes, it will be
- * removed from the `FiberHandle`.
+ * Sets the fiber in the `FiberHandle`.
+ *
+ * **Details**
  *
- * If a fiber already exists in the `FiberHandle`, it will be interrupted
- * unless `options.onlyIfMissing` is set.
+ * When the fiber completes, it will be removed from the `FiberHandle`. If a
+ * fiber already exists in the `FiberHandle`, it will be interrupted unless
+ * `options.onlyIfMissing` is set.
  *
  * **Example** (Setting a fiber safely)
  *
@@ -439,11 +446,13 @@ export const setUnsafe: {
  */
 export const set: {
   /**
-   * Set the fiber in the `FiberHandle`. When the fiber completes, it will be
-   * removed from the `FiberHandle`.
+   * Sets the fiber in the `FiberHandle`.
+   *
+   * **Details**
    *
-   * If a fiber already exists in the `FiberHandle`, it will be interrupted
-   * unless `options.onlyIfMissing` is set.
+   * When the fiber completes, it will be removed from the `FiberHandle`. If a
+   * fiber already exists in the `FiberHandle`, it will be interrupted unless
+   * `options.onlyIfMissing` is set.
    *
    * **Example** (Setting a fiber safely)
    *
@@ -474,11 +483,13 @@ export const set: {
     }
   ): (self: FiberHandle<A, E>) => Effect.Effect<void>
   /**
-   * Set the fiber in the `FiberHandle`. When the fiber completes, it will be
-   * removed from the `FiberHandle`.
+   * Sets the fiber in the `FiberHandle`.
    *
-   * If a fiber already exists in the `FiberHandle`, it will be interrupted
-   * unless `options.onlyIfMissing` is set.
+   * **Details**
+   *
+   * When the fiber completes, it will be removed from the `FiberHandle`. If a
+   * fiber already exists in the `FiberHandle`, it will be interrupted unless
+   * `options.onlyIfMissing` is set.
    *
    * **Example** (Setting a fiber safely)
    *
@@ -638,6 +649,8 @@ const constInterruptedFiber = (function() {
 /**
  * Forks an Effect and stores the resulting fiber in the `FiberHandle`.
  *
+ * **Details**
+ *
  * The handle manages only one fiber: running a new effect interrupts the
  * previous fiber unless `onlyIfMissing` is set. When the managed fiber
  * completes, it is removed from the handle.
@@ -669,6 +682,8 @@ export const run: {
   /**
    * Forks an Effect and stores the resulting fiber in the `FiberHandle`.
    *
+   * **Details**
+   *
    * The handle manages only one fiber: running a new effect interrupts the
    * previous fiber unless `onlyIfMissing` is set. When the managed fiber
    * completes, it is removed from the handle.
@@ -709,6 +724,8 @@ export const run: {
   /**
    * Forks an Effect and stores the resulting fiber in the `FiberHandle`.
    *
+   * **Details**
+   *
    * The handle manages only one fiber: running a new effect interrupts the
    * previous fiber unless `onlyIfMissing` is set. When the managed fiber
    * completes, it is removed from the handle.
@@ -776,6 +793,8 @@ const runImpl = <A, E, R, XE extends E, XA extends A>(
  * Captures the current runtime and returns a function for forking effects into
  * an existing `FiberHandle`.
  *
+ * **Details**
+ *
  * Each call returns the forked fiber, stores it in the handle, and interrupts
  * the previous fiber unless `onlyIfMissing` is set.
  *
@@ -856,6 +875,8 @@ export const runtime: <A, E>(
  * Captures the current runtime and returns a function for running effects in
  * an existing `FiberHandle` as Promises.
  *
+ * **Details**
+ *
  * Each call stores the forked fiber in the handle and interrupts the previous
  * fiber unless `onlyIfMissing` is set. The Promise resolves with the effect's
  * success value or rejects with the squashed failure cause.
@@ -923,6 +944,8 @@ export const runtimePromise = <A, E>(self: FiberHandle<A, E>): <R = never>() =>
 /**
  * Waits for the `FiberHandle` to fail or close.
  *
+ * **Details**
+ *
  * The returned Effect fails with the first managed fiber failure that is not
  * ignored by the handle's interruption rules. Normal successful completion of
  * a managed fiber only removes it from the handle; use `awaitEmpty` to wait

package/src/FiberMap.ts

@@ -98,6 +98,8 @@ export interface FiberMap<in out K, out A = unknown, out E = unknown>
 /**
  * Returns `true` if a value is a `FiberMap`.
  *
+ * **Details**
+ *
  * This is a type guard that checks for the `FiberMap` runtime marker.
  *
  * **Example** (Checking if a value is a FiberMap)
@@ -147,11 +149,14 @@ const makeUnsafe = <K, A = unknown, E = unknown>(
 }
 
 /**
- * A FiberMap can be used to store a collection of fibers, indexed by some key.
- * When the associated Scope is closed, all fibers in the map will be interrupted.
+ * Creates a scoped `FiberMap` for storing fibers by key.
+ *
+ * **Details**
  *
- * You can add fibers to the map using `FiberMap.set` or `FiberMap.run`, and the fibers will
- * be automatically removed from the FiberMap when they complete.
+ * When the associated Scope is closed, all fibers in the map will be
+ * interrupted. You can add fibers to the map using `FiberMap.set` or
+ * `FiberMap.run`, and the fibers will be automatically removed from the
+ * `FiberMap` when they complete.
  *
  * **Example** (Creating a scoped FiberMap)
  *
@@ -196,6 +201,8 @@ export const make = <K, A = unknown, E = unknown>(): Effect.Effect<FiberMap<K, A
 /**
  * Creates a scoped run function that forks effects into a new `FiberMap`.
  *
+ * **Details**
+ *
  * Each call stores the forked fiber under the supplied key and returns that
  * fiber. If the key already has a fiber, the previous fiber is interrupted
  * unless `onlyIfMissing` is set. All managed fibers are interrupted when the
@@ -246,6 +253,8 @@ export const makeRuntime = <R, K, E = unknown, A = unknown>(): Effect.Effect<
  * Creates a scoped run function that forks effects into a new `FiberMap` and
  * returns a `Promise` for each effect result.
  *
+ * **Details**
+ *
  * Each call stores the fiber under the supplied key, interrupting any previous
  * fiber for that key unless `onlyIfMissing` is set. The returned Promise
  * resolves with the effect's success value or rejects with the squashed failure
@@ -302,6 +311,8 @@ const isInternalInterruption = Filter.toPredicate(Filter.compose(
  * Adds a fiber to the `FiberMap` under a key using a synchronous, unsafe
  * mutation.
  *
+ * **Details**
+ *
  * When the fiber completes, it is removed from the map. If the key already has
  * a fiber, that previous fiber is interrupted unless `onlyIfMissing` is set;
  * in that case the new fiber is interrupted and the existing entry is kept.
@@ -335,6 +346,8 @@ export const setUnsafe: {
    * Adds a fiber to the `FiberMap` under a key using a synchronous, unsafe
    * mutation.
    *
+   * **Details**
+   *
    * When the fiber completes, it is removed from the map. If the key already has
    * a fiber, that previous fiber is interrupted unless `onlyIfMissing` is set;
    * in that case the new fiber is interrupted and the existing entry is kept.
@@ -375,6 +388,8 @@ export const setUnsafe: {
    * Adds a fiber to the `FiberMap` under a key using a synchronous, unsafe
    * mutation.
    *
+   * **Details**
+   *
    * When the fiber completes, it is removed from the map. If the key already has
    * a fiber, that previous fiber is interrupted unless `onlyIfMissing` is set;
    * in that case the new fiber is interrupted and the existing entry is kept.
@@ -462,6 +477,8 @@ export const setUnsafe: {
 /**
  * Adds a fiber to the `FiberMap` under a key.
  *
+ * **Details**
+ *
  * When the fiber completes, it is removed from the map. If the key already has
  * a fiber, that previous fiber is interrupted unless `onlyIfMissing` is set;
  * in that case the new fiber is interrupted and the existing entry is kept.
@@ -496,6 +513,8 @@ export const set: {
   /**
    * Adds a fiber to the `FiberMap` under a key.
    *
+   * **Details**
+   *
    * When the fiber completes, it is removed from the map. If the key already has
    * a fiber, that previous fiber is interrupted unless `onlyIfMissing` is set;
    * in that case the new fiber is interrupted and the existing entry is kept.
@@ -537,6 +556,8 @@ export const set: {
   /**
    * Adds a fiber to the `FiberMap` under a key.
    *
+   * **Details**
+   *
    * When the fiber completes, it is removed from the map. If the key already has
    * a fiber, that previous fiber is interrupted unless `onlyIfMissing` is set;
    * in that case the new fiber is interrupted and the existing entry is kept.
@@ -689,6 +710,8 @@ export const getUnsafe: {
 /**
  * Retrieve a fiber from the FiberMap.
  *
+ * **Details**
+ *
  * Returns an `Option` wrapped in `Effect`.
  *
  * **Example** (Retrieving a fiber)
@@ -722,6 +745,8 @@ export const get: {
   /**
    * Retrieve a fiber from the FiberMap.
    *
+   * **Details**
+   *
    * Returns an `Option` wrapped in `Effect`.
    *
    * **Example** (Retrieving a fiber)
@@ -755,6 +780,8 @@ export const get: {
   /**
    * Retrieve a fiber from the FiberMap.
    *
+   * **Details**
+   *
    * Returns an `Option` wrapped in `Effect`.
    *
    * **Example** (Retrieving a fiber)
@@ -1160,6 +1187,8 @@ const constInterruptedFiber = (function() {
 /**
  * Forks an Effect and stores the resulting fiber in the `FiberMap` under a key.
  *
+ * **Details**
+ *
  * When the fiber completes, it is removed from the map. If the key already has
  * a fiber, the previous fiber is interrupted unless `onlyIfMissing` is set.
  *
@@ -1191,6 +1220,8 @@ export const run: {
   /**
    * Forks an Effect and stores the resulting fiber in the `FiberMap` under a key.
    *
+   * **Details**
+   *
    * When the fiber completes, it is removed from the map. If the key already has
    * a fiber, the previous fiber is interrupted unless `onlyIfMissing` is set.
    *
@@ -1232,6 +1263,8 @@ export const run: {
   /**
    * Forks an Effect and stores the resulting fiber in the `FiberMap` under a key.
    *
+   * **Details**
+   *
    * When the fiber completes, it is removed from the map. If the key already has
    * a fiber, the previous fiber is interrupted unless `onlyIfMissing` is set.
    *
@@ -1303,6 +1336,8 @@ const runImpl = <K, A, E, R, XE extends E, XA extends A>(
  * Captures the current runtime and returns a function for forking effects into
  * an existing `FiberMap`.
  *
+ * **Details**
+ *
  * Each call stores the forked fiber under the supplied key. If that key already
  * has a fiber, the previous fiber is interrupted unless `onlyIfMissing` is set.
  *
@@ -1379,6 +1414,8 @@ export const runtime: <K, A, E>(
  * Captures the current runtime and returns a function for running effects in
  * an existing `FiberMap` as Promises.
  *
+ * **Details**
+ *
  * Each call stores the forked fiber under the supplied key, interrupting any
  * previous fiber for that key unless `onlyIfMissing` is set. The Promise
  * resolves with the effect's success value or rejects with the squashed failure
@@ -1474,6 +1511,8 @@ export const size = <K, A, E>(self: FiberMap<K, A, E>): Effect.Effect<number> =>
 /**
  * Waits for the `FiberMap` to fail or close.
  *
+ * **Details**
+ *
  * The returned Effect fails with the first managed fiber failure that is not
  * ignored by the map's interruption rules. Normal successful completion
  * removes fibers from the map; use `awaitEmpty` to wait until the map has no

package/src/FiberSet.ts

@@ -141,11 +141,14 @@ const makeUnsafe = <A, E>(
 }
 
 /**
- * A FiberSet can be used to store a collection of fibers.
- * When the associated Scope is closed, all fibers in the set will be interrupted.
+ * Creates a scoped `FiberSet` for storing fibers.
+ *
+ * **Details**
  *
- * You can add fibers to the set using `FiberSet.add` or `FiberSet.run`, and the fibers will
- * be automatically removed from the FiberSet when they complete.
+ * When the associated Scope is closed, all fibers in the set will be
+ * interrupted. You can add fibers to the set using `FiberSet.add` or
+ * `FiberSet.run`, and the fibers will be automatically removed from the
+ * FiberSet when they complete.
  *
  * **Example** (Creating a scoped FiberSet)
  *
@@ -186,6 +189,8 @@ export const make = <A = unknown, E = unknown>(): Effect.Effect<FiberSet<A, E>,
 /**
  * Creates a scoped run function that forks effects into a new `FiberSet`.
  *
+ * **Details**
+ *
  * Each call returns the forked fiber and adds it to the set. Managed fibers are
  * removed when they complete and are interrupted when the set's scope closes.
  *
@@ -228,6 +233,8 @@ export const makeRuntime = <R = never, A = unknown, E = unknown>(): Effect.Effec
  * Creates a scoped run function that forks effects into a new `FiberSet` and
  * returns a `Promise` for each effect result.
  *
+ * **Details**
+ *
  * Managed fibers are removed when they complete and are interrupted when the
  * set's scope closes. Each Promise resolves with the effect's success value or
  * rejects with the squashed failure cause.
@@ -277,6 +284,8 @@ const isInternalInterruption = Filter.toPredicate(Filter.compose(
  * Adds an existing fiber to the `FiberSet` using a synchronous, unsafe
  * mutation.
  *
+ * **Details**
+ *
  * When the fiber completes, it is removed from the set. If the set is already
  * closed, the supplied fiber is interrupted immediately. Non-interruption
  * failures are recorded for `FiberSet.join`.
@@ -306,6 +315,8 @@ export const addUnsafe: {
    * Adds an existing fiber to the `FiberSet` using a synchronous, unsafe
    * mutation.
    *
+   * **Details**
+   *
    * When the fiber completes, it is removed from the set. If the set is already
    * closed, the supplied fiber is interrupted immediately. Non-interruption
    * failures are recorded for `FiberSet.join`.
@@ -340,6 +351,8 @@ export const addUnsafe: {
    * Adds an existing fiber to the `FiberSet` using a synchronous, unsafe
    * mutation.
    *
+   * **Details**
+   *
    * When the fiber completes, it is removed from the set. If the set is already
    * closed, the supplied fiber is interrupted immediately. Non-interruption
    * failures are recorded for `FiberSet.join`.
@@ -728,9 +741,11 @@ export const runtime: <A, E>(
   )
 
 /**
- * Capture a Runtime and use it to fork Effect's, adding the forked fibers to the FiberSet.
+ * Captures a Runtime and uses it to fork Effects into the `FiberSet`.
+ *
+ * **Details**
  *
- * The returned run function will return Promise's.
+ * The returned run function returns a `Promise` for each effect result.
  *
  * **Example** (Running effects as promises)
  *

package/src/FileSystem.ts

@@ -56,6 +56,8 @@ const TypeId = "~effect/platform/FileSystem"
 /**
  * Core interface for file system operations in Effect.
  *
+ * **Details**
+ *
  * The FileSystem interface provides a comprehensive set of file and directory operations
  * that work cross-platform. All operations return Effect values that can be composed,
  * transformed, and executed safely with proper error handling.
@@ -108,6 +110,8 @@ export interface FileSystem {
   /**
    * Copy a file or directory from `fromPath` to `toPath`.
    *
+   * **Details**
+   *
    * Equivalent to `cp -r`.
    */
   readonly copy: (
@@ -167,6 +171,8 @@ export interface FileSystem {
   /**
    * Create a temporary directory.
    *
+   * **Details**
+   *
    * By default the directory will be created inside the system's default
    * temporary directory, but you can specify a different location by setting
    * the `directory` option.
@@ -181,6 +187,8 @@ export interface FileSystem {
   /**
    * Create a temporary directory inside a scope.
    *
+   * **Details**
+   *
    * Functionally equivalent to `makeTempDirectory`, but the directory will be
    * automatically deleted when the scope is closed.
    */
@@ -201,6 +209,8 @@ export interface FileSystem {
   /**
    * Create a temporary file inside a scope.
    *
+   * **Details**
+   *
    * Functionally equivalent to `makeTempFile`, but the file will be
    * automatically deleted when the scope is closed.
    */
@@ -212,6 +222,8 @@ export interface FileSystem {
   /**
    * Open a file at `path` with the specified `options`.
    *
+   * **Details**
+   *
    * The file handle will be automatically closed when the scope is closed.
    */
   readonly open: (
@@ -224,6 +236,8 @@ export interface FileSystem {
   /**
    * List the contents of a directory.
    *
+   * **Details**
+   *
    * You can recursively list the contents of nested directories by setting the
    * `recursive` option.
    */
@@ -300,6 +314,8 @@ export interface FileSystem {
   /**
    * Create a readable `Stream` for the specified `path`.
    *
+   * **Details**
+   *
    * Changing the `bufferSize` option will change the internal buffer size of
    * the stream. It defaults to `4`.
    *
@@ -371,6 +387,8 @@ export interface FileSystem {
 /**
  * Represents a file size in bytes using a branded bigint.
  *
+ * **Details**
+ *
  * This type ensures type safety when working with file sizes, preventing
  * accidental mixing of regular numbers with size values. The underlying
  * bigint allows for handling very large file sizes beyond JavaScript's
@@ -400,6 +418,8 @@ export type Size = Brand.Branded<bigint, "Size">
 /**
  * Input type for size parameters that accepts multiple numeric types.
  *
+ * **Details**
+ *
  * This union type allows file system operations to accept size values in
  * different formats for convenience, which are then normalized to the
  * branded `Size` type internally.
@@ -427,6 +447,8 @@ export type SizeInput = bigint | number | Size
 /**
  * Creates a `Size` from various numeric input types.
  *
+ * **Details**
+ *
  * Converts numbers, bigints, or existing Size values into a properly
  * branded Size type. This function handles the conversion and ensures
  * type safety for file size operations.
@@ -464,6 +486,8 @@ export const Size = (bytes: SizeInput): Size => typeof bytes === "bigint" ? byte
 /**
  * Creates a `Size` representing kilobytes (1024 bytes).
  *
+ * **Details**
+ *
  * Converts a number of kilobytes to the equivalent size in bytes.
  * Uses binary kilobytes (1024 bytes) rather than decimal (1000 bytes).
  *
@@ -495,6 +519,8 @@ export const KiB = (n: number): Size => Size(n * 1024)
 /**
  * Creates a `Size` representing mebibytes (1024² bytes).
  *
+ * **Details**
+ *
  * Converts a number of mebibytes to the equivalent size in bytes.
  * Uses binary mebibytes (1,048,576 bytes) rather than decimal megabytes.
  *
@@ -530,6 +556,8 @@ export const MiB = (n: number): Size => Size(n * 1024 * 1024)
 /**
  * Creates a `Size` representing gibibytes (1024³ bytes).
  *
+ * **Details**
+ *
  * Converts a number of gibibytes to the equivalent size in bytes.
  * Uses binary gibibytes (1,073,741,824 bytes) rather than decimal gigabytes.
  *
@@ -563,6 +591,8 @@ export const GiB = (n: number): Size => Size(n * 1024 * 1024 * 1024)
 /**
  * Creates a `Size` representing tebibytes (1024⁴ bytes).
  *
+ * **Details**
+ *
  * Converts a number of tebibytes to the equivalent size in bytes.
  * Uses binary tebibytes (1,099,511,627,776 bytes) rather than decimal terabytes.
  *
@@ -600,6 +630,8 @@ const bigintPiB = bigint1024 * bigint1024 * bigint1024 * bigint1024 * bigint1024
 /**
  * Creates a `Size` representing pebibytes (1024⁵ bytes).
  *
+ * **Details**
+ *
  * Converts a number of pebibytes to the equivalent size in bytes.
  * Uses binary pebibytes (1,125,899,906,842,624 bytes) rather than decimal petabytes.
  * This function uses BigInt arithmetic to handle the very large numbers involved.
@@ -634,6 +666,8 @@ export const PiB = (n: number): Size => Size(BigInt(n) * bigintPiB)
 /**
  * File open flags that determine how a file is opened and what operations are allowed.
  *
+ * **Details**
+ *
  * These flags correspond to standard POSIX file open modes and control the file access
  * permissions and behavior when opening files.
  *
@@ -688,6 +722,8 @@ export type OpenFlag =
 /**
  * The service identifier for the FileSystem service.
  *
+ * **Details**
+ *
  * This key is used to provide and access the FileSystem service in the Effect context.
  * Use this to inject file system implementations or access file system operations.
  *
@@ -729,6 +765,8 @@ export const FileSystem: Context.Service<FileSystem, FileSystem> = Context.Servi
 /**
  * Creates a FileSystem implementation from a partial implementation.
  *
+ * **Details**
+ *
  * This function takes a partial FileSystem implementation and automatically provides
  * default implementations for `exists`, `readFileString`, `stream`, `sink`, and
  * `writeFileString` methods based on the provided core methods.
@@ -826,6 +864,8 @@ const notFound = (method: string, path: string) =>
 /**
  * Creates a stub `FileSystem` implementation for tests.
  *
+ * **Details**
+ *
  * By default, `exists` returns `false`, `remove` succeeds, many file operations
  * fail with `PlatformError` `NotFound`, and temporary-directory/file operations
  * die as not implemented. Pass method overrides to provide the behavior needed
@@ -968,6 +1008,8 @@ export const makeNoop = (fileSystem: Partial<FileSystem>): FileSystem =>
 /**
  * Creates a Layer that provides a no-op FileSystem implementation for testing.
  *
+ * **Details**
+ *
  * This is a convenience function that wraps `makeNoop` in a Layer, making it easy
  * to provide the test filesystem to your Effect programs.
  *
@@ -1010,6 +1052,8 @@ export const FileTypeId = "~effect/platform/FileSystem/File"
 /**
  * Type guard to check if a value is a File instance.
  *
+ * **Details**
+ *
  * This function determines whether the provided value is a valid File
  * instance by checking for the presence of the File type identifier.
  *
@@ -1021,6 +1065,8 @@ export const isFile = (u: unknown): u is File => hasProperty(u, FileTypeId)
 /**
  * Interface representing an open file handle.
  *
+ * **Details**
+ *
  * Provides low-level file operations including reading, writing, seeking,
  * and retrieving file information. File handles are automatically managed
  * within scoped operations to ensure proper cleanup.
@@ -1083,6 +1129,8 @@ export declare namespace File {
   /**
    * Branded type for file descriptors.
    *
+   * **Details**
+   *
    * File descriptors are numeric handles used by the operating system
    * to identify open files. The branded type ensures type safety.
    *
@@ -1094,6 +1142,8 @@ export declare namespace File {
   /**
    * Enumeration of possible file system entry types.
    *
+   * **Details**
+   *
    * Represents the different types of entries that can exist in a file system,
    * from regular files to special device files and symbolic links.
    *
@@ -1113,6 +1163,8 @@ export declare namespace File {
   /**
    * Comprehensive file information structure.
    *
+   * **Details**
+   *
    * Contains metadata about a file or directory including type, timestamps,
    * permissions, and size information. This structure is returned by file
    * stat operations.
@@ -1174,6 +1226,8 @@ export declare namespace File {
 /**
  * Creates a branded file descriptor.
  *
+ * **Details**
+ *
  * File descriptors are integer handles that the operating system uses to identify
  * open files. This branded type ensures type safety when working with file descriptors.
  *
@@ -1185,6 +1239,8 @@ export const FileDescriptor = Brand.nominal<File.Descriptor>()
 /**
  * Specifies the reference point for seeking within a file.
  *
+ * **Details**
+ *
  * - `"start"` - Seek from the beginning of the file
  * - `"current"` - Seek from the current position
  *
@@ -1210,6 +1266,8 @@ export declare namespace WatchEvent {
   /**
    * Event representing the creation of a new file or directory.
    *
+   * **Details**
+   *
    * This event is triggered when a new file or directory is created
    * in the watched location.
    *
@@ -1224,6 +1282,8 @@ export declare namespace WatchEvent {
   /**
    * Event representing the modification of an existing file or directory.
    *
+   * **Details**
+   *
    * This event is triggered when an existing file or directory is
    * modified in the watched location.
    *
@@ -1238,6 +1298,8 @@ export declare namespace WatchEvent {
   /**
    * Event representing the deletion of a file or directory.
    *
+   * **Details**
+   *
    * This event is triggered when a file or directory is deleted
    * from the watched location.
    *
@@ -1253,6 +1315,8 @@ export declare namespace WatchEvent {
 /**
  * Service key for file system watch backend implementations.
  *
+ * **Details**
+ *
  * This service provides the low-level file watching capabilities that can be
  * implemented differently on various platforms (e.g., inotify on Linux,
  * FSEvents on macOS, etc.).