@arrirpc/schema 0.78.0 → 0.79.0

package/dist/shared/{schema.hMebmI3A.d.cts → schema.CS4qvHhE.d.cts}

@@ -52,9 +52,9 @@ interface ValidationContext {
 }
 declare function newValidationContext(exitOnFirstError?: boolean, maxDepth?: number): ValidationContext;
 declare const VALIDATOR_KEY: " Symbol.for(arri/schema/validator/v1)";
-interface SchemaValidator<T> {
+interface SchemaValidator<T, TOptional extends boolean = false> {
     output: T;
-    optional?: boolean;
+    optional: TOptional;
     validate: (input: unknown) => input is T;
     parse: (input: unknown, context: ValidationContext) => T | undefined;
     coerce: (input: unknown, context: ValidationContext) => T | undefined;
@@ -67,14 +67,14 @@ interface SchemaMetadata {
     isDeprecated?: boolean;
 }
 type WithAdapters<T = any> = StandardSchemaV1<T>;
-interface ASchema<T = any> {
+interface ASchema<T = any, TOptional extends boolean = false> {
     metadata?: SchemaMetadata;
-    nullable?: boolean;
-    [VALIDATOR_KEY]: SchemaValidator<T>;
+    isNullable?: boolean;
+    [VALIDATOR_KEY]: SchemaValidator<T, TOptional>;
 }
 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>;
+type ASchemaWithAdapters<T = any, TOptional extends boolean = false> = ASchema<T, TOptional> & WithAdapters<T>;
 interface ASchemaOptions {
     id?: string;
     description?: string;
@@ -148,20 +148,27 @@ type ARecordSchemaWithAdapters<TInnerSchema extends ASchema<any>> = ARecordSchem
 interface AObjectSchema<TVal = any, TStrict extends boolean = false> extends ASchema<TVal> {
     properties: Record<string, ASchema>;
     optionalProperties?: Record<string, ASchema>;
-    strict?: TStrict;
+    isStrict?: 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
+     * @deprecated use "isStrict" instead
      */
     strict?: TAdditionalProps;
+    /**
+     * Allow this object to include additional properties not specified here
+     */
+    isStrict?: TAdditionalProps;
 }
-type InferObjectOutput<TInput = any> = ResolveObject<InferObjectRawType<TInput>>;
-type InferObjectRawType<TInput> = TInput extends Record<any, any> ? {
-    [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;
+type InferObjectOutput<TInput extends Record<any, ASchema<any, any>> = any> = ResolveObject<PartialBy<InferObjectRawType<TInput>, InferObjectOptionalKeys<TInput>>>;
+type InferObjectOptionalKeys<TInput extends Record<any, ASchema<any, any>>> = {
+    [K in keyof TInput]: TInput[K][typeof VALIDATOR_KEY]['optional'] extends true ? K : never;
+}[keyof TInput];
+type InferObjectRawType<TInput extends Record<any, ASchema<any, any>>> = {
+    [TKey in keyof TInput]: TInput[TKey][typeof VALIDATOR_KEY]['output'];
+};
 declare function isObject(input: unknown): input is Record<any, any>;
 interface ARefSchema<T> extends ASchema<T> {
     ref: string;
@@ -169,5 +176,5 @@ interface ARefSchema<T> extends ASchema<T> {
 declare function isARefSchema(input: unknown): input is ARefSchema<any>;
 type ARefSchemaWithAdapters<T> = ARefSchema<T> & WithAdapters<T>;
 
-export { isAScalarSchema as D, isAAraySchema as F, isAStringEnumSchema as J, isADiscriminatorSchema as L, NumberTypeValues as N, isARecordSchema as Q, isAObjectSchema as T, isObject as X, isARefSchema as Y, isValueError as q, errorMessageFromErrors as r, ValidationException as s, isValidationException as t, newValidationContext as w, VALIDATOR_KEY as x, isASchema as z };
-export type { ASchema as A, Resolve as B, AScalarSchema as C, NumberType as E, AArraySchemaWithAdapters as G, AStringEnumSchema as H, InferType as I, ADiscriminatorSchema as K, MaybeNullable as M, ARecordSchema as O, PartialBy as P, Result as R, SchemaValidator as S, InferObjectRawType as U, ValidationContext as V, WithAdapters as W, ARefSchemaWithAdapters as Z, ASchemaStrict as a, ASchemaOptions as b, ASchemaWithAdapters as c, AArraySchema as d, AScalarSchemaWithAdapters as e, AObjectSchema as f, ADiscriminatorSchemaWithAdapters as g, ResolveObject as h, AStringEnumSchemaWithAdapters as i, AObjectSchemaWithAdapters as j, AObjectSchemaOptions as k, InferObjectOutput as l, ARecordSchemaWithAdapters as m, ARefSchema as n, ValueError as o, InferSubType as p, ResultSuccess as u, ResultFailure as v, SchemaMetadata as y };
+export { isAScalarSchema as D, isAAraySchema as F, isAStringEnumSchema as J, isADiscriminatorSchema as L, NumberTypeValues as N, isARecordSchema as Q, isAObjectSchema as T, VALIDATOR_KEY as V, isObject as Y, isARefSchema as Z, isValueError as r, errorMessageFromErrors as s, ValidationException as t, isValidationException as u, newValidationContext as x, isASchema as z };
+export type { ASchema as A, Resolve as B, AScalarSchema as C, NumberType as E, AArraySchemaWithAdapters as G, AStringEnumSchema as H, InferType as I, ADiscriminatorSchema as K, MaybeNullable as M, ARecordSchema as O, PartialBy as P, Result as R, SchemaValidator as S, InferObjectOptionalKeys as U, WithAdapters as W, InferObjectRawType as X, ARefSchemaWithAdapters as _, ASchemaStrict as a, ASchemaOptions as b, ASchemaWithAdapters as c, AArraySchema as d, AScalarSchemaWithAdapters as e, AObjectSchema as f, ADiscriminatorSchemaWithAdapters as g, ResolveObject as h, AStringEnumSchemaWithAdapters as i, AObjectSchemaWithAdapters as j, AObjectSchemaOptions as k, InferObjectOutput as l, ValidationContext as m, ARecordSchemaWithAdapters as n, ARefSchema as o, ValueError as p, InferSubType as q, ResultSuccess as v, ResultFailure as w, SchemaMetadata as y };

package/dist/shared/{schema.hMebmI3A.d.mts → schema.CS4qvHhE.d.mts}

@@ -52,9 +52,9 @@ interface ValidationContext {
 }
 declare function newValidationContext(exitOnFirstError?: boolean, maxDepth?: number): ValidationContext;
 declare const VALIDATOR_KEY: " Symbol.for(arri/schema/validator/v1)";
-interface SchemaValidator<T> {
+interface SchemaValidator<T, TOptional extends boolean = false> {
     output: T;
-    optional?: boolean;
+    optional: TOptional;
     validate: (input: unknown) => input is T;
     parse: (input: unknown, context: ValidationContext) => T | undefined;
     coerce: (input: unknown, context: ValidationContext) => T | undefined;
@@ -67,14 +67,14 @@ interface SchemaMetadata {
     isDeprecated?: boolean;
 }
 type WithAdapters<T = any> = StandardSchemaV1<T>;
-interface ASchema<T = any> {
+interface ASchema<T = any, TOptional extends boolean = false> {
     metadata?: SchemaMetadata;
-    nullable?: boolean;
-    [VALIDATOR_KEY]: SchemaValidator<T>;
+    isNullable?: boolean;
+    [VALIDATOR_KEY]: SchemaValidator<T, TOptional>;
 }
 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>;
+type ASchemaWithAdapters<T = any, TOptional extends boolean = false> = ASchema<T, TOptional> & WithAdapters<T>;
 interface ASchemaOptions {
     id?: string;
     description?: string;
@@ -148,20 +148,27 @@ type ARecordSchemaWithAdapters<TInnerSchema extends ASchema<any>> = ARecordSchem
 interface AObjectSchema<TVal = any, TStrict extends boolean = false> extends ASchema<TVal> {
     properties: Record<string, ASchema>;
     optionalProperties?: Record<string, ASchema>;
-    strict?: TStrict;
+    isStrict?: 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
+     * @deprecated use "isStrict" instead
      */
     strict?: TAdditionalProps;
+    /**
+     * Allow this object to include additional properties not specified here
+     */
+    isStrict?: TAdditionalProps;
 }
-type InferObjectOutput<TInput = any> = ResolveObject<InferObjectRawType<TInput>>;
-type InferObjectRawType<TInput> = TInput extends Record<any, any> ? {
-    [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;
+type InferObjectOutput<TInput extends Record<any, ASchema<any, any>> = any> = ResolveObject<PartialBy<InferObjectRawType<TInput>, InferObjectOptionalKeys<TInput>>>;
+type InferObjectOptionalKeys<TInput extends Record<any, ASchema<any, any>>> = {
+    [K in keyof TInput]: TInput[K][typeof VALIDATOR_KEY]['optional'] extends true ? K : never;
+}[keyof TInput];
+type InferObjectRawType<TInput extends Record<any, ASchema<any, any>>> = {
+    [TKey in keyof TInput]: TInput[TKey][typeof VALIDATOR_KEY]['output'];
+};
 declare function isObject(input: unknown): input is Record<any, any>;
 interface ARefSchema<T> extends ASchema<T> {
     ref: string;
@@ -169,5 +176,5 @@ interface ARefSchema<T> extends ASchema<T> {
 declare function isARefSchema(input: unknown): input is ARefSchema<any>;
 type ARefSchemaWithAdapters<T> = ARefSchema<T> & WithAdapters<T>;
 
-export { isAScalarSchema as D, isAAraySchema as F, isAStringEnumSchema as J, isADiscriminatorSchema as L, NumberTypeValues as N, isARecordSchema as Q, isAObjectSchema as T, isObject as X, isARefSchema as Y, isValueError as q, errorMessageFromErrors as r, ValidationException as s, isValidationException as t, newValidationContext as w, VALIDATOR_KEY as x, isASchema as z };
-export type { ASchema as A, Resolve as B, AScalarSchema as C, NumberType as E, AArraySchemaWithAdapters as G, AStringEnumSchema as H, InferType as I, ADiscriminatorSchema as K, MaybeNullable as M, ARecordSchema as O, PartialBy as P, Result as R, SchemaValidator as S, InferObjectRawType as U, ValidationContext as V, WithAdapters as W, ARefSchemaWithAdapters as Z, ASchemaStrict as a, ASchemaOptions as b, ASchemaWithAdapters as c, AArraySchema as d, AScalarSchemaWithAdapters as e, AObjectSchema as f, ADiscriminatorSchemaWithAdapters as g, ResolveObject as h, AStringEnumSchemaWithAdapters as i, AObjectSchemaWithAdapters as j, AObjectSchemaOptions as k, InferObjectOutput as l, ARecordSchemaWithAdapters as m, ARefSchema as n, ValueError as o, InferSubType as p, ResultSuccess as u, ResultFailure as v, SchemaMetadata as y };
+export { isAScalarSchema as D, isAAraySchema as F, isAStringEnumSchema as J, isADiscriminatorSchema as L, NumberTypeValues as N, isARecordSchema as Q, isAObjectSchema as T, VALIDATOR_KEY as V, isObject as Y, isARefSchema as Z, isValueError as r, errorMessageFromErrors as s, ValidationException as t, isValidationException as u, newValidationContext as x, isASchema as z };
+export type { ASchema as A, Resolve as B, AScalarSchema as C, NumberType as E, AArraySchemaWithAdapters as G, AStringEnumSchema as H, InferType as I, ADiscriminatorSchema as K, MaybeNullable as M, ARecordSchema as O, PartialBy as P, Result as R, SchemaValidator as S, InferObjectOptionalKeys as U, WithAdapters as W, InferObjectRawType as X, ARefSchemaWithAdapters as _, ASchemaStrict as a, ASchemaOptions as b, ASchemaWithAdapters as c, AArraySchema as d, AScalarSchemaWithAdapters as e, AObjectSchema as f, ADiscriminatorSchemaWithAdapters as g, ResolveObject as h, AStringEnumSchemaWithAdapters as i, AObjectSchemaWithAdapters as j, AObjectSchemaOptions as k, InferObjectOutput as l, ValidationContext as m, ARecordSchemaWithAdapters as n, ARefSchema as o, ValueError as p, InferSubType as q, ResultSuccess as v, ResultFailure as w, SchemaMetadata as y };

package/dist/shared/{schema.hMebmI3A.d.ts → schema.CS4qvHhE.d.ts}

@@ -52,9 +52,9 @@ interface ValidationContext {
 }
 declare function newValidationContext(exitOnFirstError?: boolean, maxDepth?: number): ValidationContext;
 declare const VALIDATOR_KEY: " Symbol.for(arri/schema/validator/v1)";
-interface SchemaValidator<T> {
+interface SchemaValidator<T, TOptional extends boolean = false> {
     output: T;
-    optional?: boolean;
+    optional: TOptional;
     validate: (input: unknown) => input is T;
     parse: (input: unknown, context: ValidationContext) => T | undefined;
     coerce: (input: unknown, context: ValidationContext) => T | undefined;
@@ -67,14 +67,14 @@ interface SchemaMetadata {
     isDeprecated?: boolean;
 }
 type WithAdapters<T = any> = StandardSchemaV1<T>;
-interface ASchema<T = any> {
+interface ASchema<T = any, TOptional extends boolean = false> {
     metadata?: SchemaMetadata;
-    nullable?: boolean;
-    [VALIDATOR_KEY]: SchemaValidator<T>;
+    isNullable?: boolean;
+    [VALIDATOR_KEY]: SchemaValidator<T, TOptional>;
 }
 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>;
+type ASchemaWithAdapters<T = any, TOptional extends boolean = false> = ASchema<T, TOptional> & WithAdapters<T>;
 interface ASchemaOptions {
     id?: string;
     description?: string;
@@ -148,20 +148,27 @@ type ARecordSchemaWithAdapters<TInnerSchema extends ASchema<any>> = ARecordSchem
 interface AObjectSchema<TVal = any, TStrict extends boolean = false> extends ASchema<TVal> {
     properties: Record<string, ASchema>;
     optionalProperties?: Record<string, ASchema>;
-    strict?: TStrict;
+    isStrict?: 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
+     * @deprecated use "isStrict" instead
      */
     strict?: TAdditionalProps;
+    /**
+     * Allow this object to include additional properties not specified here
+     */
+    isStrict?: TAdditionalProps;
 }
-type InferObjectOutput<TInput = any> = ResolveObject<InferObjectRawType<TInput>>;
-type InferObjectRawType<TInput> = TInput extends Record<any, any> ? {
-    [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;
+type InferObjectOutput<TInput extends Record<any, ASchema<any, any>> = any> = ResolveObject<PartialBy<InferObjectRawType<TInput>, InferObjectOptionalKeys<TInput>>>;
+type InferObjectOptionalKeys<TInput extends Record<any, ASchema<any, any>>> = {
+    [K in keyof TInput]: TInput[K][typeof VALIDATOR_KEY]['optional'] extends true ? K : never;
+}[keyof TInput];
+type InferObjectRawType<TInput extends Record<any, ASchema<any, any>>> = {
+    [TKey in keyof TInput]: TInput[TKey][typeof VALIDATOR_KEY]['output'];
+};
 declare function isObject(input: unknown): input is Record<any, any>;
 interface ARefSchema<T> extends ASchema<T> {
     ref: string;
@@ -169,5 +176,5 @@ interface ARefSchema<T> extends ASchema<T> {
 declare function isARefSchema(input: unknown): input is ARefSchema<any>;
 type ARefSchemaWithAdapters<T> = ARefSchema<T> & WithAdapters<T>;
 
-export { isAScalarSchema as D, isAAraySchema as F, isAStringEnumSchema as J, isADiscriminatorSchema as L, NumberTypeValues as N, isARecordSchema as Q, isAObjectSchema as T, isObject as X, isARefSchema as Y, isValueError as q, errorMessageFromErrors as r, ValidationException as s, isValidationException as t, newValidationContext as w, VALIDATOR_KEY as x, isASchema as z };
-export type { ASchema as A, Resolve as B, AScalarSchema as C, NumberType as E, AArraySchemaWithAdapters as G, AStringEnumSchema as H, InferType as I, ADiscriminatorSchema as K, MaybeNullable as M, ARecordSchema as O, PartialBy as P, Result as R, SchemaValidator as S, InferObjectRawType as U, ValidationContext as V, WithAdapters as W, ARefSchemaWithAdapters as Z, ASchemaStrict as a, ASchemaOptions as b, ASchemaWithAdapters as c, AArraySchema as d, AScalarSchemaWithAdapters as e, AObjectSchema as f, ADiscriminatorSchemaWithAdapters as g, ResolveObject as h, AStringEnumSchemaWithAdapters as i, AObjectSchemaWithAdapters as j, AObjectSchemaOptions as k, InferObjectOutput as l, ARecordSchemaWithAdapters as m, ARefSchema as n, ValueError as o, InferSubType as p, ResultSuccess as u, ResultFailure as v, SchemaMetadata as y };
+export { isAScalarSchema as D, isAAraySchema as F, isAStringEnumSchema as J, isADiscriminatorSchema as L, NumberTypeValues as N, isARecordSchema as Q, isAObjectSchema as T, VALIDATOR_KEY as V, isObject as Y, isARefSchema as Z, isValueError as r, errorMessageFromErrors as s, ValidationException as t, isValidationException as u, newValidationContext as x, isASchema as z };
+export type { ASchema as A, Resolve as B, AScalarSchema as C, NumberType as E, AArraySchemaWithAdapters as G, AStringEnumSchema as H, InferType as I, ADiscriminatorSchema as K, MaybeNullable as M, ARecordSchema as O, PartialBy as P, Result as R, SchemaValidator as S, InferObjectOptionalKeys as U, WithAdapters as W, InferObjectRawType as X, ARefSchemaWithAdapters as _, ASchemaStrict as a, ASchemaOptions as b, ASchemaWithAdapters as c, AArraySchema as d, AScalarSchemaWithAdapters as e, AObjectSchema as f, ADiscriminatorSchemaWithAdapters as g, ResolveObject as h, AStringEnumSchemaWithAdapters as i, AObjectSchemaWithAdapters as j, AObjectSchemaOptions as k, InferObjectOutput as l, ValidationContext as m, ARecordSchemaWithAdapters as n, ARefSchema as o, ValueError as p, InferSubType as q, ResultSuccess as v, ResultFailure as w, SchemaMetadata as y };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@arrirpc/schema",
-  "version": "0.78.0",
+  "version": "0.79.0",
   "type": "module",
   "license": "MIT",
   "author": {
@@ -25,15 +25,16 @@
     "@standard-schema/spec": "1.0.0",
     "scule": "^1.3.0",
     "uncrypto": "^0.1.3",
-    "@arrirpc/type-defs": "0.78.0"
+    "@arrirpc/type-defs": "0.79.0"
   },
   "devDependencies": {
-    "@ryoppippi/unplugin-typia": "^2.1.3",
-    "@sinclair/typebox": "^0.34.31",
+    "@ryoppippi/unplugin-typia": "^2.2.0",
+    "@samchon/openapi": "^4.0.0",
+    "@sinclair/typebox": "^0.34.33",
     "ajv": "^8.17.1",
-    "arktype": "^2.1.12",
+    "arktype": "^2.1.19",
     "benny": "^3.7.1",
-    "typia": "^8.0.3",
+    "typia": "^9.1.1",
     "valibot": "1.0.0",
     "zod": "^3.24.2"
   }