@willaimg/yatsp 4.3.6

package/v4/core/checks.d.cts

@@ -0,0 +1,294 @@
+import * as core from "./core.cjs";
+import type * as errors from "./errors.cjs";
+import type * as schemas from "./schemas.cjs";
+import * as util from "./util.cjs";
+export interface $YatspCheckDef {
+    check: string;
+    error?: errors.$YatspErrorMap<never> | undefined;
+    /** If true, no later checks will be executed if this check fails. Default `false`. */
+    abort?: boolean | undefined;
+    /** If provided, the check runs only when this returns `true`. By default, it is skipped if prior parsing produced aborting issues. */
+    when?: ((payload: schemas.ParsePayload) => boolean) | undefined;
+}
+export interface $YatspCheckInternals<T> {
+    def: $YatspCheckDef;
+    /** The set of issues this check might throw. */
+    issc?: errors.$YatspIssueBase;
+    check(payload: schemas.ParsePayload<T>): util.MaybeAsync<void>;
+    onattach: ((schema: schemas.$YatspType) => void)[];
+}
+export interface $YatspCheck<in T = never> {
+    _yatsp: $YatspCheckInternals<T>;
+}
+export declare const $YatspCheck: core.$constructor<$YatspCheck<any>>;
+export interface $YatspCheckLessThanDef extends $YatspCheckDef {
+    check: "less_than";
+    value: util.Numeric;
+    inclusive: boolean;
+}
+export interface $YatspCheckLessThanInternals<T extends util.Numeric = util.Numeric> extends $YatspCheckInternals<T> {
+    def: $YatspCheckLessThanDef;
+    issc: errors.$YatspIssueTooBig<T>;
+}
+export interface $YatspCheckLessThan<T extends util.Numeric = util.Numeric> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckLessThanInternals<T>;
+}
+export declare const $YatspCheckLessThan: core.$constructor<$YatspCheckLessThan>;
+export interface $YatspCheckGreaterThanDef extends $YatspCheckDef {
+    check: "greater_than";
+    value: util.Numeric;
+    inclusive: boolean;
+}
+export interface $YatspCheckGreaterThanInternals<T extends util.Numeric = util.Numeric> extends $YatspCheckInternals<T> {
+    def: $YatspCheckGreaterThanDef;
+    issc: errors.$YatspIssueTooSmall<T>;
+}
+export interface $YatspCheckGreaterThan<T extends util.Numeric = util.Numeric> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckGreaterThanInternals<T>;
+}
+export declare const $YatspCheckGreaterThan: core.$constructor<$YatspCheckGreaterThan>;
+export interface $YatspCheckMultipleOfDef<T extends number | bigint = number | bigint> extends $YatspCheckDef {
+    check: "multiple_of";
+    value: T;
+}
+export interface $YatspCheckMultipleOfInternals<T extends number | bigint = number | bigint> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMultipleOfDef<T>;
+    issc: errors.$YatspIssueNotMultipleOf;
+}
+export interface $YatspCheckMultipleOf<T extends number | bigint = number | bigint> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMultipleOfInternals<T>;
+}
+export declare const $YatspCheckMultipleOf: core.$constructor<$YatspCheckMultipleOf<number | bigint>>;
+export type $YatspNumberFormats = "int32" | "uint32" | "float32" | "float64" | "safeint";
+export interface $YatspCheckNumberFormatDef<Format extends $YatspNumberFormats = $YatspNumberFormats> extends $YatspCheckDef {
+    check: "number_format";
+    format: Format;
+}
+export interface $YatspCheckNumberFormatInternals<Format extends $YatspNumberFormats = $YatspNumberFormats> extends $YatspCheckInternals<number> {
+    def: $YatspCheckNumberFormatDef<Format>;
+    issc: errors.$YatspIssueInvalidType | errors.$YatspIssueTooBig<"number"> | errors.$YatspIssueTooSmall<"number">;
+}
+export interface $YatspCheckNumberFormat<Format extends $YatspNumberFormats = $YatspNumberFormats> extends $YatspCheck<number> {
+    _yatsp: $YatspCheckNumberFormatInternals<Format>;
+}
+export declare const $YatspCheckNumberFormat: core.$constructor<$YatspCheckNumberFormat>;
+export type $YatspBigIntFormats = "int64" | "uint64";
+export interface $YatspCheckBigIntFormatDef<Format extends $YatspBigIntFormats = $YatspBigIntFormats> extends $YatspCheckDef {
+    check: "bigint_format";
+    format: Format;
+}
+export interface $YatspCheckBigIntFormatInternals<Format extends $YatspBigIntFormats = $YatspBigIntFormats> extends $YatspCheckInternals<bigint> {
+    def: $YatspCheckBigIntFormatDef<Format>;
+    issc: errors.$YatspIssueTooBig<"bigint"> | errors.$YatspIssueTooSmall<"bigint">;
+}
+export interface $YatspCheckBigIntFormat<Format extends $YatspBigIntFormats = $YatspBigIntFormats> extends $YatspCheck<bigint> {
+    _yatsp: $YatspCheckBigIntFormatInternals<Format>;
+}
+export declare const $YatspCheckBigIntFormat: core.$constructor<$YatspCheckBigIntFormat>;
+export interface $YatspCheckMaxSizeDef extends $YatspCheckDef {
+    check: "max_size";
+    maximum: number;
+}
+export interface $YatspCheckMaxSizeInternals<T extends util.HasSize = util.HasSize> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMaxSizeDef;
+    issc: errors.$YatspIssueTooBig<T>;
+}
+export interface $YatspCheckMaxSize<T extends util.HasSize = util.HasSize> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMaxSizeInternals<T>;
+}
+export declare const $YatspCheckMaxSize: core.$constructor<$YatspCheckMaxSize>;
+export interface $YatspCheckMinSizeDef extends $YatspCheckDef {
+    check: "min_size";
+    minimum: number;
+}
+export interface $YatspCheckMinSizeInternals<T extends util.HasSize = util.HasSize> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMinSizeDef;
+    issc: errors.$YatspIssueTooSmall<T>;
+}
+export interface $YatspCheckMinSize<T extends util.HasSize = util.HasSize> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMinSizeInternals<T>;
+}
+export declare const $YatspCheckMinSize: core.$constructor<$YatspCheckMinSize>;
+export interface $YatspCheckSizeEqualsDef extends $YatspCheckDef {
+    check: "size_equals";
+    size: number;
+}
+export interface $YatspCheckSizeEqualsInternals<T extends util.HasSize = util.HasSize> extends $YatspCheckInternals<T> {
+    def: $YatspCheckSizeEqualsDef;
+    issc: errors.$YatspIssueTooBig<T> | errors.$YatspIssueTooSmall<T>;
+}
+export interface $YatspCheckSizeEquals<T extends util.HasSize = util.HasSize> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckSizeEqualsInternals<T>;
+}
+export declare const $YatspCheckSizeEquals: core.$constructor<$YatspCheckSizeEquals>;
+export interface $YatspCheckMaxLengthDef extends $YatspCheckDef {
+    check: "max_length";
+    maximum: number;
+}
+export interface $YatspCheckMaxLengthInternals<T extends util.HasLength = util.HasLength> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMaxLengthDef;
+    issc: errors.$YatspIssueTooBig<T>;
+}
+export interface $YatspCheckMaxLength<T extends util.HasLength = util.HasLength> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMaxLengthInternals<T>;
+}
+export declare const $YatspCheckMaxLength: core.$constructor<$YatspCheckMaxLength>;
+export interface $YatspCheckMinLengthDef extends $YatspCheckDef {
+    check: "min_length";
+    minimum: number;
+}
+export interface $YatspCheckMinLengthInternals<T extends util.HasLength = util.HasLength> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMinLengthDef;
+    issc: errors.$YatspIssueTooSmall<T>;
+}
+export interface $YatspCheckMinLength<T extends util.HasLength = util.HasLength> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMinLengthInternals<T>;
+}
+export declare const $YatspCheckMinLength: core.$constructor<$YatspCheckMinLength>;
+export interface $YatspCheckLengthEqualsDef extends $YatspCheckDef {
+    check: "length_equals";
+    length: number;
+}
+export interface $YatspCheckLengthEqualsInternals<T extends util.HasLength = util.HasLength> extends $YatspCheckInternals<T> {
+    def: $YatspCheckLengthEqualsDef;
+    issc: errors.$YatspIssueTooBig<T> | errors.$YatspIssueTooSmall<T>;
+}
+export interface $YatspCheckLengthEquals<T extends util.HasLength = util.HasLength> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckLengthEqualsInternals<T>;
+}
+export declare const $YatspCheckLengthEquals: core.$constructor<$YatspCheckLengthEquals>;
+export type $YatspStringFormats = "email" | "url" | "emoji" | "uuid" | "guid" | "nanoid" | "cuid" | "cuid2" | "ulid" | "xid" | "ksuid" | "datetime" | "date" | "time" | "duration" | "ipv4" | "ipv6" | "cidrv4" | "cidrv6" | "base64" | "base64url" | "json_string" | "e164" | "credit_card" | "iban" | "lowercase" | "uppercase" | "regex" | "jwt" | "starts_with" | "ends_with" | "includes";
+export interface $YatspCheckStringFormatDef<Format extends string = string> extends $YatspCheckDef {
+    check: "string_format";
+    format: Format;
+    pattern?: RegExp | undefined;
+}
+export interface $YatspCheckStringFormatInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckStringFormatDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckStringFormat extends $YatspCheck<string> {
+    _yatsp: $YatspCheckStringFormatInternals;
+}
+export declare const $YatspCheckStringFormat: core.$constructor<$YatspCheckStringFormat>;
+export interface $YatspCheckRegexDef extends $YatspCheckStringFormatDef {
+    format: "regex";
+    pattern: RegExp;
+}
+export interface $YatspCheckRegexInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckRegexDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckRegex extends $YatspCheck<string> {
+    _yatsp: $YatspCheckRegexInternals;
+}
+export declare const $YatspCheckRegex: core.$constructor<$YatspCheckRegex>;
+export interface $YatspCheckLowerCaseDef extends $YatspCheckStringFormatDef<"lowercase"> {
+}
+export interface $YatspCheckLowerCaseInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckLowerCaseDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckLowerCase extends $YatspCheck<string> {
+    _yatsp: $YatspCheckLowerCaseInternals;
+}
+export declare const $YatspCheckLowerCase: core.$constructor<$YatspCheckLowerCase>;
+export interface $YatspCheckUpperCaseDef extends $YatspCheckStringFormatDef<"uppercase"> {
+}
+export interface $YatspCheckUpperCaseInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckUpperCaseDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckUpperCase extends $YatspCheck<string> {
+    _yatsp: $YatspCheckUpperCaseInternals;
+}
+export declare const $YatspCheckUpperCase: core.$constructor<$YatspCheckUpperCase>;
+export interface $YatspCheckIncludesDef extends $YatspCheckStringFormatDef<"includes"> {
+    includes: string;
+    position?: number | undefined;
+}
+export interface $YatspCheckIncludesInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckIncludesDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckIncludes extends $YatspCheck<string> {
+    _yatsp: $YatspCheckIncludesInternals;
+}
+export declare const $YatspCheckIncludes: core.$constructor<$YatspCheckIncludes>;
+export interface $YatspCheckStartsWithDef extends $YatspCheckStringFormatDef<"starts_with"> {
+    prefix: string;
+}
+export interface $YatspCheckStartsWithInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckStartsWithDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckStartsWith extends $YatspCheck<string> {
+    _yatsp: $YatspCheckStartsWithInternals;
+}
+export declare const $YatspCheckStartsWith: core.$constructor<$YatspCheckStartsWith>;
+export interface $YatspCheckEndsWithDef extends $YatspCheckStringFormatDef<"ends_with"> {
+    suffix: string;
+}
+export interface $YatspCheckEndsWithInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckEndsWithDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckEndsWith extends $YatspCheckInternals<string> {
+    _yatsp: $YatspCheckEndsWithInternals;
+}
+export declare const $YatspCheckEndsWith: core.$constructor<$YatspCheckEndsWith>;
+export interface $YatspCheckPropertyDef extends $YatspCheckDef {
+    check: "property";
+    property: string;
+    schema: schemas.$YatspType;
+}
+export interface $YatspCheckPropertyInternals<T extends object = object> extends $YatspCheckInternals<T> {
+    def: $YatspCheckPropertyDef;
+    issc: errors.$YatspIssue;
+}
+export interface $YatspCheckProperty<T extends object = object> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckPropertyInternals<T>;
+}
+export declare const $YatspCheckProperty: core.$constructor<$YatspCheckProperty>;
+export interface $YatspCheckPropertiesDef<Shape extends schemas.$YatspShape = schemas.$YatspShape> extends $YatspCheckDef {
+    check: "properties";
+    shape: Shape;
+}
+export type $YatspCheckPropertiesInput<Shape extends schemas.$YatspShape = schemas.$YatspShape> = {
+    -readonly [k in keyof Shape]: util.Widen<core.input<Shape[k]>>;
+};
+export interface $YatspCheckPropertiesInternals<Shape extends schemas.$YatspShape = schemas.$YatspShape> extends $YatspCheckInternals<$YatspCheckPropertiesInput<Shape>> {
+    def: $YatspCheckPropertiesDef<Shape>;
+    issc: errors.$YatspIssue;
+}
+export interface $YatspCheckProperties<Shape extends schemas.$YatspShape = schemas.$YatspShape> extends $YatspCheck<$YatspCheckPropertiesInput<Shape>> {
+    _yatsp: $YatspCheckPropertiesInternals<Shape>;
+    [Symbol.iterator](): Iterator<this>;
+}
+export declare const $YatspCheckProperties: core.$constructor<$YatspCheckProperties>;
+export interface $YatspCheckMimeTypeDef extends $YatspCheckDef {
+    check: "mime_type";
+    mime: util.MimeTypes[];
+}
+export interface $YatspCheckMimeTypeInternals<T extends schemas.File = schemas.File> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMimeTypeDef;
+    issc: errors.$YatspIssueInvalidValue;
+}
+export interface $YatspCheckMimeType<T extends schemas.File = schemas.File> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMimeTypeInternals<T>;
+}
+export declare const $YatspCheckMimeType: core.$constructor<$YatspCheckMimeType>;
+export interface $YatspCheckOverwriteDef<T = unknown> extends $YatspCheckDef {
+    check: "overwrite";
+    tx(value: T): T;
+}
+export interface $YatspCheckOverwriteInternals<T = unknown> extends $YatspCheckInternals<T> {
+    def: $YatspCheckOverwriteDef<T>;
+    issc: never;
+}
+export interface $YatspCheckOverwrite<T = unknown> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckOverwriteInternals<T>;
+}
+export declare const $YatspCheckOverwrite: core.$constructor<$YatspCheckOverwrite>;
+export type $YatspChecks = $YatspCheckLessThan | $YatspCheckGreaterThan | $YatspCheckMultipleOf | $YatspCheckNumberFormat | $YatspCheckBigIntFormat | $YatspCheckMaxSize | $YatspCheckMinSize | $YatspCheckSizeEquals | $YatspCheckMaxLength | $YatspCheckMinLength | $YatspCheckLengthEquals | $YatspCheckStringFormat | $YatspCheckProperty | $YatspCheckMimeType | $YatspCheckOverwrite;
+export type $YatspStringFormatChecks = $YatspCheckRegex | $YatspCheckLowerCase | $YatspCheckUpperCase | $YatspCheckIncludes | $YatspCheckStartsWith | $YatspCheckEndsWith | schemas.$YatspStringFormatTypes;

