@arrirpc/schema 0.78.0 → 0.79.0

package/dist/index.d.cts

@@ -1,7 +1,7 @@
 import { Schema } from '@arrirpc/type-defs';
 import { StandardSchemaV1 } from '@standard-schema/spec';
-import { A as ASchema, a as ASchemaStrict, I as InferType, R as Result, S as SchemaValidator, b as ASchemaOptions, c as ASchemaWithAdapters, d as AArraySchema, W as WithAdapters, e as AScalarSchemaWithAdapters, f as AObjectSchema, g as ADiscriminatorSchemaWithAdapters, h as ResolveObject, i as AStringEnumSchemaWithAdapters, j as AObjectSchemaWithAdapters, k as AObjectSchemaOptions, l as InferObjectOutput, V as ValidationContext, m as ARecordSchemaWithAdapters, n as ARefSchema, o as ValueError, p as InferSubType } from './shared/schema.hMebmI3A.cjs';
-export { G as AArraySchemaWithAdapters, K as ADiscriminatorSchema, O as ARecordSchema, Z as ARefSchemaWithAdapters, C as AScalarSchema, H as AStringEnumSchema, U as InferObjectRawType, M as MaybeNullable, E as NumberType, N as NumberTypeValues, P as PartialBy, B as Resolve, v as ResultFailure, u as ResultSuccess, y as SchemaMetadata, x as VALIDATOR_KEY, s as ValidationException, r as errorMessageFromErrors, F as isAAraySchema, L as isADiscriminatorSchema, T as isAObjectSchema, Q as isARecordSchema, Y as isARefSchema, D as isAScalarSchema, z as isASchema, J as isAStringEnumSchema, X as isObject, t as isValidationException, q as isValueError, w as newValidationContext } from './shared/schema.hMebmI3A.cjs';
+import { A as ASchema, a as ASchemaStrict, I as InferType, R as Result, S as SchemaValidator, V as VALIDATOR_KEY, b as ASchemaOptions, c as ASchemaWithAdapters, d as AArraySchema, W as WithAdapters, e as AScalarSchemaWithAdapters, f as AObjectSchema, g as ADiscriminatorSchemaWithAdapters, h as ResolveObject, i as AStringEnumSchemaWithAdapters, j as AObjectSchemaWithAdapters, k as AObjectSchemaOptions, l as InferObjectOutput, m as ValidationContext, n as ARecordSchemaWithAdapters, o as ARefSchema, p as ValueError, q as InferSubType } from './shared/schema.CS4qvHhE.cjs';
+export { G as AArraySchemaWithAdapters, K as ADiscriminatorSchema, O as ARecordSchema, _ as ARefSchemaWithAdapters, C as AScalarSchema, H as AStringEnumSchema, U as InferObjectOptionalKeys, X as InferObjectRawType, M as MaybeNullable, E as NumberType, N as NumberTypeValues, P as PartialBy, B as Resolve, w as ResultFailure, v as ResultSuccess, y as SchemaMetadata, t as ValidationException, s as errorMessageFromErrors, F as isAAraySchema, L as isADiscriminatorSchema, T as isAObjectSchema, Q as isARecordSchema, Z as isARefSchema, D as isAScalarSchema, z as isASchema, J as isAStringEnumSchema, Y as isObject, u as isValidationException, r as isValueError, x as newValidationContext } from './shared/schema.CS4qvHhE.cjs';
 
 declare function createParsingTemplate(input: string, schema: Schema, shouldCoerce?: boolean): string;
 
@@ -55,7 +55,7 @@ type CompiledValidatorWithAdapters<TSchema extends ASchema, TIncludeCode extends
  * Create compiled versions of the `decode()`, `validate()`, and `serialize()` functions
  */
 declare function compile<TSchema extends ASchema<any>, TIncludeCompiled extends boolean = false>(schema: TSchema, includeCompiledCode?: TIncludeCompiled): CompiledValidatorWithAdapters<TSchema, TIncludeCompiled>;
-type CompiledParser<TSchema extends ASchema<any>> = SchemaValidator<InferType<TSchema>>['parse'];
+type CompiledParser<TSchema extends ASchema<any>> = SchemaValidator<InferType<TSchema>, TSchema[typeof VALIDATOR_KEY]['optional'] | false>['parse'];
 declare function getCompiledParser<TSchema extends ASchema<any>>(input: string, schema: Schema, shouldCoerce: boolean): {
     fn: CompiledParser<TSchema>;
     code: string;
@@ -161,7 +161,7 @@ declare function enumerator<TKeys extends string, TValues extends TKeys[]>(id: s
  *   })
  * )
  */
