@effect/platform 0.0.0 → 0.1.0

package/src/internal/console.ts

@@ -52,14 +52,12 @@ const consoleImpl = Console.of({
     })
   },
   group(options) {
-    return (self) =>
-      Effect.acquireUseRelease(
-        options?.collapsed ?
-          Effect.sync(() => console.groupCollapsed(options?.label)) :
-          Effect.sync(() => console.group(options?.label)),
-        () => self,
-        () => Effect.sync(() => console.groupEnd())
-      )
+    return Effect.acquireRelease(
+      options?.collapsed ?
+        Effect.sync(() => console.groupCollapsed(options?.label)) :
+        Effect.sync(() => console.group(options?.label)),
+      () => Effect.sync(() => console.groupEnd())
+    )
   },
   info(...args) {
     return Effect.sync(() => {
@@ -77,12 +75,10 @@ const consoleImpl = Console.of({
     })
   },
   time(label) {
-    return (self) =>
-      Effect.acquireUseRelease(
-        Effect.sync(() => console.time(label)),
-        () => self,
-        () => Effect.sync(() => console.timeEnd(label))
-      )
+    return Effect.acquireRelease(
+      Effect.sync(() => console.time(label)),
+      () => Effect.sync(() => console.timeEnd(label))
+    )
   },
   timeLog(label, ...args) {
     return Effect.sync(() => {
@@ -98,8 +94,90 @@ const consoleImpl = Console.of({
     return Effect.sync(() => {
       console.warn(...args)
     })
+  },
+  withGroup(options) {
+    return (self) =>
+      Effect.acquireUseRelease(
+        options?.collapsed ?
+          Effect.sync(() => console.groupCollapsed(options?.label)) :
+          Effect.sync(() => console.group(options?.label)),
+        () => self,
+        () => Effect.sync(() => console.groupEnd())
+      )
+  },
+  withTime(label) {
+    return (self) =>
+      Effect.acquireUseRelease(
+        Effect.sync(() => console.time(label)),
+        () => self,
+        () => Effect.sync(() => console.timeEnd(label))
+      )
   }
 })
 
 /** @internal */
 export const layer = Layer.succeed(Console, consoleImpl)
+
+/** @internal */
+export const assert = (condition: boolean, ...args: ReadonlyArray<any>) =>
+  Effect.flatMap(Console, (_) => _.assert(condition, ...args))
+
+/** @internal */
+export const clear = () => Effect.flatMap(Console, (_) => _.clear())
+
+/** @internal */
+export const count = (label?: string) => Effect.flatMap(Console, (_) => _.count(label))
+
+/** @internal */
+export const countReset = (label?: string) => Effect.flatMap(Console, (_) => _.countReset(label))
+
+/** @internal */
+export const debug = (...args: ReadonlyArray<any>) => Effect.flatMap(Console, (_) => _.debug(...args))
+
+/** @internal */
+export const dir = (...args: ReadonlyArray<any>) => Effect.flatMap(Console, (_) => _.dir(...args))
+
+/** @internal */
+export const dirxml = (...args: ReadonlyArray<any>) => Effect.flatMap(Console, (_) => _.dirxml(...args))
+
+/** @internal */
+export const error = (...args: ReadonlyArray<any>) => Effect.flatMap(Console, (_) => _.error(...args))
+
+/** @internal */
+export const group = (options?: { label?: string; collapsed?: boolean }) =>
+  Effect.flatMap(Console, (_) => _.group(options))
+
+/** @internal */
+export const info = (...args: ReadonlyArray<any>) => Effect.flatMap(Console, (_) => _.info(...args))
+
+/** @internal */
+export const log = (...args: ReadonlyArray<any>) => Effect.flatMap(Console, (_) => _.log(...args))
+
+/** @internal */
+export const table = (tabularData: any, properties?: ReadonlyArray<string>) =>
+  Effect.flatMap(Console, (_) => _.table(tabularData, properties))
+
+/** @internal */
+export const time = (label?: string) => Effect.flatMap(Console, (_) => _.time(label))
+
+/** @internal */
+export const timeLog = (label?: string, ...args: ReadonlyArray<any>) =>
+  Effect.flatMap(Console, (_) => _.timeLog(label, ...args))
+
+/** @internal */
+export const trace = (...args: ReadonlyArray<any>) => Effect.flatMap(Console, (_) => _.trace(...args))
+
+/** @internal */
+export const warn = (...args: ReadonlyArray<any>) => Effect.flatMap(Console, (_) => _.warn(...args))
+
+/** @internal */
+export const withGroup = (options?: { label?: string; collapsed?: boolean }) =>
+  <R, E, A>(
+    self: Effect.Effect<R, E, A>
+  ) => Effect.flatMap(Console, (_) => _.withGroup(options)(self))
+
+/** @internal */
+export const withTime = (label?: string) =>
+  <R, E, A>(
+    self: Effect.Effect<R, E, A>
+  ) => Effect.flatMap(Console, (_) => _.withTime(label)(self))

package/src/internal/fileSystem.ts

@@ -2,8 +2,7 @@ import { Tag } from "@effect/data/Context"
 import { pipe } from "@effect/data/Function"
 import * as Option from "@effect/data/Option"
 import * as Effect from "@effect/io/Effect"
-import type { FileSystem, Size as Size_, StreamOptions } from "@effect/platform/FileSystem"
-import type { File } from "@effect/platform/FileSystem/File"
+import type { File, FileSystem, Size as Size_, StreamOptions } from "@effect/platform/FileSystem"
 import * as Sink from "@effect/stream/Sink"
 import * as Stream from "@effect/stream/Stream"
 
@@ -36,8 +35,8 @@ export const make = (impl: Omit<FileSystem, "stream" | "sink">): FileSystem => {
 const stream = (file: File, {
   bufferSize = 4,
   bytesToRead,
-  chunkSize = Size(16n * 1024n),
-  offset = Size(0n)
+  chunkSize = Size(64 * 1024),
+  offset = Size(0)
 }: StreamOptions = {}) =>
   Stream.bufferChunks(
     Stream.unfoldEffect(offset, (position) => {

package/src/internal/path.ts

@@ -0,0 +1,101 @@
+import { Tag } from "@effect/data/Context"
+import { identity } from "@effect/data/Function"
+import * as Effect from "@effect/io/Effect"
+import * as Layer from "@effect/io/Layer"
+import { BadArgument } from "@effect/platform/Error"
+import type { Path as _Path } from "@effect/platform/Path"
+import * as PathB from "path-browserify"
+
+/** @internal */
+export const Path = Tag<_Path>()
+
+/** @internal */
+export const layer = Layer.succeed(
+  Path,
+  Path.of({
+    ...PathB,
+    fromFileUrl,
+    toFileUrl,
+    toNamespacedPath: identity
+  })
+)
+
+/**
+ * The following functions are adapted from the Node.js source code:
+ * https://github.com/nodejs/node/blob/main/lib/internal/url.js
+ *
+ * The following license applies to these functions:
+ * - MIT
+ */
+
+function fromFileUrl(url: URL): Effect.Effect<never, BadArgument, string> {
+  if (url.protocol !== "file:") {
+    return Effect.fail(BadArgument({
+      module: "Path",
+      method: "fromFileUrl",
+      message: "URL must be of scheme file"
+    }))
+  } else if (url.hostname !== "") {
+    return Effect.fail(BadArgument({
+      module: "Path",
+      method: "fromFileUrl",
+      message: "Invalid file URL host"
+    }))
+  }
+  const pathname = url.pathname
+  for (let n = 0; n < pathname.length; n++) {
+    if (pathname[n] === "%") {
+      const third = pathname.codePointAt(n + 2)! | 0x20
+      if (pathname[n + 1] === "2" && third === 102) {
+        return Effect.fail(BadArgument({
+          module: "Path",
+          method: "fromFileUrl",
+          message: "must not include encoded / characters"
+        }))
+      }
+    }
+  }
+  return Effect.succeed(decodeURIComponent(pathname))
+}
+
+const CHAR_FORWARD_SLASH = 47
+
+function toFileUrl(filepath: string) {
+  const outURL = new URL("file://")
+  let resolved = PathB.resolve(filepath)
+  // path.resolve strips trailing slashes so we must add them back
+  const filePathLast = filepath.charCodeAt(filepath.length - 1)
+  if (
+    (filePathLast === CHAR_FORWARD_SLASH) &&
+    resolved[resolved.length - 1] !== "/"
+  ) {
+    resolved += "/"
+  }
+  outURL.pathname = encodePathChars(resolved)
+  return Effect.succeed(outURL)
+}
+
+const percentRegEx = /%/g
+const backslashRegEx = /\\/g
+const newlineRegEx = /\n/g
+const carriageReturnRegEx = /\r/g
+const tabRegEx = /\t/g
+
+function encodePathChars(filepath: string) {
+  if (filepath.includes("%")) {
+    filepath = filepath.replace(percentRegEx, "%25")
+  }
+  if (filepath.includes("\\")) {
+    filepath = filepath.replace(backslashRegEx, "%5C")
+  }
+  if (filepath.includes("\n")) {
+    filepath = filepath.replace(newlineRegEx, "%0A")
+  }
+  if (filepath.includes("\r")) {
+    filepath = filepath.replace(carriageReturnRegEx, "%0D")
+  }
+  if (filepath.includes("\t")) {
+    filepath = filepath.replace(tabRegEx, "%09")
+  }
+  return filepath
+}

package/FileSystem/File.d.ts

@@ -1,91 +0,0 @@
-/**
- * @since 1.0.0
- */
-import * as Brand from "@effect/data/Brand";
-import type { Option } from "@effect/data/Option";
-import type * as Effect from "@effect/io/Effect";
-import type { PlatformError } from "@effect/platform/Error";
-import type { Size } from "@effect/platform/FileSystem";
-/**
- * @since 1.0.0
- * @category type id
- */
-export declare const FileTypeId: unique symbol;
-/**
- * @since 1.0.0
- * @category type id
- */
-export type FileTypeId = typeof FileTypeId;
-/**
- * @since 1.0.0
- * @category guard
- */
-export declare const isFile: (u: unknown) => u is File;
-/**
- * @since 1.0.0
- * @category model
- */
-export interface File {
-    readonly [FileTypeId]: FileTypeId;
-    readonly fd: File.Descriptor;
-    readonly stat: Effect.Effect<never, PlatformError, File.Info>;
-    readonly read: (buffer: Uint8Array, options?: FileReadOptions) => Effect.Effect<never, PlatformError, Size>;
-    readonly readAlloc: (size: Size, options?: FileReadOptions) => Effect.Effect<never, PlatformError, Option<Uint8Array>>;
-    readonly truncate: (length?: Size) => Effect.Effect<never, PlatformError, void>;
-    readonly write: (buffer: Uint8Array) => Effect.Effect<never, PlatformError, Size>;
-    readonly writeAll: (buffer: Uint8Array) => Effect.Effect<never, PlatformError, void>;
-}
-/**
- * @since 1.0.0
- * @category constructor
- */
-export declare const make: (impl: Omit<File, FileTypeId>) => File;
-/**
- * @since 1.0.0
- */
-export declare namespace File {
-    /**
-     * @since 1.0.0
-     * @category model
-     */
-    type Descriptor = Brand.Branded<number, "FileDescriptor">;
-    /**
-     * @since 1.0.0
-     * @category model
-     */
-    type Type = "File" | "Directory" | "SymbolicLink" | "BlockDevice" | "CharacterDevice" | "FIFO" | "Socket" | "Unknown";
-    /**
-     * @since 1.0.0
-     * @category model
-     */
-    interface Info {
-        readonly type: Type;
-        readonly mtime: Option<Date>;
-        readonly atime: Option<Date>;
-        readonly birthtime: Option<Date>;
-        readonly dev: number;
-        readonly ino: Option<number>;
-        readonly mode: number;
-        readonly nlink: Option<number>;
-        readonly uid: Option<number>;
-        readonly gid: Option<number>;
-        readonly rdev: Option<number>;
-        readonly size: Size;
-        readonly blksize: Option<Size>;
-        readonly blocks: Option<number>;
-    }
-}
-/**
- * @since 1.0.0
- * @category constructor
- */
-export declare const Descriptor: Brand.Brand.Constructor<File.Descriptor>;
-/**
- * @since 1.0.0
- * @category model
- */
-export interface FileReadOptions {
-    readonly offset?: Size;
-    readonly length?: Size;
-}
-//# sourceMappingURL=File.d.ts.map

package/FileSystem/File.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"File.d.ts","sourceRoot":"","sources":["../src/FileSystem/File.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,KAAK,MAAM,oBAAoB,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,MAAM,mBAAmB,CAAA;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAC3D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,6BAA6B,CAAA;AAEvD;;;GAGG;AACH,eAAO,MAAM,UAAU,EAAE,OAAO,MAE/B,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAA;AAE1C;;;GAGG;AACH,eAAO,MAAM,MAAM,MAAO,OAAO,cAAsE,CAAA;AAEvG;;;GAGG;AACH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,UAAU,CAAA;IACjC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAA;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;IAC7D,QAAQ,CAAC,IAAI,EAAE,CACb,MAAM,EAAE,UAAU,EAClB,OAAO,CAAC,EAAE,eAAe,KACtB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,CAAA;IAC9C,QAAQ,CAAC,SAAS,EAAE,CAClB,IAAI,EAAE,IAAI,EACV,OAAO,CAAC,EAAE,eAAe,KACtB,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAA;IAC5D,QAAQ,CAAC,QAAQ,EAAE,CACjB,MAAM,CAAC,EAAE,IAAI,KACV,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,CAAA;IAC9C,QAAQ,CAAC,KAAK,EAAE,CACd,MAAM,EAAE,UAAU,KACf,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,CAAA;IAC9C,QAAQ,CAAC,QAAQ,EAAE,CACjB,MAAM,EAAE,UAAU,KACf,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,CAAC,CAAA;CAC/C;AAED;;;GAGG;AACH,eAAO,MAAM,IAAI,SAAU,KAAK,IAAI,EAAE,UAAU,CAAC,KAAG,IAGlD,CAAA;AAEF;;GAEG;AACH,yBAAiB,IAAI,CAAC;IACpB;;;OAGG;IACH,KAAY,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;IAEhE;;;OAGG;IACH,KAAY,IAAI,GACZ,MAAM,GACN,WAAW,GACX,cAAc,GACd,aAAa,GACb,iBAAiB,GACjB,MAAM,GACN,QAAQ,GACR,SAAS,CAAA;IAEb;;;OAGG;IACH,UAAiB,IAAI;QACnB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;QACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;QAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;QAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;QAChC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;QACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;QACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC9B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;QAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;QACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;QAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;KAChC;CACF;AAED;;;GAGG;AACH,eAAO,MAAM,UAAU,0CAAmC,CAAA;AAE1D;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,CAAA;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,CAAA;CACvB"}

package/FileSystem/File.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"File.js","names":["Brand","_interopRequireWildcard","require","_getRequireWildcardCache","nodeInterop","WeakMap","cacheBabelInterop","cacheNodeInterop","obj","__esModule","default","cache","has","get","newObj","hasPropertyDescriptor","Object","defineProperty","getOwnPropertyDescriptor","key","prototype","hasOwnProperty","call","desc","set","FileTypeId","Symbol","for","exports","isFile","u","make","impl","Descriptor","nominal"],"sources":["../src/FileSystem/File.ts"],"sourcesContent":[null],"mappings":";;;;;;AAGA,IAAAA,KAAA,gBAAAC,uBAAA,eAAAC,OAAA;AAA2C,SAAAC,yBAAAC,WAAA,eAAAC,OAAA,kCAAAC,iBAAA,OAAAD,OAAA,QAAAE,gBAAA,OAAAF,OAAA,YAAAF,wBAAA,YAAAA,CAAAC,WAAA,WAAAA,WAAA,GAAAG,gBAAA,GAAAD,iBAAA,KAAAF,WAAA;AAAA,SAAAH,wBAAAO,GAAA,EAAAJ,WAAA,SAAAA,WAAA,IAAAI,GAAA,IAAAA,GAAA,CAAAC,UAAA,WAAAD,GAAA,QAAAA,GAAA,oBAAAA,GAAA,wBAAAA,GAAA,4BAAAE,OAAA,EAAAF,GAAA,UAAAG,KAAA,GAAAR,wBAAA,CAAAC,WAAA,OAAAO,KAAA,IAAAA,KAAA,CAAAC,GAAA,CAAAJ,GAAA,YAAAG,KAAA,CAAAE,GAAA,CAAAL,GAAA,SAAAM,MAAA,WAAAC,qBAAA,GAAAC,MAAA,CAAAC,cAAA,IAAAD,MAAA,CAAAE,wBAAA,WAAAC,GAAA,IAAAX,GAAA,QAAAW,GAAA,kBAAAH,MAAA,CAAAI,SAAA,CAAAC,cAAA,CAAAC,IAAA,CAAAd,GAAA,EAAAW,GAAA,SAAAI,IAAA,GAAAR,qBAAA,GAAAC,MAAA,CAAAE,wBAAA,CAAAV,GAAA,EAAAW,GAAA,cAAAI,IAAA,KAAAA,IAAA,CAAAV,GAAA,IAAAU,IAAA,CAAAC,GAAA,KAAAR,MAAA,CAAAC,cAAA,CAAAH,MAAA,EAAAK,GAAA,EAAAI,IAAA,YAAAT,MAAA,CAAAK,GAAA,IAAAX,GAAA,CAAAW,GAAA,SAAAL,MAAA,CAAAJ,OAAA,GAAAF,GAAA,MAAAG,KAAA,IAAAA,KAAA,CAAAa,GAAA,CAAAhB,GAAA,EAAAM,MAAA,YAAAA,MAAA;AAH3C;;;;AASA;;;;AAIO,MAAMW,UAAU,gBAAkBC,MAAM,CAACC,GAAG,CACjD,kCAAkC,CACnC;AAQD;;;;AAAAC,OAAA,CAAAH,UAAA,GAAAA,UAAA;AAIO,MAAMI,MAAM,GAAIC,CAAU,IAAgB,OAAOA,CAAC,KAAK,QAAQ,IAAIA,CAAC,KAAK,IAAI,IAAIL,UAAU,IAAIK,CAAC;AA6BvG;;;;AAAAF,OAAA,CAAAC,MAAA,GAAAA,MAAA;AAIO,MAAME,IAAI,GAAIC,IAA4B,KAAY;EAC3D,CAACP,UAAU,GAAGA,UAAU;EACxB,GAAGO;CACJ,CAAC;AAgDF;;;;AAAAJ,OAAA,CAAAG,IAAA,GAAAA,IAAA;AAIO,MAAME,UAAU,gBAAGjC,KAAK,CAACkC,OAAO,EAAmB;AAAAN,OAAA,CAAAK,UAAA,GAAAA,UAAA"}

package/mjs/FileSystem/File.mjs

@@ -1,28 +0,0 @@
-/**
- * @since 1.0.0
- */
-import * as Brand from "@effect/data/Brand";
-/**
- * @since 1.0.0
- * @category type id
- */
-export const FileTypeId = /*#__PURE__*/Symbol.for("@effect/platform/FileSystem/File");
-/**
- * @since 1.0.0
- * @category guard
- */
-export const isFile = u => typeof u === "object" && u !== null && FileTypeId in u;
-/**
- * @since 1.0.0
- * @category constructor
- */
-export const make = impl => ({
-  [FileTypeId]: FileTypeId,
-  ...impl
-});
-/**
- * @since 1.0.0
- * @category constructor
- */
-export const Descriptor = /*#__PURE__*/Brand.nominal();
-//# sourceMappingURL=File.mjs.map

package/mjs/FileSystem/File.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"File.mjs","names":["Brand","FileTypeId","Symbol","for","isFile","u","make","impl","Descriptor","nominal"],"sources":["../../src/FileSystem/File.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,KAAK,MAAM,oBAAoB;AAM3C;;;;AAIA,OAAO,MAAMC,UAAU,gBAAkBC,MAAM,CAACC,GAAG,CACjD,kCAAkC,CACnC;AAQD;;;;AAIA,OAAO,MAAMC,MAAM,GAAIC,CAAU,IAAgB,OAAOA,CAAC,KAAK,QAAQ,IAAIA,CAAC,KAAK,IAAI,IAAIJ,UAAU,IAAII,CAAC;AA6BvG;;;;AAIA,OAAO,MAAMC,IAAI,GAAIC,IAA4B,KAAY;EAC3D,CAACN,UAAU,GAAGA,UAAU;EACxB,GAAGM;CACJ,CAAC;AAgDF;;;;AAIA,OAAO,MAAMC,UAAU,gBAAGR,KAAK,CAACS,OAAO,EAAmB"}

package/src/FileSystem/File.ts

@@ -1,125 +0,0 @@
-/**
- * @since 1.0.0
- */
-import * as Brand from "@effect/data/Brand"
-import type { Option } from "@effect/data/Option"
-import type * as Effect from "@effect/io/Effect"
-import type { PlatformError } from "@effect/platform/Error"
-import type { Size } from "@effect/platform/FileSystem"
-
-/**
- * @since 1.0.0
- * @category type id
- */
-export const FileTypeId: unique symbol = Symbol.for(
-  "@effect/platform/FileSystem/File"
-)
-
-/**
- * @since 1.0.0
- * @category type id
- */
-export type FileTypeId = typeof FileTypeId
-
-/**
- * @since 1.0.0
- * @category guard
- */
-export const isFile = (u: unknown): u is File => typeof u === "object" && u !== null && FileTypeId in u
-
-/**
- * @since 1.0.0
- * @category model
- */
-export interface File {
-  readonly [FileTypeId]: FileTypeId
-  readonly fd: File.Descriptor
-  readonly stat: Effect.Effect<never, PlatformError, File.Info>
-  readonly read: (
-    buffer: Uint8Array,
-    options?: FileReadOptions
-  ) => Effect.Effect<never, PlatformError, Size>
-  readonly readAlloc: (
-    size: Size,
-    options?: FileReadOptions
-  ) => Effect.Effect<never, PlatformError, Option<Uint8Array>>
-  readonly truncate: (
-    length?: Size
-  ) => Effect.Effect<never, PlatformError, void>
-  readonly write: (
-    buffer: Uint8Array
-  ) => Effect.Effect<never, PlatformError, Size>
-  readonly writeAll: (
-    buffer: Uint8Array
-  ) => Effect.Effect<never, PlatformError, void>
-}
-
-/**
- * @since 1.0.0
- * @category constructor
- */
-export const make = (impl: Omit<File, FileTypeId>): File => ({
-  [FileTypeId]: FileTypeId,
-  ...impl
-})
-
-/**
- * @since 1.0.0
- */
-export namespace File {
-  /**
-   * @since 1.0.0
-   * @category model
-   */
-  export type Descriptor = Brand.Branded<number, "FileDescriptor">
-
-  /**
-   * @since 1.0.0
-   * @category model
-   */
-  export type Type =
-    | "File"
-    | "Directory"
-    | "SymbolicLink"
-    | "BlockDevice"
-    | "CharacterDevice"
-    | "FIFO"
-    | "Socket"
-    | "Unknown"
-
-  /**
-   * @since 1.0.0
-   * @category model
-   */
-  export interface Info {
-    readonly type: Type
-    readonly mtime: Option<Date>
-    readonly atime: Option<Date>
-    readonly birthtime: Option<Date>
-    readonly dev: number
-    readonly ino: Option<number>
-    readonly mode: number
-    readonly nlink: Option<number>
-    readonly uid: Option<number>
-    readonly gid: Option<number>
-    readonly rdev: Option<number>
-    readonly size: Size
-    readonly blksize: Option<Size>
-    readonly blocks: Option<number>
-  }
-}
-
-/**
- * @since 1.0.0
- * @category constructor
- */
-export const Descriptor = Brand.nominal<File.Descriptor>()
-
-/**
- * @since 1.0.0
- * @category model
- */
-export interface FileReadOptions {
-  readonly offset?: Size
-  readonly length?: Size
-}