effect 4.0.0-beta.85 → 4.0.0-beta.86

package/dist/SchemaRepresentation.d.ts

@@ -761,137 +761,137 @@ export declare const $StringMeta: Schema.Union<readonly [Schema.Struct<{
 export declare const $String: Schema.Struct<{
     readonly _tag: Schema.tag<"String">;
     readonly annotations: Schema.optional<Schema.decodeTo<Schema.$Record<Schema.String, Schema.Unknown>, Schema.$Record<Schema.String, Schema.Codec<PrimitiveTree, PrimitiveTree, never, never>>, never, never>>;
-    readonly checks: Schema.$Array<Schema.Codec<Check<{
-        readonly _tag: "isStringFinite";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isStringBigInt";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isStringSymbol";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isTrimmed";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isUUID";
-        readonly regExp: RegExp;
-        readonly version: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | undefined;
-    } | {
-        readonly _tag: "isGUID";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isULID";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isBase64";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isBase64Url";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isStartsWith";
-        readonly startsWith: string;
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isEndsWith";
-        readonly endsWith: string;
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isIncludes";
-        readonly includes: string;
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isUppercased";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isLowercased";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isCapitalized";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isUncapitalized";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isMinLength";
-        readonly minLength: number;
-    } | {
-        readonly _tag: "isMaxLength";
-        readonly maxLength: number;
-    } | {
-        readonly _tag: "isLengthBetween";
-        readonly minimum: number;
-        readonly maximum: number;
-    } | {
-        readonly _tag: "isPattern";
-        readonly regExp: RegExp;
-    }>, Check<{
-        readonly _tag: "isStringFinite";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isStringBigInt";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isStringSymbol";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isTrimmed";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isUUID";
-        readonly regExp: RegExp;
-        readonly version: 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | undefined;
-    } | {
-        readonly _tag: "isGUID";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isULID";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isBase64";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isBase64Url";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isStartsWith";
-        readonly startsWith: string;
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isEndsWith";
-        readonly endsWith: string;
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isIncludes";
-        readonly includes: string;
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isUppercased";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isLowercased";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isCapitalized";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isUncapitalized";
-        readonly regExp: RegExp;
-    } | {
-        readonly _tag: "isMinLength";
-        readonly minLength: number;
-    } | {
-        readonly _tag: "isMaxLength";
-        readonly maxLength: number;
-    } | {
-        readonly _tag: "isLengthBetween";
-        readonly minimum: number;
-        readonly maximum: number;
-    } | {
-        readonly _tag: "isPattern";
-        readonly regExp: RegExp;
-    }>, never, never>>;
+    readonly checks: Schema.$Array<Schema.Codec<Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isStringFinite">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isStringBigInt">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isStringSymbol">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isTrimmed">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isUUID">;
+        readonly regExp: Schema.RegExp;
+        readonly version: Schema.UndefinedOr<Schema.Literals<readonly [1, 2, 3, 4, 5, 6, 7, 8]>>;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGUID">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isULID">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isBase64">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isBase64Url">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isStartsWith">;
+        readonly startsWith: Schema.String;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isEndsWith">;
+        readonly endsWith: Schema.String;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isIncludes">;
+        readonly includes: Schema.String;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isUppercased">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLowercased">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isCapitalized">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isUncapitalized">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMinLength">;
+        readonly minLength: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMaxLength">;
+        readonly maxLength: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLengthBetween">;
+        readonly minimum: Schema.Int;
+        readonly maximum: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isPattern">;
+        readonly regExp: Schema.RegExp;
+    }, "Type">>, Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isStringFinite">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isStringBigInt">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isStringSymbol">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isTrimmed">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isUUID">;
+        readonly regExp: Schema.RegExp;
+        readonly version: Schema.UndefinedOr<Schema.Literals<readonly [1, 2, 3, 4, 5, 6, 7, 8]>>;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGUID">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isULID">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isBase64">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isBase64Url">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isStartsWith">;
+        readonly startsWith: Schema.String;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isEndsWith">;
+        readonly endsWith: Schema.String;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isIncludes">;
+        readonly includes: Schema.String;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isUppercased">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLowercased">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isCapitalized">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isUncapitalized">;
+        readonly regExp: Schema.RegExp;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMinLength">;
+        readonly minLength: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMaxLength">;
+        readonly maxLength: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLengthBetween">;
+        readonly minimum: Schema.Int;
+        readonly maximum: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isPattern">;
+        readonly regExp: Schema.RegExp;
+    }, "Type">>, never, never>>;
     readonly contentMediaType: Schema.optional<Schema.String>;
     readonly contentSchema: Schema.optional<Schema.suspend<$Representation>>;
 }>;
