effect 3.11.7 → 3.11.8

package/dist/esm/internal/schema/{filters.js → schemaId.js}

@@ -1,4 +1,6 @@
 /** @internal */
+export const DateFromSelfSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/DateFromSelf");
+/** @internal */
 export const GreaterThanSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/GreaterThan");
 /** @internal */
 export const GreaterThanOrEqualToSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/GreaterThanOrEqualTo");
@@ -38,4 +40,4 @@ export const MinItemsSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/MinItem
 export const MaxItemsSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/MaxItems");
 /** @internal */
 export const ItemsCountSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/ItemsCount");
-//# sourceMappingURL=filters.js.map
+//# sourceMappingURL=schemaId.js.map

package/dist/esm/internal/schema/schemaId.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemaId.js","names":["DateFromSelfSchemaId","Symbol","for","GreaterThanSchemaId","GreaterThanOrEqualToSchemaId","LessThanSchemaId","LessThanOrEqualToSchemaId","IntSchemaId","NonNaNSchemaId","FiniteSchemaId","JsonNumberSchemaId","BetweenSchemaId","GreaterThanBigintSchemaId","GreaterThanOrEqualToBigIntSchemaId","LessThanBigIntSchemaId","LessThanOrEqualToBigIntSchemaId","BetweenBigintSchemaId","MinLengthSchemaId","MaxLengthSchemaId","LengthSchemaId","MinItemsSchemaId","MaxItemsSchemaId","ItemsCountSchemaId"],"sources":["../../../../src/internal/schema/schemaId.ts"],"sourcesContent":[null],"mappings":"AAEA;AACA,OAAO,MAAMA,oBAAoB,gBAAgCC,MAAM,CAACC,GAAG,CACzE,8BAA8B,CACA;AAEhC;AACA,OAAO,MAAMC,mBAAmB,gBAA+BF,MAAM,CAACC,GAAG,CACvE,6BAA6B,CACA;AAE/B;AACA,OAAO,MAAME,4BAA4B,gBAAwCH,MAAM,CAACC,GAAG,CACzF,sCAAsC,CACA;AAExC;AACA,OAAO,MAAMG,gBAAgB,gBAA4BJ,MAAM,CAACC,GAAG,CACjE,0BAA0B,CACA;AAE5B;AACA,OAAO,MAAMI,yBAAyB,gBAAqCL,MAAM,CAACC,GAAG,CACnF,mCAAmC,CACA;AAErC;AACA,OAAO,MAAMK,WAAW,gBAAuBN,MAAM,CAACC,GAAG,CACvD,qBAAqB,CACA;AAEvB;AACA,OAAO,MAAMM,cAAc,gBAA0BP,MAAM,CAACC,GAAG,CAC7D,wBAAwB,CACA;AAE1B;AACA,OAAO,MAAMO,cAAc,gBAA0BR,MAAM,CAACC,GAAG,CAC7D,wBAAwB,CACA;AAE1B;AACA,OAAO,MAAMQ,kBAAkB,gBAA8BT,MAAM,CAACC,GAAG,CACrE,4BAA4B,CACA;AAE9B;AACA,OAAO,MAAMS,eAAe,gBAA2BV,MAAM,CAACC,GAAG,CAC/D,yBAAyB,CACA;AAE3B;AACA,OAAO,MAAMU,yBAAyB,gBAAqCX,MAAM,CAACC,GAAG,CACnF,mCAAmC,CACA;AAErC;AACA,OAAO,MAAMW,kCAAkC,gBAA8CZ,MAAM,CAACC,GAAG,CACrG,4CAA4C,CACA;AAE9C;AACA,OAAO,MAAMY,sBAAsB,gBAAkCb,MAAM,CAACC,GAAG,CAC7E,gCAAgC,CACA;AAElC;AACA,OAAO,MAAMa,+BAA+B,gBAA2Cd,MAAM,CAACC,GAAG,CAC/F,yCAAyC,CACA;AAE3C;AACA,OAAO,MAAMc,qBAAqB,gBAAiCf,MAAM,CAACC,GAAG,CAC3E,+BAA+B,CACA;AAEjC;AACA,OAAO,MAAMe,iBAAiB,gBAA6BhB,MAAM,CAACC,GAAG,CACnE,2BAA2B,CACA;AAE7B;AACA,OAAO,MAAMgB,iBAAiB,gBAA6BjB,MAAM,CAACC,GAAG,CACnE,2BAA2B,CACA;AAE7B;AACA,OAAO,MAAMiB,cAAc,gBAA0BlB,MAAM,CAACC,GAAG,CAC7D,wBAAwB,CACA;AAE1B;AACA,OAAO,MAAMkB,gBAAgB,gBAA4BnB,MAAM,CAACC,GAAG,CACjE,0BAA0B,CACA;AAE5B;AACA,OAAO,MAAMmB,gBAAgB,gBAA4BpB,MAAM,CAACC,GAAG,CACjE,0BAA0B,CACA;AAE5B;AACA,OAAO,MAAMoB,kBAAkB,gBAA8BrB,MAAM,CAACC,GAAG,CACrE,4BAA4B,CACA","ignoreList":[]}

