@effect/platform 0.0.0

package/mjs/FileSystem/File.mjs.map

@@ -0,0 +1 @@
+{"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/mjs/FileSystem.mjs

@@ -0,0 +1,17 @@
+import * as internal from "@effect/platform/internal/fileSystem";
+/**
+ * @since 1.0.0
+ * @category constructor
+ */
+export const Size = internal.Size;
+/**
+ * @since 1.0.0
+ * @category tag
+ */
+export const FileSystem = internal.tag;
+/**
+ * @since 1.0.0
+ * @category constructor
+ */
+export const make = internal.make;
+//# sourceMappingURL=FileSystem.mjs.map

package/mjs/FileSystem.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"FileSystem.mjs","names":["internal","Size","FileSystem","tag","make"],"sources":["../src/FileSystem.ts"],"sourcesContent":[null],"mappings":"AASA,OAAO,KAAKA,QAAQ,MAAM,sCAAsC;AAYhE;;;;AAIA,OAAO,MAAMC,IAAI,GAAqCD,QAAQ,CAACC,IAAI;AAyMnE;;;;AAIA,OAAO,MAAMC,UAAU,GAAgCF,QAAQ,CAACG,GAAG;AAEnE;;;;AAIA,OAAO,MAAMC,IAAI,GAA8DJ,QAAQ,CAACI,IAAI"}

package/mjs/Runtime.mjs

@@ -0,0 +1,13 @@
+/**
+ * @since 1.0.0
+ */
+import * as Cause from "@effect/io/Cause";
+import * as Exit from "@effect/io/Exit";
+/**
+ * @category teardown
+ * @since 1.0.0
+ */
+export const defaultTeardown = (exit, onExit) => {
+  onExit(Exit.isFailure(exit) && !Cause.isInterruptedOnly(exit.cause) ? 1 : 0);
+};
+//# sourceMappingURL=Runtime.mjs.map

package/mjs/Runtime.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Runtime.mjs","names":["Cause","Exit","defaultTeardown","exit","onExit","isFailure","isInterruptedOnly","cause"],"sources":["../src/Runtime.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,KAAK,MAAM,kBAAkB;AAEzC,OAAO,KAAKC,IAAI,MAAM,iBAAiB;AAUvC;;;;AAIA,OAAO,MAAMC,eAAe,GAAaA,CACvCC,IAAqB,EACrBC,MAA8B,KAC5B;EACFA,MAAM,CAACH,IAAI,CAACI,SAAS,CAACF,IAAI,CAAC,IAAI,CAACH,KAAK,CAACM,iBAAiB,CAACH,IAAI,CAACI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAC9E,CAAC"}

package/mjs/internal/console.mjs

@@ -0,0 +1,90 @@
+import { Tag } from "@effect/data/Context";
+import * as Effect from "@effect/io/Effect";
+import * as Layer from "@effect/io/Layer";
+/**
+ * @since 1.0.0
+ * @category tag
+ */
+export const Console = /*#__PURE__*/Tag();
+/** @internal */
+const consoleImpl = /*#__PURE__*/Console.of({
+  assert(condition, ...args) {
+    return Effect.sync(() => {
+      console.assert(condition, ...args);
+    });
+  },
+  clear() {
+    return Effect.sync(() => {
+      console.clear();
+    });
+  },
+  count(label) {
+    return Effect.sync(() => {
+      console.count(label);
+    });
+  },
+  countReset(label) {
+    return Effect.sync(() => {
+      console.countReset(label);
+    });
+  },
+  debug(...args) {
+    return Effect.sync(() => {
+      console.debug(...args);
+    });
+  },
+  dir(...args) {
+    return Effect.sync(() => {
+      console.dir(...args);
+    });
+  },
+  dirxml(...args) {
+    return Effect.sync(() => {
+      console.dirxml(...args);
+    });
+  },
+  error(...args) {
+    return Effect.sync(() => {
+      console.error(...args);
+    });
+  },
+  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()));
+  },
+  info(...args) {
+    return Effect.sync(() => {
+      console.info(...args);
+    });
+  },
+  log(...args) {
+    return Effect.sync(() => {
+      console.log(...args);
+    });
+  },
+  table(tabularData, properties) {
+    return Effect.sync(() => {
+      console.table(tabularData, properties);
+    });
+  },
+  time(label) {
+    return self => Effect.acquireUseRelease(Effect.sync(() => console.time(label)), () => self, () => Effect.sync(() => console.timeEnd(label)));
+  },
+  timeLog(label, ...args) {
+    return Effect.sync(() => {
+      console.timeLog(label, ...args);
+    });
+  },
+  trace(...args) {
+    return Effect.sync(() => {
+      console.trace(...args);
+    });
+  },
+  warn(...args) {
+    return Effect.sync(() => {
+      console.warn(...args);
+    });
+  }
+});
+/** @internal */
+export const layer = /*#__PURE__*/Layer.succeed(Console, consoleImpl);
+//# sourceMappingURL=console.mjs.map