-declare function nullable<T>(schema: ASchema<T>, opts?: ASchemaOptions): ASchemaWithAdapters<T | null>;
+declare function nullable<T = any, TOptional extends boolean = false>(schema: ASchema<T, TOptional>, opts?: ASchemaOptions): ASchemaWithAdapters<T | null, TOptional>;
 /**
  * Make an object field optional
  *
@@ -174,7 +174,18 @@ declare function nullable<T>(schema: ASchema<T>, opts?: ASchemaOptions): ASchema
  *   email: a.optional(a.string())
  * })
  */
-declare function optional<T>(input: ASchema<T>, opts?: ASchemaOptions): ASchema<T | undefined>;
+declare function optional<T, TOptional extends boolean = false>(input: ASchema<T, TOptional>, opts?: ASchemaOptions): ASchema<T | undefined, true>;
+/**
+ * Make an object property able to be `undefined` without making the key optional
+ *
+ * @example
+ * const User = a.object({
+ *   id: a.string(),
+ *   // this field can be `string | undefined` but it is still required by TS
+ *   email: a.undefinable(a.string())
+ * })
+ */
+declare function undefinable<T, TOptional extends boolean = false>(input: ASchema<T, TOptional>, opts?: ASchemaOptions): ASchema<T | undefined, TOptional>;
 declare function clone<T>(input: ASchema<T>, opts?: ASchemaOptions): ASchemaWithAdapters<T>;
 
 declare const int8Min = -128;
@@ -224,8 +235,8 @@ declare function uint64(opts?: ASchemaOptions): AScalarSchemaWithAdapters<'uint6
  * a.validate(Schema, {foo: "", bar: 0}) // true
  * a.validate(Schema, {foo: null, bar: 0}) // false
  */
-declare function object<TInput extends Record<any, ASchema> = any, TAdditionalProps extends boolean = false>(input: TInput, opts?: AObjectSchemaOptions<TAdditionalProps>): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
-declare function object<TInput extends Record<any, ASchema> = any, TAdditionalProps extends boolean = false>(id: string, input: TInput): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
+declare function object<TInput extends Record<any, ASchema<any, any>> = any, TAdditionalProps extends boolean = false>(input: TInput, opts?: AObjectSchemaOptions<TAdditionalProps>): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
+declare function object<TInput extends Record<any, ASchema<any, any>> = any, TAdditionalProps extends boolean = false>(id: string, input: TInput): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
 declare function decodeObjectSchema<T>(schema: AObjectSchemaWithAdapters<T>, input: unknown, context: ValidationContext, coerce?: boolean): T | undefined;
 declare function validateObjectSchema(schema: AObjectSchemaWithAdapters, input: unknown): boolean;
 /**
@@ -275,7 +286,7 @@ declare function partial<TSchema extends AObjectSchemaWithAdapters<any, any> = a
  * )
  * a.validate(ObjectRecord, {foo: {id: "1", date: new Date()}}) // true
  */