package/dist/esm/internal/version.js

@@ -1,4 +1,4 @@
-let moduleVersion = "3.11.7";
+let moduleVersion = "3.11.8";
 export const getCurrentVersion = () => moduleVersion;
 export const setCurrentVersion = version => {
   moduleVersion = version;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "effect",
-  "version": "3.11.7",
+  "version": "3.11.8",
   "description": "The missing standard library for TypeScript, for writing production-grade software.",
   "license": "MIT",
   "repository": {

package/src/Arbitrary.ts

@@ -5,7 +5,7 @@
 import * as Arr from "./Array.js"
 import * as FastCheck from "./FastCheck.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 Option from "./Option.js"
 import * as Predicate from "./Predicate.js"
@@ -28,7 +28,7 @@ export interface LazyArbitrary<A> {
 export interface ArbitraryGenerationContext {
   readonly maxDepth: number
   readonly depthIdentifier?: string
-  readonly constraints?: StringConstraints | NumberConstraints | BigIntConstraints | ArrayConstraints
+  readonly constraints?: StringConstraints | NumberConstraints | BigIntConstraints | DateConstraints | ArrayConstraints
 }
 
 /**
@@ -110,6 +110,8 @@ class Deferred {
       }
       case "BigIntConstraints":
         return (fc) => fc.bigInt(config.constraints)
+      case "DateConstraints":
+        return (fc) => fc.date(config.constraints)
       case "ArrayConstraints":
         return goTupleType(config.ast, ctx, path, config.constraints)
     }
@@ -232,6 +234,32 @@ export const makeArrayConstraints = (options: {
   return out
 }
 
+interface DateConstraints {
+  readonly _tag: "DateConstraints"
+  readonly constraints: FastCheck.DateConstraints
+}
+
+/** @internal */
+export const makeDateConstraints = (options: {
+  readonly min?: Date | undefined
+  readonly max?: Date | undefined
+  readonly noInvalidDate?: boolean | undefined
+}): DateConstraints => {
+  const out: Types.Mutable<DateConstraints> = {
+    _tag: "DateConstraints",
+    constraints: {
+      noInvalidDate: options.noInvalidDate ?? false
+    }
+  }
+  if (Predicate.isDate(options.min)) {
+    out.constraints.min = options.min
+  }
+  if (Predicate.isDate(options.max)) {
+    out.constraints.max = options.max
+  }
+  return out
+}
+
 interface ArrayConfig extends ArrayConstraints {
   readonly ast: AST.TupleType
 }
@@ -246,7 +274,7 @@ const makeArrayConfig = (options: {
   }
 }
 
-type Config = StringConstraints | NumberConstraints | BigIntConstraints | ArrayConfig
+type Config = StringConstraints | NumberConstraints | BigIntConstraints | DateConstraints | ArrayConfig
 
 const go = (
   ast: AST.AST,
@@ -291,8 +319,14 @@ export const toOp = (
   path: ReadonlyArray<PropertyKey>
 ): Op => {
   switch (ast._tag) {
-    case "Declaration":
+    case "Declaration": {
+      const TypeAnnotationId: any = ast.annotations[AST.SchemaIdAnnotationId]
+      switch (TypeAnnotationId) {
+        case schemaId_.DateFromSelfSchemaId:
+          return new Deferred(makeDateConstraints(ast.annotations[TypeAnnotationId] as any))
+      }
       return new Succeed(go(ast, ctx, path))
+    }
     case "Literal":
       return new Succeed((fc) => fc.constant(ast.literal))
     case "UniqueSymbol":
@@ -482,7 +516,7 @@ const goTupleType = (
   }
 }
 
-type Constraints = StringConstraints | NumberConstraints | BigIntConstraints | ArrayConstraints
+type Constraints = StringConstraints | NumberConstraints | BigIntConstraints | DateConstraints | ArrayConstraints
 
 const getConstraints = (_tag: Constraints["_tag"], ast: AST.Refinement): Constraints | undefined => {
   const TypeAnnotationId: any = ast.annotations[AST.SchemaIdAnnotationId]
@@ -493,7 +527,7 @@ const getConstraints = (_tag: Constraints["_tag"], ast: AST.Refinement): Constra
       return makeStringConstraints(jsonSchema)
     case "NumberConstraints": {
       switch (TypeAnnotationId) {
-        case filters_.NonNaNSchemaId:
+        case schemaId_.NonNaNSchemaId:
           return makeNumberConstraints({ noNaN: true })
         default:
           return makeNumberConstraints({
@@ -509,6 +543,8 @@ const getConstraints = (_tag: Constraints["_tag"], ast: AST.Refinement): Constra
     }
     case "BigIntConstraints":
       return makeBigIntConstraints(ast.annotations[TypeAnnotationId] as any)
+    case "DateConstraints":
+      return makeDateConstraints(ast.annotations[TypeAnnotationId] as any)
     case "ArrayConstraints":
       return makeArrayConstraints({
         minLength: jsonSchema.minItems,
@@ -517,21 +553,23 @@ const getConstraints = (_tag: Constraints["_tag"], ast: AST.Refinement): Constra
   }
 }
 
+function getMax(n1: Date | undefined, n2: Date | undefined): Date | undefined
 function getMax(n1: bigint | undefined, n2: bigint | undefined): bigint | undefined
 function getMax(n1: number | undefined, n2: number | undefined): number | undefined
 function getMax(
-  n1: bigint | number | undefined,
-  n2: bigint | number | undefined
-): bigint | number | undefined {
+  n1: bigint | number | Date | undefined,
+  n2: bigint | number | Date | undefined
+): bigint | number | Date | undefined {
   return n1 === undefined ? n2 : n2 === undefined ? n1 : n1 <= n2 ? n2 : n1
 }
 
+function getMin(n1: Date | undefined, n2: Date | undefined): Date | undefined
 function getMin(n1: bigint | undefined, n2: bigint | undefined): bigint | undefined
 function getMin(n1: number | undefined, n2: number | undefined): number | undefined
 function getMin(
-  n1: bigint | number | undefined,
-  n2: bigint | number | undefined
-): bigint | number | undefined {
+  n1: bigint | number | Date | undefined,
+  n2: bigint | number | Date | undefined
+): bigint | number | Date | undefined {
   return n1 === undefined ? n2 : n2 === undefined ? n1 : n1 <= n2 ? n1 : n2
 }
 
@@ -575,6 +613,16 @@ const merge = (c1: Config, c2: Constraints | undefined): Config => {
         }
         break
       }
+      case "DateConstraints": {
+        if (c2._tag === "DateConstraints") {
+          return makeDateConstraints({
+            min: getMax(c1.constraints.min, c2.constraints.min),
+            max: getMin(c1.constraints.max, c2.constraints.max),
+            noInvalidDate: getOr(c1.constraints.noInvalidDate, c2.constraints.noInvalidDate)
+          })
+        }
+        break
+      }
       case "ArrayConstraints": {
         if (c2._tag === "ArrayConstraints") {
           return makeArrayConfig({

package/src/Schema.ts

@@ -29,7 +29,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"
@@ -4482,7 +4482,7 @@ export const trimmed =
  * @category schema id
  * @since 3.10.0
  */
-export const MaxLengthSchemaId: unique symbol = filters_.MaxLengthSchemaId
+export const MaxLengthSchemaId: unique symbol = schemaId_.MaxLengthSchemaId
 
 /**
  * @category schema id
@@ -4515,7 +4515,7 @@ export const maxLength = <A extends string>(
  * @category schema id
  * @since 3.10.0
  */
-export const MinLengthSchemaId: unique symbol = filters_.MinLengthSchemaId
+export const MinLengthSchemaId: unique symbol = schemaId_.MinLengthSchemaId
 
 /**
  * @category schema id
@@ -4790,7 +4790,7 @@ export class Uppercased extends String$.pipe(
  * @category schema id
  * @since 3.10.0
  */
-export const LengthSchemaId: unique symbol = filters_.LengthSchemaId
+export const LengthSchemaId: unique symbol = schemaId_.LengthSchemaId
 
 /**
  * @category schema id
@@ -5161,7 +5161,7 @@ export {
  * @category schema id
  * @since 3.10.0
  */
-export const FiniteSchemaId: unique symbol = filters_.FiniteSchemaId
+export const FiniteSchemaId: unique symbol = schemaId_.FiniteSchemaId
 
 /**
  * @category schema id
@@ -5192,7 +5192,7 @@ export const finite =
  * @category schema id
  * @since 3.10.0
  */
-export const GreaterThanSchemaId: unique symbol = filters_.GreaterThanSchemaId
+export const GreaterThanSchemaId: unique symbol = schemaId_.GreaterThanSchemaId
 
 /**
  * @category schema id
@@ -5207,15 +5207,15 @@ export type GreaterThanSchemaId = typeof GreaterThanSchemaId
  * @since 3.10.0
  */
 export const greaterThan = <A extends number>(
-  min: number,
+  exclusiveMinimum: number,
   annotations?: Annotations.Filter<A>
 ) =>
 <I, R>(self: Schema<A, I, R>): filter<Schema<A, I, R>> =>
   self.pipe(
-    filter((a) => a > min, {
+    filter((a) => a > exclusiveMinimum, {
       schemaId: GreaterThanSchemaId,
-      description: min === 0 ? "a positive number" : `a number greater than ${min}`,
-      jsonSchema: { exclusiveMinimum: min },
+      description: exclusiveMinimum === 0 ? "a positive number" : `a number greater than ${exclusiveMinimum}`,
+      jsonSchema: { exclusiveMinimum },
       ...annotations
     })
   )
@@ -5224,7 +5224,7 @@ export const greaterThan = <A extends number>(
  * @category schema id
  * @since 3.10.0
  */
-export const GreaterThanOrEqualToSchemaId: unique symbol = filters_.GreaterThanOrEqualToSchemaId
+export const GreaterThanOrEqualToSchemaId: unique symbol = schemaId_.GreaterThanOrEqualToSchemaId
 
 /**
  * @category schema id
@@ -5239,15 +5239,15 @@ export type GreaterThanOrEqualToSchemaId = typeof GreaterThanOrEqualToSchemaId
  * @since 3.10.0
  */
 export const greaterThanOrEqualTo = <A extends number>(
-  min: number,
+  minimum: number,
   annotations?: Annotations.Filter<A>
 ) =>
 <I, R>(self: Schema<A, I, R>): filter<Schema<A, I, R>> =>
   self.pipe(
-    filter((a) => a >= min, {
+    filter((a) => a >= minimum, {
       schemaId: GreaterThanOrEqualToSchemaId,
-      description: min === 0 ? "a non-negative number" : `a number greater than or equal to ${min}`,
-      jsonSchema: { minimum: min },
+      description: minimum === 0 ? "a non-negative number" : `a number greater than or equal to ${minimum}`,
+      jsonSchema: { minimum },
       ...annotations
     })
   )
@@ -5280,7 +5280,7 @@ export const multipleOf = <A extends number>(
  * @category schema id
  * @since 3.10.0
  */
-export const IntSchemaId: unique symbol = filters_.IntSchemaId
+export const IntSchemaId: unique symbol = schemaId_.IntSchemaId
 
 /**
  * @category schema id
@@ -5308,7 +5308,7 @@ export const int =
  * @category schema id
  * @since 3.10.0
  */
-export const LessThanSchemaId: unique symbol = filters_.LessThanSchemaId
+export const LessThanSchemaId: unique symbol = schemaId_.LessThanSchemaId
 
 /**
  * @category schema id
@@ -5323,13 +5323,13 @@ export type LessThanSchemaId = typeof LessThanSchemaId
  * @since 3.10.0
  */
 export const lessThan =
-  <A extends number>(max: number, annotations?: Annotations.Filter<A>) =>
+  <A extends number>(exclusiveMaximum: number, annotations?: Annotations.Filter<A>) =>
   <I, R>(self: Schema<A, I, R>): filter<Schema<A, I, R>> =>
     self.pipe(
-      filter((a) => a < max, {
+      filter((a) => a < exclusiveMaximum, {
         schemaId: LessThanSchemaId,
-        description: max === 0 ? "a negative number" : `a number less than ${max}`,
-        jsonSchema: { exclusiveMaximum: max },
+        description: exclusiveMaximum === 0 ? "a negative number" : `a number less than ${exclusiveMaximum}`,
+        jsonSchema: { exclusiveMaximum },
         ...annotations
       })
     )
@@ -5338,7 +5338,7 @@ export const lessThan =
  * @category schema id
  * @since 3.10.0
  */
-export const LessThanOrEqualToSchemaId: unique symbol = filters_.LessThanOrEqualToSchemaId
+export const LessThanOrEqualToSchemaId: unique symbol = schemaId_.LessThanOrEqualToSchemaId
 
 /**
  * @category schema id
@@ -5353,15 +5353,15 @@ export type LessThanOrEqualToSchemaId = typeof LessThanOrEqualToSchemaId
  * @since 3.10.0
  */
 export const lessThanOrEqualTo = <A extends number>(
-  max: number,
+  maximum: number,
   annotations?: Annotations.Filter<A>
 ) =>
 <I, R>(self: Schema<A, I, R>): filter<Schema<A, I, R>> =>
   self.pipe(
-    filter((a) => a <= max, {
+    filter((a) => a <= maximum, {
       schemaId: LessThanOrEqualToSchemaId,
-      description: max === 0 ? "a non-positive number" : `a number less than or equal to ${max}`,
-      jsonSchema: { maximum: max },
+      description: maximum === 0 ? "a non-positive number" : `a number less than or equal to ${maximum}`,
+      jsonSchema: { maximum },
       ...annotations
     })
   )
@@ -5370,7 +5370,7 @@ export const lessThanOrEqualTo = <A extends number>(
  * @category schema id
  * @since 3.10.0
  */
-export const BetweenSchemaId: unique symbol = filters_.BetweenSchemaId
+export const BetweenSchemaId: unique symbol = schemaId_.BetweenSchemaId
 
 /**
  * @category schema id
@@ -5385,16 +5385,16 @@ export type BetweenSchemaId = typeof BetweenSchemaId
  * @since 3.10.0
  */
 export const between = <A extends number>(
-  min: number,
-  max: number,
+  minimum: number,
+  maximum: number,
   annotations?: Annotations.Filter<A>
 ) =>
 <I, R>(self: Schema<A, I, R>): filter<Schema<A, I, R>> =>
   self.pipe(
-    filter((a) => a >= min && a <= max, {
+    filter((a) => a >= minimum && a <= maximum, {
       schemaId: BetweenSchemaId,
-      description: `a number between ${min} and ${max}`,
-      jsonSchema: { maximum: max, minimum: min },
+      description: `a number between ${minimum} and ${maximum}`,
+      jsonSchema: { minimum, maximum },
       ...annotations
     })
   )
@@ -5403,7 +5403,7 @@ export const between = <A extends number>(
  * @category schema id
  * @since 3.10.0
  */
-export const NonNaNSchemaId: unique symbol = filters_.NonNaNSchemaId
+export const NonNaNSchemaId: unique symbol = schemaId_.NonNaNSchemaId
 
 /**
  * @category schema id
@@ -5563,7 +5563,7 @@ export class NonNegative extends Number$.pipe(
  * @category schema id
  * @since 3.10.0
  */
-export const JsonNumberSchemaId: unique symbol = filters_.JsonNumberSchemaId
+export const JsonNumberSchemaId: unique symbol = schemaId_.JsonNumberSchemaId
 
 /**
  * @category schema id
@@ -5631,7 +5631,7 @@ export {
  * @category schema id
  * @since 3.10.0
  */
-export const GreaterThanBigIntSchemaId: unique symbol = filters_.GreaterThanBigintSchemaId
+export const GreaterThanBigIntSchemaId: unique symbol = schemaId_.GreaterThanBigintSchemaId
 
 /**
  * @category schema id
@@ -5661,7 +5661,7 @@ export const greaterThanBigInt = <A extends bigint>(
  * @category schema id
  * @since 3.10.0
  */
-export const GreaterThanOrEqualToBigIntSchemaId: unique symbol = filters_.GreaterThanOrEqualToBigIntSchemaId
+export const GreaterThanOrEqualToBigIntSchemaId: unique symbol = schemaId_.GreaterThanOrEqualToBigIntSchemaId
 
 /**
  * @category schema id
@@ -5693,7 +5693,7 @@ export const greaterThanOrEqualToBigInt = <A extends bigint>(
  * @category schema id
  * @since 3.10.0
  */
-export const LessThanBigIntSchemaId: unique symbol = filters_.LessThanBigIntSchemaId
+export const LessThanBigIntSchemaId: unique symbol = schemaId_.LessThanBigIntSchemaId
 
 /**
  * @category schema id
@@ -5723,7 +5723,7 @@ export const lessThanBigInt = <A extends bigint>(
  * @category schema id
  * @since 3.10.0
  */
-export const LessThanOrEqualToBigIntSchemaId: unique symbol = filters_.LessThanOrEqualToBigIntSchemaId
+export const LessThanOrEqualToBigIntSchemaId: unique symbol = schemaId_.LessThanOrEqualToBigIntSchemaId
 
 /**
  * @category schema id
@@ -5753,7 +5753,7 @@ export const lessThanOrEqualToBigInt = <A extends bigint>(
  * @category schema id
  * @since 3.10.0
  */
-export const BetweenBigIntSchemaId: unique symbol = filters_.BetweenBigintSchemaId
+export const BetweenBigIntSchemaId: unique symbol = schemaId_.BetweenBigintSchemaId
 
 /**
  * @category schema id
@@ -5774,7 +5774,7 @@ export const betweenBigInt = <A extends bigint>(
   self.pipe(
     filter((a) => a >= min && a <= max, {
       schemaId: BetweenBigIntSchemaId,
-      [BetweenBigIntSchemaId]: { max, min },
+      [BetweenBigIntSchemaId]: { min, max },
       description: `a bigint between ${min}n and ${max}n`,
       ...annotations
     })
@@ -6406,7 +6406,7 @@ export const StringFromHex: Schema<string> = makeEncodingTransformation(
  * @category schema id
  * @since 3.10.0
  */
-export const MinItemsSchemaId: unique symbol = filters_.MinItemsSchemaId
+export const MinItemsSchemaId: unique symbol = schemaId_.MinItemsSchemaId
 
 /**
  * @category schema id
@@ -6447,7 +6447,7 @@ export const minItems = <A>(
  * @category schema id
  * @since 3.10.0
  */
-export const MaxItemsSchemaId: unique symbol = filters_.MaxItemsSchemaId
+export const MaxItemsSchemaId: unique symbol = schemaId_.MaxItemsSchemaId
 
 /**
  * @category schema id
@@ -6478,7 +6478,7 @@ export const maxItems = <A>(
  * @category schema id
  * @since 3.10.0
  */
-export const ItemsCountSchemaId: unique symbol = filters_.ItemsCountSchemaId
+export const ItemsCountSchemaId: unique symbol = schemaId_.ItemsCountSchemaId
 
 /**
  * @category schema id
@@ -6592,6 +6592,7 @@ export const validDate =
     self.pipe(
       filter((a) => !Number.isNaN(a.getTime()), {
         schemaId: ValidDateSchemaId,
+        [ValidDateSchemaId]: { noInvalidDate: true },
         description: "a valid Date",
         ...annotations
       })
@@ -6708,20 +6709,32 @@ export const BetweenDateSchemaId: unique symbol = Symbol.for("effect/SchemaId/Be
  * @since 3.10.0
  */
 export const betweenDate = <A extends Date>(
-  minimum: Date,
-  maximum: Date,
+  min: Date,
+  max: Date,
   annotations?: Annotations.Filter<A>
 ) =>
 <I, R>(self: Schema<A, I, R>): filter<Schema<A, I, R>> =>
   self.pipe(
-    filter((a) => a <= maximum && a >= minimum, {
+    filter((a) => a <= max && a >= min, {
       schemaId: BetweenDateSchemaId,
-      [BetweenDateSchemaId]: { maximum, minimum },
-      description: `a date between ${util_.formatDate(minimum)} and ${util_.formatDate(maximum)}`,
+      [BetweenDateSchemaId]: { max, min },
+      description: `a date between ${util_.formatDate(min)} and ${util_.formatDate(max)}`,
       ...annotations
     })
   )
 
+/**
+ * @category schema id
+ * @since 3.11.8
+ */
+export const DateFromSelfSchemaId: unique symbol = schemaId_.DateFromSelfSchemaId
+
+/**
+ * @category schema id
+ * @since 3.11.8
+ */
+export type DateFromSelfSchemaId = typeof DateFromSelfSchemaId
+
 /**
  * Describes a schema that accommodates potentially invalid `Date` instances,
  * such as `new Date("Invalid Date")`, without rejection.
@@ -6733,6 +6746,8 @@ export class DateFromSelf extends 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({ noInvalidDate: false }),

package/src/internal/schema/{filters.ts → schemaId.ts}

@@ -1,5 +1,10 @@
 import type * as Schema from "../../Schema.js"
 
+/** @internal */
+export const DateFromSelfSchemaId: Schema.DateFromSelfSchemaId = Symbol.for(
+  "effect/SchemaId/DateFromSelf"
+) as Schema.DateFromSelfSchemaId
+
 /** @internal */
 export const GreaterThanSchemaId: Schema.GreaterThanSchemaId = Symbol.for(
   "effect/SchemaId/GreaterThan"

package/src/internal/version.ts

@@ -1,4 +1,4 @@
-let moduleVersion = "3.11.7"
+let moduleVersion = "3.11.8"
 
 export const getCurrentVersion = () => moduleVersion
 

package/dist/cjs/internal/schema/filters.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"filters.js","names":["GreaterThanSchemaId","exports","Symbol","for","GreaterThanOrEqualToSchemaId","LessThanSchemaId","LessThanOrEqualToSchemaId","IntSchemaId","NonNaNSchemaId","FiniteSchemaId","JsonNumberSchemaId","BetweenSchemaId","GreaterThanBigintSchemaId","GreaterThanOrEqualToBigIntSchemaId","LessThanBigIntSchemaId","LessThanOrEqualToBigIntSchemaId","BetweenBigintSchemaId","MinLengthSchemaId","MaxLengthSchemaId","LengthSchemaId","MinItemsSchemaId","MaxItemsSchemaId","ItemsCountSchemaId"],"sources":["../../../../src/internal/schema/filters.ts"],"sourcesContent":[null],"mappings":";;;;;;AAEA;AACO,MAAMA,mBAAmB,GAAAC,OAAA,CAAAD,mBAAA,gBAA+BE,MAAM,CAACC,GAAG,CACvE,6BAA6B,CACA;AAE/B;AACO,MAAMC,4BAA4B,GAAAH,OAAA,CAAAG,4BAAA,gBAAwCF,MAAM,CAACC,GAAG,CACzF,sCAAsC,CACA;AAExC;AACO,MAAME,gBAAgB,GAAAJ,OAAA,CAAAI,gBAAA,gBAA4BH,MAAM,CAACC,GAAG,CACjE,0BAA0B,CACA;AAE5B;AACO,MAAMG,yBAAyB,GAAAL,OAAA,CAAAK,yBAAA,gBAAqCJ,MAAM,CAACC,GAAG,CACnF,mCAAmC,CACA;AAErC;AACO,MAAMI,WAAW,GAAAN,OAAA,CAAAM,WAAA,gBAAuBL,MAAM,CAACC,GAAG,CACvD,qBAAqB,CACA;AAEvB;AACO,MAAMK,cAAc,GAAAP,OAAA,CAAAO,cAAA,gBAA0BN,MAAM,CAACC,GAAG,CAC7D,wBAAwB,CACA;AAE1B;AACO,MAAMM,cAAc,GAAAR,OAAA,CAAAQ,cAAA,gBAA0BP,MAAM,CAACC,GAAG,CAC7D,wBAAwB,CACA;AAE1B;AACO,MAAMO,kBAAkB,GAAAT,OAAA,CAAAS,kBAAA,gBAA8BR,MAAM,CAACC,GAAG,CACrE,4BAA4B,CACA;AAE9B;AACO,MAAMQ,eAAe,GAAAV,OAAA,CAAAU,eAAA,gBAA2BT,MAAM,CAACC,GAAG,CAC/D,yBAAyB,CACA;AAE3B;AACO,MAAMS,yBAAyB,GAAAX,OAAA,CAAAW,yBAAA,gBAAqCV,MAAM,CAACC,GAAG,CACnF,mCAAmC,CACA;AAErC;AACO,MAAMU,kCAAkC,GAAAZ,OAAA,CAAAY,kCAAA,gBAA8CX,MAAM,CAACC,GAAG,CACrG,4CAA4C,CACA;AAE9C;AACO,MAAMW,sBAAsB,GAAAb,OAAA,CAAAa,sBAAA,gBAAkCZ,MAAM,CAACC,GAAG,CAC7E,gCAAgC,CACA;AAElC;AACO,MAAMY,+BAA+B,GAAAd,OAAA,CAAAc,+BAAA,gBAA2Cb,MAAM,CAACC,GAAG,CAC/F,yCAAyC,CACA;AAE3C;AACO,MAAMa,qBAAqB,GAAAf,OAAA,CAAAe,qBAAA,gBAAiCd,MAAM,CAACC,GAAG,CAC3E,+BAA+B,CACA;AAEjC;AACO,MAAMc,iBAAiB,GAAAhB,OAAA,CAAAgB,iBAAA,gBAA6Bf,MAAM,CAACC,GAAG,CACnE,2BAA2B,CACA;AAE7B;AACO,MAAMe,iBAAiB,GAAAjB,OAAA,CAAAiB,iBAAA,gBAA6BhB,MAAM,CAACC,GAAG,CACnE,2BAA2B,CACA;AAE7B;AACO,MAAMgB,cAAc,GAAAlB,OAAA,CAAAkB,cAAA,gBAA0BjB,MAAM,CAACC,GAAG,CAC7D,wBAAwB,CACA;AAE1B;AACO,MAAMiB,gBAAgB,GAAAnB,OAAA,CAAAmB,gBAAA,gBAA4BlB,MAAM,CAACC,GAAG,CACjE,0BAA0B,CACA;AAE5B;AACO,MAAMkB,gBAAgB,GAAApB,OAAA,CAAAoB,gBAAA,gBAA4BnB,MAAM,CAACC,GAAG,CACjE,0BAA0B,CACA;AAE5B;AACO,MAAMmB,kBAAkB,GAAArB,OAAA,CAAAqB,kBAAA,gBAA8BpB,MAAM,CAACC,GAAG,CACrE,4BAA4B,CACA","ignoreList":[]}

package/dist/dts/internal/schema/filters.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=filters.d.ts.map

package/dist/dts/internal/schema/filters.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"filters.d.ts","sourceRoot":"","sources":["../../../../src/internal/schema/filters.ts"],"names":[],"mappings":""}

package/dist/esm/internal/schema/filters.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"filters.js","names":["GreaterThanSchemaId","Symbol","for","GreaterThanOrEqualToSchemaId","LessThanSchemaId","LessThanOrEqualToSchemaId","IntSchemaId","NonNaNSchemaId","FiniteSchemaId","JsonNumberSchemaId","BetweenSchemaId","GreaterThanBigintSchemaId","GreaterThanOrEqualToBigIntSchemaId","LessThanBigIntSchemaId","LessThanOrEqualToBigIntSchemaId","BetweenBigintSchemaId","MinLengthSchemaId","MaxLengthSchemaId","LengthSchemaId","MinItemsSchemaId","MaxItemsSchemaId","ItemsCountSchemaId"],"sources":["../../../../src/internal/schema/filters.ts"],"sourcesContent":[null],"mappings":"AAEA;AACA,OAAO,MAAMA,mBAAmB,gBAA+BC,MAAM,CAACC,GAAG,CACvE,6BAA6B,CACA;AAE/B;AACA,OAAO,MAAMC,4BAA4B,gBAAwCF,MAAM,CAACC,GAAG,CACzF,sCAAsC,CACA;AAExC;AACA,OAAO,MAAME,gBAAgB,gBAA4BH,MAAM,CAACC,GAAG,CACjE,0BAA0B,CACA;AAE5B;AACA,OAAO,MAAMG,yBAAyB,gBAAqCJ,MAAM,CAACC,GAAG,CACnF,mCAAmC,CACA;AAErC;AACA,OAAO,MAAMI,WAAW,gBAAuBL,MAAM,CAACC,GAAG,CACvD,qBAAqB,CACA;AAEvB;AACA,OAAO,MAAMK,cAAc,gBAA0BN,MAAM,CAACC,GAAG,CAC7D,wBAAwB,CACA;AAE1B;AACA,OAAO,MAAMM,cAAc,gBAA0BP,MAAM,CAACC,GAAG,CAC7D,wBAAwB,CACA;AAE1B;AACA,OAAO,MAAMO,kBAAkB,gBAA8BR,MAAM,CAACC,GAAG,CACrE,4BAA4B,CACA;AAE9B;AACA,OAAO,MAAMQ,eAAe,gBAA2BT,MAAM,CAACC,GAAG,CAC/D,yBAAyB,CACA;AAE3B;AACA,OAAO,MAAMS,yBAAyB,gBAAqCV,MAAM,CAACC,GAAG,CACnF,mCAAmC,CACA;AAErC;AACA,OAAO,MAAMU,kCAAkC,gBAA8CX,MAAM,CAACC,GAAG,CACrG,4CAA4C,CACA;AAE9C;AACA,OAAO,MAAMW,sBAAsB,gBAAkCZ,MAAM,CAACC,GAAG,CAC7E,gCAAgC,CACA;AAElC;AACA,OAAO,MAAMY,+BAA+B,gBAA2Cb,MAAM,CAACC,GAAG,CAC/F,yCAAyC,CACA;AAE3C;AACA,OAAO,MAAMa,qBAAqB,gBAAiCd,MAAM,CAACC,GAAG,CAC3E,+BAA+B,CACA;AAEjC;AACA,OAAO,MAAMc,iBAAiB,gBAA6Bf,MAAM,CAACC,GAAG,CACnE,2BAA2B,CACA;AAE7B;AACA,OAAO,MAAMe,iBAAiB,gBAA6BhB,MAAM,CAACC,GAAG,CACnE,2BAA2B,CACA;AAE7B;AACA,OAAO,MAAMgB,cAAc,gBAA0BjB,MAAM,CAACC,GAAG,CAC7D,wBAAwB,CACA;AAE1B;AACA,OAAO,MAAMiB,gBAAgB,gBAA4BlB,MAAM,CAACC,GAAG,CACjE,0BAA0B,CACA;AAE5B;AACA,OAAO,MAAMkB,gBAAgB,gBAA4BnB,MAAM,CAACC,GAAG,CACjE,0BAA0B,CACA;AAE5B;AACA,OAAO,MAAMmB,kBAAkB,gBAA8BpB,MAAM,CAACC,GAAG,CACrE,4BAA4B,CACA","ignoreList":[]}