package/mjs/internal/console.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"console.mjs","names":["Tag","Effect","Layer","Console","consoleImpl","of","assert","condition","args","sync","console","clear","count","label","countReset","debug","dir","dirxml","error","group","options","self","acquireUseRelease","collapsed","groupCollapsed","groupEnd","info","log","table","tabularData","properties","time","timeEnd","timeLog","trace","warn","layer","succeed"],"sources":["../../src/internal/console.ts"],"sourcesContent":[null],"mappings":"AAAA,SAASA,GAAG,QAAQ,sBAAsB;AAC1C,OAAO,KAAKC,MAAM,MAAM,mBAAmB;AAC3C,OAAO,KAAKC,KAAK,MAAM,kBAAkB;AAGzC;;;;AAIA,OAAO,MAAMC,OAAO,gBAAGH,GAAG,EAAY;AAEtC;AACA,MAAMI,WAAW,gBAAGD,OAAO,CAACE,EAAE,CAAC;EAC7BC,MAAMA,CAACC,SAAS,EAAE,GAAGC,IAAI;IACvB,OAAOP,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACJ,MAAM,CAACC,SAAS,EAAE,GAAGC,IAAI,CAAC;IACpC,CAAC,CAAC;EACJ,CAAC;EACDG,KAAKA,CAAA;IACH,OAAOV,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACC,KAAK,EAAE;IACjB,CAAC,CAAC;EACJ,CAAC;EACDC,KAAKA,CAACC,KAAK;IACT,OAAOZ,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACE,KAAK,CAACC,KAAK,CAAC;IACtB,CAAC,CAAC;EACJ,CAAC;EACDC,UAAUA,CAACD,KAAK;IACd,OAAOZ,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACI,UAAU,CAACD,KAAK,CAAC;IAC3B,CAAC,CAAC;EACJ,CAAC;EACDE,KAAKA,CAAC,GAAGP,IAAI;IACX,OAAOP,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACK,KAAK,CAAC,GAAGP,IAAI,CAAC;IACxB,CAAC,CAAC;EACJ,CAAC;EACDQ,GAAGA,CAAC,GAAGR,IAAI;IACT,OAAOP,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACM,GAAG,CAAC,GAAGR,IAAI,CAAC;IACtB,CAAC,CAAC;EACJ,CAAC;EACDS,MAAMA,CAAC,GAAGT,IAAI;IACZ,OAAOP,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACO,MAAM,CAAC,GAAGT,IAAI,CAAC;IACzB,CAAC,CAAC;EACJ,CAAC;EACDU,KAAKA,CAAC,GAAGV,IAAI;IACX,OAAOP,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACQ,KAAK,CAAC,GAAGV,IAAI,CAAC;IACxB,CAAC,CAAC;EACJ,CAAC;EACDW,KAAKA,CAACC,OAAO;IACX,OAAQC,IAAI,IACVpB,MAAM,CAACqB,iBAAiB,CACtBF,OAAO,EAAEG,SAAS,GAChBtB,MAAM,CAACQ,IAAI,CAAC,MAAMC,OAAO,CAACc,cAAc,CAACJ,OAAO,EAAEP,KAAK,CAAC,CAAC,GACzDZ,MAAM,CAACQ,IAAI,CAAC,MAAMC,OAAO,CAACS,KAAK,CAACC,OAAO,EAAEP,KAAK,CAAC,CAAC,EAClD,MAAMQ,IAAI,EACV,MAAMpB,MAAM,CAACQ,IAAI,CAAC,MAAMC,OAAO,CAACe,QAAQ,EAAE,CAAC,CAC5C;EACL,CAAC;EACDC,IAAIA,CAAC,GAAGlB,IAAI;IACV,OAAOP,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACgB,IAAI,CAAC,GAAGlB,IAAI,CAAC;IACvB,CAAC,CAAC;EACJ,CAAC;EACDmB,GAAGA,CAAC,GAAGnB,IAAI;IACT,OAAOP,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACiB,GAAG,CAAC,GAAGnB,IAAI,CAAC;IACtB,CAAC,CAAC;EACJ,CAAC;EACDoB,KAAKA,CAACC,WAAW,EAAEC,UAAU;IAC3B,OAAO7B,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACkB,KAAK,CAACC,WAAW,EAAEC,UAAU,CAAC;IACxC,CAAC,CAAC;EACJ,CAAC;EACDC,IAAIA,CAAClB,KAAK;IACR,OAAQQ,IAAI,IACVpB,MAAM,CAACqB,iBAAiB,CACtBrB,MAAM,CAACQ,IAAI,CAAC,MAAMC,OAAO,CAACqB,IAAI,CAAClB,KAAK,CAAC,CAAC,EACtC,MAAMQ,IAAI,EACV,MAAMpB,MAAM,CAACQ,IAAI,CAAC,MAAMC,OAAO,CAACsB,OAAO,CAACnB,KAAK,CAAC,CAAC,CAChD;EACL,CAAC;EACDoB,OAAOA,CAACpB,KAAK,EAAE,GAAGL,IAAI;IACpB,OAAOP,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACuB,OAAO,CAACpB,KAAK,EAAE,GAAGL,IAAI,CAAC;IACjC,CAAC,CAAC;EACJ,CAAC;EACD0B,KAAKA,CAAC,GAAG1B,IAAI;IACX,OAAOP,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACwB,KAAK,CAAC,GAAG1B,IAAI,CAAC;IACxB,CAAC,CAAC;EACJ,CAAC;EACD2B,IAAIA,CAAC,GAAG3B,IAAI;IACV,OAAOP,MAAM,CAACQ,IAAI,CAAC,MAAK;MACtBC,OAAO,CAACyB,IAAI,CAAC,GAAG3B,IAAI,CAAC;IACvB,CAAC,CAAC;EACJ;CACD,CAAC;AAEF;AACA,OAAO,MAAM4B,KAAK,gBAAGlC,KAAK,CAACmC,OAAO,CAAClC,OAAO,EAAEC,WAAW,CAAC"}

