effect 4.0.0-beta.36 → 4.0.0-beta.38

package/dist/unstable/sql/SqlError.d.ts

@@ -1,11 +1,207 @@
+import * as Schema from "../../Schema.ts";
+declare const TypeId: "~effect/sql/SqlError";
+declare const ReasonTypeId: "~effect/sql/SqlError/Reason";
+declare const ConnectionError_base: Schema.ErrorClass<ConnectionError, Schema.TaggedStruct<"ConnectionError", {
+    cause: Schema.Defect;
+    message: Schema.optional<Schema.String>;
+    operation: Schema.optional<Schema.String>;
+}>, import("../../Cause.ts").YieldableError>;
 /**
  * @since 4.0.0
  */
-import * as Schema from "../../Schema.ts";
-declare const TypeId = "~effect/sql/SqlError";
+export declare class ConnectionError extends ConnectionError_base {
+    /**
+     * @since 4.0.0
+     */
+    readonly [ReasonTypeId]: "~effect/sql/SqlError/Reason";
+    /**
+     * @since 4.0.0
+     */
+    get isRetryable(): boolean;
+}
+declare const AuthenticationError_base: Schema.ErrorClass<AuthenticationError, Schema.TaggedStruct<"AuthenticationError", {
+    cause: Schema.Defect;
+    message: Schema.optional<Schema.String>;
+    operation: Schema.optional<Schema.String>;
+}>, import("../../Cause.ts").YieldableError>;
+/**
+ * @since 4.0.0
+ */
+export declare class AuthenticationError extends AuthenticationError_base {
+    /**
+     * @since 4.0.0
+     */
+    readonly [ReasonTypeId]: "~effect/sql/SqlError/Reason";
+    /**
+     * @since 4.0.0
+     */
+    get isRetryable(): boolean;
+}
+declare const AuthorizationError_base: Schema.ErrorClass<AuthorizationError, Schema.TaggedStruct<"AuthorizationError", {
+    cause: Schema.Defect;
+    message: Schema.optional<Schema.String>;
+    operation: Schema.optional<Schema.String>;
+}>, import("../../Cause.ts").YieldableError>;
+/**
+ * @since 4.0.0
+ */
+export declare class AuthorizationError extends AuthorizationError_base {
+    /**
+     * @since 4.0.0
+     */
+    readonly [ReasonTypeId]: "~effect/sql/SqlError/Reason";
+    /**
+     * @since 4.0.0
+     */
+    get isRetryable(): boolean;
+}
+declare const SqlSyntaxError_base: Schema.ErrorClass<SqlSyntaxError, Schema.TaggedStruct<"SqlSyntaxError", {
+    cause: Schema.Defect;
+    message: Schema.optional<Schema.String>;
+    operation: Schema.optional<Schema.String>;
+}>, import("../../Cause.ts").YieldableError>;
+/**
+ * @since 4.0.0
+ */
+export declare class SqlSyntaxError extends SqlSyntaxError_base {
+    /**
+     * @since 4.0.0
+     */
+    readonly [ReasonTypeId]: "~effect/sql/SqlError/Reason";
+    /**
+     * @since 4.0.0
+     */
+    get isRetryable(): boolean;
+}
+declare const ConstraintError_base: Schema.ErrorClass<ConstraintError, Schema.TaggedStruct<"ConstraintError", {
+    cause: Schema.Defect;
+    message: Schema.optional<Schema.String>;
+    operation: Schema.optional<Schema.String>;
+}>, import("../../Cause.ts").YieldableError>;
+/**
+ * @since 4.0.0
+ */
+export declare class ConstraintError extends ConstraintError_base {
+    /**
+     * @since 4.0.0
+     */
+    readonly [ReasonTypeId]: "~effect/sql/SqlError/Reason";
+    /**
+     * @since 4.0.0
+     */
+    get isRetryable(): boolean;
+}
+declare const DeadlockError_base: Schema.ErrorClass<DeadlockError, Schema.TaggedStruct<"DeadlockError", {
+    cause: Schema.Defect;
+    message: Schema.optional<Schema.String>;
+    operation: Schema.optional<Schema.String>;
+}>, import("../../Cause.ts").YieldableError>;
+/**
+ * @since 4.0.0
+ */
+export declare class DeadlockError extends DeadlockError_base {
+    /**
+     * @since 4.0.0
+     */
+    readonly [ReasonTypeId]: "~effect/sql/SqlError/Reason";
+    /**
+     * @since 4.0.0
+     */
+    get isRetryable(): boolean;
+}
+declare const SerializationError_base: Schema.ErrorClass<SerializationError, Schema.TaggedStruct<"SerializationError", {
+    cause: Schema.Defect;
+    message: Schema.optional<Schema.String>;
+    operation: Schema.optional<Schema.String>;
+}>, import("../../Cause.ts").YieldableError>;
+/**
+ * @since 4.0.0
+ */
+export declare class SerializationError extends SerializationError_base {
+    /**
+     * @since 4.0.0
+     */
+    readonly [ReasonTypeId]: "~effect/sql/SqlError/Reason";
+    /**
+     * @since 4.0.0
+     */
+    get isRetryable(): boolean;
+}
+declare const LockTimeoutError_base: Schema.ErrorClass<LockTimeoutError, Schema.TaggedStruct<"LockTimeoutError", {
+    cause: Schema.Defect;
+    message: Schema.optional<Schema.String>;
+    operation: Schema.optional<Schema.String>;
+}>, import("../../Cause.ts").YieldableError>;
+/**
+ * @since 4.0.0
+ */
+export declare class LockTimeoutError extends LockTimeoutError_base {
+    /**
+     * @since 4.0.0
+     */
+    readonly [ReasonTypeId]: "~effect/sql/SqlError/Reason";
+    /**
+     * @since 4.0.0
+     */
+    get isRetryable(): boolean;
+}
+declare const StatementTimeoutError_base: Schema.ErrorClass<StatementTimeoutError, Schema.TaggedStruct<"StatementTimeoutError", {
+    cause: Schema.Defect;
+    message: Schema.optional<Schema.String>;
+    operation: Schema.optional<Schema.String>;
+}>, import("../../Cause.ts").YieldableError>;
+/**
+ * @since 4.0.0
+ */
+export declare class StatementTimeoutError extends StatementTimeoutError_base {
+    /**
+     * @since 4.0.0
+     */
+    readonly [ReasonTypeId]: "~effect/sql/SqlError/Reason";
+    /**
+     * @since 4.0.0
+     */
+    get isRetryable(): boolean;
+}
+declare const UnknownError_base: Schema.ErrorClass<UnknownError, Schema.TaggedStruct<"UnknownError", {
+    cause: Schema.Defect;
+    message: Schema.optional<Schema.String>;
+    operation: Schema.optional<Schema.String>;
+}>, import("../../Cause.ts").YieldableError>;
+/**
+ * @since 4.0.0
+ */
+export declare class UnknownError extends UnknownError_base {
+    /**
+     * @since 4.0.0
+     */
+    readonly [ReasonTypeId]: "~effect/sql/SqlError/Reason";
+    /**
+     * @since 4.0.0
+     */
+    get isRetryable(): boolean;
+}
+/**
+ * @since 4.0.0
+ */
+export type SqlErrorReason = ConnectionError | AuthenticationError | AuthorizationError | SqlSyntaxError | ConstraintError | DeadlockError | SerializationError | LockTimeoutError | StatementTimeoutError | UnknownError;
+/**
+ * @since 4.0.0
+ */
+export declare const SqlErrorReason: Schema.Union<[
+    typeof ConnectionError,
+    typeof AuthenticationError,
+    typeof AuthorizationError,
+    typeof SqlSyntaxError,
+    typeof ConstraintError,
+    typeof DeadlockError,
+    typeof SerializationError,
+    typeof LockTimeoutError,
+    typeof StatementTimeoutError,
+    typeof UnknownError
+]>;
 declare const SqlError_base: Schema.ErrorClass<SqlError, Schema.TaggedStruct<"SqlError", {
-    readonly cause: Schema.Defect;
-    readonly message: Schema.optional<Schema.String>;
+    readonly reason: Schema.Union<[typeof ConnectionError, typeof AuthenticationError, typeof AuthorizationError, typeof SqlSyntaxError, typeof ConstraintError, typeof DeadlockError, typeof SerializationError, typeof LockTimeoutError, typeof StatementTimeoutError, typeof UnknownError]>;
 }>, import("../../Cause.ts").YieldableError>;
 /**
  * @since 4.0.0
@@ -14,8 +210,36 @@ export declare class SqlError extends SqlError_base {
     /**
      * @since 4.0.0
      */
