@arrirpc/schema 0.73.0 → 0.74.0

package/dist/shared/{schema.DLX0nTwB.d.cts → schema.BYXPajpl.d.cts}

@@ -1,84 +1,80 @@
 import { Type } from '@arrirpc/type-defs';
 import { StandardSchemaV1 } from '@standard-schema/spec';
 
-declare function sanitizeJson(json: string): string;
-/**
- * Check if the input matches the specified schema. This is a type guard.
- */
-declare function validate<T = any>(schema: ASchema<T>, input: unknown): input is T;
-/**
- * Parse a JSON string or the result of JSON.parse(). Throws a ValidationError if parsing fails.
- */
-declare function parse<T = any>(schema: ASchema<T>, input: unknown): T;
-/**
- * Parse a value without throwing an error.
- */
-declare function safeParse<T = any>(schema: ASchema<T>, input: unknown): SafeResult<T>;
-/**
- * Try to convert input to match the specified schema. Throws a ValidationError if conversion fails.
- */
-declare function coerce<T = any>(schema: ASchema<T>, input: unknown): T;
-type SafeResult<T> = {
-    success: true;
-    value: T;
-} | {
-    success: false;
-    error: ValidationError;
-};
-/**
- * Convert a value into the specified schema without throwing an error.
- */
-declare function safeCoerce<T = any>(schema: ASchema<T>, input: unknown): SafeResult<T>;
-/**
- * Serialize a value into a JSON string
- */
-declare function serialize<T = any>(schema: ASchema<T>, input: T): string;
-declare function errors(schema: ASchema, input: unknown): ValueError[];
 interface ValueError {
+    /**
+     * Error message
+     */
+    message: string;
+    /**
+     * A JSON Pointer ([RFC 6901](https://datatracker.ietf.org/doc/html/rfc6901)) pointing to where in the input is invalid
+     */
     instancePath: string;
-    schemaPath: string;
-    message?: string;
+    /**
+     * A JSON Pointer ([RFC 6901](https://datatracker.ietf.org/doc/html/rfc6901)) pointing to the part of the schema that rejected the input
+     */
+    schemaPath?: string;
+    /**
+     * Arbitrary data that can be included with the error
+     */
     data?: any;
 }