package/mjs/internal/effectify.mjs

@@ -0,0 +1,16 @@
+import * as Effect from "@effect/io/Effect";
+/** @internal */
+export const effectify = (fn, onError, onSyncError) => (...args) => Effect.async(resume => {
+  try {
+    fn(...args, (err, result) => {
+      if (err) {
+        resume(Effect.fail(onError ? onError(err, args) : err));
+      } else {
+        resume(Effect.succeed(result));
+      }
+    });
+  } catch (err) {
+    resume(onSyncError ? Effect.fail(onSyncError(err, args)) : Effect.die(err));
+  }
+});
+//# sourceMappingURL=effectify.mjs.map

package/mjs/internal/effectify.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"effectify.mjs","names":["Effect","effectify","fn","onError","onSyncError","args","async","resume","err","result","fail","succeed","die"],"sources":["../../src/internal/effectify.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,MAAM,MAAM,mBAAmB;AAG3C;AACA,OAAO,MAAMC,SAAS,GAYnBA,CAAIC,EAAY,EAAEC,OAAoC,EAAEC,WAAwC,KAC/F,CAAC,GAAGC,IAAgB,KAClBL,MAAM,CAACM,KAAK,CAAmBC,MAAM,IAAI;EACvC,IAAI;IACFL,EAAE,CAAC,GAAGG,IAAI,EAAE,CAACG,GAAiB,EAAEC,MAAS,KAAI;MAC3C,IAAID,GAAG,EAAE;QACPD,MAAM,CAACP,MAAM,CAACU,IAAI,CAACP,OAAO,GAAGA,OAAO,CAACK,GAAG,EAAEH,IAAI,CAAC,GAAGG,GAAG,CAAC,CAAC;OACxD,MAAM;QACLD,MAAM,CAACP,MAAM,CAACW,OAAO,CAACF,MAAM,CAAC,CAAC;;IAElC,CAAC,CAAC;GACH,CAAC,OAAOD,GAAG,EAAE;IACZD,MAAM,CAACH,WAAW,GAAGJ,MAAM,CAACU,IAAI,CAACN,WAAW,CAACI,GAAG,EAAEH,IAAI,CAAC,CAAC,GAAGL,MAAM,CAACY,GAAG,CAACJ,GAAG,CAAC,CAAC;;AAE/E,CAAC,CAAS"}