@@ -936,51 +936,51 @@ export declare const $NumberMeta: Schema.Union<readonly [Schema.Struct<{
 export declare const $Number: Schema.Struct<{
     readonly _tag: Schema.tag<"Number">;
     readonly annotations: Schema.optional<Schema.decodeTo<Schema.$Record<Schema.String, Schema.Unknown>, Schema.$Record<Schema.String, Schema.Codec<PrimitiveTree, PrimitiveTree, never, never>>, never, never>>;
-    readonly checks: Schema.$Array<Schema.Codec<Check<{
-        readonly _tag: "isInt";
-    } | {
-        readonly _tag: "isMultipleOf";
-        readonly divisor: number;
-    } | {
-        readonly _tag: "isFinite";
-    } | {
-        readonly _tag: "isGreaterThan";
-        readonly exclusiveMinimum: number;
-    } | {
-        readonly _tag: "isGreaterThanOrEqualTo";
-        readonly minimum: number;
-    } | {
-        readonly _tag: "isLessThan";
-        readonly exclusiveMaximum: number;
-    } | {
-        readonly _tag: "isLessThanOrEqualTo";
-        readonly maximum: number;
-    } | {
+    readonly checks: Schema.$Array<Schema.Codec<Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isInt">;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMultipleOf">;
+        readonly divisor: Schema.Finite;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isFinite">;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThan">;
+        readonly exclusiveMinimum: Schema.Finite;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThanOrEqualTo">;
+        readonly minimum: Schema.Finite;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThan">;
+        readonly exclusiveMaximum: Schema.Finite;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThanOrEqualTo">;
+        readonly maximum: Schema.Finite;
+    }, "Type"> | {
         readonly _tag: "isBetween";
         readonly minimum: number;
         readonly maximum: number;
         readonly exclusiveMinimum?: boolean | undefined;
         readonly exclusiveMaximum?: boolean | undefined;
-    }>, Check<{
-        readonly _tag: "isInt";
-    } | {
-        readonly _tag: "isMultipleOf";
-        readonly divisor: number;
-    } | {
-        readonly _tag: "isFinite";
-    } | {
-        readonly _tag: "isGreaterThan";
-        readonly exclusiveMinimum: number;
-    } | {
-        readonly _tag: "isGreaterThanOrEqualTo";
-        readonly minimum: number;
-    } | {
-        readonly _tag: "isLessThan";
-        readonly exclusiveMaximum: number;
-    } | {
-        readonly _tag: "isLessThanOrEqualTo";
-        readonly maximum: number;
-    } | {
+    }>, Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isInt">;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMultipleOf">;
+        readonly divisor: Schema.Finite;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isFinite">;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThan">;
+        readonly exclusiveMinimum: Schema.Finite;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThanOrEqualTo">;
+        readonly minimum: Schema.Finite;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThan">;
+        readonly exclusiveMaximum: Schema.Finite;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThanOrEqualTo">;
+        readonly maximum: Schema.Finite;
+    }, "Type"> | {
         readonly _tag: "isBetween";
         readonly minimum: number;
         readonly maximum: number;
@@ -1019,37 +1019,37 @@ export declare const $Boolean: Schema.Struct<{
 export declare const $BigInt: Schema.Struct<{
     readonly _tag: Schema.tag<"BigInt">;
     readonly annotations: Schema.optional<Schema.decodeTo<Schema.$Record<Schema.String, Schema.Unknown>, Schema.$Record<Schema.String, Schema.Codec<PrimitiveTree, PrimitiveTree, never, never>>, never, never>>;
-    readonly checks: Schema.$Array<Schema.Codec<Check<{
-        readonly _tag: "isGreaterThanBigInt";
-        readonly exclusiveMinimum: bigint;
-    } | {
-        readonly _tag: "isGreaterThanOrEqualToBigInt";
-        readonly minimum: bigint;
-    } | {
-        readonly _tag: "isLessThanBigInt";
-        readonly exclusiveMaximum: bigint;
-    } | {
-        readonly _tag: "isLessThanOrEqualToBigInt";
-        readonly maximum: bigint;
-    } | {
+    readonly checks: Schema.$Array<Schema.Codec<Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThanBigInt">;
+        readonly exclusiveMinimum: Schema.BigInt;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThanOrEqualToBigInt">;
+        readonly minimum: Schema.BigInt;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThanBigInt">;
+        readonly exclusiveMaximum: Schema.BigInt;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThanOrEqualToBigInt">;
+        readonly maximum: Schema.BigInt;
+    }, "Type"> | {
         readonly _tag: "isBetweenBigInt";
         readonly minimum: bigint;
         readonly maximum: bigint;
         readonly exclusiveMinimum?: boolean | undefined;
         readonly exclusiveMaximum?: boolean | undefined;
-    }>, Check<{
-        readonly _tag: "isGreaterThanBigInt";
-        readonly exclusiveMinimum: bigint;
-    } | {
-        readonly _tag: "isGreaterThanOrEqualToBigInt";
-        readonly minimum: bigint;
-    } | {
-        readonly _tag: "isLessThanBigInt";
-        readonly exclusiveMaximum: bigint;
-    } | {
-        readonly _tag: "isLessThanOrEqualToBigInt";
-        readonly maximum: bigint;
-    } | {
+    }>, Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThanBigInt">;
+        readonly exclusiveMinimum: Schema.BigInt;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThanOrEqualToBigInt">;
+        readonly minimum: Schema.BigInt;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThanBigInt">;
+        readonly exclusiveMaximum: Schema.BigInt;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThanOrEqualToBigInt">;
+        readonly maximum: Schema.BigInt;
+    }, "Type"> | {
         readonly _tag: "isBetweenBigInt";
         readonly minimum: bigint;
         readonly maximum: bigint;
@@ -1155,31 +1155,31 @@ export declare const $Arrays: Schema.Struct<{
         readonly annotations: Schema.optional<Schema.decodeTo<Schema.$Record<Schema.String, Schema.Unknown>, Schema.$Record<Schema.String, Schema.Codec<PrimitiveTree, PrimitiveTree, never, never>>, never, never>>;
     }>>;
     readonly rest: Schema.$Array<Schema.suspend<$Representation>>;
-    readonly checks: Schema.$Array<Schema.Codec<Check<{
-        readonly _tag: "isMinLength";
-        readonly minLength: number;
-    } | {
-        readonly _tag: "isMaxLength";
-        readonly maxLength: number;
-    } | {
-        readonly _tag: "isLengthBetween";
-        readonly minimum: number;
-        readonly maximum: number;
-    } | {
-        readonly _tag: "isUnique";
-    }>, Check<{
-        readonly _tag: "isMinLength";
-        readonly minLength: number;
-    } | {
-        readonly _tag: "isMaxLength";
-        readonly maxLength: number;
-    } | {
-        readonly _tag: "isLengthBetween";
-        readonly minimum: number;
-        readonly maximum: number;
-    } | {
-        readonly _tag: "isUnique";
-    }>, never, never>>;
+    readonly checks: Schema.$Array<Schema.Codec<Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMinLength">;
+        readonly minLength: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMaxLength">;
+        readonly maxLength: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLengthBetween">;
+        readonly minimum: Schema.Int;
+        readonly maximum: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isUnique">;
+    }, "Type">>, Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMinLength">;
+        readonly minLength: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMaxLength">;
+        readonly maxLength: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLengthBetween">;
+        readonly minimum: Schema.Int;
+        readonly maximum: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isUnique">;
+    }, "Type">>, never, never>>;
 }>;
 /**
  * Schema for the {@link PropertySignature} type.
@@ -1244,33 +1244,33 @@ export declare const $Objects: Schema.Struct<{
         readonly parameter: Schema.suspend<$Representation>;
         readonly type: Schema.suspend<$Representation>;
     }>>;
-    readonly checks: Schema.$Array<Schema.Codec<Check<{
-        readonly _tag: "isMinProperties";
-        readonly minProperties: number;
-    } | {
-        readonly _tag: "isMaxProperties";
-        readonly maxProperties: number;
-    } | {
-        readonly _tag: "isPropertiesLengthBetween";
-        readonly minimum: number;
-        readonly maximum: number;
-    } | {
-        readonly _tag: "isPropertyNames";
-        readonly propertyNames: Representation;
-    }>, Check<{
-        readonly _tag: "isMinProperties";
-        readonly minProperties: number;
-    } | {
-        readonly _tag: "isMaxProperties";
-        readonly maxProperties: number;
-    } | {
-        readonly _tag: "isPropertiesLengthBetween";
-        readonly minimum: number;
-        readonly maximum: number;
-    } | {
-        readonly _tag: "isPropertyNames";
-        readonly propertyNames: Representation;
-    }>, never, never>>;
+    readonly checks: Schema.$Array<Schema.Codec<Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMinProperties">;
+        readonly minProperties: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMaxProperties">;
+        readonly maxProperties: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isPropertiesLengthBetween">;
+        readonly minimum: Schema.Int;
+        readonly maximum: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isPropertyNames">;
+        readonly propertyNames: Schema.suspend<$Representation>;
+    }, "Type">>, Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMinProperties">;
+        readonly minProperties: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMaxProperties">;
+        readonly maxProperties: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isPropertiesLengthBetween">;
+        readonly minimum: Schema.Int;
+        readonly maximum: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isPropertyNames">;
+        readonly propertyNames: Schema.suspend<$Representation>;
+    }, "Type">>, never, never>>;
 }>;
 /**
  * Schema for the {@link Union} representation node.
@@ -1385,67 +1385,67 @@ export declare const $Declaration: Schema.Struct<{
     readonly _tag: Schema.tag<"Declaration">;
     readonly annotations: Schema.optional<Schema.decodeTo<Schema.$Record<Schema.String, Schema.Unknown>, Schema.$Record<Schema.String, Schema.Codec<PrimitiveTree, PrimitiveTree, never, never>>, never, never>>;
     readonly typeParameters: Schema.$Array<Schema.suspend<$Representation>>;
-    readonly checks: Schema.$Array<Schema.Codec<Check<{
-        readonly _tag: "isDateValid";
-    } | {
-        readonly _tag: "isGreaterThanDate";
-        readonly exclusiveMinimum: Date;
-    } | {
-        readonly _tag: "isGreaterThanOrEqualToDate";
-        readonly minimum: Date;
-    } | {
-        readonly _tag: "isLessThanDate";
-        readonly exclusiveMaximum: Date;
-    } | {
-        readonly _tag: "isLessThanOrEqualToDate";
-        readonly maximum: Date;
-    } | {
+    readonly checks: Schema.$Array<Schema.Codec<Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isDateValid">;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThanDate">;
+        readonly exclusiveMinimum: Schema.Date;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThanOrEqualToDate">;
+        readonly minimum: Schema.Date;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThanDate">;
+        readonly exclusiveMaximum: Schema.Date;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThanOrEqualToDate">;
+        readonly maximum: Schema.Date;
+    }, "Type"> | {
         readonly _tag: "isBetweenDate";
         readonly minimum: Date;
         readonly maximum: Date;
         readonly exclusiveMinimum?: boolean | undefined;
         readonly exclusiveMaximum?: boolean | undefined;
-    } | {
-        readonly _tag: "isMinSize";
-        readonly minSize: number;
-    } | {
-        readonly _tag: "isMaxSize";
-        readonly maxSize: number;
-    } | {
-        readonly _tag: "isSizeBetween";
-        readonly minimum: number;
-        readonly maximum: number;
-    }>, Check<{
-        readonly _tag: "isDateValid";
-    } | {
-        readonly _tag: "isGreaterThanDate";
-        readonly exclusiveMinimum: Date;
-    } | {
-        readonly _tag: "isGreaterThanOrEqualToDate";
-        readonly minimum: Date;
-    } | {
-        readonly _tag: "isLessThanDate";
-        readonly exclusiveMaximum: Date;
-    } | {
-        readonly _tag: "isLessThanOrEqualToDate";
-        readonly maximum: Date;
-    } | {
+    } | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMinSize">;
+        readonly minSize: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMaxSize">;
+        readonly maxSize: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isSizeBetween">;
+        readonly minimum: Schema.Int;
+        readonly maximum: Schema.Int;
+    }, "Type">>, Check<Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isDateValid">;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThanDate">;
+        readonly exclusiveMinimum: Schema.Date;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isGreaterThanOrEqualToDate">;
+        readonly minimum: Schema.Date;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThanDate">;
+        readonly exclusiveMaximum: Schema.Date;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isLessThanOrEqualToDate">;
+        readonly maximum: Schema.Date;
+    }, "Type"> | {
         readonly _tag: "isBetweenDate";
         readonly minimum: Date;
         readonly maximum: Date;
         readonly exclusiveMinimum?: boolean | undefined;
         readonly exclusiveMaximum?: boolean | undefined;
-    } | {
-        readonly _tag: "isMinSize";
-        readonly minSize: number;
-    } | {
-        readonly _tag: "isMaxSize";
-        readonly maxSize: number;
-    } | {
-        readonly _tag: "isSizeBetween";
-        readonly minimum: number;
-        readonly maximum: number;
-    }>, never, never>>;
+    } | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMinSize">;
+        readonly minSize: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isMaxSize">;
+        readonly maxSize: Schema.Int;
+    }, "Type"> | Schema.Struct.ReadonlySide<{
+        readonly _tag: Schema.tag<"isSizeBetween">;
+        readonly minimum: Schema.Int;
+        readonly maximum: Schema.Int;
+    }, "Type">>, never, never>>;
     readonly encodedSchema: Schema.suspend<$Representation>;
 }>;
 /**