-declare function record<TInnerSchema extends ASchema<any>>(schema: TInnerSchema, opts?: ASchemaOptions): ARecordSchemaWithAdapters<TInnerSchema>;
+declare function record<TInnerSchema extends ASchema<any, any>>(schema: TInnerSchema, opts?: ASchemaOptions): ARecordSchemaWithAdapters<TInnerSchema>;
 
 type RecursiveCallback<T> = (self: ARefSchema<T>) => AObjectSchemaWithAdapters<T> | ADiscriminatorSchemaWithAdapters<T>;
 /**
@@ -401,6 +412,7 @@ declare const _namespace_uint16: typeof uint16;
 declare const _namespace_uint32: typeof uint32;
 declare const _namespace_uint64: typeof uint64;
 declare const _namespace_uint8: typeof uint8;
+declare const _namespace_undefinable: typeof undefinable;
 declare const _namespace_validate: typeof validate;
 declare namespace _namespace {
   export {
@@ -443,9 +455,10 @@ declare namespace _namespace {
     _namespace_uint32 as uint32,
     _namespace_uint64 as uint64,
     _namespace_uint8 as uint8,
+    _namespace_undefinable as undefinable,
     _namespace_validate as validate,
   };
 }
 
-export { AArraySchema, ADiscriminatorSchemaWithAdapters, AObjectSchema, AObjectSchemaOptions, AObjectSchemaWithAdapters, ARecordSchemaWithAdapters, ARefSchema, AScalarSchemaWithAdapters, ASchema, ASchemaOptions, ASchemaStrict, ASchemaWithAdapters, AStringEnumSchemaWithAdapters, InferObjectOutput, InferSubType, InferType, ResolveObject, Result, STR_ESCAPE, SchemaValidator, ValidationContext, ValueError, WithAdapters, _namespace as a, any, array, boolean, clone, coerce, coerceUnsafe, compile, decodeObjectSchema, discriminator, enumerator, errors, extend, float32, float64, getCompiledParser, getCompiledSerializer, createParsingTemplate as getSchemaDecodingCode, createSerializationV2Template as getSchemaSerializationCode, createValidationTemplate as getSchemaValidationCode, int16, int16Max, int16Min, int32, int32Max, int32Min, int64, int64Max, int64Min, int8, int8Max, int8Min, nullable, number, object, omit, optional, parse, parseUnsafe, partial, pick, record, recursive, sanitizeJson, serialize, serializeObject, serializeSmallString, serializeString, serializeUnsafe, string, stringEnum, timestamp, uint16, uint16Max, uint16Min, uint32, uint32Max, uint32Min, uint64, uint64Max, uint64Min, uint8, uint8Max, uint8Min, validate, validateObjectSchema };
+export { AArraySchema, ADiscriminatorSchemaWithAdapters, AObjectSchema, AObjectSchemaOptions, AObjectSchemaWithAdapters, ARecordSchemaWithAdapters, ARefSchema, AScalarSchemaWithAdapters, ASchema, ASchemaOptions, ASchemaStrict, ASchemaWithAdapters, AStringEnumSchemaWithAdapters, InferObjectOutput, InferSubType, InferType, ResolveObject, Result, STR_ESCAPE, SchemaValidator, VALIDATOR_KEY, ValidationContext, ValueError, WithAdapters, _namespace as a, any, array, boolean, clone, coerce, coerceUnsafe, compile, decodeObjectSchema, discriminator, enumerator, errors, extend, float32, float64, getCompiledParser, getCompiledSerializer, createParsingTemplate as getSchemaDecodingCode, createSerializationV2Template as getSchemaSerializationCode, createValidationTemplate as getSchemaValidationCode, int16, int16Max, int16Min, int32, int32Max, int32Min, int64, int64Max, int64Min, int8, int8Max, int8Min, nullable, number, object, omit, optional, parse, parseUnsafe, partial, pick, record, recursive, sanitizeJson, serialize, serializeObject, serializeSmallString, serializeString, serializeUnsafe, string, stringEnum, timestamp, uint16, uint16Max, uint16Min, uint32, uint32Max, uint32Min, uint64, uint64Max, uint64Min, uint8, uint8Max, uint8Min, undefinable, validate, validateObjectSchema };
 export type { CompiledValidator, CompiledValidatorCompiledCode };

package/dist/index.d.mts

@@ -1,7 +1,7 @@
 import { Schema } from '@arrirpc/type-defs';
 import { StandardSchemaV1 } from '@standard-schema/spec';
-import { A as ASchema, a as ASchemaStrict, I as InferType, R as Result, S as SchemaValidator, b as ASchemaOptions, c as ASchemaWithAdapters, d as AArraySchema, W as WithAdapters, e as AScalarSchemaWithAdapters, f as AObjectSchema, g as ADiscriminatorSchemaWithAdapters, h as ResolveObject, i as AStringEnumSchemaWithAdapters, j as AObjectSchemaWithAdapters, k as AObjectSchemaOptions, l as InferObjectOutput, V as ValidationContext, m as ARecordSchemaWithAdapters, n as ARefSchema, o as ValueError, p as InferSubType } from './shared/schema.hMebmI3A.mjs';
-export { G as AArraySchemaWithAdapters, K as ADiscriminatorSchema, O as ARecordSchema, Z as ARefSchemaWithAdapters, C as AScalarSchema, H as AStringEnumSchema, U as InferObjectRawType, M as MaybeNullable, E as NumberType, N as NumberTypeValues, P as PartialBy, B as Resolve, v as ResultFailure, u as ResultSuccess, y as SchemaMetadata, x as VALIDATOR_KEY, s as ValidationException, r as errorMessageFromErrors, F as isAAraySchema, L as isADiscriminatorSchema, T as isAObjectSchema, Q as isARecordSchema, Y as isARefSchema, D as isAScalarSchema, z as isASchema, J as isAStringEnumSchema, X as isObject, t as isValidationException, q as isValueError, w as newValidationContext } from './shared/schema.hMebmI3A.mjs';
+import { A as ASchema, a as ASchemaStrict, I as InferType, R as Result, S as SchemaValidator, V as VALIDATOR_KEY, b as ASchemaOptions, c as ASchemaWithAdapters, d as AArraySchema, W as WithAdapters, e as AScalarSchemaWithAdapters, f as AObjectSchema, g as ADiscriminatorSchemaWithAdapters, h as ResolveObject, i as AStringEnumSchemaWithAdapters, j as AObjectSchemaWithAdapters, k as AObjectSchemaOptions, l as InferObjectOutput, m as ValidationContext, n as ARecordSchemaWithAdapters, o as ARefSchema, p as ValueError, q as InferSubType } from './shared/schema.CS4qvHhE.mjs';
+export { G as AArraySchemaWithAdapters, K as ADiscriminatorSchema, O as ARecordSchema, _ as ARefSchemaWithAdapters, C as AScalarSchema, H as AStringEnumSchema, U as InferObjectOptionalKeys, X as InferObjectRawType, M as MaybeNullable, E as NumberType, N as NumberTypeValues, P as PartialBy, B as Resolve, w as ResultFailure, v as ResultSuccess, y as SchemaMetadata, t as ValidationException, s as errorMessageFromErrors, F as isAAraySchema, L as isADiscriminatorSchema, T as isAObjectSchema, Q as isARecordSchema, Z as isARefSchema, D as isAScalarSchema, z as isASchema, J as isAStringEnumSchema, Y as isObject, u as isValidationException, r as isValueError, x as newValidationContext } from './shared/schema.CS4qvHhE.mjs';
 
 declare function createParsingTemplate(input: string, schema: Schema, shouldCoerce?: boolean): string;
 
@@ -55,7 +55,7 @@ type CompiledValidatorWithAdapters<TSchema extends ASchema, TIncludeCode extends
  * Create compiled versions of the `decode()`, `validate()`, and `serialize()` functions
  */
 declare function compile<TSchema extends ASchema<any>, TIncludeCompiled extends boolean = false>(schema: TSchema, includeCompiledCode?: TIncludeCompiled): CompiledValidatorWithAdapters<TSchema, TIncludeCompiled>;