package/mjs/internal/error.mjs

@@ -0,0 +1,13 @@
+import * as Data from "@effect/data/Data";
+/** @internal */
+export const PlatformErrorTypeId = /*#__PURE__*/Symbol.for("@effect/platform/Error/PlatformErrorTypeId");
+const make = tag => props => Data.struct({
+  [PlatformErrorTypeId]: PlatformErrorTypeId,
+  _tag: tag,
+  ...props
+});
+/** @internal */
+export const badArgument = /*#__PURE__*/make("BadArgument");
+/** @internal */
+export const systemError = /*#__PURE__*/make("SystemError");
+//# sourceMappingURL=error.mjs.map

package/mjs/internal/error.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"error.mjs","names":["Data","PlatformErrorTypeId","Symbol","for","make","tag","props","struct","_tag","badArgument","systemError"],"sources":["../../src/internal/error.ts"],"sourcesContent":[null],"mappings":"AAAA,OAAO,KAAKA,IAAI,MAAM,mBAAmB;AAGzC;AACA,OAAO,MAAMC,mBAAmB,gBAA8BC,MAAM,CAACC,GAAG,CACtE,4CAA4C,CAChB;AAE9B,MAAMC,IAAI,GAAmCC,GAAc,IACxDC,KAAkD,IACjDN,IAAI,CAACO,MAAM,CAAC;EACV,CAACN,mBAAmB,GAAGA,mBAAmB;EAC1CO,IAAI,EAAEH,GAAG;EACT,GAAGC;CACC,CAAC;AAEX;AACA,OAAO,MAAMG,WAAW,gBAAGL,IAAI,CAAoB,aAAa,CAAC;AAEjE;AACA,OAAO,MAAMM,WAAW,gBAAGN,IAAI,CAAoB,aAAa,CAAC"}

package/mjs/internal/fileSystem.mjs

@@ -0,0 +1,38 @@
+import { Tag } from "@effect/data/Context";
+import * as Option from "@effect/data/Option";
+import * as Effect from "@effect/io/Effect";
+import * as Sink from "@effect/stream/Sink";
+import * as Stream from "@effect/stream/Stream";
+/** @internal */
+export const tag = /*#__PURE__*/Tag();
+/** @internal */
+export const Size = bytes => typeof bytes === "bigint" ? bytes : BigInt(bytes);
+/** @internal */
+export const make = impl => {
+  return tag.of({
+    ...impl,
+    stream: (path, options) => Stream.unwrapScoped(Effect.map(file => stream(file, options))(impl.open(path, {
+      flag: "r"
+    }))),
+    sink: (path, options) => Sink.unwrapScoped(Effect.map(file => Sink.forEach(_ => file.writeAll(_)))(impl.open(path, {
+      flag: "w",
+      ...options
+    })))
+  });
+};
+/** @internal */
+const stream = (file, {
+  bufferSize = 4,
+  bytesToRead,
+  chunkSize = Size(16n * 1024n),
+  offset = Size(0n)
+} = {}) => Stream.bufferChunks(Stream.unfoldEffect(offset, position => {
+  if (bytesToRead !== undefined && bytesToRead <= position - offset) {
+    return Effect.succeedNone();
+  }
+  const toRead = bytesToRead !== undefined && bytesToRead - (position - offset) < chunkSize ? bytesToRead - (position - offset) : chunkSize;
+  return Effect.map(Option.map(buf => [buf, Size(position + BigInt(buf.length))]))(file.readAlloc(toRead, {
+    offset: position
+  }));
+}), bufferSize);
+//# sourceMappingURL=fileSystem.mjs.map

