effect 3.11.5 → 3.11.7

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

@@ -3,39 +3,45 @@
 Object.defineProperty(exports, "__esModule", {
   value: true
 });
-exports.MinLengthSchemaId = exports.MinItemsSchemaId = exports.MaxLengthSchemaId = exports.MaxItemsSchemaId = exports.LessThanSchemaId = exports.LessThanOrEqualToSchemaId = exports.LessThanOrEqualToBigIntSchemaId = exports.LessThanBigIntSchemaId = exports.LengthSchemaId = exports.ItemsCountSchemaId = exports.IntSchemaId = exports.GreaterThanSchemaId = exports.GreaterThanOrEqualToSchemaId = exports.GreaterThanOrEqualToBigIntSchemaId = exports.GreaterThanBigintSchemaId = exports.BetweenSchemaId = exports.BetweenBigintSchemaId = void 0;
+exports.NonNaNSchemaId = exports.MinLengthSchemaId = exports.MinItemsSchemaId = exports.MaxLengthSchemaId = exports.MaxItemsSchemaId = exports.LessThanSchemaId = exports.LessThanOrEqualToSchemaId = exports.LessThanOrEqualToBigIntSchemaId = exports.LessThanBigIntSchemaId = exports.LengthSchemaId = exports.JsonNumberSchemaId = exports.ItemsCountSchemaId = exports.IntSchemaId = exports.GreaterThanSchemaId = exports.GreaterThanOrEqualToSchemaId = exports.GreaterThanOrEqualToBigIntSchemaId = exports.GreaterThanBigintSchemaId = exports.FiniteSchemaId = exports.BetweenSchemaId = exports.BetweenBigintSchemaId = void 0;
 /** @internal */
-const GreaterThanSchemaId = exports.GreaterThanSchemaId = /*#__PURE__*/Symbol.for("effect/schema/GreaterThan");
+const GreaterThanSchemaId = exports.GreaterThanSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/GreaterThan");
 /** @internal */
-const GreaterThanOrEqualToSchemaId = exports.GreaterThanOrEqualToSchemaId = /*#__PURE__*/Symbol.for("effect/schema/GreaterThanOrEqualTo");
+const GreaterThanOrEqualToSchemaId = exports.GreaterThanOrEqualToSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/GreaterThanOrEqualTo");
 /** @internal */
-const LessThanSchemaId = exports.LessThanSchemaId = /*#__PURE__*/Symbol.for("effect/schema/LessThan");
+const LessThanSchemaId = exports.LessThanSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/LessThan");
 /** @internal */
-const LessThanOrEqualToSchemaId = exports.LessThanOrEqualToSchemaId = /*#__PURE__*/Symbol.for("effect/schema/LessThanOrEqualTo");
+const LessThanOrEqualToSchemaId = exports.LessThanOrEqualToSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/LessThanOrEqualTo");
 /** @internal */
-const IntSchemaId = exports.IntSchemaId = /*#__PURE__*/Symbol.for("effect/schema/Int");
+const IntSchemaId = exports.IntSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Int");
 /** @internal */
-const BetweenSchemaId = exports.BetweenSchemaId = /*#__PURE__*/Symbol.for("effect/schema/Between");
+const NonNaNSchemaId = exports.NonNaNSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/NonNaN");
 /** @internal */
-const GreaterThanBigintSchemaId = exports.GreaterThanBigintSchemaId = /*#__PURE__*/Symbol.for("effect/schema/GreaterThanBigint");
+const FiniteSchemaId = exports.FiniteSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Finite");
 /** @internal */
-const GreaterThanOrEqualToBigIntSchemaId = exports.GreaterThanOrEqualToBigIntSchemaId = /*#__PURE__*/Symbol.for("effect/schema/GreaterThanOrEqualToBigint");
+const JsonNumberSchemaId = exports.JsonNumberSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/JsonNumber");
 /** @internal */
-const LessThanBigIntSchemaId = exports.LessThanBigIntSchemaId = /*#__PURE__*/Symbol.for("effect/schema/LessThanBigint");
+const BetweenSchemaId = exports.BetweenSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Between");
 /** @internal */
-const LessThanOrEqualToBigIntSchemaId = exports.LessThanOrEqualToBigIntSchemaId = /*#__PURE__*/Symbol.for("effect/schema/LessThanOrEqualToBigint");
+const GreaterThanBigintSchemaId = exports.GreaterThanBigintSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/GreaterThanBigint");
 /** @internal */
-const BetweenBigintSchemaId = exports.BetweenBigintSchemaId = /*#__PURE__*/Symbol.for("effect/schema/BetweenBigint");
+const GreaterThanOrEqualToBigIntSchemaId = exports.GreaterThanOrEqualToBigIntSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/GreaterThanOrEqualToBigint");
 /** @internal */
-const MinLengthSchemaId = exports.MinLengthSchemaId = /*#__PURE__*/Symbol.for("effect/schema/MinLength");
+const LessThanBigIntSchemaId = exports.LessThanBigIntSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/LessThanBigint");
 /** @internal */