-type CompiledParser<TSchema extends ASchema<any>> = SchemaValidator<InferType<TSchema>>['parse'];
+type CompiledParser<TSchema extends ASchema<any>> = SchemaValidator<InferType<TSchema>, TSchema[typeof VALIDATOR_KEY]['optional'] | false>['parse'];
 declare function getCompiledParser<TSchema extends ASchema<any>>(input: string, schema: Schema, shouldCoerce: boolean): {
     fn: CompiledParser<TSchema>;
     code: string;
@@ -161,7 +161,7 @@ declare function enumerator<TKeys extends string, TValues extends TKeys[]>(id: s
  *   })
  * )
  */
-declare function nullable<T>(schema: ASchema<T>, opts?: ASchemaOptions): ASchemaWithAdapters<T | null>;
+declare function nullable<T = any, TOptional extends boolean = false>(schema: ASchema<T, TOptional>, opts?: ASchemaOptions): ASchemaWithAdapters<T | null, TOptional>;
 /**
  * Make an object field optional
  *
@@ -174,7 +174,18 @@ declare function nullable<T>(schema: ASchema<T>, opts?: ASchemaOptions): ASchema
  *   email: a.optional(a.string())
  * })
  */
-declare function optional<T>(input: ASchema<T>, opts?: ASchemaOptions): ASchema<T | undefined>;
+declare function optional<T, TOptional extends boolean = false>(input: ASchema<T, TOptional>, opts?: ASchemaOptions): ASchema<T | undefined, true>;
+/**
+ * Make an object property able to be `undefined` without making the key optional
+ *
+ * @example
+ * const User = a.object({
+ *   id: a.string(),
+ *   // this field can be `string | undefined` but it is still required by TS
+ *   email: a.undefinable(a.string())
+ * })
+ */
+declare function undefinable<T, TOptional extends boolean = false>(input: ASchema<T, TOptional>, opts?: ASchemaOptions): ASchema<T | undefined, TOptional>;
 declare function clone<T>(input: ASchema<T>, opts?: ASchemaOptions): ASchemaWithAdapters<T>;
 
 declare const int8Min = -128;