-    readonly [TypeId] = "~effect/sql/SqlError";
+    readonly [TypeId]: "~effect/sql/SqlError";
+    /**
+     * @since 4.0.0
+     */
+    readonly cause: ConnectionError | AuthenticationError | AuthorizationError | SqlSyntaxError | ConstraintError | DeadlockError | SerializationError | LockTimeoutError | StatementTimeoutError | UnknownError;
+    /**
+     * @since 4.0.0
+     */
+    get message(): string;
+    /**
+     * @since 4.0.0
+     */
+    get isRetryable(): boolean;
 }
+/**
+ * @since 4.0.0
+ */
+export declare const isSqlError: (u: unknown) => u is SqlError;
+/**
+ * @since 4.0.0
+ */
+export declare const isSqlErrorReason: (u: unknown) => u is SqlErrorReason;
+type SqliteClassifyOptions = {
+    readonly message?: string | undefined;
+    readonly operation?: string | undefined;
+};
+/**
+ * @since 4.0.0
+ */
+export declare const classifySqliteError: (cause: unknown, { message, operation }?: SqliteClassifyOptions) => SqlErrorReason;
 declare const ResultLengthMismatch_base: Schema.ErrorClass<ResultLengthMismatch, Schema.TaggedStruct<"ResultLengthMismatch", {
     readonly expected: Schema.Number;
     readonly actual: Schema.Number;
@@ -24,10 +248,6 @@ declare const ResultLengthMismatch_base: Schema.ErrorClass<ResultLengthMismatch,
  * @since 4.0.0
  */
 export declare class ResultLengthMismatch extends ResultLengthMismatch_base {
-    /**
-     * @since 4.0.0
-     */
-    readonly [TypeId] = "~effect/sql/SqlError";
     /**
      * @since 4.0.0
      */

package/dist/unstable/sql/SqlError.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SqlError.d.ts","sourceRoot":"","sources":["../../../src/unstable/sql/SqlError.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AAEzC,QAAA,MAAM,MAAM,yBAAyB,CAAA;;;;;AAErC;;GAEG;AACH,qBAAa,QAAS,SAAQ,aAG5B;IACA;;OAEG;IACH,QAAQ,CAAC,CAAC,MAAM,CAAC,0BAAS;CAC3B;;;;;AAED;;GAEG;AACH,qBAAa,oBACX,SAAQ,yBAGN;IAEF;;OAEG;IACH,QAAQ,CAAC,CAAC,MAAM,CAAC,0BAAS;IAE1B;;OAEG;IACH,IAAa,OAAO,WAEnB;CACF"}
+{"version":3,"file":"SqlError.d.ts","sourceRoot":"","sources":["../../../src/unstable/sql/SqlError.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,MAAM,MAAM,iBAAiB,CAAA;AAEzC,QAAA,MAAM,MAAM,EAAG,sBAA+B,CAAA;AAC9C,QAAA,MAAM,YAAY,EAAG,6BAAsC,CAAA;;;;;;AAQ3D;;GAEG;AACH,qBAAa,eAAgB,SAAQ,oBAGpC;IACC;;OAEG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,gCAAe;IAEtC;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;CACF;;;;;;AAED;;GAEG;AACH,qBAAa,mBAAoB,SAAQ,wBAEH;IACpC;;OAEG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,gCAAe;IAEtC;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;CACF;;;;;;AAED;;GAEG;AACH,qBAAa,kBAAmB,SAAQ,uBAEH;IACnC;;OAEG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,gCAAe;IAEtC;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;CACF;;;;;;AAED;;GAEG;AACH,qBAAa,cAAe,SAAQ,mBAGnC;IACC;;OAEG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,gCAAe;IAEtC;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;CACF;;;;;;AAED;;GAEG;AACH,qBAAa,eAAgB,SAAQ,oBAGpC;IACC;;OAEG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,gCAAe;IAEtC;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;CACF;;;;;;AAED;;GAEG;AACH,qBAAa,aAAc,SAAQ,kBAGlC;IACC;;OAEG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,gCAAe;IAEtC;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;CACF;;;;;;AAED;;GAEG;AACH,qBAAa,kBAAmB,SAAQ,uBAEH;IACnC;;OAEG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,gCAAe;IAEtC;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;CACF;;;;;;AAED;;GAEG;AACH,qBAAa,gBAAiB,SAAQ,qBAGrC;IACC;;OAEG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,gCAAe;IAEtC;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;CACF;;;;;;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,0BAEH;IACtC;;OAEG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,gCAAe;IAEtC;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;CACF;;;;;;AAED;;GAEG;AACH,qBAAa,YAAa,SAAQ,iBAGjC;IACC;;OAEG;IACH,QAAQ,CAAC,CAAC,YAAY,CAAC,gCAAe;IAEtC;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;CACF;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GACtB,eAAe,GACf,mBAAmB,GACnB,kBAAkB,GAClB,cAAc,GACd,eAAe,GACf,aAAa,GACb,kBAAkB,GAClB,gBAAgB,GAChB,qBAAqB,GACrB,YAAY,CAAA;AAEhB;;GAEG;AACH,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,KAAK,CAAC;IACxC,OAAO,eAAe;IACtB,OAAO,mBAAmB;IAC1B,OAAO,kBAAkB;IACzB,OAAO,cAAc;IACrB,OAAO,eAAe;IACtB,OAAO,aAAa;IACpB,OAAO,kBAAkB;IACzB,OAAO,gBAAgB;IACvB,OAAO,qBAAqB;IAC5B,OAAO,YAAY;CACpB,CAWC,CAAA;;;;AAEF;;GAEG;AACH,qBAAa,QAAS,SAAQ,aAE5B;IACA;;OAEG;IACH,QAAQ,CAAC,CAAC,MAAM,CAAC,yBAAS;IAE1B;;OAEG;IACH,SAAkB,KAAK,+LAAc;IAErC;;OAEG;IACH,IAAa,OAAO,IAAI,MAAM,CAE7B;IAED;;OAEG;IACH,IAAI,WAAW,IAAI,OAAO,CAEzB;CACF;AAED;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,QAA4C,CAAA;AAEzF;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,cAAwD,CAAA;AAE3G,KAAK,qBAAqB,GAAG;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACxC,CAAA;AAyBD;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,OAAO,EACd,yBAAwB,qBAA0B,KACjD,cA+CF,CAAA;;;;;AAED;;GAEG;AACH,qBAAa,oBACX,SAAQ,yBAGN;IAEF;;OAEG;IACH,IAAa,OAAO,WAEnB;CACF"}

package/dist/unstable/sql/SqlError.js

@@ -1,20 +1,274 @@
 /**
  * @since 4.0.0
  */
+import * as Predicate from "../../Predicate.js";
 import * as Schema from "../../Schema.js";
 const TypeId = "~effect/sql/SqlError";
+const ReasonTypeId = "~effect/sql/SqlError/Reason";
+const ReasonFields = {
+  cause: Schema.Defect,
+  message: /*#__PURE__*/Schema.optional(Schema.String),
+  operation: /*#__PURE__*/Schema.optional(Schema.String)
+};
+/**
+ * @since 4.0.0
+ */
+export class ConnectionError extends /*#__PURE__*/Schema.TaggedErrorClass("effect/sql/SqlError/ConnectionError")("ConnectionError", ReasonFields) {
+  /**
+   * @since 4.0.0
+   */
+  [ReasonTypeId] = ReasonTypeId;
+  /**
+   * @since 4.0.0
+   */
+  get isRetryable() {
+    return true;
+  }
+}
+/**
+ * @since 4.0.0
+ */
+export class AuthenticationError extends /*#__PURE__*/Schema.TaggedErrorClass("effect/sql/SqlError/AuthenticationError")("AuthenticationError", ReasonFields) {
+  /**
+   * @since 4.0.0
+   */
+  [ReasonTypeId] = ReasonTypeId;
+  /**
+   * @since 4.0.0
+   */
+  get isRetryable() {
+    return false;
+  }
+}
+/**
+ * @since 4.0.0
+ */
+export class AuthorizationError extends /*#__PURE__*/Schema.TaggedErrorClass("effect/sql/SqlError/AuthorizationError")("AuthorizationError", ReasonFields) {
+  /**
+   * @since 4.0.0
+   */
+  [ReasonTypeId] = ReasonTypeId;
+  /**
+   * @since 4.0.0
+   */
+  get isRetryable() {
+    return false;
+  }
+}
+/**
+ * @since 4.0.0
+ */
+export class SqlSyntaxError extends /*#__PURE__*/Schema.TaggedErrorClass("effect/sql/SqlError/SqlSyntaxError")("SqlSyntaxError", ReasonFields) {
+  /**
+   * @since 4.0.0
+   */
+  [ReasonTypeId] = ReasonTypeId;
+  /**
+   * @since 4.0.0
+   */
+  get isRetryable() {
+    return false;
+  }
+}
+/**
+ * @since 4.0.0
+ */
+export class ConstraintError extends /*#__PURE__*/Schema.TaggedErrorClass("effect/sql/SqlError/ConstraintError")("ConstraintError", ReasonFields) {
+  /**
+   * @since 4.0.0
+   */
+  [ReasonTypeId] = ReasonTypeId;
+  /**
+   * @since 4.0.0
+   */
+  get isRetryable() {
+    return false;
+  }
+}
+/**
+ * @since 4.0.0
+ */
+export class DeadlockError extends /*#__PURE__*/Schema.TaggedErrorClass("effect/sql/SqlError/DeadlockError")("DeadlockError", ReasonFields) {
+  /**
+   * @since 4.0.0
+   */
+  [ReasonTypeId] = ReasonTypeId;
+  /**
+   * @since 4.0.0
+   */
+  get isRetryable() {
+    return true;
+  }
+}
+/**
+ * @since 4.0.0
+ */
+export class SerializationError extends /*#__PURE__*/Schema.TaggedErrorClass("effect/sql/SqlError/SerializationError")("SerializationError", ReasonFields) {
+  /**
+   * @since 4.0.0
+   */
+  [ReasonTypeId] = ReasonTypeId;
+  /**
+   * @since 4.0.0
+   */
+  get isRetryable() {
+    return true;
+  }
+}
+/**
+ * @since 4.0.0
+ */
+export class LockTimeoutError extends /*#__PURE__*/Schema.TaggedErrorClass("effect/sql/SqlError/LockTimeoutError")("LockTimeoutError", ReasonFields) {
+  /**
+   * @since 4.0.0
+   */
+  [ReasonTypeId] = ReasonTypeId;
+  /**
+   * @since 4.0.0
+   */
+  get isRetryable() {
+    return true;
+  }
+}
+/**
+ * @since 4.0.0
+ */
+export class StatementTimeoutError extends /*#__PURE__*/Schema.TaggedErrorClass("effect/sql/SqlError/StatementTimeoutError")("StatementTimeoutError", ReasonFields) {
+  /**
+   * @since 4.0.0
+   */
+  [ReasonTypeId] = ReasonTypeId;
+  /**
+   * @since 4.0.0
+   */
+  get isRetryable() {
+    return true;
+  }
+}
+/**
+ * @since 4.0.0
+ */
+export class UnknownError extends /*#__PURE__*/Schema.TaggedErrorClass("effect/sql/SqlError/UnknownError")("UnknownError", ReasonFields) {
+  /**
+   * @since 4.0.0
+   */
+  [ReasonTypeId] = ReasonTypeId;
+  /**
+   * @since 4.0.0
+   */
+  get isRetryable() {
+    return false;
+  }
+}
+/**
+ * @since 4.0.0
+ */
+export const SqlErrorReason = /*#__PURE__*/Schema.Union([ConnectionError, AuthenticationError, AuthorizationError, SqlSyntaxError, ConstraintError, DeadlockError, SerializationError, LockTimeoutError, StatementTimeoutError, UnknownError]);
 /**
  * @since 4.0.0
  */
 export class SqlError extends /*#__PURE__*/Schema.TaggedErrorClass("effect/sql/SqlError")("SqlError", {
-  cause: Schema.Defect,
-  message: /*#__PURE__*/Schema.optional(Schema.String)
+  reason: SqlErrorReason
 }) {
   /**
    * @since 4.0.0
    */
   [TypeId] = TypeId;
+  /**
+   * @since 4.0.0
+   */
+  cause = this.reason;
+  /**
+   * @since 4.0.0
+   */
+  get message() {
+    return this.reason.message || this.reason._tag;
+  }
+  /**
+   * @since 4.0.0
+   */
+  get isRetryable() {
+    return this.reason.isRetryable;
+  }
 }
+/**
+ * @since 4.0.0
+ */
+export const isSqlError = u => Predicate.hasProperty(u, TypeId);
+/**
+ * @since 4.0.0
+ */
+export const isSqlErrorReason = u => Predicate.hasProperty(u, ReasonTypeId);
+const sqliteCodeFromCause = cause => {
+  if (!Predicate.hasProperty(cause, "code")) {
+    return undefined;
+  }
+  const code = cause.code;
+  return typeof code === "string" || typeof code === "number" ? code : undefined;
+};
+const sqliteNumericCodeFromCause = cause => {
+  const code = sqliteCodeFromCause(cause);
+  if (typeof code === "number") {
+    return code;
+  }
+  if (!Predicate.hasProperty(cause, "errno")) {
+    return undefined;
+  }
+  const errno = cause.errno;
+  return typeof errno === "number" ? errno : undefined;
+};
+const matchesSqliteCode = (code, expected) => code === expected || code.startsWith(expected + "_");
+/**
+ * @since 4.0.0
+ */
+export const classifySqliteError = (cause, {
+  message,
+  operation
+} = {}) => {
+  const props = {
+    cause,
+    message,
+    operation
+  };
+  const code = sqliteCodeFromCause(cause);
+  if (typeof code === "string") {
+    if (matchesSqliteCode(code, "SQLITE_AUTH")) {
+      return new AuthenticationError(props);
+    }
+    if (matchesSqliteCode(code, "SQLITE_PERM")) {
+      return new AuthorizationError(props);
+    }
+    if (matchesSqliteCode(code, "SQLITE_CONSTRAINT")) {
+      return new ConstraintError(props);
+    }
+    if (matchesSqliteCode(code, "SQLITE_BUSY") || matchesSqliteCode(code, "SQLITE_LOCKED")) {
+      return new LockTimeoutError(props);
+    }
+    if (matchesSqliteCode(code, "SQLITE_CANTOPEN")) {
+      return new ConnectionError(props);
+    }
+  }
+  const numericCode = sqliteNumericCodeFromCause(cause);
+  if (typeof numericCode === "number") {
+    const code = numericCode & 0xff;
+    switch (code) {
+      case 23:
+        return new AuthenticationError(props);
+      case 3:
+        return new AuthorizationError(props);
+      case 19:
+        return new ConstraintError(props);
+      case 5:
+      case 6:
+        return new LockTimeoutError(props);
+      case 14:
+        return new ConnectionError(props);
+      default:
+        return new UnknownError(props);
+    }
+  }
+  return new UnknownError(props);
+};
 /**
  * @since 4.0.0
  */
@@ -22,10 +276,6 @@ export class ResultLengthMismatch extends /*#__PURE__*/Schema.TaggedErrorClass("
   expected: Schema.Number,
   actual: Schema.Number
 }) {
-  /**
-   * @since 4.0.0
-   */
-  [TypeId] = TypeId;
   /**
    * @since 4.0.0
    */

package/dist/unstable/sql/SqlError.js.map

@@ -1 +1 @@
-{"version":3,"file":"SqlError.js","names":["Schema","TypeId","SqlError","TaggedErrorClass","cause","Defect","message","optional","String","ResultLengthMismatch","expected","Number","actual"],"sources":["../../../src/unstable/sql/SqlError.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,MAAM,MAAM,iBAAiB;AAEzC,MAAMC,MAAM,GAAG,sBAAsB;AAErC;;;AAGA,OAAM,MAAOC,QAAS,sBAAQF,MAAM,CAACG,gBAAgB,CAAW,qBAAqB,CAAC,CAAC,UAAU,EAAE;EACjGC,KAAK,EAAEJ,MAAM,CAACK,MAAM;EACpBC,OAAO,eAAEN,MAAM,CAACO,QAAQ,CAACP,MAAM,CAACQ,MAAM;CACvC,CAAC;EACA;;;EAGS,CAACP,MAAM,IAAIA,MAAM;;AAG5B;;;AAGA,OAAM,MAAOQ,oBACX,sBAAQT,MAAM,CAACG,gBAAgB,CAAuB,iCAAiC,CAAC,CAAC,sBAAsB,EAAE;EAC/GO,QAAQ,EAAEV,MAAM,CAACW,MAAM;EACvBC,MAAM,EAAEZ,MAAM,CAACW;CAChB,CAAC;EAEF;;;EAGS,CAACV,MAAM,IAAIA,MAAM;EAE1B;;;EAGA,IAAaK,OAAOA,CAAA;IAClB,OAAO,YAAY,IAAI,CAACI,QAAQ,oBAAoB,IAAI,CAACE,MAAM,EAAE;EACnE","ignoreList":[]}
+{"version":3,"file":"SqlError.js","names":["Predicate","Schema","TypeId","ReasonTypeId","ReasonFields","cause","Defect","message","optional","String","operation","ConnectionError","TaggedErrorClass","isRetryable","AuthenticationError","AuthorizationError","SqlSyntaxError","ConstraintError","DeadlockError","SerializationError","LockTimeoutError","StatementTimeoutError","UnknownError","SqlErrorReason","Union","SqlError","reason","_tag","isSqlError","u","hasProperty","isSqlErrorReason","sqliteCodeFromCause","undefined","code","sqliteNumericCodeFromCause","errno","matchesSqliteCode","expected","startsWith","classifySqliteError","props","numericCode","ResultLengthMismatch","Number","actual"],"sources":["../../../src/unstable/sql/SqlError.ts"],"sourcesContent":[null],"mappings":"AAAA;;;AAGA,OAAO,KAAKA,SAAS,MAAM,oBAAoB;AAC/C,OAAO,KAAKC,MAAM,MAAM,iBAAiB;AAEzC,MAAMC,MAAM,GAAG,sBAA+B;AAC9C,MAAMC,YAAY,GAAG,6BAAsC;AAE3D,MAAMC,YAAY,GAAG;EACnBC,KAAK,EAAEJ,MAAM,CAACK,MAAM;EACpBC,OAAO,eAAEN,MAAM,CAACO,QAAQ,CAACP,MAAM,CAACQ,MAAM,CAAC;EACvCC,SAAS,eAAET,MAAM,CAACO,QAAQ,CAACP,MAAM,CAACQ,MAAM;CACzC;AAED;;;AAGA,OAAM,MAAOE,eAAgB,sBAAQV,MAAM,CAACW,gBAAgB,CAAkB,qCAAqC,CAAC,CAClH,iBAAiB,EACjBR,YAAY,CACb;EACC;;;EAGS,CAACD,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,IAAIU,WAAWA,CAAA;IACb,OAAO,IAAI;EACb;;AAGF;;;AAGA,OAAM,MAAOC,mBAAoB,sBAAQb,MAAM,CAACW,gBAAgB,CAC9D,yCAAyC,CAC1C,CAAC,qBAAqB,EAAER,YAAY,CAAC;EACpC;;;EAGS,CAACD,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,IAAIU,WAAWA,CAAA;IACb,OAAO,KAAK;EACd;;AAGF;;;AAGA,OAAM,MAAOE,kBAAmB,sBAAQd,MAAM,CAACW,gBAAgB,CAC7D,wCAAwC,CACzC,CAAC,oBAAoB,EAAER,YAAY,CAAC;EACnC;;;EAGS,CAACD,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,IAAIU,WAAWA,CAAA;IACb,OAAO,KAAK;EACd;;AAGF;;;AAGA,OAAM,MAAOG,cAAe,sBAAQf,MAAM,CAACW,gBAAgB,CAAiB,oCAAoC,CAAC,CAC/G,gBAAgB,EAChBR,YAAY,CACb;EACC;;;EAGS,CAACD,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,IAAIU,WAAWA,CAAA;IACb,OAAO,KAAK;EACd;;AAGF;;;AAGA,OAAM,MAAOI,eAAgB,sBAAQhB,MAAM,CAACW,gBAAgB,CAAkB,qCAAqC,CAAC,CAClH,iBAAiB,EACjBR,YAAY,CACb;EACC;;;EAGS,CAACD,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,IAAIU,WAAWA,CAAA;IACb,OAAO,KAAK;EACd;;AAGF;;;AAGA,OAAM,MAAOK,aAAc,sBAAQjB,MAAM,CAACW,gBAAgB,CAAgB,mCAAmC,CAAC,CAC5G,eAAe,EACfR,YAAY,CACb;EACC;;;EAGS,CAACD,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,IAAIU,WAAWA,CAAA;IACb,OAAO,IAAI;EACb;;AAGF;;;AAGA,OAAM,MAAOM,kBAAmB,sBAAQlB,MAAM,CAACW,gBAAgB,CAC7D,wCAAwC,CACzC,CAAC,oBAAoB,EAAER,YAAY,CAAC;EACnC;;;EAGS,CAACD,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,IAAIU,WAAWA,CAAA;IACb,OAAO,IAAI;EACb;;AAGF;;;AAGA,OAAM,MAAOO,gBAAiB,sBAAQnB,MAAM,CAACW,gBAAgB,CAAmB,sCAAsC,CAAC,CACrH,kBAAkB,EAClBR,YAAY,CACb;EACC;;;EAGS,CAACD,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,IAAIU,WAAWA,CAAA;IACb,OAAO,IAAI;EACb;;AAGF;;;AAGA,OAAM,MAAOQ,qBAAsB,sBAAQpB,MAAM,CAACW,gBAAgB,CAChE,2CAA2C,CAC5C,CAAC,uBAAuB,EAAER,YAAY,CAAC;EACtC;;;EAGS,CAACD,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,IAAIU,WAAWA,CAAA;IACb,OAAO,IAAI;EACb;;AAGF;;;AAGA,OAAM,MAAOS,YAAa,sBAAQrB,MAAM,CAACW,gBAAgB,CAAe,kCAAkC,CAAC,CACzG,cAAc,EACdR,YAAY,CACb;EACC;;;EAGS,CAACD,YAAY,IAAIA,YAAY;EAEtC;;;EAGA,IAAIU,WAAWA,CAAA;IACb,OAAO,KAAK;EACd;;AAkBF;;;AAGA,OAAO,MAAMU,cAAc,gBAWtBtB,MAAM,CAACuB,KAAK,CAAC,CAChBb,eAAe,EACfG,mBAAmB,EACnBC,kBAAkB,EAClBC,cAAc,EACdC,eAAe,EACfC,aAAa,EACbC,kBAAkB,EAClBC,gBAAgB,EAChBC,qBAAqB,EACrBC,YAAY,CACb,CAAC;AAEF;;;AAGA,OAAM,MAAOG,QAAS,sBAAQxB,MAAM,CAACW,gBAAgB,CAAW,qBAAqB,CAAC,CAAC,UAAU,EAAE;EACjGc,MAAM,EAAEH;CACT,CAAC;EACA;;;EAGS,CAACrB,MAAM,IAAIA,MAAM;EAE1B;;;EAGkBG,KAAK,GAAG,IAAI,CAACqB,MAAM;EAErC;;;EAGA,IAAanB,OAAOA,CAAA;IAClB,OAAO,IAAI,CAACmB,MAAM,CAACnB,OAAO,IAAI,IAAI,CAACmB,MAAM,CAACC,IAAI;EAChD;EAEA;;;EAGA,IAAId,WAAWA,CAAA;IACb,OAAO,IAAI,CAACa,MAAM,CAACb,WAAW;EAChC;;AAGF;;;AAGA,OAAO,MAAMe,UAAU,GAAIC,CAAU,IAAoB7B,SAAS,CAAC8B,WAAW,CAACD,CAAC,EAAE3B,MAAM,CAAC;AAEzF;;;AAGA,OAAO,MAAM6B,gBAAgB,GAAIF,CAAU,IAA0B7B,SAAS,CAAC8B,WAAW,CAACD,CAAC,EAAE1B,YAAY,CAAC;AAO3G,MAAM6B,mBAAmB,GAAI3B,KAAc,IAAiC;EAC1E,IAAI,CAACL,SAAS,CAAC8B,WAAW,CAACzB,KAAK,EAAE,MAAM,CAAC,EAAE;IACzC,OAAO4B,SAAS;EAClB;EACA,MAAMC,IAAI,GAAG7B,KAAK,CAAC6B,IAAI;EACvB,OAAO,OAAOA,IAAI,KAAK,QAAQ,IAAI,OAAOA,IAAI,KAAK,QAAQ,GAAGA,IAAI,GAAGD,SAAS;AAChF,CAAC;AAED,MAAME,0BAA0B,GAAI9B,KAAc,IAAwB;EACxE,MAAM6B,IAAI,GAAGF,mBAAmB,CAAC3B,KAAK,CAAC;EACvC,IAAI,OAAO6B,IAAI,KAAK,QAAQ,EAAE;IAC5B,OAAOA,IAAI;EACb;EACA,IAAI,CAAClC,SAAS,CAAC8B,WAAW,CAACzB,KAAK,EAAE,OAAO,CAAC,EAAE;IAC1C,OAAO4B,SAAS;EAClB;EACA,MAAMG,KAAK,GAAG/B,KAAK,CAAC+B,KAAK;EACzB,OAAO,OAAOA,KAAK,KAAK,QAAQ,GAAGA,KAAK,GAAGH,SAAS;AACtD,CAAC;AAED,MAAMI,iBAAiB,GAAGA,CAACH,IAAY,EAAEI,QAAgB,KACvDJ,IAAI,KAAKI,QAAQ,IAAIJ,IAAI,CAACK,UAAU,CAACD,QAAQ,GAAG,GAAG,CAAC;AAEtD;;;AAGA,OAAO,MAAME,mBAAmB,GAAGA,CACjCnC,KAAc,EACd;EAAEE,OAAO;EAAEG;AAAS,IAA4B,EAAE,KAChC;EAClB,MAAM+B,KAAK,GAAG;IACZpC,KAAK;IACLE,OAAO;IACPG;GACD;EACD,MAAMwB,IAAI,GAAGF,mBAAmB,CAAC3B,KAAK,CAAC;EAEvC,IAAI,OAAO6B,IAAI,KAAK,QAAQ,EAAE;IAC5B,IAAIG,iBAAiB,CAACH,IAAI,EAAE,aAAa,CAAC,EAAE;MAC1C,OAAO,IAAIpB,mBAAmB,CAAC2B,KAAK,CAAC;IACvC;IACA,IAAIJ,iBAAiB,CAACH,IAAI,EAAE,aAAa,CAAC,EAAE;MAC1C,OAAO,IAAInB,kBAAkB,CAAC0B,KAAK,CAAC;IACtC;IACA,IAAIJ,iBAAiB,CAACH,IAAI,EAAE,mBAAmB,CAAC,EAAE;MAChD,OAAO,IAAIjB,eAAe,CAACwB,KAAK,CAAC;IACnC;IACA,IAAIJ,iBAAiB,CAACH,IAAI,EAAE,aAAa,CAAC,IAAIG,iBAAiB,CAACH,IAAI,EAAE,eAAe,CAAC,EAAE;MACtF,OAAO,IAAId,gBAAgB,CAACqB,KAAK,CAAC;IACpC;IACA,IAAIJ,iBAAiB,CAACH,IAAI,EAAE,iBAAiB,CAAC,EAAE;MAC9C,OAAO,IAAIvB,eAAe,CAAC8B,KAAK,CAAC;IACnC;EACF;EAEA,MAAMC,WAAW,GAAGP,0BAA0B,CAAC9B,KAAK,CAAC;EACrD,IAAI,OAAOqC,WAAW,KAAK,QAAQ,EAAE;IACnC,MAAMR,IAAI,GAAGQ,WAAW,GAAG,IAAI;IAC/B,QAAQR,IAAI;MACV,KAAK,EAAE;QACL,OAAO,IAAIpB,mBAAmB,CAAC2B,KAAK,CAAC;MACvC,KAAK,CAAC;QACJ,OAAO,IAAI1B,kBAAkB,CAAC0B,KAAK,CAAC;MACtC,KAAK,EAAE;QACL,OAAO,IAAIxB,eAAe,CAACwB,KAAK,CAAC;MACnC,KAAK,CAAC;MACN,KAAK,CAAC;QACJ,OAAO,IAAIrB,gBAAgB,CAACqB,KAAK,CAAC;MACpC,KAAK,EAAE;QACL,OAAO,IAAI9B,eAAe,CAAC8B,KAAK,CAAC;MACnC;QACE,OAAO,IAAInB,YAAY,CAACmB,KAAK,CAAC;IAClC;EACF;EAEA,OAAO,IAAInB,YAAY,CAACmB,KAAK,CAAC;AAChC,CAAC;AAED;;;AAGA,OAAM,MAAOE,oBACX,sBAAQ1C,MAAM,CAACW,gBAAgB,CAAuB,iCAAiC,CAAC,CAAC,sBAAsB,EAAE;EAC/G0B,QAAQ,EAAErC,MAAM,CAAC2C,MAAM;EACvBC,MAAM,EAAE5C,MAAM,CAAC2C;CAChB,CAAC;EAEF;;;EAGA,IAAarC,OAAOA,CAAA;IAClB,OAAO,YAAY,IAAI,CAAC+B,QAAQ,oBAAoB,IAAI,CAACO,MAAM,EAAE;EACnE","ignoreList":[]}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "effect",
   "type": "module",
-  "version": "4.0.0-beta.36",
+  "version": "4.0.0-beta.38",
   "license": "MIT",
   "description": "The missing standard library for TypeScript, for writing production-grade software.",
   "homepage": "https://effect.website",

package/src/Cause.ts

@@ -79,6 +79,7 @@
  */
 import type * as Effect from "./Effect.ts"
 import type { Equal } from "./Equal.ts"
+import type { Fiber } from "./Fiber.ts"
 import type { Inspectable } from "./Inspectable.ts"
 import * as core from "./internal/core.ts"
 import * as effect from "./internal/effect.ts"
@@ -1565,6 +1566,40 @@ export interface ExceededCapacityError extends YieldableError {
  */
 export const ExceededCapacityError: new(message?: string) => ExceededCapacityError = effect.ExceededCapacityError
 
+/**
+ * Unique brand for {@link AsyncFiberError}.
+ *
+ * @since 4.0.0
+ * @category symbols
+ */
+export const AsyncFiberErrorTypeId: "~effect/Cause/AsyncFiberError" = effect.AsyncFiberErrorTypeId
+
+/**
+ * @category guards
+ * @since 4.0.0
+ */
+export const isAsyncFiberError: (u: unknown) => u is AsyncFiberError = effect.isAsyncFiberError
+
+/**
+ * An error that occurs when trying to run an async fiber with Effect.runSync.
+ *
+ * @since 4.0.0
+ * @category errors
+ */
+export interface AsyncFiberError extends YieldableError {
+  readonly [AsyncFiberErrorTypeId]: typeof AsyncFiberErrorTypeId
+  readonly _tag: "AsyncFiberError"
+  readonly fiber: Fiber<unknown, unknown>
+}
+
+/**
+ * An error that occurs when trying to run an async fiber with Effect.runSync.
+ *
+ * @category constructors
+ * @since 4.0.0
+ */
+export const AsyncFiberError: new(fiber: Fiber<unknown, unknown>) => AsyncFiberError = effect.AsyncFiberError
+
 /**
  * Unique brand for {@link UnknownError}.
  *

package/src/Channel.ts

@@ -200,8 +200,8 @@ export interface ChannelUnify<A extends { [Unify.typeSymbol]?: any }> extends Ef
  * @category models
  * @since 2.0.0
  */
-export interface ChannelUnifyIgnore extends Effect.EffectUnifyIgnore {
-  Channel?: true
+export interface ChannelUnifyIgnore {
+  Effect?: true
 }
 
 type TagsWithReason<E> = {

package/src/Effect.ts

@@ -173,7 +173,7 @@ export interface Effect<out A, out E = never, out R = never> extends Pipeable, Y
   readonly [TypeId]: Variance<A, E, R>
   [Unify.typeSymbol]?: unknown
   [Unify.unifySymbol]?: EffectUnify<this>
-  [Unify.ignoreSymbol]?: EffectUnifyIgnore
+  [Unify.ignoreSymbol]?: {}
 }
 
 /**
@@ -242,21 +242,6 @@ export interface EffectUnify<A extends { [Unify.typeSymbol]?: any }> {
     : never
 }
 
-/**
- * @category Models
- * @since 2.0.0
- * @example
- * ```ts
- * import type { Effect } from "effect"
- *
- * // EffectUnifyIgnore is used internally to control type unification
- * // It prevents certain types from being unified with Effect types
- * declare const ignored: Effect.EffectUnifyIgnore
- * ```
- */
-export interface EffectUnifyIgnore {
-  Effect?: true
-}
 /**
  * @category Type Lambdas
  * @since 2.0.0