@cleverbrush/schema 1.0.0-beta.4 → 1.0.0

package/src/schema.ts

@@ -1,827 +0,0 @@
-import { ISchemaBuilder } from './builders/SchemaBuilder.js';
-import { IUnionSchemaBuilder } from './builders/UnionSchemaBuilder.js';
-import { IStringSchemaBuilder } from './builders/StringSchemaBuilder.js';
-import { IObjectSchemaBuilder } from './builders/ObjectSchemaBuilder.js';
-import { INumberSchemaBuilder } from './builders/NumberSchemaBuilder.js';
-import { IArraySchemaBuilder } from './builders/ArraySchemaBuilder.js';
-import { IBooleanSchemaBuilder } from './builders/BooleanSchemaBuilder.js';
-import { IFunctionSchemaBuilder } from './builders/FunctionSchemaBuilder.js';
-import { ISchemaRegistry } from './index.js';
-
-export type DefaultSchemaType =
-    | 'alias'
-    | 'boolean'
-    | 'number'
-    | 'string'
-    | 'array'
-    | 'object'
-    | 'union'
-    | 'function';
-
-export type KeysWithNoNever<T> = {
-    [k in keyof T]: T[k] extends never ? never : k;
-}[keyof T];
-
-export type OmitNever<T> = {
-    [k in KeysWithNoNever<T>]: T[k];
-};
-
-type MakePropOptional<T, K extends keyof T> = Pick<Partial<T>, K> & Omit<T, K>;
-
-export type Union<T1, T2> = {
-    [k in keyof Omit<T1, keyof T2>]: T1[k];
-} & T2;
-
-export type DefaultCommonSchema = {
-    isRequired: true;
-    isNullable: false;
-};
-
-export type DefaultBooleanSchema = DefaultCommonSchema & {
-    type: 'boolean';
-};
-export type DefaultNumberSchema = DefaultCommonSchema & {
-    type: 'number';
-    ensureNotNaN: true;
-    ensureIsFinite: true;
-};
-
-export type DefaultStringSchema = DefaultCommonSchema & {
-    type: 'string';
-};
-
-export type DefaultArraySchema = DefaultCommonSchema & {
-    type: 'array';
-};
-
-export type DefaultUnionSchema = DefaultCommonSchema & {
-    type: 'union';
-};
-
-export type DefaultObjectSchema = DefaultCommonSchema & {
-    type: 'object';
-    noUnknownProperties: true;
-};
-
-export type DefaultFunctionSchema = DefaultCommonSchema & {
-    type: 'function';
-};
-
-export type ValidationResultRaw = {
-    valid: boolean;
-    errors?: Array<string>;
-};
-
-export type ValidationResult =
-    | ValidationResultRaw
-    | Promise<ValidationResultRaw>;
-
-export type ValidationResultWithObject<T> = {
-    valid: boolean;
-    errors?: Array<string>;
-    object?: T;
-};
-export type Validator = (value: any) => ValidationResult;
-
-export type CommonSchemaSpecification<
-    TRequired extends boolean = true,
-    TNullable extends boolean = false
-> = {
-    isRequired?: TRequired;
-    isNullable?: TNullable;
-    validators?: Array<Validator>;
-};
-export type BooleanSchema = CommonSchemaSpecification<any, any> & {
-    type: 'boolean';
-    equals?: boolean;
-};
-
-export type NumberSchema = CommonSchemaSpecification<any, any> & {
-    type: 'number';
-    min?: number;
-    max?: number;
-    equals?: number;
-    isInteger?: boolean;
-    ensureNotNaN?: boolean;
-    ensureIsFinite?: boolean;
-};
-
-export type ArraySchema<T> = CommonSchemaSpecification<any, any> & {
-    type: 'array';
-    preprocessor?: ((value: unknown) => unknown | Promise<unknown>) | string;
-    ofType?: T;
-    minLength?: number;
-    maxLength?: number;
-};
-
-export type ObjectSchema<T extends Record<string, Schema> = never> =
-    CommonSchemaSpecification<any, any> & {
-        type: 'object';
-        noUnknownProperties?: boolean;
-        properties?: T;
-        preprocessors?: {
-            [S in keyof T | '*']?: S extends keyof T
-                ?
-                      | ((
-                            value: any
-                        ) =>
-                            | undefined
-                            | InferType<T[S]>
-                            | Promise<InferType<T[S]>>)
-                      | string
-                : (value: InferType<T>) => void | Promise<void>;
-        };
-    };
-
-export type AliasSchema = CommonSchemaSpecification<any, any> & {
-    type: 'alias';
-    schemaName: string;
-    externalRegistry?: ISchemaRegistry<any>;
-};
-
-export type UnionSchema<T extends any[]> = CommonSchemaSpecification<
-    any,
-    any
-> & {
-    type: 'union';
-    variants: T;
-};
-
-export type StringSchema = CommonSchemaSpecification<any, any> & {
-    type: 'string';
-    equals?: string;
-    minLength?: number;
-    maxLength?: number;
-};
-
-export type FunctionSchema = CommonSchemaSpecification<any, any> & {
-    type: 'function';
-};
-
-export type SchemaSpecification =
-    | ObjectSchema
-    | BooleanSchema
-    | NumberSchema
-    | ArraySchema<any>
-    | AliasSchema
-    | UnionSchema<any>
-    | StringSchema
-    | FunctionSchema;
-
-export type Schema<T = any> = T extends Record<string, any>
-    ? any
-    : T extends number
-    ? NumberSchema | number | 'number'
-    : T extends string
-    ? StringSchema | string | 'string'
-    : T extends boolean
-    ? BooleanSchema | boolean
-    : number | DefaultSchemaType | SchemaSpecification | Schema[];
-
-export type MakeOptional<T> = T extends IUnionSchemaBuilder<
-    infer TRequired,
-    infer TNullable,
-    infer TVariants
->
-    ? IUnionSchemaBuilder<false, TNullable, TVariants>
-    : T extends IStringSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TMinLength,
-          infer TMaxLength,
-          infer TEqualsTo
-      >
-    ? IStringSchemaBuilder<false, TNullable, TMinLength, TMaxLength, TEqualsTo>
-    : T extends IObjectSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TNoUnknownProperties,
-          infer TProperties,
-          infer TMapToType
-      >
-    ? IObjectSchemaBuilder<
-          false,
-          TNullable,
-          TNoUnknownProperties,
-          TProperties,
-          TMapToType
-      >
-    : T extends INumberSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TMin,
-          infer TMax,
-          infer TIsInteger,
-          infer TEnsureNotNaN,
-          infer TEnsureIsFinite,
-          infer TEqualsTo
-      >
-    ? INumberSchemaBuilder<
-          false,
-          TNullable,
-          TMin,
-          TMax,
-          TIsInteger,
-          TEnsureNotNaN,
-          TEnsureIsFinite,
-          TEqualsTo
-      >
-    : T extends IArraySchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TOfType,
-          infer TMaxLength,
-          infer TMinLength
-      >
-    ? IArraySchemaBuilder<false, TNullable, TOfType, TMaxLength, TMinLength>
-    : T extends IBooleanSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TEqualsTo
-      >
-    ? IBooleanSchemaBuilder<false, TNullable, TEqualsTo>
-    : T extends IFunctionSchemaBuilder<infer TRequired, infer TNullable>
-    ? IFunctionSchemaBuilder<false, TNullable>
-    : T & { isRequired: false };
-
-export type MakeRequired<T> = T extends IUnionSchemaBuilder<
-    infer TRequired,
-    infer TNullable,
-    infer TVariants
->
-    ? IUnionSchemaBuilder<true, TNullable, TVariants>
-    : T extends IStringSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TMinLength,
-          infer TMaxLength,
-          infer TEqualsTo
-      >
-    ? IStringSchemaBuilder<true, TNullable, TMinLength, TMaxLength, TEqualsTo>
-    : T extends IObjectSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TNoUnknownProperties,
-          infer TProperties,
-          infer TMapToType
-      >
-    ? IObjectSchemaBuilder<
-          true,
-          TNullable,
-          TNoUnknownProperties,
-          TProperties,
-          TMapToType
-      >
-    : T extends INumberSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TMin,
-          infer TMax,
-          infer TIsInteger,
-          infer TEnsureNotNaN,
-          infer TEnsureIsFinite,
-          infer TEqualsTo
-      >
-    ? INumberSchemaBuilder<
-          true,
-          TNullable,
-          TMin,
-          TMax,
-          TIsInteger,
-          TEnsureNotNaN,
-          TEnsureIsFinite,
-          TEqualsTo
-      >
-    : T extends IArraySchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TOfType,
-          infer TMaxLength,
-          infer TMinLength
-      >
-    ? IArraySchemaBuilder<true, TNullable, TOfType, TMaxLength, TMinLength>
-    : T extends IBooleanSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TEqualsTo
-      >
-    ? IBooleanSchemaBuilder<true, TNullable, TEqualsTo>
-    : T extends IFunctionSchemaBuilder<infer TRequired, infer TNullable>
-    ? IFunctionSchemaBuilder<true, TNullable>
-    : T & { isRequired: true };
-
-export type MakeNullable<T> = T extends IUnionSchemaBuilder<
-    infer TRequired,
-    infer TNullable,
-    infer TVariants
->
-    ? IUnionSchemaBuilder<TRequired, true, TVariants>
-    : T extends IStringSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TMinLength,
-          infer TMaxLength,
-          infer TEqualsTo
-      >
-    ? IStringSchemaBuilder<TRequired, true, TMinLength, TMaxLength, TEqualsTo>
-    : T extends IObjectSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TNoUnknownProperties,
-          infer TProperties,
-          infer TMapToType
-      >
-    ? IObjectSchemaBuilder<
-          TRequired,
-          true,
-          TNoUnknownProperties,
-          TProperties,
-          TMapToType
-      >
-    : T extends INumberSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TMin,
-          infer TMax,
-          infer TIsInteger,
-          infer TEnsureNotNaN,
-          infer TEnsureIsFinite,
-          infer TEqualsTo
-      >
-    ? INumberSchemaBuilder<
-          TRequired,
-          true,
-          TMin,
-          TMax,
-          TIsInteger,
-          TEnsureNotNaN,
-          TEnsureIsFinite,
-          TEqualsTo
-      >
-    : T extends IArraySchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TOfType,
-          infer TMaxLength,
-          infer TMinLength
-      >
-    ? IArraySchemaBuilder<TRequired, true, TOfType, TMaxLength, TMinLength>
-    : T extends IBooleanSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TEqualsTo
-      >
-    ? IBooleanSchemaBuilder<TRequired, true, TEqualsTo>
-    : T extends IFunctionSchemaBuilder<infer TRequired, infer TNullable>
-    ? IFunctionSchemaBuilder<TRequired, true>
-    : T & { isNullable: true };
-
-export type MakeNotNullable<T> = T extends IUnionSchemaBuilder<
-    infer TRequired,
-    infer TNullable,
-    infer TVariants
->
-    ? IUnionSchemaBuilder<TRequired, false, TVariants>
-    : T extends IStringSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TMinLength,
-          infer TMaxLength,
-          infer TEqualsTo
-      >
-    ? IStringSchemaBuilder<TRequired, false, TMinLength, TMaxLength, TEqualsTo>
-    : T extends IObjectSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TNoUnknownProperties,
-          infer TProperties,
-          infer TMapToType
-      >
-    ? IObjectSchemaBuilder<
-          TRequired,
-          false,
-          TNoUnknownProperties,
-          TProperties,
-          TMapToType
-      >
-    : T extends INumberSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TMin,
-          infer TMax,
-          infer TIsInteger,
-          infer TEnsureNotNaN,
-          infer TEnsureIsFinite,
-          infer TEqualsTo
-      >
-    ? INumberSchemaBuilder<
-          TRequired,
-          false,
-          TMin,
-          TMax,
-          TIsInteger,
-          TEnsureNotNaN,
-          TEnsureIsFinite,
-          TEqualsTo
-      >
-    : T extends IArraySchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TOfType,
-          infer TMaxLength,
-          infer TMinLength
-      >
-    ? IArraySchemaBuilder<TRequired, false, TOfType, TMaxLength, TMinLength>
-    : T extends IBooleanSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TEqualsTo
-      >
-    ? IBooleanSchemaBuilder<TRequired, false, TEqualsTo>
-    : T extends IFunctionSchemaBuilder<infer TRequired, infer TNullable>
-    ? IFunctionSchemaBuilder<TRequired, false>
-    : T & { isNullable: false };
-
-export type ExpandUnionVariants<TVariants extends any[]> = TVariants extends [
-    infer T
-]
-    ? [ExpandSchemaBuilder<T>]
-    : TVariants extends [infer T, ...infer Rest]
-    ? [ExpandSchemaBuilder<T>, ...ExpandUnionVariants<[...Rest]>]
-    : never;
-
-export type ExpandSchemaBuilder<TSchema> = TSchema extends [
-    infer TType,
-    ...infer TParams
-]
-    ? TType extends 'object'
-        ? TParams extends [
-              infer TRequired extends boolean,
-              infer TNullable extends boolean,
-              infer TNoUnknownProperties extends boolean | undefined,
-              infer TProperties,
-              infer TMapToType
-          ]
-            ? IObjectSchemaBuilder<
-                  TRequired,
-                  TNullable,
-                  TNoUnknownProperties,
-                  {
-                      [k in keyof TProperties]: ExpandSchemaBuilder<
-                          TProperties[k]
-                      >;
-                  },
-                  TMapToType
-              >
-            : IObjectSchemaBuilder
-        : TType extends 'string'
-        ? TParams extends [
-              infer TRequired extends boolean,
-              infer TNullable extends boolean,
-              infer TMinLength extends number | undefined,
-              infer TMaxLength extends number | undefined,
-              infer TEqualsTo extends string | undefined
-          ]
-            ? TEqualsTo extends undefined
-                ? IStringSchemaBuilder<
-                      TRequired,
-                      TNullable,
-                      TMinLength,
-                      TMaxLength,
-                      undefined
-                  >
-                : IStringSchemaBuilder<
-                      TRequired,
-                      TNullable,
-                      TMinLength,
-                      TMaxLength,
-                      TEqualsTo
-                  >
-            : IStringSchemaBuilder
-        : TType extends 'number'
-        ? TParams extends [
-              infer TRequired extends boolean,
-              infer TNullable extends boolean,
-              infer TMin extends number | undefined,
-              infer TMax extends number | undefined,
-              infer TIsInteger extends boolean | undefined,
-              infer TEnsureNotNaN extends boolean | undefined,
-              infer TEnsureIsFinite extends boolean | undefined,
-              infer TEqualsTo extends number | undefined
-          ]
-            ? TEqualsTo extends undefined
-                ? INumberSchemaBuilder<
-                      TRequired,
-                      TNullable,
-                      TMin,
-                      TMax,
-                      TIsInteger,
-                      TEnsureNotNaN,
-                      TEnsureIsFinite,
-                      TEqualsTo
-                  >
-                : INumberSchemaBuilder<
-                      TRequired,
-                      TNullable,
-                      TMin,
-                      TMax,
-                      TIsInteger,
-                      TEnsureNotNaN,
-                      TEnsureIsFinite,
-                      undefined
-                  >
-            : INumberSchemaBuilder
-        : TType extends 'array'
-        ? TParams extends [
-              infer TRequired extends boolean,
-              infer TNullable extends boolean,
-              infer TOfType,
-              infer TMaxLength extends number | undefined,
-              infer TMinLength extends number | undefined
-          ]
-            ? IArraySchemaBuilder<
-                  TRequired,
-                  TNullable,
-                  ExpandSchemaBuilder<TOfType>,
-                  TMaxLength,
-                  TMinLength
-              >
-            : IArraySchemaBuilder
-        : TType extends 'union'
-        ? TParams extends [
-              infer TRequired extends boolean,
-              infer TNullable extends boolean,
-              infer TVariants extends any[]
-          ]
-            ? IUnionSchemaBuilder<
-                  TRequired,
-                  TNullable,
-                  ExpandUnionVariants<TVariants>
-              >
-            : IUnionSchemaBuilder
-        : TType extends 'boolean'
-        ? TParams extends [
-              infer TRequired extends boolean,
-              infer TNullable extends boolean,
-              infer TEqualsTo extends boolean | undefined
-          ]
-            ? IBooleanSchemaBuilder<
-                  TRequired,
-                  TNullable,
-                  TEqualsTo extends undefined ? undefined : boolean
-              >
-            : IBooleanSchemaBuilder
-        : TType extends 'function'
-        ? TParams extends [
-              infer TRequired extends boolean,
-              infer TNullable extends boolean
-          ]
-            ? IFunctionSchemaBuilder<TRequired, TNullable>
-            : IFunctionSchemaBuilder
-        : TSchema
-    : TSchema;
-
-export type ReduceSchemaBuilder<TBuilder> =
-    TBuilder extends IObjectSchemaBuilder<
-        infer TRequired,
-        infer TNullable,
-        infer TNoUnknownProperties,
-        infer TProperties,
-        infer TMapToType
-    >
-        ? [
-              'object',
-              TRequired,
-              TNullable,
-              TNoUnknownProperties,
-              {
-                  [k in keyof TProperties]: ReduceSchemaBuilder<TProperties[k]>;
-              },
-              TMapToType
-          ]
-        : TBuilder extends IStringSchemaBuilder<
-              infer TRequired,
-              infer TNullable,
-              infer TMinLength,
-              infer TMaxLength,
-              infer TEqualsTo
-          >
-        ? ['string', TRequired, TNullable, TMinLength, TMaxLength, TEqualsTo]
-        : TBuilder extends INumberSchemaBuilder<
-              infer TRequired,
-              infer TNullable,
-              infer TMin,
-              infer TMax,
-              infer TIsInteger,
-              infer TEnsureNotNaN,
-              infer TEnsureIsFinite,
-              infer TEqualsTo
-          >
-        ? [
-              'number',
-              TRequired,
-              TNullable,
-              TMin,
-              TMax,
-              TIsInteger,
-              TEnsureNotNaN,
-              TEnsureIsFinite,
-              TEqualsTo
-          ]
-        : TBuilder extends IArraySchemaBuilder<
-              infer TRequired,
-              infer TNullable,
-              infer TOfType,
-              infer TMaxLength,
-              infer TMinLength
-          >
-        ? [
-              'array',
-              TRequired,
-              TNullable,
-              ReduceSchemaBuilder<TOfType>,
-              TMaxLength,
-              TMinLength
-          ]
-        : TBuilder extends IUnionSchemaBuilder<
-              infer TRequired,
-              infer TNullable,
-              infer TVariants
-          >
-        ? ['union', TRequired, TNullable, ReduceSchemaBuilder<TVariants>]
-        : TBuilder extends IBooleanSchemaBuilder<
-              infer TRequired,
-              infer TNullable,
-              infer TEqualsTo
-          >
-        ? ['boolean', TRequired, TNullable, TEqualsTo]
-        : TBuilder extends IFunctionSchemaBuilder<
-              infer TRequired,
-              infer TNullable
-          >
-        ? ['function', TRequired, TNullable]
-        : TBuilder extends [infer F]
-        ? [ReduceSchemaBuilder<F>]
-        : TBuilder extends [infer F, ...infer Rest]
-        ? [ReduceSchemaBuilder<F>, ...ReduceSchemaBuilder<Rest>]
-        : TBuilder;
-
-export type InferType<S> = S extends DefaultSchemaType
-    ? S extends 'string'
-        ? string
-        : S extends 'boolean'
-        ? boolean
-        : S extends 'number'
-        ? number
-        : S extends 'array'
-        ? Array<any>
-        : S extends 'object'
-        ? Record<string, never>
-        : S extends 'function'
-        ? Function
-        : never
-    : S extends number
-    ? S
-    : S extends BooleanSchema
-    ? S['equals'] extends undefined
-        ? boolean
-        : S['equals']
-    : S extends UnionSchema<infer K>
-    ? InferType<K>
-    : S extends { type: 'union'; variants: infer K }
-    ? K extends any[]
-        ? InferType<K>
-        : any
-    : S extends IObjectSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TNoUnknownProperties,
-          infer TProperties,
-          infer TMapToType
-      >
-    ? TMapToType extends undefined
-        ? InferType<
-              CommonSchemaSpecification<TRequired, TNullable> & {
-                  type: 'object';
-              } & (TNoUnknownProperties extends true
-                      ? { noUnknownProperties: true }
-                      : { noUnknownProperties: false }) &
-                  (TProperties extends Record<string, any>
-                      ? {
-                            properties: TProperties;
-                        }
-                      : {})
-          >
-        : TMapToType
-    : S extends INumberSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TMin,
-          infer TMax,
-          infer TIsInteger,
-          infer TEnsureNotNaN,
-          infer TEnsureIsFinite,
-          infer TEqualsTo
-      >
-    ? TRequired extends true
-        ? TEqualsTo extends undefined
-            ? number
-            : TEqualsTo
-        : TEqualsTo extends undefined
-        ? number | undefined
-        : TEqualsTo | undefined
-    : S extends IBooleanSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TEqualsTo
-      >
-    ? TRequired extends true
-        ? TEqualsTo extends undefined
-            ? boolean
-            : TEqualsTo
-        : TEqualsTo extends undefined
-        ? boolean | undefined
-        : TEqualsTo | undefined
-    : S extends IStringSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TMinLength,
-          infer TMaxLength,
-          infer TEqualsTo
-      >
-    ? TRequired extends true
-        ? TEqualsTo extends undefined
-            ? string
-            : TEqualsTo
-        : TEqualsTo extends undefined
-        ? string | undefined
-        : TEqualsTo | undefined
-    : S extends IUnionSchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TVariants
-      >
-    ? TRequired extends true
-        ? InferType<TVariants>
-        : InferType<TVariants> | undefined
-    : S extends IArraySchemaBuilder<
-          infer TRequired,
-          infer TNullable,
-          infer TOfType,
-          infer TMaxLength,
-          infer TMinLength
-      >
-    ? TRequired extends true
-        ? TOfType extends undefined
-            ? any[]
-            : InferType<TOfType>[]
-        : TOfType extends undefined
-        ? any[] | undefined
-        : InferType<TOfType>[] | undefined
-    : S extends IFunctionSchemaBuilder<infer TRequired, infer TNullable>
-    ? TRequired extends true
-        ? Function
-        : Function | undefined
-    : S extends StringSchema
-    ? S['equals'] extends undefined
-        ? string
-        : S['equals']
-    : S extends NumberSchema
-    ? S['equals'] extends undefined
-        ? number
-        : S['equals']
-    : S extends ObjectSchema<infer K>
-    ? OptionalPropertiesOf<K> extends never
-        ? { [k in keyof K]: InferType<K[k]> }
-        : MakePropOptional<
-              { [k in keyof K]: InferType<K[k]> },
-              OptionalPropertiesOf<K>
-          >
-    : S extends { type: 'object'; properties: infer K }
-    ? OptionalPropertiesOf<K> extends never
-        ? { [k in keyof K]: InferType<K[k]> }
-        : MakePropOptional<
-              { [k in keyof K]: InferType<K[k]> },
-              OptionalPropertiesOf<K>
-          >
-    : S extends [infer F]
-    ? InferType<F>
-    : S extends [infer F, ...infer Rest]
-    ? InferType<F> | InferType<Rest>
-    : S extends ArraySchema<infer L>
-    ? InferType<L> extends never
-        ? Array<any>
-        : InferType<L>[]
-    : S extends { type: 'array'; ofType: infer L }
-    ? InferType<L>[]
-    : S extends { type: 'array' }
-    ? Array<any>
-    : any;
-
-type OptionalPropertiesOf<T> = {
-    [k in keyof T]: T[k] extends ISchemaBuilder<infer TRequired, any>
-        ? TRequired extends false
-            ? k
-            : never
-        : never;
-}[keyof T];