@@ -224,8 +235,8 @@ declare function uint64(opts?: ASchemaOptions): AScalarSchemaWithAdapters<'uint6
  * a.validate(Schema, {foo: "", bar: 0}) // true
  * a.validate(Schema, {foo: null, bar: 0}) // false
  */
-declare function object<TInput extends Record<any, ASchema> = any, TAdditionalProps extends boolean = false>(input: TInput, opts?: AObjectSchemaOptions<TAdditionalProps>): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
-declare function object<TInput extends Record<any, ASchema> = any, TAdditionalProps extends boolean = false>(id: string, input: TInput): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
+declare function object<TInput extends Record<any, ASchema<any, any>> = any, TAdditionalProps extends boolean = false>(input: TInput, opts?: AObjectSchemaOptions<TAdditionalProps>): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
+declare function object<TInput extends Record<any, ASchema<any, any>> = any, TAdditionalProps extends boolean = false>(id: string, input: TInput): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
 declare function decodeObjectSchema<T>(schema: AObjectSchemaWithAdapters<T>, input: unknown, context: ValidationContext, coerce?: boolean): T | undefined;
 declare function validateObjectSchema(schema: AObjectSchemaWithAdapters, input: unknown): boolean;
 /**
@@ -275,7 +286,7 @@ declare function partial<TSchema extends AObjectSchemaWithAdapters<any, any> = a
  * )
  * a.validate(ObjectRecord, {foo: {id: "1", date: new Date()}}) // true
  */
