effect 4.0.0-beta.94 → 4.0.0-beta.98

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
     }));
   };
@@ -6135,6 +6139,8 @@ const DateString = /*#__PURE__*/String.annotate({
  * ```
  *
  * @see {@link DateValid} for accepting only valid Date instances
+ * @see {@link DateFromString} for decoding strings into Date instances
+ * @see {@link DateFromMillis} for decoding epoch milliseconds into Date instances
  *
  * @category Date
  * @since 4.0.0
@@ -6172,6 +6178,8 @@ export const Date = /*#__PURE__*/instanceOf(globalThis.Date, {
  *
  * Invalid date strings can decode to invalid `Date` instances.
  *
+ * @see {@link DateFromMillis} for decoding epoch milliseconds into Date instances
+ * @see {@link DateTimeUtcFromString} for decoding date-time strings into UTC values
  * @see {@link Date} for accepting Date instances directly
  * @see {@link DateValid} for rejecting invalid Date instances
  *
@@ -6179,6 +6187,34 @@ export const Date = /*#__PURE__*/instanceOf(globalThis.Date, {
  * @since 3.10.0
  */
 export const DateFromString = /*#__PURE__*/DateString.pipe(/*#__PURE__*/decodeTo(Date, SchemaTransformation.dateFromString));
+/**
+ * Schema that decodes epoch milliseconds into a JavaScript `Date`.
+ *
+ * **When to use**
+ *
+ * Use to model numeric millisecond timestamps that decode to JavaScript `Date`
+ * objects and encode back to numbers.
+ *
+ * **Details**
+ *
+ * Decoding:
+ * A number of milliseconds since the Unix epoch is decoded as a `Date`.
+ *
+ * Encoding:
+ * A `Date` is encoded as its millisecond timestamp.
+ *
+ * **Gotchas**
+ *
+ * This schema accepts any number, including `NaN`, `Infinity`, and `-Infinity`.
+ * Those values decode to invalid `Date` instances.
+ *
+ * @see {@link DateFromString} for decoding string-encoded dates
+ * @see {@link DateTimeUtcFromMillis} for decoding epoch milliseconds into UTC values
+ *
+ * @category Date
+ * @since 4.0.0
+ */
+export const DateFromMillis = /*#__PURE__*/Number.pipe(/*#__PURE__*/decodeTo(Date, SchemaTransformation.dateFromMillis));
 /**
  * Schema for **valid** JavaScript `Date` objects.
  *
@@ -7269,6 +7305,10 @@ export const DateTimeUtcFromDate = /*#__PURE__*/DateValid.pipe(/*#__PURE__*/deco
  *
  * - A `DateTime.Utc` is encoded as a UTC ISO 8601 string.
  *
+ * @see {@link DateTimeUtcFromDate} for decoding JavaScript Date values into UTC values
+ * @see {@link DateTimeUtcFromMillis} for decoding epoch milliseconds into UTC values
+ * @see {@link DateFromString} for decoding strings into JavaScript Date instances
+ *
  * @category DateTime
  * @since 4.0.0
  */
@@ -7286,6 +7326,10 @@ export const DateTimeUtcFromString = /*#__PURE__*/String.annotate({
  * Encoding:
  * - A `DateTime.Utc` is encoded as a number of milliseconds since the Unix epoch.
  *
+ * @see {@link DateTimeUtcFromDate} for decoding JavaScript Date values into UTC values
+ * @see {@link DateTimeUtcFromString} for decoding date-time strings into UTC values
+ * @see {@link DateFromMillis} for decoding epoch milliseconds into JavaScript Date instances
+ *
  * @category DateTime
  * @since 4.0.0
  */
@@ -7884,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(", ") + "]";