-declare class ValidationError extends Error {
+declare function isValueError(input: unknown): input is ValueError;
+declare function errorMessageFromErrors(errors: ValueError[]): string;
+declare class ValidationException extends Error {
     errors: ValueError[];
     constructor(options: {
-        message: string;
+        message?: string;
         errors: ValueError[];
     });
 }
-declare function isValidationError(input: unknown): input is ValidationError;
+declare function isValidationException(input: unknown): input is ValidationException;
+type Result<T> = ResultSuccess<T> | ResultFailure;
+type ResultSuccess<T> = {
+    success: true;
+    value: T;
+};
+type ResultFailure = {
+    success: false;
+    errors: ValueError[];
+};
 
-declare const SCHEMA_METADATA: unique symbol;
 type MaybeNullable<T = any, TIsNullable extends boolean = false> = TIsNullable extends true ? T | null : T;
 interface ValidationContext {
     instancePath: string;
     schemaPath: string;
     errors: ValueError[];
+    exitOnFirstError: boolean;
+    depth: number;
+    maxDepth: number;
     discriminatorKey?: string;
     discriminatorValue?: string;
 }
+declare function newValidationContext(exitOnFirstError?: boolean, maxDepth?: number): ValidationContext;
+declare const VALIDATOR_KEY: " Symbol.for(arri/schema/validator/v1)";
 interface SchemaValidator<T> {
     output: T;
     optional?: boolean;
+    validate: (input: unknown) => input is T;
     parse: (input: unknown, context: ValidationContext) => T | undefined;
     coerce: (input: unknown, context: ValidationContext) => T | undefined;
-    serialize: (input: T, context: ValidationContext) => string;
-    validate: (input: unknown) => input is T;
-    _isAdapted?: boolean;
+    serialize: (input: T, context: ValidationContext) => string | undefined;
 }
-interface SchemaMetadata<T> {
+interface SchemaMetadata {
     [key: string]: any;
     id?: string;
     description?: string;
     isDeprecated?: boolean;
-    [SCHEMA_METADATA]: SchemaValidator<T>;
 }
-interface ASchema<T = any> extends StandardSchemaV1<T> {
-    metadata: SchemaMetadata<T>;
+type WithAdapters<T = any> = StandardSchemaV1<T>;
+interface ASchema<T = any> {
+    metadata?: SchemaMetadata;
     nullable?: boolean;
+    [VALIDATOR_KEY]: SchemaValidator<T>;
 }
+type ASchemaStrict<TSchema extends ASchema> = Omit<TSchema, typeof VALIDATOR_KEY>;
 declare function isASchema(input: unknown): input is ASchema;
+type ASchemaWithAdapters<T = any> = ASchema<T> & WithAdapters<T>;
 interface ASchemaOptions {
     id?: string;
     description?: string;
@@ -89,7 +85,7 @@ type ResolveObject<T> = Resolve<{
     [k in keyof T]: T[k];
 }>;
 type PartialBy<T, K extends keyof T> = Omit<T, K> & Partial<Pick<T, K>>;
-type InferType<TInput extends ASchema<any>> = Resolve<TInput['metadata'][typeof SCHEMA_METADATA]['output']>;
+type InferType<TInput extends ASchema<any>> = Resolve<TInput[typeof VALIDATOR_KEY]['output']>;
 /**
  * Infer a specific subtype of a discriminated union.
  * In order for this to work you must first infer the union type using `a.infer`
@@ -125,31 +121,37 @@ interface AScalarSchema<T extends Type | NumberType = any, TVal = any> extends A
     type: T;
 }
 declare function isAScalarSchema(input: unknown): input is AScalarSchema;
+type AScalarSchemaWithAdapters<T extends Type | NumberType = any, TVal = any> = AScalarSchema<T, TVal> & WithAdapters<TVal>;
 declare const NumberTypeValues: readonly ["float32", "float64", "int8", "int16", "int32", "int64", "uint8", "uint16", "uint32", "uint64"];
 type NumberType = (typeof NumberTypeValues)[number];
 interface AArraySchema<TInnerSchema extends ASchema<any> = any> extends ASchema<Array<InferType<TInnerSchema>>> {
     elements: TInnerSchema;
 }
 declare function isAAraySchema(input: unknown): input is AArraySchema;
+type AArraySchemaWithAdapters<TInnerSchema extends ASchema<any> = any> = AArraySchema<TInnerSchema> & WithAdapters<InferType<TInnerSchema>[]>;
 interface AStringEnumSchema<TValues extends string[]> extends ASchema<TValues[number]> {
     enum: TValues;
 }
 declare function isAStringEnumSchema(input: unknown): input is AStringEnumSchema<any>;
+type AStringEnumSchemaWithAdapters<T extends string[]> = AStringEnumSchema<T> & WithAdapters<T[number]>;
 interface ADiscriminatorSchema<T> extends ASchema<T> {
     discriminator: string;
     mapping: Record<string, AObjectSchema<any>>;
 }
 declare function isADiscriminatorSchema(input: unknown): input is ADiscriminatorSchema<any>;
-interface ARecordSchema<TInnerSchema extends ASchema<any>, TNullable extends boolean = false> extends ASchema<MaybeNullable<Record<string, InferType<TInnerSchema>>, TNullable>> {
+type ADiscriminatorSchemaWithAdapters<T> = ADiscriminatorSchema<T> & WithAdapters<T>;
+interface ARecordSchema<TInnerSchema extends ASchema<any>> extends ASchema<Record<string, InferType<TInnerSchema>>> {
     values: TInnerSchema;
 }
-declare function isARecordSchema(input: unknown): input is ARecordSchema<any, any>;
+declare function isARecordSchema(input: unknown): input is ARecordSchema<any>;
+type ARecordSchemaWithAdapters<TInnerSchema extends ASchema<any>> = ARecordSchema<TInnerSchema> & WithAdapters<Record<string, InferType<TInnerSchema>>>;
 interface AObjectSchema<TVal = any, TStrict extends boolean = false> extends ASchema<TVal> {
     properties: Record<string, ASchema>;
     optionalProperties?: Record<string, ASchema>;
     strict?: TStrict;
 }
 declare function isAObjectSchema(input: unknown): input is AObjectSchema;
+type AObjectSchemaWithAdapters<T = any, TStrict extends boolean = false> = AObjectSchema<T, TStrict> & WithAdapters<T>;
 interface AObjectSchemaOptions<TAdditionalProps extends boolean = false> extends ASchemaOptions {
     /**
      * Allow this object to include additional properties not specified here
@@ -158,12 +160,13 @@ interface AObjectSchemaOptions<TAdditionalProps extends boolean = false> extends
 }
 type InferObjectOutput<TInput = any> = ResolveObject<InferObjectRawType<TInput>>;
 type InferObjectRawType<TInput> = TInput extends Record<any, any> ? {
-    [TKey in keyof TInput]: TInput[TKey]['metadata'][typeof SCHEMA_METADATA]['optional'] extends true ? TInput[TKey]['metadata'][typeof SCHEMA_METADATA]['output'] | undefined : TInput[TKey]['metadata'][typeof SCHEMA_METADATA]['output'];
+    [TKey in keyof TInput]: TInput[TKey][typeof VALIDATOR_KEY]['optional'] extends true ? TInput[TKey][typeof VALIDATOR_KEY]['output'] | undefined : TInput[TKey][typeof VALIDATOR_KEY]['output'];
 } : never;
 declare function isObject(input: unknown): input is Record<any, any>;
 interface ARefSchema<T> extends ASchema<T> {
     ref: string;
 }
 declare function isARefSchema(input: unknown): input is ARefSchema<any>;
+type ARefSchemaWithAdapters<T> = ARefSchema<T> & WithAdapters<T>;
 
-export { type ASchema as A, type Resolve as B, isAScalarSchema as C, type NumberType as D, isAAraySchema as E, isAStringEnumSchema as F, isADiscriminatorSchema as G, isARecordSchema as H, type InferType as I, isAObjectSchema as J, type InferObjectRawType as K, isObject as L, type MaybeNullable as M, NumberTypeValues as N, isARefSchema as O, type PartialBy as P, type ResolveObject as R, type SafeResult as S, type ValidationContext as V, type ASchemaOptions as a, type AArraySchema as b, type AScalarSchema as c, type AObjectSchema as d, type ADiscriminatorSchema as e, type AStringEnumSchema as f, type AObjectSchemaOptions as g, type InferObjectOutput as h, type ARecordSchema as i, type ARefSchema as j, coerce as k, errors as l, type InferSubType as m, safeParse as n, serialize as o, parse as p, sanitizeJson as q, type ValueError as r, safeCoerce as s, ValidationError as t, isValidationError as u, validate as v, SCHEMA_METADATA as w, type SchemaValidator as x, type SchemaMetadata as y, isASchema as z };
+export { type ASchema as A, type Resolve as B, type AScalarSchema as C, isAScalarSchema as D, type NumberType as E, isAAraySchema as F, type AArraySchemaWithAdapters as G, type AStringEnumSchema as H, type InferType as I, isAStringEnumSchema as J, type ADiscriminatorSchema as K, isADiscriminatorSchema as L, type MaybeNullable as M, NumberTypeValues as N, type ARecordSchema as O, type PartialBy as P, isARecordSchema as Q, type Result as R, type SchemaValidator as S, isAObjectSchema as T, type InferObjectRawType as U, type ValidationContext as V, type WithAdapters as W, isObject as X, isARefSchema as Y, type ARefSchemaWithAdapters as Z, type ASchemaStrict as a, type ASchemaOptions as b, type ASchemaWithAdapters as c, type AArraySchema as d, type AScalarSchemaWithAdapters as e, type AObjectSchema as f, type ADiscriminatorSchemaWithAdapters as g, type ResolveObject as h, type AStringEnumSchemaWithAdapters as i, type AObjectSchemaOptions as j, type AObjectSchemaWithAdapters as k, type InferObjectOutput as l, type ARecordSchemaWithAdapters as m, type ARefSchema as n, type ValueError as o, type InferSubType as p, isValueError as q, errorMessageFromErrors as r, ValidationException as s, isValidationException as t, type ResultSuccess as u, type ResultFailure as v, newValidationContext as w, VALIDATOR_KEY as x, type SchemaMetadata as y, isASchema as z };

package/dist/shared/{schema.DLX0nTwB.d.mts → schema.BYXPajpl.d.mts}

@@ -1,84 +1,80 @@
 import { Type } from '@arrirpc/type-defs';
 import { StandardSchemaV1 } from '@standard-schema/spec';
 
-declare function sanitizeJson(json: string): string;
-/**
- * Check if the input matches the specified schema. This is a type guard.
- */
-declare function validate<T = any>(schema: ASchema<T>, input: unknown): input is T;
-/**
- * Parse a JSON string or the result of JSON.parse(). Throws a ValidationError if parsing fails.
- */
-declare function parse<T = any>(schema: ASchema<T>, input: unknown): T;
-/**
- * Parse a value without throwing an error.
- */
-declare function safeParse<T = any>(schema: ASchema<T>, input: unknown): SafeResult<T>;
-/**
- * Try to convert input to match the specified schema. Throws a ValidationError if conversion fails.
- */
-declare function coerce<T = any>(schema: ASchema<T>, input: unknown): T;
-type SafeResult<T> = {
-    success: true;
-    value: T;
-} | {
-    success: false;
-    error: ValidationError;
-};
-/**
- * Convert a value into the specified schema without throwing an error.
- */
-declare function safeCoerce<T = any>(schema: ASchema<T>, input: unknown): SafeResult<T>;
-/**
- * Serialize a value into a JSON string
- */
-declare function serialize<T = any>(schema: ASchema<T>, input: T): string;
-declare function errors(schema: ASchema, input: unknown): ValueError[];
 interface ValueError {
+    /**
+     * Error message
+     */
+    message: string;
+    /**
+     * A JSON Pointer ([RFC 6901](https://datatracker.ietf.org/doc/html/rfc6901)) pointing to where in the input is invalid
+     */
     instancePath: string;
-    schemaPath: string;
-    message?: string;
+    /**
+     * A JSON Pointer ([RFC 6901](https://datatracker.ietf.org/doc/html/rfc6901)) pointing to the part of the schema that rejected the input
+     */
+    schemaPath?: string;
+    /**
+     * Arbitrary data that can be included with the error
+     */
     data?: any;
 }
-declare class ValidationError extends Error {
+declare function isValueError(input: unknown): input is ValueError;
+declare function errorMessageFromErrors(errors: ValueError[]): string;
+declare class ValidationException extends Error {
     errors: ValueError[];
     constructor(options: {
-        message: string;
+        message?: string;
         errors: ValueError[];
     });
 }
-declare function isValidationError(input: unknown): input is ValidationError;
+declare function isValidationException(input: unknown): input is ValidationException;
+type Result<T> = ResultSuccess<T> | ResultFailure;
+type ResultSuccess<T> = {
+    success: true;
+    value: T;
+};
+type ResultFailure = {
+    success: false;
+    errors: ValueError[];
+};
 
-declare const SCHEMA_METADATA: unique symbol;
 type MaybeNullable<T = any, TIsNullable extends boolean = false> = TIsNullable extends true ? T | null : T;
 interface ValidationContext {
     instancePath: string;
     schemaPath: string;
     errors: ValueError[];
+    exitOnFirstError: boolean;
+    depth: number;
+    maxDepth: number;
     discriminatorKey?: string;
     discriminatorValue?: string;
 }
+declare function newValidationContext(exitOnFirstError?: boolean, maxDepth?: number): ValidationContext;
+declare const VALIDATOR_KEY: " Symbol.for(arri/schema/validator/v1)";
 interface SchemaValidator<T> {
     output: T;
     optional?: boolean;
+    validate: (input: unknown) => input is T;
     parse: (input: unknown, context: ValidationContext) => T | undefined;
     coerce: (input: unknown, context: ValidationContext) => T | undefined;
-    serialize: (input: T, context: ValidationContext) => string;
-    validate: (input: unknown) => input is T;
-    _isAdapted?: boolean;
+    serialize: (input: T, context: ValidationContext) => string | undefined;
 }
-interface SchemaMetadata<T> {
+interface SchemaMetadata {
     [key: string]: any;
     id?: string;
     description?: string;
     isDeprecated?: boolean;
-    [SCHEMA_METADATA]: SchemaValidator<T>;
 }
-interface ASchema<T = any> extends StandardSchemaV1<T> {
-    metadata: SchemaMetadata<T>;
+type WithAdapters<T = any> = StandardSchemaV1<T>;
+interface ASchema<T = any> {
+    metadata?: SchemaMetadata;
     nullable?: boolean;
+    [VALIDATOR_KEY]: SchemaValidator<T>;
 }
+type ASchemaStrict<TSchema extends ASchema> = Omit<TSchema, typeof VALIDATOR_KEY>;
 declare function isASchema(input: unknown): input is ASchema;
+type ASchemaWithAdapters<T = any> = ASchema<T> & WithAdapters<T>;
 interface ASchemaOptions {
     id?: string;
     description?: string;
@@ -89,7 +85,7 @@ type ResolveObject<T> = Resolve<{
     [k in keyof T]: T[k];
 }>;
 type PartialBy<T, K extends keyof T> = Omit<T, K> & Partial<Pick<T, K>>;
-type InferType<TInput extends ASchema<any>> = Resolve<TInput['metadata'][typeof SCHEMA_METADATA]['output']>;
+type InferType<TInput extends ASchema<any>> = Resolve<TInput[typeof VALIDATOR_KEY]['output']>;
 /**
  * Infer a specific subtype of a discriminated union.
  * In order for this to work you must first infer the union type using `a.infer`
@@ -125,31 +121,37 @@ interface AScalarSchema<T extends Type | NumberType = any, TVal = any> extends A
     type: T;
 }
 declare function isAScalarSchema(input: unknown): input is AScalarSchema;
+type AScalarSchemaWithAdapters<T extends Type | NumberType = any, TVal = any> = AScalarSchema<T, TVal> & WithAdapters<TVal>;
 declare const NumberTypeValues: readonly ["float32", "float64", "int8", "int16", "int32", "int64", "uint8", "uint16", "uint32", "uint64"];
 type NumberType = (typeof NumberTypeValues)[number];
 interface AArraySchema<TInnerSchema extends ASchema<any> = any> extends ASchema<Array<InferType<TInnerSchema>>> {
     elements: TInnerSchema;
 }
 declare function isAAraySchema(input: unknown): input is AArraySchema;
+type AArraySchemaWithAdapters<TInnerSchema extends ASchema<any> = any> = AArraySchema<TInnerSchema> & WithAdapters<InferType<TInnerSchema>[]>;
 interface AStringEnumSchema<TValues extends string[]> extends ASchema<TValues[number]> {
     enum: TValues;
 }
 declare function isAStringEnumSchema(input: unknown): input is AStringEnumSchema<any>;
+type AStringEnumSchemaWithAdapters<T extends string[]> = AStringEnumSchema<T> & WithAdapters<T[number]>;
 interface ADiscriminatorSchema<T> extends ASchema<T> {
     discriminator: string;
     mapping: Record<string, AObjectSchema<any>>;
 }
 declare function isADiscriminatorSchema(input: unknown): input is ADiscriminatorSchema<any>;
-interface ARecordSchema<TInnerSchema extends ASchema<any>, TNullable extends boolean = false> extends ASchema<MaybeNullable<Record<string, InferType<TInnerSchema>>, TNullable>> {
+type ADiscriminatorSchemaWithAdapters<T> = ADiscriminatorSchema<T> & WithAdapters<T>;
+interface ARecordSchema<TInnerSchema extends ASchema<any>> extends ASchema<Record<string, InferType<TInnerSchema>>> {
     values: TInnerSchema;
 }
-declare function isARecordSchema(input: unknown): input is ARecordSchema<any, any>;
+declare function isARecordSchema(input: unknown): input is ARecordSchema<any>;
+type ARecordSchemaWithAdapters<TInnerSchema extends ASchema<any>> = ARecordSchema<TInnerSchema> & WithAdapters<Record<string, InferType<TInnerSchema>>>;
 interface AObjectSchema<TVal = any, TStrict extends boolean = false> extends ASchema<TVal> {
     properties: Record<string, ASchema>;
     optionalProperties?: Record<string, ASchema>;
     strict?: TStrict;
 }
 declare function isAObjectSchema(input: unknown): input is AObjectSchema;
+type AObjectSchemaWithAdapters<T = any, TStrict extends boolean = false> = AObjectSchema<T, TStrict> & WithAdapters<T>;
 interface AObjectSchemaOptions<TAdditionalProps extends boolean = false> extends ASchemaOptions {
     /**
      * Allow this object to include additional properties not specified here
@@ -158,12 +160,13 @@ interface AObjectSchemaOptions<TAdditionalProps extends boolean = false> extends
 }
 type InferObjectOutput<TInput = any> = ResolveObject<InferObjectRawType<TInput>>;
 type InferObjectRawType<TInput> = TInput extends Record<any, any> ? {
-    [TKey in keyof TInput]: TInput[TKey]['metadata'][typeof SCHEMA_METADATA]['optional'] extends true ? TInput[TKey]['metadata'][typeof SCHEMA_METADATA]['output'] | undefined : TInput[TKey]['metadata'][typeof SCHEMA_METADATA]['output'];
+    [TKey in keyof TInput]: TInput[TKey][typeof VALIDATOR_KEY]['optional'] extends true ? TInput[TKey][typeof VALIDATOR_KEY]['output'] | undefined : TInput[TKey][typeof VALIDATOR_KEY]['output'];
 } : never;
 declare function isObject(input: unknown): input is Record<any, any>;
 interface ARefSchema<T> extends ASchema<T> {
     ref: string;
 }
 declare function isARefSchema(input: unknown): input is ARefSchema<any>;
+type ARefSchemaWithAdapters<T> = ARefSchema<T> & WithAdapters<T>;
 
-export { type ASchema as A, type Resolve as B, isAScalarSchema as C, type NumberType as D, isAAraySchema as E, isAStringEnumSchema as F, isADiscriminatorSchema as G, isARecordSchema as H, type InferType as I, isAObjectSchema as J, type InferObjectRawType as K, isObject as L, type MaybeNullable as M, NumberTypeValues as N, isARefSchema as O, type PartialBy as P, type ResolveObject as R, type SafeResult as S, type ValidationContext as V, type ASchemaOptions as a, type AArraySchema as b, type AScalarSchema as c, type AObjectSchema as d, type ADiscriminatorSchema as e, type AStringEnumSchema as f, type AObjectSchemaOptions as g, type InferObjectOutput as h, type ARecordSchema as i, type ARefSchema as j, coerce as k, errors as l, type InferSubType as m, safeParse as n, serialize as o, parse as p, sanitizeJson as q, type ValueError as r, safeCoerce as s, ValidationError as t, isValidationError as u, validate as v, SCHEMA_METADATA as w, type SchemaValidator as x, type SchemaMetadata as y, isASchema as z };
+export { type ASchema as A, type Resolve as B, type AScalarSchema as C, isAScalarSchema as D, type NumberType as E, isAAraySchema as F, type AArraySchemaWithAdapters as G, type AStringEnumSchema as H, type InferType as I, isAStringEnumSchema as J, type ADiscriminatorSchema as K, isADiscriminatorSchema as L, type MaybeNullable as M, NumberTypeValues as N, type ARecordSchema as O, type PartialBy as P, isARecordSchema as Q, type Result as R, type SchemaValidator as S, isAObjectSchema as T, type InferObjectRawType as U, type ValidationContext as V, type WithAdapters as W, isObject as X, isARefSchema as Y, type ARefSchemaWithAdapters as Z, type ASchemaStrict as a, type ASchemaOptions as b, type ASchemaWithAdapters as c, type AArraySchema as d, type AScalarSchemaWithAdapters as e, type AObjectSchema as f, type ADiscriminatorSchemaWithAdapters as g, type ResolveObject as h, type AStringEnumSchemaWithAdapters as i, type AObjectSchemaOptions as j, type AObjectSchemaWithAdapters as k, type InferObjectOutput as l, type ARecordSchemaWithAdapters as m, type ARefSchema as n, type ValueError as o, type InferSubType as p, isValueError as q, errorMessageFromErrors as r, ValidationException as s, isValidationException as t, type ResultSuccess as u, type ResultFailure as v, newValidationContext as w, VALIDATOR_KEY as x, type SchemaMetadata as y, isASchema as z };

package/dist/shared/{schema.DLX0nTwB.d.ts → schema.BYXPajpl.d.ts}

@@ -1,84 +1,80 @@
 import { Type } from '@arrirpc/type-defs';
 import { StandardSchemaV1 } from '@standard-schema/spec';
 
-declare function sanitizeJson(json: string): string;
-/**
- * Check if the input matches the specified schema. This is a type guard.
- */
-declare function validate<T = any>(schema: ASchema<T>, input: unknown): input is T;
-/**
- * Parse a JSON string or the result of JSON.parse(). Throws a ValidationError if parsing fails.
- */
-declare function parse<T = any>(schema: ASchema<T>, input: unknown): T;
-/**
- * Parse a value without throwing an error.
- */
-declare function safeParse<T = any>(schema: ASchema<T>, input: unknown): SafeResult<T>;
-/**
- * Try to convert input to match the specified schema. Throws a ValidationError if conversion fails.
- */
-declare function coerce<T = any>(schema: ASchema<T>, input: unknown): T;
-type SafeResult<T> = {
-    success: true;
-    value: T;
-} | {
-    success: false;
-    error: ValidationError;
-};
-/**
- * Convert a value into the specified schema without throwing an error.
- */
-declare function safeCoerce<T = any>(schema: ASchema<T>, input: unknown): SafeResult<T>;
-/**
- * Serialize a value into a JSON string
- */
-declare function serialize<T = any>(schema: ASchema<T>, input: T): string;
-declare function errors(schema: ASchema, input: unknown): ValueError[];
 interface ValueError {
+    /**
+     * Error message
+     */
+    message: string;
+    /**
+     * A JSON Pointer ([RFC 6901](https://datatracker.ietf.org/doc/html/rfc6901)) pointing to where in the input is invalid
+     */
     instancePath: string;
-    schemaPath: string;
-    message?: string;
+    /**
+     * A JSON Pointer ([RFC 6901](https://datatracker.ietf.org/doc/html/rfc6901)) pointing to the part of the schema that rejected the input
+     */
+    schemaPath?: string;
+    /**
+     * Arbitrary data that can be included with the error
+     */
     data?: any;
 }
-declare class ValidationError extends Error {
+declare function isValueError(input: unknown): input is ValueError;
+declare function errorMessageFromErrors(errors: ValueError[]): string;
+declare class ValidationException extends Error {
     errors: ValueError[];
     constructor(options: {
-        message: string;
+        message?: string;
         errors: ValueError[];
     });
 }
-declare function isValidationError(input: unknown): input is ValidationError;
+declare function isValidationException(input: unknown): input is ValidationException;
+type Result<T> = ResultSuccess<T> | ResultFailure;
+type ResultSuccess<T> = {
+    success: true;
+    value: T;
+};
+type ResultFailure = {
+    success: false;
+    errors: ValueError[];
+};
 
-declare const SCHEMA_METADATA: unique symbol;
 type MaybeNullable<T = any, TIsNullable extends boolean = false> = TIsNullable extends true ? T | null : T;
 interface ValidationContext {
     instancePath: string;
     schemaPath: string;
     errors: ValueError[];
+    exitOnFirstError: boolean;
+    depth: number;
+    maxDepth: number;
     discriminatorKey?: string;
     discriminatorValue?: string;
 }
+declare function newValidationContext(exitOnFirstError?: boolean, maxDepth?: number): ValidationContext;
+declare const VALIDATOR_KEY: " Symbol.for(arri/schema/validator/v1)";
 interface SchemaValidator<T> {
     output: T;
     optional?: boolean;
+    validate: (input: unknown) => input is T;
     parse: (input: unknown, context: ValidationContext) => T | undefined;
     coerce: (input: unknown, context: ValidationContext) => T | undefined;
-    serialize: (input: T, context: ValidationContext) => string;
-    validate: (input: unknown) => input is T;
-    _isAdapted?: boolean;
+    serialize: (input: T, context: ValidationContext) => string | undefined;
 }
-interface SchemaMetadata<T> {
+interface SchemaMetadata {
     [key: string]: any;
     id?: string;
     description?: string;
     isDeprecated?: boolean;
-    [SCHEMA_METADATA]: SchemaValidator<T>;
 }
-interface ASchema<T = any> extends StandardSchemaV1<T> {
-    metadata: SchemaMetadata<T>;
+type WithAdapters<T = any> = StandardSchemaV1<T>;
+interface ASchema<T = any> {
+    metadata?: SchemaMetadata;
     nullable?: boolean;
+    [VALIDATOR_KEY]: SchemaValidator<T>;
 }
+type ASchemaStrict<TSchema extends ASchema> = Omit<TSchema, typeof VALIDATOR_KEY>;
 declare function isASchema(input: unknown): input is ASchema;
+type ASchemaWithAdapters<T = any> = ASchema<T> & WithAdapters<T>;
 interface ASchemaOptions {
     id?: string;
     description?: string;
@@ -89,7 +85,7 @@ type ResolveObject<T> = Resolve<{
     [k in keyof T]: T[k];
 }>;
 type PartialBy<T, K extends keyof T> = Omit<T, K> & Partial<Pick<T, K>>;
-type InferType<TInput extends ASchema<any>> = Resolve<TInput['metadata'][typeof SCHEMA_METADATA]['output']>;
+type InferType<TInput extends ASchema<any>> = Resolve<TInput[typeof VALIDATOR_KEY]['output']>;
 /**
  * Infer a specific subtype of a discriminated union.
  * In order for this to work you must first infer the union type using `a.infer`
@@ -125,31 +121,37 @@ interface AScalarSchema<T extends Type | NumberType = any, TVal = any> extends A
     type: T;
 }
 declare function isAScalarSchema(input: unknown): input is AScalarSchema;
+type AScalarSchemaWithAdapters<T extends Type | NumberType = any, TVal = any> = AScalarSchema<T, TVal> & WithAdapters<TVal>;
 declare const NumberTypeValues: readonly ["float32", "float64", "int8", "int16", "int32", "int64", "uint8", "uint16", "uint32", "uint64"];
 type NumberType = (typeof NumberTypeValues)[number];
 interface AArraySchema<TInnerSchema extends ASchema<any> = any> extends ASchema<Array<InferType<TInnerSchema>>> {
     elements: TInnerSchema;
 }
 declare function isAAraySchema(input: unknown): input is AArraySchema;
+type AArraySchemaWithAdapters<TInnerSchema extends ASchema<any> = any> = AArraySchema<TInnerSchema> & WithAdapters<InferType<TInnerSchema>[]>;
 interface AStringEnumSchema<TValues extends string[]> extends ASchema<TValues[number]> {
     enum: TValues;
 }
 declare function isAStringEnumSchema(input: unknown): input is AStringEnumSchema<any>;
+type AStringEnumSchemaWithAdapters<T extends string[]> = AStringEnumSchema<T> & WithAdapters<T[number]>;
 interface ADiscriminatorSchema<T> extends ASchema<T> {
     discriminator: string;
     mapping: Record<string, AObjectSchema<any>>;
 }
 declare function isADiscriminatorSchema(input: unknown): input is ADiscriminatorSchema<any>;
-interface ARecordSchema<TInnerSchema extends ASchema<any>, TNullable extends boolean = false> extends ASchema<MaybeNullable<Record<string, InferType<TInnerSchema>>, TNullable>> {
+type ADiscriminatorSchemaWithAdapters<T> = ADiscriminatorSchema<T> & WithAdapters<T>;
+interface ARecordSchema<TInnerSchema extends ASchema<any>> extends ASchema<Record<string, InferType<TInnerSchema>>> {
     values: TInnerSchema;
 }
-declare function isARecordSchema(input: unknown): input is ARecordSchema<any, any>;
+declare function isARecordSchema(input: unknown): input is ARecordSchema<any>;
+type ARecordSchemaWithAdapters<TInnerSchema extends ASchema<any>> = ARecordSchema<TInnerSchema> & WithAdapters<Record<string, InferType<TInnerSchema>>>;
 interface AObjectSchema<TVal = any, TStrict extends boolean = false> extends ASchema<TVal> {
     properties: Record<string, ASchema>;
     optionalProperties?: Record<string, ASchema>;
     strict?: TStrict;
 }
 declare function isAObjectSchema(input: unknown): input is AObjectSchema;
+type AObjectSchemaWithAdapters<T = any, TStrict extends boolean = false> = AObjectSchema<T, TStrict> & WithAdapters<T>;
 interface AObjectSchemaOptions<TAdditionalProps extends boolean = false> extends ASchemaOptions {
     /**
      * Allow this object to include additional properties not specified here
@@ -158,12 +160,13 @@ interface AObjectSchemaOptions<TAdditionalProps extends boolean = false> extends
 }
 type InferObjectOutput<TInput = any> = ResolveObject<InferObjectRawType<TInput>>;
 type InferObjectRawType<TInput> = TInput extends Record<any, any> ? {
-    [TKey in keyof TInput]: TInput[TKey]['metadata'][typeof SCHEMA_METADATA]['optional'] extends true ? TInput[TKey]['metadata'][typeof SCHEMA_METADATA]['output'] | undefined : TInput[TKey]['metadata'][typeof SCHEMA_METADATA]['output'];
+    [TKey in keyof TInput]: TInput[TKey][typeof VALIDATOR_KEY]['optional'] extends true ? TInput[TKey][typeof VALIDATOR_KEY]['output'] | undefined : TInput[TKey][typeof VALIDATOR_KEY]['output'];
 } : never;
 declare function isObject(input: unknown): input is Record<any, any>;
 interface ARefSchema<T> extends ASchema<T> {
     ref: string;
 }
 declare function isARefSchema(input: unknown): input is ARefSchema<any>;
+type ARefSchemaWithAdapters<T> = ARefSchema<T> & WithAdapters<T>;
 
-export { type ASchema as A, type Resolve as B, isAScalarSchema as C, type NumberType as D, isAAraySchema as E, isAStringEnumSchema as F, isADiscriminatorSchema as G, isARecordSchema as H, type InferType as I, isAObjectSchema as J, type InferObjectRawType as K, isObject as L, type MaybeNullable as M, NumberTypeValues as N, isARefSchema as O, type PartialBy as P, type ResolveObject as R, type SafeResult as S, type ValidationContext as V, type ASchemaOptions as a, type AArraySchema as b, type AScalarSchema as c, type AObjectSchema as d, type ADiscriminatorSchema as e, type AStringEnumSchema as f, type AObjectSchemaOptions as g, type InferObjectOutput as h, type ARecordSchema as i, type ARefSchema as j, coerce as k, errors as l, type InferSubType as m, safeParse as n, serialize as o, parse as p, sanitizeJson as q, type ValueError as r, safeCoerce as s, ValidationError as t, isValidationError as u, validate as v, SCHEMA_METADATA as w, type SchemaValidator as x, type SchemaMetadata as y, isASchema as z };
+export { type ASchema as A, type Resolve as B, type AScalarSchema as C, isAScalarSchema as D, type NumberType as E, isAAraySchema as F, type AArraySchemaWithAdapters as G, type AStringEnumSchema as H, type InferType as I, isAStringEnumSchema as J, type ADiscriminatorSchema as K, isADiscriminatorSchema as L, type MaybeNullable as M, NumberTypeValues as N, type ARecordSchema as O, type PartialBy as P, isARecordSchema as Q, type Result as R, type SchemaValidator as S, isAObjectSchema as T, type InferObjectRawType as U, type ValidationContext as V, type WithAdapters as W, isObject as X, isARefSchema as Y, type ARefSchemaWithAdapters as Z, type ASchemaStrict as a, type ASchemaOptions as b, type ASchemaWithAdapters as c, type AArraySchema as d, type AScalarSchemaWithAdapters as e, type AObjectSchema as f, type ADiscriminatorSchemaWithAdapters as g, type ResolveObject as h, type AStringEnumSchemaWithAdapters as i, type AObjectSchemaOptions as j, type AObjectSchemaWithAdapters as k, type InferObjectOutput as l, type ARecordSchemaWithAdapters as m, type ARefSchema as n, type ValueError as o, type InferSubType as p, isValueError as q, errorMessageFromErrors as r, ValidationException as s, isValidationException as t, type ResultSuccess as u, type ResultFailure as v, newValidationContext as w, VALIDATOR_KEY as x, type SchemaMetadata as y, isASchema as z };