-declare function record<TInnerSchema extends ASchema<any>>(schema: TInnerSchema, opts?: ASchemaOptions): ARecordSchemaWithAdapters<TInnerSchema>;
+declare function record<TInnerSchema extends ASchema<any, any>>(schema: TInnerSchema, opts?: ASchemaOptions): ARecordSchemaWithAdapters<TInnerSchema>;
 
 type RecursiveCallback<T> = (self: ARefSchema<T>) => AObjectSchemaWithAdapters<T> | ADiscriminatorSchemaWithAdapters<T>;
 /**
@@ -401,6 +412,7 @@ declare const _namespace_uint16: typeof uint16;
 declare const _namespace_uint32: typeof uint32;
 declare const _namespace_uint64: typeof uint64;
 declare const _namespace_uint8: typeof uint8;
+declare const _namespace_undefinable: typeof undefinable;
 declare const _namespace_validate: typeof validate;
 declare namespace _namespace {
   export {
@@ -443,9 +455,10 @@ declare namespace _namespace {
     _namespace_uint32 as uint32,
     _namespace_uint64 as uint64,
     _namespace_uint8 as uint8,
+    _namespace_undefinable as undefinable,
     _namespace_validate as validate,
   };
 }
 
-export { AArraySchema, ADiscriminatorSchemaWithAdapters, AObjectSchema, AObjectSchemaOptions, AObjectSchemaWithAdapters, ARecordSchemaWithAdapters, ARefSchema, AScalarSchemaWithAdapters, ASchema, ASchemaOptions, ASchemaStrict, ASchemaWithAdapters, AStringEnumSchemaWithAdapters, InferObjectOutput, InferSubType, InferType, ResolveObject, Result, STR_ESCAPE, SchemaValidator, ValidationContext, ValueError, WithAdapters, _namespace as a, any, array, boolean, clone, coerce, coerceUnsafe, compile, decodeObjectSchema, discriminator, enumerator, errors, extend, float32, float64, getCompiledParser, getCompiledSerializer, createParsingTemplate as getSchemaDecodingCode, createSerializationV2Template as getSchemaSerializationCode, createValidationTemplate as getSchemaValidationCode, int16, int16Max, int16Min, int32, int32Max, int32Min, int64, int64Max, int64Min, int8, int8Max, int8Min, nullable, number, object, omit, optional, parse, parseUnsafe, partial, pick, record, recursive, sanitizeJson, serialize, serializeObject, serializeSmallString, serializeString, serializeUnsafe, string, stringEnum, timestamp, uint16, uint16Max, uint16Min, uint32, uint32Max, uint32Min, uint64, uint64Max, uint64Min, uint8, uint8Max, uint8Min, validate, validateObjectSchema };
+export { AArraySchema, ADiscriminatorSchemaWithAdapters, AObjectSchema, AObjectSchemaOptions, AObjectSchemaWithAdapters, ARecordSchemaWithAdapters, ARefSchema, AScalarSchemaWithAdapters, ASchema, ASchemaOptions, ASchemaStrict, ASchemaWithAdapters, AStringEnumSchemaWithAdapters, InferObjectOutput, InferSubType, InferType, ResolveObject, Result, STR_ESCAPE, SchemaValidator, VALIDATOR_KEY, ValidationContext, ValueError, WithAdapters, _namespace as a, any, array, boolean, clone, coerce, coerceUnsafe, compile, decodeObjectSchema, discriminator, enumerator, errors, extend, float32, float64, getCompiledParser, getCompiledSerializer, createParsingTemplate as getSchemaDecodingCode, createSerializationV2Template as getSchemaSerializationCode, createValidationTemplate as getSchemaValidationCode, int16, int16Max, int16Min, int32, int32Max, int32Min, int64, int64Max, int64Min, int8, int8Max, int8Min, nullable, number, object, omit, optional, parse, parseUnsafe, partial, pick, record, recursive, sanitizeJson, serialize, serializeObject, serializeSmallString, serializeString, serializeUnsafe, string, stringEnum, timestamp, uint16, uint16Max, uint16Min, uint32, uint32Max, uint32Min, uint64, uint64Max, uint64Min, uint8, uint8Max, uint8Min, undefinable, validate, validateObjectSchema };
 export type { CompiledValidator, CompiledValidatorCompiledCode };

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 import { Schema } from '@arrirpc/type-defs';
 import { StandardSchemaV1 } from '@standard-schema/spec';
-import { A as ASchema, a as ASchemaStrict, I as InferType, R as Result, S as SchemaValidator, b as ASchemaOptions, c as ASchemaWithAdapters, d as AArraySchema, W as WithAdapters, e as AScalarSchemaWithAdapters, f as AObjectSchema, g as ADiscriminatorSchemaWithAdapters, h as ResolveObject, i as AStringEnumSchemaWithAdapters, j as AObjectSchemaWithAdapters, k as AObjectSchemaOptions, l as InferObjectOutput, V as ValidationContext, m as ARecordSchemaWithAdapters, n as ARefSchema, o as ValueError, p as InferSubType } from './shared/schema.hMebmI3A.js';
-export { G as AArraySchemaWithAdapters, K as ADiscriminatorSchema, O as ARecordSchema, Z as ARefSchemaWithAdapters, C as AScalarSchema, H as AStringEnumSchema, U as InferObjectRawType, M as MaybeNullable, E as NumberType, N as NumberTypeValues, P as PartialBy, B as Resolve, v as ResultFailure, u as ResultSuccess, y as SchemaMetadata, x as VALIDATOR_KEY, s as ValidationException, r as errorMessageFromErrors, F as isAAraySchema, L as isADiscriminatorSchema, T as isAObjectSchema, Q as isARecordSchema, Y as isARefSchema, D as isAScalarSchema, z as isASchema, J as isAStringEnumSchema, X as isObject, t as isValidationException, q as isValueError, w as newValidationContext } from './shared/schema.hMebmI3A.js';
+import { A as ASchema, a as ASchemaStrict, I as InferType, R as Result, S as SchemaValidator, V as VALIDATOR_KEY, b as ASchemaOptions, c as ASchemaWithAdapters, d as AArraySchema, W as WithAdapters, e as AScalarSchemaWithAdapters, f as AObjectSchema, g as ADiscriminatorSchemaWithAdapters, h as ResolveObject, i as AStringEnumSchemaWithAdapters, j as AObjectSchemaWithAdapters, k as AObjectSchemaOptions, l as InferObjectOutput, m as ValidationContext, n as ARecordSchemaWithAdapters, o as ARefSchema, p as ValueError, q as InferSubType } from './shared/schema.CS4qvHhE.js';
+export { G as AArraySchemaWithAdapters, K as ADiscriminatorSchema, O as ARecordSchema, _ as ARefSchemaWithAdapters, C as AScalarSchema, H as AStringEnumSchema, U as InferObjectOptionalKeys, X as InferObjectRawType, M as MaybeNullable, E as NumberType, N as NumberTypeValues, P as PartialBy, B as Resolve, w as ResultFailure, v as ResultSuccess, y as SchemaMetadata, t as ValidationException, s as errorMessageFromErrors, F as isAAraySchema, L as isADiscriminatorSchema, T as isAObjectSchema, Q as isARecordSchema, Z as isARefSchema, D as isAScalarSchema, z as isASchema, J as isAStringEnumSchema, Y as isObject, u as isValidationException, r as isValueError, x as newValidationContext } from './shared/schema.CS4qvHhE.js';
 
 declare function createParsingTemplate(input: string, schema: Schema, shouldCoerce?: boolean): string;
 
@@ -55,7 +55,7 @@ type CompiledValidatorWithAdapters<TSchema extends ASchema, TIncludeCode extends
  * Create compiled versions of the `decode()`, `validate()`, and `serialize()` functions
  */
 declare function compile<TSchema extends ASchema<any>, TIncludeCompiled extends boolean = false>(schema: TSchema, includeCompiledCode?: TIncludeCompiled): CompiledValidatorWithAdapters<TSchema, TIncludeCompiled>;