package/mjs/internal/fileSystem.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"fileSystem.mjs","names":["Tag","Option","Effect","Sink","Stream","tag","Size","bytes","BigInt","make","impl","of","stream","path","options","unwrapScoped","map","file","open","flag","sink","forEach","_","writeAll","bufferSize","bytesToRead","chunkSize","offset","bufferChunks","unfoldEffect","position","undefined","succeedNone","toRead","buf","length","readAlloc"],"sources":["../../src/internal/fileSystem.ts"],"sourcesContent":[null],"mappings":"AAAA,SAASA,GAAG,QAAQ,sBAAsB;AAE1C,OAAO,KAAKC,MAAM,MAAM,qBAAqB;AAC7C,OAAO,KAAKC,MAAM,MAAM,mBAAmB;AAG3C,OAAO,KAAKC,IAAI,MAAM,qBAAqB;AAC3C,OAAO,KAAKC,MAAM,MAAM,uBAAuB;AAE/C;AACA,OAAO,MAAMC,GAAG,gBAAGL,GAAG,EAAc;AAEpC;AACA,OAAO,MAAMM,IAAI,GAAIC,KAAsB,IAAK,OAAOA,KAAK,KAAK,QAAQ,GAAGA,KAAc,GAAGC,MAAM,CAACD,KAAK,CAAU;AAEnH;AACA,OAAO,MAAME,IAAI,GAAIC,IAAyC,IAAgB;EAC5E,OAAOL,GAAG,CAACM,EAAE,CAAC;IACZ,GAAGD,IAAI;IACPE,MAAM,EAAEA,CAACC,IAAI,EAAEC,OAAO,KAIlBV,MAAM,CAACW,YAAY,CADnBb,MAAM,CAACc,GAAG,CAAEC,IAAI,IAAKL,MAAM,CAACK,IAAI,EAAEH,OAAO,CAAC,CAAC,CAD3CJ,IAAI,CAACQ,IAAI,CAACL,IAAI,EAAE;MAAEM,IAAI,EAAE;IAAG,CAAE,CAAC,EAG/B;IACHC,IAAI,EAAEA,CAACP,IAAI,EAAEC,OAAO,KAIhBX,IAAI,CAACY,YAAY,CADjBb,MAAM,CAACc,GAAG,CAAEC,IAAI,IAAKd,IAAI,CAACkB,OAAO,CAAEC,CAAa,IAAKL,IAAI,CAACM,QAAQ,CAACD,CAAC,CAAC,CAAC,CAAC,CADvEZ,IAAI,CAACQ,IAAI,CAACL,IAAI,EAAE;MAAEM,IAAI,EAAE,GAAG;MAAE,GAAGL;IAAO,CAAE,CAAC;GAI/C,CAAC;AACJ,CAAC;AAED;AACA,MAAMF,MAAM,GAAGA,CAACK,IAAU,EAAE;EAC1BO,UAAU,GAAG,CAAC;EACdC,WAAW;EACXC,SAAS,GAAGpB,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC;EAC7BqB,MAAM,GAAGrB,IAAI,CAAC,EAAE;AAAC,IACA,EAAE,KACnBF,MAAM,CAACwB,YAAY,CACjBxB,MAAM,CAACyB,YAAY,CAACF,MAAM,EAAGG,QAAQ,IAAI;EACvC,IAAIL,WAAW,KAAKM,SAAS,IAAIN,WAAW,IAAIK,QAAQ,GAAGH,MAAM,EAAE;IACjE,OAAOzB,MAAM,CAAC8B,WAAW,EAAE;;EAG7B,MAAMC,MAAM,GAAGR,WAAW,KAAKM,SAAS,IAAIN,WAAW,IAAIK,QAAQ,GAAGH,MAAM,CAAC,GAAGD,SAAS,GACrFD,WAAW,IAAIK,QAAQ,GAAGH,MAAM,CAAC,GACjCD,SAAS;EAEb,OAEExB,MAAM,CAACc,GAAG,CACRf,MAAM,CAACe,GAAG,CAAEkB,GAAG,IAAK,CAACA,GAAG,EAAE5B,IAAI,CAACwB,QAAQ,GAAGtB,MAAM,CAAC0B,GAAG,CAACC,MAAM,CAAC,CAAC,CAAU,CAAC,CACzE,CAHDlB,IAAI,CAACmB,SAAS,CAACH,MAAe,EAAE;IAAEN,MAAM,EAAEG;EAAQ,CAAE,CAAC;AAKzD,CAAC,CAAC,EACFN,UAAU,CACX"}