package/v4/core/checks.d.ts

@@ -0,0 +1,294 @@
+import * as core from "./core.js";
+import type * as errors from "./errors.js";
+import type * as schemas from "./schemas.js";
+import * as util from "./util.js";
+export interface $YatspCheckDef {
+    check: string;
+    error?: errors.$YatspErrorMap<never> | undefined;
+    /** If true, no later checks will be executed if this check fails. Default `false`. */
+    abort?: boolean | undefined;
+    /** If provided, the check runs only when this returns `true`. By default, it is skipped if prior parsing produced aborting issues. */
+    when?: ((payload: schemas.ParsePayload) => boolean) | undefined;
+}
+export interface $YatspCheckInternals<T> {
+    def: $YatspCheckDef;
+    /** The set of issues this check might throw. */
+    issc?: errors.$YatspIssueBase;
+    check(payload: schemas.ParsePayload<T>): util.MaybeAsync<void>;
+    onattach: ((schema: schemas.$YatspType) => void)[];
+}
+export interface $YatspCheck<in T = never> {
+    _yatsp: $YatspCheckInternals<T>;
+}
+export declare const $YatspCheck: core.$constructor<$YatspCheck<any>>;
+export interface $YatspCheckLessThanDef extends $YatspCheckDef {
+    check: "less_than";
+    value: util.Numeric;
+    inclusive: boolean;
+}
+export interface $YatspCheckLessThanInternals<T extends util.Numeric = util.Numeric> extends $YatspCheckInternals<T> {
+    def: $YatspCheckLessThanDef;
+    issc: errors.$YatspIssueTooBig<T>;
+}
+export interface $YatspCheckLessThan<T extends util.Numeric = util.Numeric> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckLessThanInternals<T>;
+}
+export declare const $YatspCheckLessThan: core.$constructor<$YatspCheckLessThan>;
+export interface $YatspCheckGreaterThanDef extends $YatspCheckDef {
+    check: "greater_than";
+    value: util.Numeric;
+    inclusive: boolean;
+}
+export interface $YatspCheckGreaterThanInternals<T extends util.Numeric = util.Numeric> extends $YatspCheckInternals<T> {
+    def: $YatspCheckGreaterThanDef;
+    issc: errors.$YatspIssueTooSmall<T>;
+}
+export interface $YatspCheckGreaterThan<T extends util.Numeric = util.Numeric> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckGreaterThanInternals<T>;
+}
+export declare const $YatspCheckGreaterThan: core.$constructor<$YatspCheckGreaterThan>;
+export interface $YatspCheckMultipleOfDef<T extends number | bigint = number | bigint> extends $YatspCheckDef {
+    check: "multiple_of";
+    value: T;
+}
+export interface $YatspCheckMultipleOfInternals<T extends number | bigint = number | bigint> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMultipleOfDef<T>;
+    issc: errors.$YatspIssueNotMultipleOf;
+}
+export interface $YatspCheckMultipleOf<T extends number | bigint = number | bigint> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMultipleOfInternals<T>;
+}
+export declare const $YatspCheckMultipleOf: core.$constructor<$YatspCheckMultipleOf<number | bigint>>;
+export type $YatspNumberFormats = "int32" | "uint32" | "float32" | "float64" | "safeint";
+export interface $YatspCheckNumberFormatDef<Format extends $YatspNumberFormats = $YatspNumberFormats> extends $YatspCheckDef {
+    check: "number_format";
+    format: Format;
+}
+export interface $YatspCheckNumberFormatInternals<Format extends $YatspNumberFormats = $YatspNumberFormats> extends $YatspCheckInternals<number> {
+    def: $YatspCheckNumberFormatDef<Format>;
+    issc: errors.$YatspIssueInvalidType | errors.$YatspIssueTooBig<"number"> | errors.$YatspIssueTooSmall<"number">;
+}
+export interface $YatspCheckNumberFormat<Format extends $YatspNumberFormats = $YatspNumberFormats> extends $YatspCheck<number> {
+    _yatsp: $YatspCheckNumberFormatInternals<Format>;
+}
+export declare const $YatspCheckNumberFormat: core.$constructor<$YatspCheckNumberFormat>;
+export type $YatspBigIntFormats = "int64" | "uint64";
+export interface $YatspCheckBigIntFormatDef<Format extends $YatspBigIntFormats = $YatspBigIntFormats> extends $YatspCheckDef {
+    check: "bigint_format";
+    format: Format;
+}
+export interface $YatspCheckBigIntFormatInternals<Format extends $YatspBigIntFormats = $YatspBigIntFormats> extends $YatspCheckInternals<bigint> {
+    def: $YatspCheckBigIntFormatDef<Format>;
+    issc: errors.$YatspIssueTooBig<"bigint"> | errors.$YatspIssueTooSmall<"bigint">;
+}
+export interface $YatspCheckBigIntFormat<Format extends $YatspBigIntFormats = $YatspBigIntFormats> extends $YatspCheck<bigint> {
+    _yatsp: $YatspCheckBigIntFormatInternals<Format>;
+}
+export declare const $YatspCheckBigIntFormat: core.$constructor<$YatspCheckBigIntFormat>;
+export interface $YatspCheckMaxSizeDef extends $YatspCheckDef {
+    check: "max_size";
+    maximum: number;
+}
+export interface $YatspCheckMaxSizeInternals<T extends util.HasSize = util.HasSize> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMaxSizeDef;
+    issc: errors.$YatspIssueTooBig<T>;
+}
+export interface $YatspCheckMaxSize<T extends util.HasSize = util.HasSize> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMaxSizeInternals<T>;
+}
+export declare const $YatspCheckMaxSize: core.$constructor<$YatspCheckMaxSize>;
+export interface $YatspCheckMinSizeDef extends $YatspCheckDef {
+    check: "min_size";
+    minimum: number;
+}
+export interface $YatspCheckMinSizeInternals<T extends util.HasSize = util.HasSize> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMinSizeDef;
+    issc: errors.$YatspIssueTooSmall<T>;
+}
+export interface $YatspCheckMinSize<T extends util.HasSize = util.HasSize> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMinSizeInternals<T>;
+}
+export declare const $YatspCheckMinSize: core.$constructor<$YatspCheckMinSize>;
+export interface $YatspCheckSizeEqualsDef extends $YatspCheckDef {
+    check: "size_equals";
+    size: number;
+}
+export interface $YatspCheckSizeEqualsInternals<T extends util.HasSize = util.HasSize> extends $YatspCheckInternals<T> {
+    def: $YatspCheckSizeEqualsDef;
+    issc: errors.$YatspIssueTooBig<T> | errors.$YatspIssueTooSmall<T>;
+}
+export interface $YatspCheckSizeEquals<T extends util.HasSize = util.HasSize> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckSizeEqualsInternals<T>;
+}
+export declare const $YatspCheckSizeEquals: core.$constructor<$YatspCheckSizeEquals>;
+export interface $YatspCheckMaxLengthDef extends $YatspCheckDef {
+    check: "max_length";
+    maximum: number;
+}
+export interface $YatspCheckMaxLengthInternals<T extends util.HasLength = util.HasLength> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMaxLengthDef;
+    issc: errors.$YatspIssueTooBig<T>;
+}
+export interface $YatspCheckMaxLength<T extends util.HasLength = util.HasLength> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMaxLengthInternals<T>;
+}
+export declare const $YatspCheckMaxLength: core.$constructor<$YatspCheckMaxLength>;
+export interface $YatspCheckMinLengthDef extends $YatspCheckDef {
+    check: "min_length";
+    minimum: number;
+}
+export interface $YatspCheckMinLengthInternals<T extends util.HasLength = util.HasLength> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMinLengthDef;
+    issc: errors.$YatspIssueTooSmall<T>;
+}
+export interface $YatspCheckMinLength<T extends util.HasLength = util.HasLength> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMinLengthInternals<T>;
+}
+export declare const $YatspCheckMinLength: core.$constructor<$YatspCheckMinLength>;
+export interface $YatspCheckLengthEqualsDef extends $YatspCheckDef {
+    check: "length_equals";
+    length: number;
+}
+export interface $YatspCheckLengthEqualsInternals<T extends util.HasLength = util.HasLength> extends $YatspCheckInternals<T> {
+    def: $YatspCheckLengthEqualsDef;
+    issc: errors.$YatspIssueTooBig<T> | errors.$YatspIssueTooSmall<T>;
+}
+export interface $YatspCheckLengthEquals<T extends util.HasLength = util.HasLength> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckLengthEqualsInternals<T>;
+}
+export declare const $YatspCheckLengthEquals: core.$constructor<$YatspCheckLengthEquals>;
+export type $YatspStringFormats = "email" | "url" | "emoji" | "uuid" | "guid" | "nanoid" | "cuid" | "cuid2" | "ulid" | "xid" | "ksuid" | "datetime" | "date" | "time" | "duration" | "ipv4" | "ipv6" | "cidrv4" | "cidrv6" | "base64" | "base64url" | "json_string" | "e164" | "credit_card" | "iban" | "lowercase" | "uppercase" | "regex" | "jwt" | "starts_with" | "ends_with" | "includes";
+export interface $YatspCheckStringFormatDef<Format extends string = string> extends $YatspCheckDef {
+    check: "string_format";
+    format: Format;
+    pattern?: RegExp | undefined;
+}
+export interface $YatspCheckStringFormatInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckStringFormatDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckStringFormat extends $YatspCheck<string> {
+    _yatsp: $YatspCheckStringFormatInternals;
+}
+export declare const $YatspCheckStringFormat: core.$constructor<$YatspCheckStringFormat>;
+export interface $YatspCheckRegexDef extends $YatspCheckStringFormatDef {
+    format: "regex";
+    pattern: RegExp;
+}
+export interface $YatspCheckRegexInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckRegexDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckRegex extends $YatspCheck<string> {
+    _yatsp: $YatspCheckRegexInternals;
+}
+export declare const $YatspCheckRegex: core.$constructor<$YatspCheckRegex>;
+export interface $YatspCheckLowerCaseDef extends $YatspCheckStringFormatDef<"lowercase"> {
+}
+export interface $YatspCheckLowerCaseInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckLowerCaseDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckLowerCase extends $YatspCheck<string> {
+    _yatsp: $YatspCheckLowerCaseInternals;
+}
+export declare const $YatspCheckLowerCase: core.$constructor<$YatspCheckLowerCase>;
+export interface $YatspCheckUpperCaseDef extends $YatspCheckStringFormatDef<"uppercase"> {
+}
+export interface $YatspCheckUpperCaseInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckUpperCaseDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckUpperCase extends $YatspCheck<string> {
+    _yatsp: $YatspCheckUpperCaseInternals;
+}
+export declare const $YatspCheckUpperCase: core.$constructor<$YatspCheckUpperCase>;
+export interface $YatspCheckIncludesDef extends $YatspCheckStringFormatDef<"includes"> {
+    includes: string;
+    position?: number | undefined;
+}
+export interface $YatspCheckIncludesInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckIncludesDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckIncludes extends $YatspCheck<string> {
+    _yatsp: $YatspCheckIncludesInternals;
+}
+export declare const $YatspCheckIncludes: core.$constructor<$YatspCheckIncludes>;
+export interface $YatspCheckStartsWithDef extends $YatspCheckStringFormatDef<"starts_with"> {
+    prefix: string;
+}
+export interface $YatspCheckStartsWithInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckStartsWithDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckStartsWith extends $YatspCheck<string> {
+    _yatsp: $YatspCheckStartsWithInternals;
+}
+export declare const $YatspCheckStartsWith: core.$constructor<$YatspCheckStartsWith>;
+export interface $YatspCheckEndsWithDef extends $YatspCheckStringFormatDef<"ends_with"> {
+    suffix: string;
+}
+export interface $YatspCheckEndsWithInternals extends $YatspCheckInternals<string> {
+    def: $YatspCheckEndsWithDef;
+    issc: errors.$YatspIssueInvalidStringFormat;
+}
+export interface $YatspCheckEndsWith extends $YatspCheckInternals<string> {
+    _yatsp: $YatspCheckEndsWithInternals;
+}
+export declare const $YatspCheckEndsWith: core.$constructor<$YatspCheckEndsWith>;
+export interface $YatspCheckPropertyDef extends $YatspCheckDef {
+    check: "property";
+    property: string;
+    schema: schemas.$YatspType;
+}
+export interface $YatspCheckPropertyInternals<T extends object = object> extends $YatspCheckInternals<T> {
+    def: $YatspCheckPropertyDef;
+    issc: errors.$YatspIssue;
+}
+export interface $YatspCheckProperty<T extends object = object> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckPropertyInternals<T>;
+}
+export declare const $YatspCheckProperty: core.$constructor<$YatspCheckProperty>;
+export interface $YatspCheckPropertiesDef<Shape extends schemas.$YatspShape = schemas.$YatspShape> extends $YatspCheckDef {
+    check: "properties";
+    shape: Shape;
+}
+export type $YatspCheckPropertiesInput<Shape extends schemas.$YatspShape = schemas.$YatspShape> = {
+    -readonly [k in keyof Shape]: util.Widen<core.input<Shape[k]>>;
+};
+export interface $YatspCheckPropertiesInternals<Shape extends schemas.$YatspShape = schemas.$YatspShape> extends $YatspCheckInternals<$YatspCheckPropertiesInput<Shape>> {
+    def: $YatspCheckPropertiesDef<Shape>;
+    issc: errors.$YatspIssue;
+}
+export interface $YatspCheckProperties<Shape extends schemas.$YatspShape = schemas.$YatspShape> extends $YatspCheck<$YatspCheckPropertiesInput<Shape>> {
+    _yatsp: $YatspCheckPropertiesInternals<Shape>;
+    [Symbol.iterator](): Iterator<this>;
+}
+export declare const $YatspCheckProperties: core.$constructor<$YatspCheckProperties>;
+export interface $YatspCheckMimeTypeDef extends $YatspCheckDef {
+    check: "mime_type";
+    mime: util.MimeTypes[];
+}
+export interface $YatspCheckMimeTypeInternals<T extends schemas.File = schemas.File> extends $YatspCheckInternals<T> {
+    def: $YatspCheckMimeTypeDef;
+    issc: errors.$YatspIssueInvalidValue;
+}
+export interface $YatspCheckMimeType<T extends schemas.File = schemas.File> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckMimeTypeInternals<T>;
+}
+export declare const $YatspCheckMimeType: core.$constructor<$YatspCheckMimeType>;
+export interface $YatspCheckOverwriteDef<T = unknown> extends $YatspCheckDef {
+    check: "overwrite";
+    tx(value: T): T;
+}
+export interface $YatspCheckOverwriteInternals<T = unknown> extends $YatspCheckInternals<T> {
+    def: $YatspCheckOverwriteDef<T>;
+    issc: never;
+}
+export interface $YatspCheckOverwrite<T = unknown> extends $YatspCheck<T> {
+    _yatsp: $YatspCheckOverwriteInternals<T>;
+}
+export declare const $YatspCheckOverwrite: core.$constructor<$YatspCheckOverwrite>;
+export type $YatspChecks = $YatspCheckLessThan | $YatspCheckGreaterThan | $YatspCheckMultipleOf | $YatspCheckNumberFormat | $YatspCheckBigIntFormat | $YatspCheckMaxSize | $YatspCheckMinSize | $YatspCheckSizeEquals | $YatspCheckMaxLength | $YatspCheckMinLength | $YatspCheckLengthEquals | $YatspCheckStringFormat | $YatspCheckProperty | $YatspCheckMimeType | $YatspCheckOverwrite;
+export type $YatspStringFormatChecks = $YatspCheckRegex | $YatspCheckLowerCase | $YatspCheckUpperCase | $YatspCheckIncludes | $YatspCheckStartsWith | $YatspCheckEndsWith | schemas.$YatspStringFormatTypes;