-type CompiledParser<TSchema extends ASchema<any>> = SchemaValidator<InferType<TSchema>>['parse'];
+type CompiledParser<TSchema extends ASchema<any>> = SchemaValidator<InferType<TSchema>, TSchema[typeof VALIDATOR_KEY]['optional'] | false>['parse'];
 declare function getCompiledParser<TSchema extends ASchema<any>>(input: string, schema: Schema, shouldCoerce: boolean): {
     fn: CompiledParser<TSchema>;
     code: string;
@@ -161,7 +161,7 @@ declare function enumerator<TKeys extends string, TValues extends TKeys[]>(id: s
  *   })
  * )
  */
-declare function nullable<T>(schema: ASchema<T>, opts?: ASchemaOptions): ASchemaWithAdapters<T | null>;
+declare function nullable<T = any, TOptional extends boolean = false>(schema: ASchema<T, TOptional>, opts?: ASchemaOptions): ASchemaWithAdapters<T | null, TOptional>;
 /**
  * Make an object field optional
  *
@@ -174,7 +174,18 @@ declare function nullable<T>(schema: ASchema<T>, opts?: ASchemaOptions): ASchema
  *   email: a.optional(a.string())
  * })
  */
-declare function optional<T>(input: ASchema<T>, opts?: ASchemaOptions): ASchema<T | undefined>;
+declare function optional<T, TOptional extends boolean = false>(input: ASchema<T, TOptional>, opts?: ASchemaOptions): ASchema<T | undefined, true>;
+/**
+ * Make an object property able to be `undefined` without making the key optional
+ *
+ * @example
+ * const User = a.object({
+ *   id: a.string(),
+ *   // this field can be `string | undefined` but it is still required by TS
+ *   email: a.undefinable(a.string())
+ * })
+ */
+declare function undefinable<T, TOptional extends boolean = false>(input: ASchema<T, TOptional>, opts?: ASchemaOptions): ASchema<T | undefined, TOptional>;
 declare function clone<T>(input: ASchema<T>, opts?: ASchemaOptions): ASchemaWithAdapters<T>;
 
 declare const int8Min = -128;
@@ -224,8 +235,8 @@ declare function uint64(opts?: ASchemaOptions): AScalarSchemaWithAdapters<'uint6
  * a.validate(Schema, {foo: "", bar: 0}) // true
  * a.validate(Schema, {foo: null, bar: 0}) // false
  */
-declare function object<TInput extends Record<any, ASchema> = any, TAdditionalProps extends boolean = false>(input: TInput, opts?: AObjectSchemaOptions<TAdditionalProps>): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
-declare function object<TInput extends Record<any, ASchema> = any, TAdditionalProps extends boolean = false>(id: string, input: TInput): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
+declare function object<TInput extends Record<any, ASchema<any, any>> = any, TAdditionalProps extends boolean = false>(input: TInput, opts?: AObjectSchemaOptions<TAdditionalProps>): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
+declare function object<TInput extends Record<any, ASchema<any, any>> = any, TAdditionalProps extends boolean = false>(id: string, input: TInput): AObjectSchemaWithAdapters<InferObjectOutput<TInput>, TAdditionalProps>;
 declare function decodeObjectSchema<T>(schema: AObjectSchemaWithAdapters<T>, input: unknown, context: ValidationContext, coerce?: boolean): T | undefined;
 declare function validateObjectSchema(schema: AObjectSchemaWithAdapters, input: unknown): boolean;
 /**
@@ -275,7 +286,7 @@ declare function partial<TSchema extends AObjectSchemaWithAdapters<any, any> = a
  * )
  * a.validate(ObjectRecord, {foo: {id: "1", date: new Date()}}) // true
  */