package/package.json

@@ -0,0 +1,30 @@
+{
+  "name": "@effect/platform",
+  "version": "0.0.0",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/effect-ts/platform.git"
+  },
+  "dependencies": {
+    "@effect/data": "^0.12.5",
+    "@effect/io": "^0.26.0",
+    "@effect/stream": "^0.22.0"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "sideEffects": [],
+  "exports": {
+    "./*": {
+      "import": {
+        "types": "./*.d.ts",
+        "default": "./mjs/*.mjs"
+      },
+      "require": {
+        "types": "./*.d.ts",
+        "default": "./*.js"
+      }
+    }
+  }
+}

package/src/Console.ts

@@ -0,0 +1,45 @@
+/**
+ * @since 1.0.0
+ */
+import type * as Context from "@effect/data/Context"
+import type { Effect } from "@effect/io/Effect"
+import type { Layer } from "@effect/io/Layer"
+import * as internal from "@effect/platform/internal/console"
+
+/**
+ * @since 1.0.0
+ * @category model
+ */
+export interface Console {
+  assert(condition: boolean, ...args: Array<any>): Effect<never, never, void>
+  clear(): Effect<never, never, void>
+  count(label?: string): Effect<never, never, void>
+  countReset(label?: string): Effect<never, never, void>
+  debug(...args: Array<any>): Effect<never, never, void>
+  dir(...args: Array<any>): Effect<never, never, void>
+  dirxml(...args: Array<any>): Effect<never, never, void>
+  error(...args: Array<any>): Effect<never, never, void>
+  group(options?: {
+    readonly label?: string
+    readonly collapsed?: boolean
+  }): <R, E, A>(self: Effect<R, E, A>) => Effect<R, E, A>
+  info(...args: Array<any>): Effect<never, never, void>
+  log(...args: Array<any>): Effect<never, never, void>
+  table(tabularData: any, properties?: ReadonlyArray<string>): Effect<never, never, void>
+  time(label?: string): <R, E, A>(self: Effect<R, E, A>) => Effect<R, E, A>
+  timeLog(label?: string, ...args: Array<any>): Effect<never, never, void>
+  trace(...args: Array<any>): Effect<never, never, void>
+  warn(...args: Array<any>): Effect<never, never, void>
+}
+
+/**
+ * @since 1.0.0
+ * @category tag
+ */
+export const Console: Context.Tag<Console, Console> = internal.Console
+
+/**
+ * @since 1.0.0
+ * @category layer
+ */
+export const layer: Layer<never, never, Console> = internal.layer

package/src/Effectify.ts