-const MaxLengthSchemaId = exports.MaxLengthSchemaId = /*#__PURE__*/Symbol.for("effect/schema/MaxLength");
+const LessThanOrEqualToBigIntSchemaId = exports.LessThanOrEqualToBigIntSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/LessThanOrEqualToBigint");
 /** @internal */
-const LengthSchemaId = exports.LengthSchemaId = /*#__PURE__*/Symbol.for("effect/schema/Length");
+const BetweenBigintSchemaId = exports.BetweenBigintSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/BetweenBigint");
 /** @internal */
-const MinItemsSchemaId = exports.MinItemsSchemaId = /*#__PURE__*/Symbol.for("effect/schema/MinItems");
+const MinLengthSchemaId = exports.MinLengthSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/MinLength");
 /** @internal */
-const MaxItemsSchemaId = exports.MaxItemsSchemaId = /*#__PURE__*/Symbol.for("effect/schema/MaxItems");
+const MaxLengthSchemaId = exports.MaxLengthSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/MaxLength");
 /** @internal */
-const ItemsCountSchemaId = exports.ItemsCountSchemaId = /*#__PURE__*/Symbol.for("effect/schema/ItemsCount");
+const LengthSchemaId = exports.LengthSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/Length");
+/** @internal */
+const MinItemsSchemaId = exports.MinItemsSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/MinItems");
+/** @internal */
+const MaxItemsSchemaId = exports.MaxItemsSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/MaxItems");
+/** @internal */
+const ItemsCountSchemaId = exports.ItemsCountSchemaId = /*#__PURE__*/Symbol.for("effect/SchemaId/ItemsCount");
 //# sourceMappingURL=filters.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"filters.js","names":["GreaterThanSchemaId","exports","Symbol","for","GreaterThanOrEqualToSchemaId","LessThanSchemaId","LessThanOrEqualToSchemaId","IntSchemaId","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,2BAA2B,CACE;AAE/B;AACO,MAAMC,4BAA4B,GAAAH,OAAA,CAAAG,4BAAA,gBAAwCF,MAAM,CAACC,GAAG,CACzF,oCAAoC,CACE;AAExC;AACO,MAAME,gBAAgB,GAAAJ,OAAA,CAAAI,gBAAA,gBAA4BH,MAAM,CAACC,GAAG,CACjE,wBAAwB,CACE;AAE5B;AACO,MAAMG,yBAAyB,GAAAL,OAAA,CAAAK,yBAAA,gBAAqCJ,MAAM,CAACC,GAAG,CACnF,iCAAiC,CACE;AAErC;AACO,MAAMI,WAAW,GAAAN,OAAA,CAAAM,WAAA,gBAAuBL,MAAM,CAACC,GAAG,CACvD,mBAAmB,CACE;AAEvB;AACO,MAAMK,eAAe,GAAAP,OAAA,CAAAO,eAAA,gBAA2BN,MAAM,CAACC,GAAG,CAC/D,uBAAuB,CACE;AAE3B;AACO,MAAMM,yBAAyB,GAAAR,OAAA,CAAAQ,yBAAA,gBAAqCP,MAAM,CAACC,GAAG,CACnF,iCAAiC,CACE;AAErC;AACO,MAAMO,kCAAkC,GAAAT,OAAA,CAAAS,kCAAA,gBAA8CR,MAAM,CAACC,GAAG,CACrG,0CAA0C,CACE;AAE9C;AACO,MAAMQ,sBAAsB,GAAAV,OAAA,CAAAU,sBAAA,gBAAkCT,MAAM,CAACC,GAAG,CAC7E,8BAA8B,CACE;AAElC;AACO,MAAMS,+BAA+B,GAAAX,OAAA,CAAAW,+BAAA,gBAA2CV,MAAM,CAACC,GAAG,CAC/F,uCAAuC,CACE;AAE3C;AACO,MAAMU,qBAAqB,GAAAZ,OAAA,CAAAY,qBAAA,gBAAiCX,MAAM,CAACC,GAAG,CAC3E,6BAA6B,CACE;AAEjC;AACO,MAAMW,iBAAiB,GAAAb,OAAA,CAAAa,iBAAA,gBAA6BZ,MAAM,CAACC,GAAG,CACnE,yBAAyB,CACE;AAE7B;AACO,MAAMY,iBAAiB,GAAAd,OAAA,CAAAc,iBAAA,gBAA6Bb,MAAM,CAACC,GAAG,CACnE,yBAAyB,CACE;AAE7B;AACO,MAAMa,cAAc,GAAAf,OAAA,CAAAe,cAAA,gBAA0Bd,MAAM,CAACC,GAAG,CAC7D,sBAAsB,CACE;AAE1B;AACO,MAAMc,gBAAgB,GAAAhB,OAAA,CAAAgB,gBAAA,gBAA4Bf,MAAM,CAACC,GAAG,CACjE,wBAAwB,CACE;AAE5B;AACO,MAAMe,gBAAgB,GAAAjB,OAAA,CAAAiB,gBAAA,gBAA4BhB,MAAM,CAACC,GAAG,CACjE,wBAAwB,CACE;AAE5B;AACO,MAAMgB,kBAAkB,GAAAlB,OAAA,CAAAkB,kBAAA,gBAA8BjB,MAAM,CAACC,GAAG,CACrE,0BAA0B,CACE","ignoreList":[]}