-declare function record<TInnerSchema extends ASchema<any>>(schema: TInnerSchema, opts?: ASchemaOptions): ARecordSchemaWithAdapters<TInnerSchema>;
+declare function record<TInnerSchema extends ASchema<any, any>>(schema: TInnerSchema, opts?: ASchemaOptions): ARecordSchemaWithAdapters<TInnerSchema>;
 
 type RecursiveCallback<T> = (self: ARefSchema<T>) => AObjectSchemaWithAdapters<T> | ADiscriminatorSchemaWithAdapters<T>;
 /**
@@ -401,6 +412,7 @@ declare const _namespace_uint16: typeof uint16;
 declare const _namespace_uint32: typeof uint32;
 declare const _namespace_uint64: typeof uint64;
 declare const _namespace_uint8: typeof uint8;
+declare const _namespace_undefinable: typeof undefinable;
 declare const _namespace_validate: typeof validate;
 declare namespace _namespace {
   export {
@@ -443,9 +455,10 @@ declare namespace _namespace {
     _namespace_uint32 as uint32,
     _namespace_uint64 as uint64,
     _namespace_uint8 as uint8,
+    _namespace_undefinable as undefinable,
     _namespace_validate as validate,
   };
 }
 
-export { AArraySchema, ADiscriminatorSchemaWithAdapters, AObjectSchema, AObjectSchemaOptions, AObjectSchemaWithAdapters, ARecordSchemaWithAdapters, ARefSchema, AScalarSchemaWithAdapters, ASchema, ASchemaOptions, ASchemaStrict, ASchemaWithAdapters, AStringEnumSchemaWithAdapters, InferObjectOutput, InferSubType, InferType, ResolveObject, Result, STR_ESCAPE, SchemaValidator, ValidationContext, ValueError, WithAdapters, _namespace as a, any, array, boolean, clone, coerce, coerceUnsafe, compile, decodeObjectSchema, discriminator, enumerator, errors, extend, float32, float64, getCompiledParser, getCompiledSerializer, createParsingTemplate as getSchemaDecodingCode, createSerializationV2Template as getSchemaSerializationCode, createValidationTemplate as getSchemaValidationCode, int16, int16Max, int16Min, int32, int32Max, int32Min, int64, int64Max, int64Min, int8, int8Max, int8Min, nullable, number, object, omit, optional, parse, parseUnsafe, partial, pick, record, recursive, sanitizeJson, serialize, serializeObject, serializeSmallString, serializeString, serializeUnsafe, string, stringEnum, timestamp, uint16, uint16Max, uint16Min, uint32, uint32Max, uint32Min, uint64, uint64Max, uint64Min, uint8, uint8Max, uint8Min, validate, validateObjectSchema };
+export { AArraySchema, ADiscriminatorSchemaWithAdapters, AObjectSchema, AObjectSchemaOptions, AObjectSchemaWithAdapters, ARecordSchemaWithAdapters, ARefSchema, AScalarSchemaWithAdapters, ASchema, ASchemaOptions, ASchemaStrict, ASchemaWithAdapters, AStringEnumSchemaWithAdapters, InferObjectOutput, InferSubType, InferType, ResolveObject, Result, STR_ESCAPE, SchemaValidator, VALIDATOR_KEY, ValidationContext, ValueError, WithAdapters, _namespace as a, any, array, boolean, clone, coerce, coerceUnsafe, compile, decodeObjectSchema, discriminator, enumerator, errors, extend, float32, float64, getCompiledParser, getCompiledSerializer, createParsingTemplate as getSchemaDecodingCode, createSerializationV2Template as getSchemaSerializationCode, createValidationTemplate as getSchemaValidationCode, int16, int16Max, int16Min, int32, int32Max, int32Min, int64, int64Max, int64Min, int8, int8Max, int8Min, nullable, number, object, omit, optional, parse, parseUnsafe, partial, pick, record, recursive, sanitizeJson, serialize, serializeObject, serializeSmallString, serializeString, serializeUnsafe, string, stringEnum, timestamp, uint16, uint16Max, uint16Min, uint32, uint32Max, uint32Min, uint64, uint64Max, uint64Min, uint8, uint8Max, uint8Min, undefinable, validate, validateObjectSchema };
 export type { CompiledValidator, CompiledValidatorCompiledCode };