effect 4.0.0-beta.97 → 4.0.0-beta.99

package/dist/Schema.js

@@ -33,7 +33,6 @@ import * as InternalArbitrary from "./internal/schema/arbitrary.js";
 import * as InternalEquivalence from "./internal/schema/equivalence.js";
 import * as InternalStandard from "./internal/schema/representation.js";
 import * as InternalSchema from "./internal/schema/schema.js";
-import { SchemaError } from "./internal/schema/schema.js";
 import * as JsonPatch from "./JsonPatch.js";
 import * as JsonSchema from "./JsonSchema.js";
 import { remainder } from "./Number.js";
@@ -47,6 +46,7 @@ import * as Redacted_ from "./Redacted.js";
 import * as Result_ from "./Result.js";
 import * as Scheduler from "./Scheduler.js";
 import * as SchemaAST from "./SchemaAST.js";
+import { isSchemaError, SchemaError } from "./SchemaError.js";
 import * as SchemaGetter from "./SchemaGetter.js";
 import * as SchemaIssue from "./SchemaIssue.js";
 import * as SchemaParser from "./SchemaParser.js";
@@ -307,6 +307,27 @@ export function revealCodec(codec) {
   return codec;
 }
 export {
+/**
+ * Returns `true` if `u` is a {@link SchemaError}.
+ *
+ * **Example** (Narrowing Schema errors in a catch block)
+ *
+ * ```ts
+ * import { Schema } from "effect"
+ *
+ * try {
+ *   Schema.decodeUnknownSync(Schema.Number)("oops")
+ * } catch (err) {
+ *   if (Schema.isSchemaError(err)) {
+ *     console.log(err._tag) // "SchemaError"
+ *   }
+ * }
+ * ```
+ *
+ * @category guards
+ * @since 4.0.0
+ */
+isSchemaError,
 /**
  * Error thrown (or returned as the error channel value) when schema decoding
  * or encoding fails.
@@ -339,29 +360,6 @@ export {
  * @since 4.0.0
  */
 SchemaError };
-/**
- * Returns `true` if `u` is a {@link SchemaError}.
- *
- * **Example** (Narrowing Schema errors in a catch block)
- *
- * ```ts
- * import { Schema } from "effect"
- *
- * try {
- *   Schema.decodeUnknownSync(Schema.Number)("oops")
- * } catch (err) {
- *   if (Schema.isSchemaError(err)) {
- *     console.log(err._tag) // "SchemaError"
- *   }
- * }
- * ```
- *
- * @category guards
- * @since 4.0.0
- */
-export function isSchemaError(u) {
-  return Predicate.hasProperty(u, InternalSchema.SchemaErrorTypeId);
-}
 function makeStandardResult(exit) {
   return Exit_.isSuccess(exit) ? exit.value : {
     issues: [{
@@ -637,7 +635,7 @@ export const asserts = SchemaParser.asserts;
 export function decodeUnknownEffect(schema, options) {
   const parser = SchemaParser.decodeUnknownEffect(schema, options);
   return (input, options) => {
-    return InternalSchema.mapSchemaIssueEffect(parser(input, options));
+    return InternalSchema.fromIssueEffect(parser(input, options));
   };
 }
 /**
@@ -727,9 +725,12 @@ function runSchemaErrorSync(self) {
 export function decodeUnknownExit(schema, options) {
   const parser = SchemaParser.decodeUnknownExit(schema, options);
   return (input, options) => {
-    return InternalSchema.mapSchemaIssueExit(parser(input, options));
+    return fromIssueExit(parser(input, options));
   };
 }
+function fromIssueExit(exit) {
+  return Exit_.isSuccess(exit) ? Exit_.succeed(exit.value) : Exit_.failCause(Cause_.map(exit.cause, issue => new SchemaError(issue)));
+}
 /**
  * Decodes a typed input (the schema's `Encoded` type) against a schema
  * synchronously, returning an `Exit` that is either a `Success` with the decoded
@@ -1051,7 +1052,7 @@ export const decodeSync = decodeUnknownSync;
 export function encodeUnknownEffect(schema, options) {
   const parser = SchemaParser.encodeUnknownEffect(schema, options);
   return (input, options) => {
-    return InternalSchema.mapSchemaIssueEffect(parser(input, options));
+    return InternalSchema.fromIssueEffect(parser(input, options));
   };
 }
 /**
@@ -1108,7 +1109,7 @@ export const encodeEffect = encodeUnknownEffect;
 export function encodeUnknownExit(schema, options) {
   const parser = SchemaParser.encodeUnknownExit(schema, options);
   return (input, options) => {
-    return InternalSchema.mapSchemaIssueExit(parser(input, options));
+    return fromIssueExit(parser(input, options));
   };
 }
 /**
@@ -2750,10 +2751,13 @@ export function withConstructorDefault(
 // `S["~type.make.in"]` instead of `S["Type"]` is intentional here because
 // it makes easier to define the default value if there are nested defaults
 defaultValue) {
-  return schema => make(SchemaAST.withConstructorDefault(schema.ast, InternalSchema.mapSchemaErrorEffect(defaultValue)), {
+  return schema => make(SchemaAST.withConstructorDefault(schema.ast, toIssueEffect(defaultValue)), {
     schema
   });
 }
+function toIssueEffect(self) {
+  return Effect.catchCause(self, cause => Effect.failCauseSync(() => Cause_.map(cause, error => error.issue)));
+}
 /**
  * Makes a struct key optional on the `Encoded` side and provides a default
  * `Encoded` value when the key is missing during decoding.
@@ -2792,7 +2796,7 @@ export function withDecodingDefaultKey(defaultValue, options) {
   const encode = options?.encodingStrategy === "omit" ? SchemaGetter.omit() : SchemaGetter.passthrough();
   return self => {
     return optionalKey(toEncoded(self)).pipe(decodeTo(self, {
-      decode: SchemaGetter.withDefault(InternalSchema.mapSchemaErrorEffect(defaultValue)),
+      decode: SchemaGetter.withDefault(toIssueEffect(defaultValue)),
       encode
     }));
   };
@@ -2867,7 +2871,7 @@ export function withDecodingDefault(defaultValue, options) {
   const encode = options?.encodingStrategy === "omit" ? SchemaGetter.omit() : SchemaGetter.passthrough();
   return self => {
     return optional(toEncoded(self)).pipe(decodeTo(self, {
-      decode: SchemaGetter.withDefault(InternalSchema.mapSchemaErrorEffect(defaultValue)),
+      decode: SchemaGetter.withDefault(toIssueEffect(defaultValue)),
       encode
     }));
   };
@@ -4158,7 +4162,7 @@ export function isInt(annotations) {
  * @since 4.0.0
  */
 export function isInt32(annotations) {
-  return new SchemaAST.FilterGroup([isInt(annotations), isBetween({
+  return new SchemaAST.FilterGroup([isInt(), isBetween({
     minimum: -2147483648,
     maximum: 2147483647
   })], {
@@ -7924,8 +7928,7 @@ export function toFormatter(schema, options) {
               // handle post rest elements
               // ---------------------------------------------
               for (let j = 0; j < tail.length; j++) {
-                i += j;
-                out.push(tail[j](t[i]));
+                out.push(tail[j](t[i + j]));
               }
             }
             return "[" + out.join(", ") + "]";