effect 3.11.6 → 3.11.8

package/dist/esm/Schema.js

@@ -25,7 +25,7 @@ import { globalValue } from "./GlobalValue.js";
 import * as hashMap_ from "./HashMap.js";
 import * as hashSet_ from "./HashSet.js";
 import * as errors_ from "./internal/schema/errors.js";
-import * as filters_ from "./internal/schema/filters.js";
+import * as schemaId_ from "./internal/schema/schemaId.js";
 import * as util_ from "./internal/schema/util.js";
 import * as list_ from "./List.js";
 import * as number_ from "./Number.js";
@@ -1744,7 +1744,7 @@ export const trimmed = annotations => self => self.pipe(filter(a => a === a.trim
  * @category schema id
  * @since 3.10.0
  */
-export const MaxLengthSchemaId = filters_.MaxLengthSchemaId;
+export const MaxLengthSchemaId = schemaId_.MaxLengthSchemaId;
 /**
  * @category string filters
  * @since 3.10.0
@@ -1761,7 +1761,7 @@ export const maxLength = (maxLength, annotations) => self => self.pipe(filter(a
  * @category schema id
  * @since 3.10.0
  */
-export const MinLengthSchemaId = filters_.MinLengthSchemaId;
+export const MinLengthSchemaId = schemaId_.MinLengthSchemaId;
 /**
  * @category string filters
  * @since 3.10.0
@@ -1973,7 +1973,7 @@ export class Uppercased extends /*#__PURE__*/String$.pipe( /*#__PURE__*/uppercas
  * @category schema id
  * @since 3.10.0
  */
-export const LengthSchemaId = filters_.LengthSchemaId;
+export const LengthSchemaId = schemaId_.LengthSchemaId;
 /**
  * @category string filters
  * @since 3.10.0
@@ -2268,7 +2268,7 @@ URL$ as URL };
  * @category schema id
  * @since 3.10.0
  */
-export const FiniteSchemaId = filters_.FiniteSchemaId;
+export const FiniteSchemaId = schemaId_.FiniteSchemaId;
 /**
  * Ensures that the provided value is a finite number.
  *
@@ -2289,18 +2289,18 @@ export const finite = annotations => self => self.pipe(filter(Number.isFinite, {
  * @category schema id
  * @since 3.10.0
  */
-export const GreaterThanSchemaId = filters_.GreaterThanSchemaId;
+export const GreaterThanSchemaId = schemaId_.GreaterThanSchemaId;
 /**
  * This filter checks whether the provided number is greater than the specified minimum.
  *
  * @category number filters
  * @since 3.10.0
  */
-export const greaterThan = (min, annotations) => self => self.pipe(filter(a => a > min, {
+export const greaterThan = (exclusiveMinimum, annotations) => self => self.pipe(filter(a => a > exclusiveMinimum, {
   schemaId: GreaterThanSchemaId,
-  description: min === 0 ? "a positive number" : `a number greater than ${min}`,
+  description: exclusiveMinimum === 0 ? "a positive number" : `a number greater than ${exclusiveMinimum}`,
   jsonSchema: {
-    exclusiveMinimum: min
+    exclusiveMinimum
   },
   ...annotations
 }));
@@ -2308,18 +2308,18 @@ export const greaterThan = (min, annotations) => self => self.pipe(filter(a => a
  * @category schema id
  * @since 3.10.0
  */
-export const GreaterThanOrEqualToSchemaId = filters_.GreaterThanOrEqualToSchemaId;
+export const GreaterThanOrEqualToSchemaId = schemaId_.GreaterThanOrEqualToSchemaId;
 /**
  * This filter checks whether the provided number is greater than or equal to the specified minimum.
  *
  * @category number filters
  * @since 3.10.0
  */
-export const greaterThanOrEqualTo = (min, annotations) => self => self.pipe(filter(a => a >= min, {
+export const greaterThanOrEqualTo = (minimum, annotations) => self => self.pipe(filter(a => a >= minimum, {
   schemaId: GreaterThanOrEqualToSchemaId,
-  description: min === 0 ? "a non-negative number" : `a number greater than or equal to ${min}`,
+  description: minimum === 0 ? "a non-negative number" : `a number greater than or equal to ${minimum}`,
   jsonSchema: {
-    minimum: min
+    minimum
   },
   ...annotations
 }));
@@ -2345,7 +2345,7 @@ export const multipleOf = (divisor, annotations) => self => self.pipe(filter(a =
  * @category schema id
  * @since 3.10.0
  */
-export const IntSchemaId = filters_.IntSchemaId;
+export const IntSchemaId = schemaId_.IntSchemaId;
 /**
  * @category number filters
  * @since 3.10.0
@@ -2363,18 +2363,18 @@ export const int = annotations => self => self.pipe(filter(a => Number.isSafeInt
  * @category schema id
  * @since 3.10.0
  */
-export const LessThanSchemaId = filters_.LessThanSchemaId;
+export const LessThanSchemaId = schemaId_.LessThanSchemaId;
 /**
  * This filter checks whether the provided number is less than the specified maximum.
  *
  * @category number filters
  * @since 3.10.0
  */
-export const lessThan = (max, annotations) => self => self.pipe(filter(a => a < max, {
+export const lessThan = (exclusiveMaximum, annotations) => self => self.pipe(filter(a => a < exclusiveMaximum, {
   schemaId: LessThanSchemaId,
-  description: max === 0 ? "a negative number" : `a number less than ${max}`,
+  description: exclusiveMaximum === 0 ? "a negative number" : `a number less than ${exclusiveMaximum}`,
   jsonSchema: {
-    exclusiveMaximum: max
+    exclusiveMaximum
   },
   ...annotations
 }));
@@ -2382,18 +2382,18 @@ export const lessThan = (max, annotations) => self => self.pipe(filter(a => a <
  * @category schema id
  * @since 3.10.0
  */
-export const LessThanOrEqualToSchemaId = filters_.LessThanOrEqualToSchemaId;
+export const LessThanOrEqualToSchemaId = schemaId_.LessThanOrEqualToSchemaId;
 /**
  * This schema checks whether the provided number is less than or equal to the specified maximum.
  *
  * @category number filters
  * @since 3.10.0
  */
-export const lessThanOrEqualTo = (max, annotations) => self => self.pipe(filter(a => a <= max, {
+export const lessThanOrEqualTo = (maximum, annotations) => self => self.pipe(filter(a => a <= maximum, {
   schemaId: LessThanOrEqualToSchemaId,
-  description: max === 0 ? "a non-positive number" : `a number less than or equal to ${max}`,
+  description: maximum === 0 ? "a non-positive number" : `a number less than or equal to ${maximum}`,
   jsonSchema: {
-    maximum: max
+    maximum
   },
   ...annotations
 }));
@@ -2401,19 +2401,19 @@ export const lessThanOrEqualTo = (max, annotations) => self => self.pipe(filter(
  * @category schema id
  * @since 3.10.0
  */
-export const BetweenSchemaId = filters_.BetweenSchemaId;
+export const BetweenSchemaId = schemaId_.BetweenSchemaId;
 /**
  * This filter checks whether the provided number falls within the specified minimum and maximum values.
  *
  * @category number filters
  * @since 3.10.0
  */
-export const between = (min, max, annotations) => self => self.pipe(filter(a => a >= min && a <= max, {
+export const between = (minimum, maximum, annotations) => self => self.pipe(filter(a => a >= minimum && a <= maximum, {
   schemaId: BetweenSchemaId,
-  description: `a number between ${min} and ${max}`,
+  description: `a number between ${minimum} and ${maximum}`,
   jsonSchema: {
-    maximum: max,
-    minimum: min
+    minimum,
+    maximum
   },
   ...annotations
 }));
@@ -2421,7 +2421,7 @@ export const between = (min, max, annotations) => self => self.pipe(filter(a =>
  * @category schema id
  * @since 3.10.0
  */
-export const NonNaNSchemaId = filters_.NonNaNSchemaId;
+export const NonNaNSchemaId = schemaId_.NonNaNSchemaId;
 /**
  * @category number filters
  * @since 3.10.0
@@ -2555,7 +2555,7 @@ export class NonNegative extends /*#__PURE__*/Number$.pipe( /*#__PURE__*/nonNega
  * @category schema id
  * @since 3.10.0
  */
-export const JsonNumberSchemaId = filters_.JsonNumberSchemaId;
+export const JsonNumberSchemaId = schemaId_.JsonNumberSchemaId;
 /**
  * The `JsonNumber` is a schema for representing JSON numbers. It ensures that the provided value is a valid
  * number by filtering out `NaN` and `(+/-) Infinity`. This is useful when you want to validate and represent numbers in JSON
@@ -2615,7 +2615,7 @@ Symbol$ as Symbol };
  * @category schema id
  * @since 3.10.0
  */
-export const GreaterThanBigIntSchemaId = filters_.GreaterThanBigintSchemaId;
+export const GreaterThanBigIntSchemaId = schemaId_.GreaterThanBigintSchemaId;
 /**
  * @category bigint filters
  * @since 3.10.0
@@ -2632,7 +2632,7 @@ export const greaterThanBigInt = (min, annotations) => self => self.pipe(filter(
  * @category schema id
  * @since 3.10.0
  */
-export const GreaterThanOrEqualToBigIntSchemaId = filters_.GreaterThanOrEqualToBigIntSchemaId;
+export const GreaterThanOrEqualToBigIntSchemaId = schemaId_.GreaterThanOrEqualToBigIntSchemaId;
 /**
  * @category bigint filters
  * @since 3.10.0
@@ -2649,7 +2649,7 @@ export const greaterThanOrEqualToBigInt = (min, annotations) => self => self.pip
  * @category schema id
  * @since 3.10.0
  */
-export const LessThanBigIntSchemaId = filters_.LessThanBigIntSchemaId;
+export const LessThanBigIntSchemaId = schemaId_.LessThanBigIntSchemaId;
 /**
  * @category bigint filters
  * @since 3.10.0
@@ -2666,7 +2666,7 @@ export const lessThanBigInt = (max, annotations) => self => self.pipe(filter(a =
  * @category schema id
  * @since 3.10.0
  */
-export const LessThanOrEqualToBigIntSchemaId = filters_.LessThanOrEqualToBigIntSchemaId;
+export const LessThanOrEqualToBigIntSchemaId = schemaId_.LessThanOrEqualToBigIntSchemaId;
 /**
  * @category bigint filters
  * @since 3.10.0
@@ -2683,7 +2683,7 @@ export const lessThanOrEqualToBigInt = (max, annotations) => self => self.pipe(f
  * @category schema id
  * @since 3.10.0
  */
-export const BetweenBigIntSchemaId = filters_.BetweenBigintSchemaId;
+export const BetweenBigIntSchemaId = schemaId_.BetweenBigintSchemaId;
 /**
  * @category bigint filters
  * @since 3.10.0
@@ -2691,8 +2691,8 @@ export const BetweenBigIntSchemaId = filters_.BetweenBigintSchemaId;
 export const betweenBigInt = (min, max, annotations) => self => self.pipe(filter(a => a >= min && a <= max, {
   schemaId: BetweenBigIntSchemaId,
   [BetweenBigIntSchemaId]: {
-    max,
-    min
+    min,
+    max
   },
   description: `a bigint between ${min}n and ${max}n`,
   ...annotations
@@ -3128,7 +3128,7 @@ export const StringFromHex = /*#__PURE__*/makeEncodingTransformation("Hex", Enco
  * @category schema id
  * @since 3.10.0
  */
-export const MinItemsSchemaId = filters_.MinItemsSchemaId;
+export const MinItemsSchemaId = schemaId_.MinItemsSchemaId;
 /**
  * @category ReadonlyArray filters
  * @since 3.10.0
@@ -3152,7 +3152,7 @@ export const minItems = (n, annotations) => self => {
  * @category schema id
  * @since 3.10.0
  */
-export const MaxItemsSchemaId = filters_.MaxItemsSchemaId;
+export const MaxItemsSchemaId = schemaId_.MaxItemsSchemaId;
 /**
  * @category ReadonlyArray filters
  * @since 3.10.0
@@ -3170,7 +3170,7 @@ export const maxItems = (n, annotations) => self => self.pipe(filter(a => a.leng
  * @category schema id
  * @since 3.10.0
  */
-export const ItemsCountSchemaId = filters_.ItemsCountSchemaId;
+export const ItemsCountSchemaId = schemaId_.ItemsCountSchemaId;
 /**
  * @category ReadonlyArray filters
  * @since 3.10.0
@@ -3233,6 +3233,9 @@ export const ValidDateSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/ValidD
  */
 export const validDate = annotations => self => self.pipe(filter(a => !Number.isNaN(a.getTime()), {
   schemaId: ValidDateSchemaId,
+  [ValidDateSchemaId]: {
+    noInvalidDate: true
+  },
   description: "a valid Date",
   ...annotations
 }));
@@ -3313,15 +3316,20 @@ export const BetweenDateSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Betw
  * @category Date filters
  * @since 3.10.0
  */
-export const betweenDate = (minimum, maximum, annotations) => self => self.pipe(filter(a => a <= maximum && a >= minimum, {
+export const betweenDate = (min, max, annotations) => self => self.pipe(filter(a => a <= max && a >= min, {
   schemaId: BetweenDateSchemaId,
   [BetweenDateSchemaId]: {
-    maximum,
-    minimum
+    max,
+    min
   },
-  description: `a date between ${util_.formatDate(minimum)} and ${util_.formatDate(maximum)}`,
+  description: `a date between ${util_.formatDate(min)} and ${util_.formatDate(max)}`,
   ...annotations
 }));
+/**
+ * @category schema id
+ * @since 3.11.8
+ */
+export const DateFromSelfSchemaId = schemaId_.DateFromSelfSchemaId;
 /**
  * Describes a schema that accommodates potentially invalid `Date` instances,
  * such as `new Date("Invalid Date")`, without rejection.
@@ -3331,6 +3339,10 @@ export const betweenDate = (minimum, maximum, annotations) => self => self.pipe(
  */
 export class DateFromSelf extends /*#__PURE__*/declare(Predicate.isDate, {
   identifier: "DateFromSelf",
+  schemaId: DateFromSelfSchemaId,
+  [DateFromSelfSchemaId]: {
+    noInvalidDate: false
+  },
   description: "a potentially invalid Date instance",
   pretty: () => date => `new Date(${JSON.stringify(date)})`,
   arbitrary: () => fc => fc.date({