+{"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/cjs/internal/version.js

@@ -4,7 +4,7 @@ Object.defineProperty(exports, "__esModule", {
   value: true
 });
 exports.setCurrentVersion = exports.getCurrentVersion = void 0;
-let moduleVersion = "3.11.5";
+let moduleVersion = "3.11.7";
 const getCurrentVersion = () => moduleVersion;
 exports.getCurrentVersion = getCurrentVersion;
 const setCurrentVersion = version => {

package/dist/dts/Arbitrary.d.ts

@@ -15,8 +15,9 @@ export interface LazyArbitrary<A> {
  * @since 3.10.0
  */
 export interface ArbitraryGenerationContext {
-    readonly depthIdentifier?: string;
     readonly maxDepth: number;
+    readonly depthIdentifier?: string;
+    readonly constraints?: StringConstraints | NumberConstraints | BigIntConstraints | ArrayConstraints;
 }
 /**
  * @category annotations
@@ -42,4 +43,23 @@ export declare const makeLazy: <A, I, R>(schema: Schema.Schema<A, I, R>) => Lazy
  * @since 3.10.0
  */
 export declare const make: <A, I, R>(schema: Schema.Schema<A, I, R>) => FastCheck.Arbitrary<A>;
+interface StringConstraints {
+    readonly _tag: "StringConstraints";
+    readonly constraints: FastCheck.StringSharedConstraints;
+    readonly pattern?: string;
+}
+interface NumberConstraints {
+    readonly _tag: "NumberConstraints";
+    readonly constraints: FastCheck.FloatConstraints;
+    readonly isInteger: boolean;
+}
+interface BigIntConstraints {
+    readonly _tag: "BigIntConstraints";
+    readonly constraints: FastCheck.BigIntConstraints;
+}
+interface ArrayConstraints {
+    readonly _tag: "ArrayConstraints";
+    readonly constraints: FastCheck.ArrayConstraints;
+}
+export {};
 //# sourceMappingURL=Arbitrary.d.ts.map

package/dist/dts/Arbitrary.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Arbitrary.d.ts","sourceRoot":"","sources":["../../src/Arbitrary.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAM3C,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAG1C;;;GAGG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,CAAC,EAAE,EAAE,OAAO,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;CAC/C;AAED;;;GAGG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAC1B;AAED;;;GAGG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,EAAE,cAAc,SAAS,aAAa,CAAC,GAAG,CAAC,GAAG,SAAS,EAAE,IAAI,CAC5F,GAAG,WAAW,EAAE;IACd,GAAG;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,cAAc,GAAG,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;KAAE;IAC7E,GAAG,EAAE,0BAA0B;CAChC,KACE,aAAa,CAAC,CAAC,CAAC,CAAA;AAErB;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,aAAa,CAAC,CAAC,CAC7C,CAAA;AAErC;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAgC,CAAA"}
+{"version":3,"file":"Arbitrary.d.ts","sourceRoot":"","sources":["../../src/Arbitrary.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAM3C,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAI1C;;;GAGG;AACH,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,CAAC,EAAE,EAAE,OAAO,SAAS,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;CAC/C;AAED;;;GAGG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,gBAAgB,CAAA;CACpG;AAED;;;GAGG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,EAAE,cAAc,SAAS,aAAa,CAAC,GAAG,CAAC,GAAG,SAAS,EAAE,IAAI,CAC5F,GAAG,WAAW,EAAE;IACd,GAAG;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,cAAc,GAAG,aAAa,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;KAAE;IAC7E,GAAG,EAAE,0BAA0B;CAChC,KACE,aAAa,CAAC,CAAC,CAAC,CAAA;AAErB;;;;;GAKG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,aAAa,CAAC,CAAC,CAC7C,CAAA;AAErC;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAgC,CAAA;AA2DpH,UAAU,iBAAiB;IACzB,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAA;IAClC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,uBAAuB,CAAA;IACvD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAC1B;AAwBD,UAAU,iBAAiB;IACzB,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAA;IAClC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,gBAAgB,CAAA;IAChD,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAC5B;AAsCD,UAAU,iBAAiB;IACzB,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAA;IAClC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,iBAAiB,CAAA;CAClD;AAoBD,UAAU,gBAAgB;IACxB,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAA;IACjC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,gBAAgB,CAAA;CACjD"}

package/dist/dts/JSONSchema.d.ts

@@ -79,6 +79,13 @@ export interface JsonSchema7empty extends JsonSchemaAnnotations {
 export interface JsonSchema7Ref extends JsonSchemaAnnotations {
     $ref: string;
 }
+/**
+ * @category model
+ * @since 3.11.7
+ */
+export interface JsonSchema7Null extends JsonSchemaAnnotations {
+    type: "null";
+}
 /**
  * @category model
  * @since 3.10.0
@@ -151,7 +158,8 @@ export interface JsonSchema7Array extends JsonSchemaAnnotations {
  * @since 3.10.0
  */
 export interface JsonSchema7Enum extends JsonSchemaAnnotations {
-    enum: Array<AST.LiteralValue>;
+    type?: "string" | "number" | "boolean";
+    enum: Array<string | number | boolean>;
 }
 /**
  * @category model
@@ -160,6 +168,7 @@ export interface JsonSchema7Enum extends JsonSchemaAnnotations {
 export interface JsonSchema7Enums extends JsonSchemaAnnotations {
     $comment: "/schemas/enums";
     anyOf: Array<{
+        type: "string" | "number";
         title: string;
         enum: [string | number];
     }>;
@@ -187,7 +196,7 @@ export interface JsonSchema7Object extends JsonSchemaAnnotations {
  * @category model
  * @since 3.10.0
  */
-export type JsonSchema7 = JsonSchema7Never | JsonSchema7Any | JsonSchema7Unknown | JsonSchema7Void | JsonSchema7object | JsonSchema7empty | JsonSchema7Ref | JsonSchema7String | JsonSchema7Number | JsonSchema7Integer | JsonSchema7Boolean | JsonSchema7Array | JsonSchema7Enum | JsonSchema7Enums | JsonSchema7AnyOf | JsonSchema7Object;
+export type JsonSchema7 = JsonSchema7Never | JsonSchema7Any | JsonSchema7Unknown | JsonSchema7Void | JsonSchema7object | JsonSchema7empty | JsonSchema7Ref | JsonSchema7Null | JsonSchema7String | JsonSchema7Number | JsonSchema7Integer | JsonSchema7Boolean | JsonSchema7Array | JsonSchema7Enum | JsonSchema7Enums | JsonSchema7AnyOf | JsonSchema7Object;
 /**
  * @category model
  * @since 3.10.0

package/dist/dts/JSONSchema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"JSONSchema.d.ts","sourceRoot":"","sources":["../../src/JSONSchema.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAC1C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAA;AAErC;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,QAAQ,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,GAAG,EAAE,gBAAgB,CAAA;IACrB,GAAG,EAAE,EAAE,CAAA;CACR;AAED;;;GAGG;AACH,MAAM,WAAW,cAAe,SAAQ,qBAAqB;IAC3D,GAAG,EAAE,cAAc,CAAA;CACpB;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,qBAAqB;IAC/D,GAAG,EAAE,kBAAkB,CAAA;CACxB;AAED;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,qBAAqB;IAC5D,GAAG,EAAE,eAAe,CAAA;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,qBAAqB;IAC9D,GAAG,EAAE,iBAAiB,CAAA;IACtB,KAAK,EAAE;QACL;YAAE,IAAI,EAAE,QAAQ,CAAA;SAAE;QAClB;YAAE,IAAI,EAAE,OAAO,CAAA;SAAE;KAClB,CAAA;CACF;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,GAAG,EAAE,aAAa,CAAA;IAClB,KAAK,EAAE;QACL;YAAE,IAAI,EAAE,QAAQ,CAAA;SAAE;QAClB;YAAE,IAAI,EAAE,OAAO,CAAA;SAAE;KAClB,CAAA;CACF;AAED;;;GAGG;AACH,MAAM,WAAW,cAAe,SAAQ,qBAAqB;IAC3D,IAAI,EAAE,MAAM,CAAA;CACb;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,qBAAqB;IAC9D,IAAI,EAAE,QAAQ,CAAA;IACd,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,KAAK,CAAC,EAAE,KAAK,CAAC;QACZ,SAAS,CAAC,EAAE,MAAM,CAAA;QAClB,SAAS,CAAC,EAAE,MAAM,CAAA;QAClB,OAAO,CAAC,EAAE,MAAM,CAAA;KACjB,CAAC,CAAA;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,qBAAqB;IAC/D,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,KAAK,CAAC,EAAE,KAAK,CAAC;QACZ,OAAO,CAAC,EAAE,MAAM,CAAA;QAChB,gBAAgB,CAAC,EAAE,MAAM,CAAA;QACzB,OAAO,CAAC,EAAE,MAAM,CAAA;QAChB,gBAAgB,CAAC,EAAE,MAAM,CAAA;QACzB,UAAU,CAAC,EAAE,MAAM,CAAA;KACpB,CAAC,CAAA;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,kBAAkB;IAC3D,IAAI,EAAE,QAAQ,CAAA;CACf;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC5D,IAAI,EAAE,SAAS,CAAA;CAChB;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,qBAAqB;IAC/D,IAAI,EAAE,SAAS,CAAA;CAChB;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,IAAI,EAAE,OAAO,CAAA;IACb,KAAK,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,CAAA;IACxC,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,eAAe,CAAC,EAAE,WAAW,GAAG,OAAO,CAAA;CACxC;AAED;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,qBAAqB;IAC5D,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;CAC9B;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,QAAQ,EAAE,gBAAgB,CAAA;IAC1B,KAAK,EAAE,KAAK,CAAC;QACX,KAAK,EAAE,MAAM,CAAA;QACb,IAAI,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;KACxB,CAAC,CAAA;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAA;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,qBAAqB;IAC9D,IAAI,EAAE,QAAQ,CAAA;IACd,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IACvB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACvC,oBAAoB,CAAC,EAAE,OAAO,GAAG,WAAW,CAAA;IAC5C,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IAC/C,aAAa,CAAC,EAAE,WAAW,CAAA;CAC5B;AAED;;;GAGG;AACH,MAAM,MAAM,WAAW,GACnB,gBAAgB,GAChB,cAAc,GACd,kBAAkB,GAClB,eAAe,GACf,iBAAiB,GACjB,gBAAgB,GAChB,cAAc,GACd,iBAAiB,GACjB,iBAAiB,GACjB,kBAAkB,GAClB,kBAAkB,GAClB,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,gBAAgB,GAChB,iBAAiB,CAAA;AAErB;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG,WAAW,GAAG;IAC1C,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;CACpC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,eAc9D,CAAA;AAED,KAAK,MAAM,GAAG,aAAa,GAAG,mBAAmB,GAAG,YAAY,CAAA;AAEhE,KAAK,yBAAyB,GAAG,MAAM,GAAG,MAAM,CAAA;AAEhD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,OAAO,QAAS,GAAG,CAAC,GAAG,WAAW;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACjD,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,yBAAyB,CAAC,EAAE,yBAAyB,CAAA;CAC/D,KAAG,WASH,CAAA"}
+{"version":3,"file":"JSONSchema.d.ts","sourceRoot":"","sources":["../../src/JSONSchema.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH,OAAO,KAAK,KAAK,MAAM,MAAM,aAAa,CAAA;AAC1C,OAAO,KAAK,GAAG,MAAM,gBAAgB,CAAA;AAErC;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,QAAQ,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAA;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,GAAG,EAAE,gBAAgB,CAAA;IACrB,GAAG,EAAE,EAAE,CAAA;CACR;AAED;;;GAGG;AACH,MAAM,WAAW,cAAe,SAAQ,qBAAqB;IAC3D,GAAG,EAAE,cAAc,CAAA;CACpB;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,qBAAqB;IAC/D,GAAG,EAAE,kBAAkB,CAAA;CACxB;AAED;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,qBAAqB;IAC5D,GAAG,EAAE,eAAe,CAAA;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,qBAAqB;IAC9D,GAAG,EAAE,iBAAiB,CAAA;IACtB,KAAK,EAAE;QACL;YAAE,IAAI,EAAE,QAAQ,CAAA;SAAE;QAClB;YAAE,IAAI,EAAE,OAAO,CAAA;SAAE;KAClB,CAAA;CACF;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,GAAG,EAAE,aAAa,CAAA;IAClB,KAAK,EAAE;QACL;YAAE,IAAI,EAAE,QAAQ,CAAA;SAAE;QAClB;YAAE,IAAI,EAAE,OAAO,CAAA;SAAE;KAClB,CAAA;CACF;AAED;;;GAGG;AACH,MAAM,WAAW,cAAe,SAAQ,qBAAqB;IAC3D,IAAI,EAAE,MAAM,CAAA;CACb;AAED;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,qBAAqB;IAC5D,IAAI,EAAE,MAAM,CAAA;CACb;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,qBAAqB;IAC9D,IAAI,EAAE,QAAQ,CAAA;IACd,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,KAAK,CAAC,EAAE,KAAK,CAAC;QACZ,SAAS,CAAC,EAAE,MAAM,CAAA;QAClB,SAAS,CAAC,EAAE,MAAM,CAAA;QAClB,OAAO,CAAC,EAAE,MAAM,CAAA;KACjB,CAAC,CAAA;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,qBAAqB;IAC/D,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,KAAK,CAAC,EAAE,KAAK,CAAC;QACZ,OAAO,CAAC,EAAE,MAAM,CAAA;QAChB,gBAAgB,CAAC,EAAE,MAAM,CAAA;QACzB,OAAO,CAAC,EAAE,MAAM,CAAA;QAChB,gBAAgB,CAAC,EAAE,MAAM,CAAA;QACzB,UAAU,CAAC,EAAE,MAAM,CAAA;KACpB,CAAC,CAAA;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,kBAAkB;IAC3D,IAAI,EAAE,QAAQ,CAAA;CACf;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,kBAAkB;IAC5D,IAAI,EAAE,SAAS,CAAA;CAChB;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,qBAAqB;IAC/D,IAAI,EAAE,SAAS,CAAA;CAChB;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,IAAI,EAAE,OAAO,CAAA;IACb,KAAK,CAAC,EAAE,WAAW,GAAG,KAAK,CAAC,WAAW,CAAC,CAAA;IACxC,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,eAAe,CAAC,EAAE,WAAW,GAAG,OAAO,CAAA;CACxC;AAED;;;GAGG;AACH,MAAM,WAAW,eAAgB,SAAQ,qBAAqB;IAC5D,IAAI,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAA;IACtC,IAAI,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAA;CACvC;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,QAAQ,EAAE,gBAAgB,CAAA;IAC1B,KAAK,EAAE,KAAK,CAAC;QACX,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAA;QACzB,KAAK,EAAE,MAAM,CAAA;QACb,IAAI,EAAE,CAAC,MAAM,GAAG,MAAM,CAAC,CAAA;KACxB,CAAC,CAAA;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAiB,SAAQ,qBAAqB;IAC7D,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAA;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,iBAAkB,SAAQ,qBAAqB;IAC9D,IAAI,EAAE,QAAQ,CAAA;IACd,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;IACvB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACvC,oBAAoB,CAAC,EAAE,OAAO,GAAG,WAAW,CAAA;IAC5C,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IAC/C,aAAa,CAAC,EAAE,WAAW,CAAA;CAC5B;AAED;;;GAGG;AACH,MAAM,MAAM,WAAW,GACnB,gBAAgB,GAChB,cAAc,GACd,kBAAkB,GAClB,eAAe,GACf,iBAAiB,GACjB,gBAAgB,GAChB,cAAc,GACd,eAAe,GACf,iBAAiB,GACjB,iBAAiB,GACjB,kBAAkB,GAClB,kBAAkB,GAClB,gBAAgB,GAChB,eAAe,GACf,gBAAgB,GAChB,gBAAgB,GAChB,iBAAiB,CAAA;AAErB;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG,WAAW,GAAG;IAC1C,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;CACpC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAG,eAoB9D,CAAA;AAED,KAAK,MAAM,GAAG,aAAa,GAAG,mBAAmB,GAAG,YAAY,CAAA;AAEhE,KAAK,yBAAyB,GAAG,MAAM,GAAG,MAAM,CAAA;AAEhD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,OAAO,QAAS,GAAG,CAAC,GAAG,WAAW;IAC7C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;IACjD,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,yBAAyB,CAAC,EAAE,yBAAyB,CAAA;CAC/D,KAAG,WASH,CAAA"}

package/dist/dts/Schema.d.ts

@@ -1,7 +1,7 @@
 /**
  * @since 3.10.0
  */
-import type { ArbitraryAnnotation } from "./Arbitrary.js";
+import type { ArbitraryAnnotation, LazyArbitrary } from "./Arbitrary.js";
 import * as array_ from "./Array.js";
 import * as bigDecimal_ from "./BigDecimal.js";
 import type { Brand } from "./Brand.js";
@@ -65,7 +65,7 @@ export interface Schema<in out A, in out I = A, out R = never> extends Schema.Va
      * Merges a set of new annotations with existing ones, potentially overwriting
      * any duplicates.
      */
-    annotations(annotations: Annotations.Schema<A>): Schema<A, I, R>;
+    annotations(annotations: Annotations.GenericSchema<A>): Schema<A, I, R>;
 }
 /**
  * @category model
@@ -101,7 +101,7 @@ export declare namespace Annotable {
  * @since 3.10.0
  */
 export interface Annotable<Self extends Schema<A, I, R>, A, I = A, R = never> extends Schema<A, I, R> {
-    annotations(annotations: Annotations.Schema<A>): Self;
+    annotations(annotations: Annotations.GenericSchema<A>): Self;
 }
 /**
  * @category annotations
@@ -2118,6 +2118,14 @@ export declare namespace Annotations {
         readonly parseOptions?: AST.ParseOptions;
         readonly decodingFallback?: AST.DecodingFallbackAnnotation<A>;
     }
+    /**
+     * @since 3.11.6
+     */
+    interface GenericSchema<A> extends Schema<A> {
+        readonly arbitrary?: (..._: any) => LazyArbitrary<A>;
+        readonly pretty?: (..._: any) => pretty_.Pretty<A>;
+        readonly equivalence?: (..._: any) => Equivalence.Equivalence<A>;
+    }
     /**
      * @since 3.10.0
      */
@@ -2139,7 +2147,7 @@ export declare const annotations: {
      * @category annotations
      * @since 3.10.0
      */
-    <S extends Annotable.All>(annotations: Annotations.Schema<Schema.Type<S>>): (self: S) => Annotable.Self<S>;
+    <S extends Annotable.All>(annotations: Annotations.GenericSchema<Schema.Type<S>>): (self: S) => Annotable.Self<S>;
     /**
      * Merges a set of new annotations with existing ones, potentially overwriting
      * any duplicates.
@@ -2147,7 +2155,7 @@ export declare const annotations: {
      * @category annotations
      * @since 3.10.0
      */
-    <S extends Annotable.All>(self: S, annotations: Annotations.Schema<Schema.Type<S>>): Annotable.Self<S>;
+    <S extends Annotable.All>(self: S, annotations: Annotations.GenericSchema<Schema.Type<S>>): Annotable.Self<S>;
 };
 type Rename<A, M> = {
     [K in keyof A as K extends keyof M ? M[K] extends PropertyKey ? M[K] : never : K]: A[K];
@@ -2583,6 +2591,11 @@ URL$ as URL };
  * @since 3.10.0
  */
 export declare const FiniteSchemaId: unique symbol;
+/**
+ * @category schema id
+ * @since 3.10.0
+ */
+export type FiniteSchemaId = typeof FiniteSchemaId;
 /**
  * Ensures that the provided value is a finite number.
  *
@@ -2707,6 +2720,11 @@ export declare const between: <A extends number>(min: number, max: number, annot
  * @since 3.10.0
  */
 export declare const NonNaNSchemaId: unique symbol;
+/**
+ * @category schema id
+ * @since 3.10.0
+ */
+export type NonNaNSchemaId = typeof NonNaNSchemaId;
 /**
  * @category number filters
  * @since 3.10.0
@@ -2817,7 +2835,12 @@ export declare class NonNegative extends NonNegative_base {
  * @since 3.10.0
  */
 export declare const JsonNumberSchemaId: unique symbol;
-declare const JsonNumber_base: filter<typeof Number$>;
+/**
+ * @category schema id
+ * @since 3.10.0
+ */
+export type JsonNumberSchemaId = typeof JsonNumberSchemaId;
+declare const JsonNumber_base: filter<Schema<number, number, never>>;
 /**
  * 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
@@ -3991,6 +4014,11 @@ type MissingSelfGeneric<Usage extends string, Params extends string = ""> = `Mis
 type RequiredKeys<T> = {
     [K in keyof T]-?: {} extends Pick<T, K> ? never : K;
 }[keyof T];
+type ClassAnnotations<Self, A> = Annotations.Schema<Self> | readonly [
+    Annotations.Schema<Self> | undefined,
+    Annotations.Schema<Self>?,
+    Annotations.Schema<A>?
+];
 /**
  * @category api interface
  * @since 3.10.0
@@ -4029,7 +4057,7 @@ export interface Class<Self, Fields extends Struct.Fields, I, R, C, Inherited, P
      * }
      * ```
      */
-    extend<Extended = never>(identifier: string): <newFields extends Struct.Fields>(fields: newFields | HasFields<newFields>, annotations?: Annotations.Schema<Extended>) => [Extended] extends [never] ? MissingSelfGeneric<"Base.extend"> : Class<Extended, Fields & newFields, I & Struct.Encoded<newFields>, R | Struct.Context<newFields>, C & Struct.Constructor<newFields>, Self, Proto>;
+    extend<Extended = never>(identifier: string): <NewFields extends Struct.Fields>(fields: NewFields | HasFields<NewFields>, annotations?: ClassAnnotations<Extended, Struct.Type<Fields & NewFields>>) => [Extended] extends [never] ? MissingSelfGeneric<"Base.extend"> : Class<Extended, Fields & NewFields, I & Struct.Encoded<NewFields>, R | Struct.Context<NewFields>, C & Struct.Constructor<NewFields>, Self, Proto>;
     /**
      * @example
      * ```ts
@@ -4059,10 +4087,10 @@ export interface Class<Self, Fields extends Struct.Fields, I, R, C, Inherited, P
      * }
      * ```
      */
-    transformOrFail<Transformed = never>(identifier: string): <newFields extends Struct.Fields, R2, R3>(fields: newFields, options: {
-        readonly decode: (input: Simplify<Struct.Type<Fields>>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<Simplify<Struct.Type<Fields & newFields>>, ParseResult.ParseIssue, R2>;
-        readonly encode: (input: Simplify<Struct.Type<Fields & newFields>>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<Struct.Type<Fields>, ParseResult.ParseIssue, R3>;
-    }, annotations?: Annotations.Schema<Transformed>) => [Transformed] extends [never] ? MissingSelfGeneric<"Base.transformOrFail"> : Class<Transformed, Fields & newFields, I, R | Struct.Context<newFields> | R2 | R3, C & Struct.Constructor<newFields>, Self, Proto>;
+    transformOrFail<Transformed = never>(identifier: string): <NewFields extends Struct.Fields, R2, R3>(fields: NewFields, options: {
+        readonly decode: (input: Simplify<Struct.Type<Fields>>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<Simplify<Struct.Type<Fields & NewFields>>, ParseResult.ParseIssue, R2>;
+        readonly encode: (input: Simplify<Struct.Type<Fields & NewFields>>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<Struct.Type<Fields>, ParseResult.ParseIssue, R3>;
+    }, annotations?: ClassAnnotations<Transformed, Struct.Type<Fields & NewFields>>) => [Transformed] extends [never] ? MissingSelfGeneric<"Base.transformOrFail"> : Class<Transformed, Fields & NewFields, I, R | Struct.Context<NewFields> | R2 | R3, C & Struct.Constructor<NewFields>, Self, Proto>;
     /**
      * @example
      * ```ts
@@ -4092,10 +4120,10 @@ export interface Class<Self, Fields extends Struct.Fields, I, R, C, Inherited, P
      * }
      * ```
      */
-    transformOrFailFrom<Transformed = never>(identifier: string): <newFields extends Struct.Fields, R2, R3>(fields: newFields, options: {
-        readonly decode: (input: Simplify<I>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<Simplify<I & Struct.Encoded<newFields>>, ParseResult.ParseIssue, R2>;
-        readonly encode: (input: Simplify<I & Struct.Encoded<newFields>>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<I, ParseResult.ParseIssue, R3>;
-    }, annotations?: Annotations.Schema<Transformed>) => [Transformed] extends [never] ? MissingSelfGeneric<"Base.transformOrFailFrom"> : Class<Transformed, Fields & newFields, I, R | Struct.Context<newFields> | R2 | R3, C & Struct.Constructor<newFields>, Self, Proto>;
+    transformOrFailFrom<Transformed = never>(identifier: string): <NewFields extends Struct.Fields, R2, R3>(fields: NewFields, options: {
+        readonly decode: (input: Simplify<I>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<Simplify<I & Struct.Encoded<NewFields>>, ParseResult.ParseIssue, R2>;
+        readonly encode: (input: Simplify<I & Struct.Encoded<NewFields>>, options: ParseOptions, ast: AST.Transformation) => Effect.Effect<I, ParseResult.ParseIssue, R3>;
+    }, annotations?: ClassAnnotations<Transformed, Struct.Type<Fields & NewFields>>) => [Transformed] extends [never] ? MissingSelfGeneric<"Base.transformOrFailFrom"> : Class<Transformed, Fields & NewFields, I, R | Struct.Context<NewFields> | R2 | R3, C & Struct.Constructor<NewFields>, Self, Proto>;
 }
 type HasFields<Fields extends Struct.Fields> = Struct<Fields> | {
     readonly [RefineSchemaId]: HasFields<Fields>;
@@ -4117,7 +4145,7 @@ type HasFields<Fields extends Struct.Fields> = Struct<Fields> | {
  * @category classes
  * @since 3.10.0
  */
-export declare const Class: <Self = never>(identifier: string) => <Fields extends Struct.Fields>(fieldsOr: Fields | HasFields<Fields>, annotations?: Annotations.Schema<Self>) => [Self] extends [never] ? MissingSelfGeneric<"Class"> : Class<Self, Fields, Struct.Encoded<Fields>, Struct.Context<Fields>, Struct.Constructor<Fields>, {}, {}>;
+export declare const Class: <Self = never>(identifier: string) => <Fields extends Struct.Fields>(fieldsOr: Fields | HasFields<Fields>, annotations?: ClassAnnotations<Self, Struct.Type<Fields>>) => [Self] extends [never] ? MissingSelfGeneric<"Class"> : Class<Self, Fields, Struct.Encoded<Fields>, Struct.Context<Fields>, Struct.Constructor<Fields>, {}, {}>;
 /**
  * @category api interface
  * @since 3.10.0
@@ -4138,7 +4166,7 @@ export interface TaggedClass<Self, Tag extends string, Fields extends Struct.Fie
  * @category classes
  * @since 3.10.0
  */
-export declare const TaggedClass: <Self = never>(identifier?: string) => <Tag extends string, Fields extends Struct.Fields>(tag: Tag, fieldsOr: Fields | HasFields<Fields>, annotations?: Annotations.Schema<Self>) => [Self] extends [never] ? MissingSelfGeneric<"TaggedClass", `"Tag", `> : TaggedClass<Self, Tag, {
+export declare const TaggedClass: <Self = never>(identifier?: string) => <Tag extends string, Fields extends Struct.Fields>(tag: Tag, fieldsOr: Fields | HasFields<Fields>, annotations?: ClassAnnotations<Self, Struct.Type<Fields>>) => [Self] extends [never] ? MissingSelfGeneric<"TaggedClass", `"Tag", `> : TaggedClass<Self, Tag, {
     readonly _tag: tag<Tag>;
 } & Fields>;
 /**
@@ -4169,7 +4197,7 @@ export interface TaggedErrorClass<Self, Tag extends string, Fields extends Struc
  * @category classes
  * @since 3.10.0
  */
-export declare const TaggedError: <Self = never>(identifier?: string) => <Tag extends string, Fields extends Struct.Fields>(tag: Tag, fieldsOr: Fields | HasFields<Fields>, annotations?: Annotations.Schema<Self>) => [Self] extends [never] ? MissingSelfGeneric<"TaggedError", `"Tag", `> : TaggedErrorClass<Self, Tag, {
+export declare const TaggedError: <Self = never>(identifier?: string) => <Tag extends string, Fields extends Struct.Fields>(tag: Tag, fieldsOr: Fields | HasFields<Fields>, annotations?: ClassAnnotations<Self, Struct.Type<Fields>>) => [Self] extends [never] ? MissingSelfGeneric<"TaggedError", `"Tag", `> : TaggedErrorClass<Self, Tag, {
     readonly _tag: tag<Tag>;
 } & Fields>;
 type MakeOptions = boolean | {