@@ -0,0 +1,257 @@
+/**
+ * @since 1.0.0
+ */
+import type * as Effect from "@effect/io/Effect"
+import * as internal from "@effect/platform/internal/effectify"
+
+interface Callback<E, A> {
+  (err: E, a?: A): void
+}
+
+type ArgsWithCallback<Args extends Array<any>, E, A> = [...args: Args, cb: Callback<E, A>]
+
+type WithoutNull<A> = unknown extends A ? void : Exclude<A, null | undefined>
+
+/**
+ * Converts a callback-based function to a function that returns an `Effect`.
+ *
+ * @since 1.0.0
+ */
+export type Effectify<T, E> = T extends {
+  (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+  (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+  (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+  (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+  (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
+  (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
+  (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
+  (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8
+  (...args: ArgsWithCallback<infer Args9, infer _E9, infer A9>): infer _R9
+  (...args: ArgsWithCallback<infer Args10, infer _E10, infer A10>): infer _R10
+} ? {
+  (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
+  (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
+  (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
+  (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
+  (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
+  (...args: Args6): Effect.Effect<never, E, WithoutNull<A6>>
+  (...args: Args7): Effect.Effect<never, E, WithoutNull<A7>>
+  (...args: Args8): Effect.Effect<never, E, WithoutNull<A8>>
+  (...args: Args9): Effect.Effect<never, E, WithoutNull<A9>>
+  (...args: Args10): Effect.Effect<never, E, WithoutNull<A10>>
+}
+  : T extends {
+    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
+    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
+    (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
+    (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8
+    (...args: ArgsWithCallback<infer Args9, infer _E9, infer A9>): infer _R9
+  } ? {
+    (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
+    (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
+    (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
+    (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
+    (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
+    (...args: Args6): Effect.Effect<never, E, WithoutNull<A6>>
+    (...args: Args7): Effect.Effect<never, E, WithoutNull<A7>>
+    (...args: Args8): Effect.Effect<never, E, WithoutNull<A8>>
+    (...args: Args9): Effect.Effect<never, E, WithoutNull<A9>>
+  }
+  : T extends {
+    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
+    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
+    (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
+    (...args: ArgsWithCallback<infer Args8, infer _E8, infer A8>): infer _R8
+  } ? {
+    (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
+    (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
+    (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
+    (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
+    (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
+    (...args: Args6): Effect.Effect<never, E, WithoutNull<A6>>
+    (...args: Args7): Effect.Effect<never, E, WithoutNull<A7>>
+    (...args: Args8): Effect.Effect<never, E, WithoutNull<A8>>
+  }
+  : T extends {
+    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
+    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
+    (...args: ArgsWithCallback<infer Args7, infer _E7, infer A7>): infer _R7
+  } ? {
+    (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
+    (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
+    (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
+    (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
+    (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
+    (...args: Args6): Effect.Effect<never, E, WithoutNull<A6>>
+    (...args: Args7): Effect.Effect<never, E, WithoutNull<A7>>
+  }
+  : T extends {
+    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
+    (...args: ArgsWithCallback<infer Args6, infer _E6, infer A6>): infer _R6
+  } ? {
+    (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
+    (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
+    (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
+    (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
+    (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
+    (...args: Args6): Effect.Effect<never, E, WithoutNull<A6>>
+  }
+  : T extends {
+    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+    (...args: ArgsWithCallback<infer Args5, infer _E5, infer A5>): infer _R5
+  } ? {
+    (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
+    (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
+    (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
+    (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
+    (...args: Args5): Effect.Effect<never, E, WithoutNull<A5>>
+  }
+  : T extends {
+    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+    (...args: ArgsWithCallback<infer Args4, infer _E4, infer A4>): infer _R4
+  } ? {
+    (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
+    (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
+    (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
+    (...args: Args4): Effect.Effect<never, E, WithoutNull<A4>>
+  }
+  : T extends {
+    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+    (...args: ArgsWithCallback<infer Args3, infer _E3, infer A3>): infer _R3
+  } ? {
+    (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
+    (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
+    (...args: Args3): Effect.Effect<never, E, WithoutNull<A3>>
+  }
+  : T extends {
+    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+    (...args: ArgsWithCallback<infer Args2, infer _E2, infer A2>): infer _R2
+  } ? {
+    (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
+    (...args: Args2): Effect.Effect<never, E, WithoutNull<A2>>
+  }
+  : T extends {
+    (...args: ArgsWithCallback<infer Args1, infer _E1, infer A1>): infer _R1
+  } ? {
+    (...args: Args1): Effect.Effect<never, E, WithoutNull<A1>>
+  }
+  : never
+
+/**
+ * @category util
+ * @since 1.0.0
+ */
+export type EffectifyError<T> = T extends {
+  (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+  (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+  (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+  (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+  (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
+  (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
+  (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7
+  (...args: ArgsWithCallback<infer _Args8, infer E8, infer _A8>): infer _R8
+  (...args: ArgsWithCallback<infer _Args9, infer E9, infer _A9>): infer _R9
+  (...args: ArgsWithCallback<infer _Args10, infer E10, infer _A10>): infer _R10
+} ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8 | E9 | E10>
+  : T extends {
+    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
+    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
+    (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7
+    (...args: ArgsWithCallback<infer _Args8, infer E8, infer _A8>): infer _R8
+    (...args: ArgsWithCallback<infer _Args9, infer E9, infer _A9>): infer _R9
+  } ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8 | E9>
+  : T extends {
+    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
+    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
+    (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7
+    (...args: ArgsWithCallback<infer _Args8, infer E8, infer _A8>): infer _R8
+  } ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7 | E8>
+  : T extends {
+    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
+    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
+    (...args: ArgsWithCallback<infer _Args7, infer E7, infer _A7>): infer _R7
+  } ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6 | E7>
+  : T extends {
+    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
+    (...args: ArgsWithCallback<infer _Args6, infer E6, infer _A6>): infer _R6
+  } ? NonNullable<E1 | E2 | E3 | E4 | E5 | E6>
+  : T extends {
+    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+    (...args: ArgsWithCallback<infer _Args5, infer E5, infer _A5>): infer _R5
+  } ? NonNullable<E1 | E2 | E3 | E4 | E5>
+  : T extends {
+    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+    (...args: ArgsWithCallback<infer _Args4, infer E4, infer _A4>): infer _R4
+  } ? NonNullable<E1 | E2 | E3 | E4>
+  : T extends {
+    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+    (...args: ArgsWithCallback<infer _Args3, infer E3, infer _A3>): infer _R3
+  } ? NonNullable<E1 | E2 | E3>
+  : T extends {
+    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+    (...args: ArgsWithCallback<infer _Args2, infer E2, infer _A2>): infer _R2
+  } ? NonNullable<E1 | E2>
+  : T extends {
+    (...args: ArgsWithCallback<infer _Args1, infer E1, infer _A1>): infer _R1
+  } ? NonNullable<E1>
+  : never
+
+/**
+ * @since 1.0.0
+ */
+export const effectify: {
+  <F extends (...args: Array<any>) => any>(fn: F): Effectify<F, EffectifyError<F>>
+  <F extends (...args: Array<any>) => any, E>(
+    fn: F,
+    onError: (error: EffectifyError<F>, args: Parameters<F>) => E
+  ): Effectify<F, E>
+  <F extends (...args: Array<any>) => any, E, E2>(
+    fn: F,
+    onError: (error: EffectifyError<F>, args: Parameters<F>) => E,
+    onSyncError: (error: unknown, args: Parameters<F>) => E2
+  ): Effectify<F, E | E2>
+} = internal.effectify

package/src/Error.ts

@@ -0,0 +1,93 @@
+/**
+ * @since 1.0.0
+ */
+import type * as Data from "@effect/data/Data"
+import * as internal from "@effect/platform/internal/error"
+
+/**
+ * @since 1.0.0
+ * @category type id
+ */
+export const PlatformErrorTypeId: unique symbol = internal.PlatformErrorTypeId
+
+/**
+ * @since 1.0.0
+ * @category type id
+ */
+export type PlatformErrorTypeId = typeof PlatformErrorTypeId
+
+/**
+ * @since 1.0.0
+ * @category error
+ */
+export type PlatformError = BadArgument | SystemError
+
+/**
+ * @since 1.0.0
+ */
+export namespace PlatformError {
+  /**
+   * @since 1.0.0
+   * @category models
+   */
+  export interface Base extends Data.Case {
+    readonly [PlatformErrorTypeId]: typeof PlatformErrorTypeId
+    readonly _tag: string
+    readonly module: "FileSystem"
+    readonly method: string
+    readonly message: string
+  }
+
+  /**
+   * @since 1.0.0
+   */
+  export type ProvidedFields = PlatformErrorTypeId | "_tag" | keyof Data.Case
+}
+
+/**
+ * @since 1.0.0
+ * @category error
+ */
+export interface BadArgument extends PlatformError.Base {
+  readonly _tag: "BadArgument"
+}
+
+/**
+ * @since 1.0.0
+ * @category error
+ */
+export const BadArgument: (props: Omit<BadArgument, PlatformError.ProvidedFields>) => BadArgument = internal.badArgument
+
+/**
+ * @since 1.0.0
+ * @category model
+ */
+export type SystemErrorReason =
+  | "AlreadyExists"
+  | "BadResource"
+  | "Busy"
+  | "InvalidData"
+  | "NotFound"
+  | "PermissionDenied"
+  | "TimedOut"
+  | "UnexpectedEof"
+  | "Unknown"
+  | "WouldBlock"
+  | "WriteZero"
+
+/**
+ * @since 1.0.0
+ * @category models
+ */
+export interface SystemError extends PlatformError.Base {
+  readonly _tag: "SystemError"
+  readonly reason: SystemErrorReason
+  readonly syscall?: string
+  readonly pathOrDescriptor: string | number
+}
+
+/**
+ * @since 1.0.0
+ * @category error
+ */
+export const SystemError: (props: Omit<SystemError, PlatformError.ProvidedFields>) => SystemError = internal.systemError