@nmtjs/type 0.6.4 → 0.7.0

package/dist/runtime.js

@@ -1,73 +0,0 @@
-import { TransformDecode, TransformEncode, Value } from '@sinclair/typebox/value';
-import { register } from "./formats.js";
-import { Clone } from "./parse.js";
-import { IsDiscriminatedUnion } from "./schemas/discriminated-union.js";
-register();
-export function _applyDefaults(schema, value) {
-    return Value.Default(schema, value);
-}
-export function _parse(schema, value, cloneOptions) {
-    if (cloneOptions?.clone !== false) {
-        value = Clone(value, cloneOptions?.exclude);
-    }
-    return Value.Clean(schema, Value.Convert(schema, value));
-}
-export function _traversErrors(errors) {
-    const result = [];
-    for (const error of errors){
-        if (IsDiscriminatedUnion(error.schema)) {
-            const discriminator = error.schema.discriminator;
-            const discriminatorValue = error.value?.[discriminator];
-            if (discriminatorValue !== undefined) {
-                const variantSchema = error.schema.anyOf.find((schema)=>schema.properties[discriminator].const === discriminatorValue);
-                if (variantSchema) {
-                    const propertiesSchemas = [];
-                    for(const element in variantSchema.properties){
-                        const propertySchema = variantSchema.properties[element];
-                        if (propertySchema !== variantSchema.properties[discriminator]) {
-                            propertiesSchemas.push(propertySchema);
-                        }
-                    }
-                    for (const iter of error.errors){
-                        for (const err of iter){
-                            if (!propertiesSchemas.includes(err.schema)) continue;
-                            result.push({
-                                path: err.path,
-                                message: err.message,
-                                value: err.value
-                            });
-                        }
-                    }
-                    continue;
-                }
-            }
-        }
-        result.push({
-            path: error.path,
-            message: error.message,
-            value: error.value
-        });
-        for (const nestedError of error.errors){
-            result.push(..._traversErrors(nestedError));
-        }
-    }
-    return result;
-}
-export function applyDefaults(type, value) {
-    return _applyDefaults(type.schema, value);
-}
-export function parse(type, value, cloneOptions) {
-    return _parse(type.schema, value, cloneOptions);
-}
-export function errors(type, value) {
-    return _traversErrors(Value.Errors(type.schema, value));
-}
-export function check(type, value) {
-    return Value.Check(type.schema, value);
-}
-export function decode(type, value) {
-    return TransformDecode(type.schema, [], value);
-}
-export function encode(type, value) {
-    return TransformEncode(type.schema, [], value);
-}

package/dist/runtime.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../../src/runtime.ts"],"sourcesContent":["import type { ClassConstructor } from '@nmtjs/common'\nimport type { TSchema } from '@sinclair/typebox'\nimport type { ValueErrorIterator } from '@sinclair/typebox/compiler'\nimport {\n  TransformDecode,\n  TransformEncode,\n  Value,\n} from '@sinclair/typebox/value'\nimport { register } from './formats.ts'\nimport type {\n  StaticInputEncode,\n  StaticOutputDecode,\n  StaticOutputEncode,\n} from './inference.ts'\nimport { Clone } from './parse.ts'\nimport { IsDiscriminatedUnion } from './schemas/discriminated-union.ts'\nimport type { BaseType } from './types/base.ts'\n\n// register ajv formats\nregister()\n\nexport type CloneOptions = {\n  clone?: boolean\n  exclude?: Set<any>\n}\n\nexport type ValidationError = {\n  path: string\n  message: string\n  value: unknown\n}\n\n// TODO: this one is very slow\nexport function _applyDefaults(schema: TSchema, value: any) {\n  return Value.Default(schema, value)\n}\n\n// TODO: this one is very slow\n// Clone -> Clean -> Convert\nexport function _parse(\n  schema: TSchema,\n  value: any,\n  cloneOptions?: CloneOptions,\n) {\n  if (cloneOptions?.clone !== false) {\n    value = Clone(value, cloneOptions?.exclude)\n  }\n  return Value.Clean(schema, Value.Convert(schema, value))\n}\n\nexport function _traversErrors(errors: ValueErrorIterator) {\n  const result: ValidationError[] = []\n\n  for (const error of errors) {\n    if (IsDiscriminatedUnion(error.schema)) {\n      const discriminator = error.schema.discriminator\n      const discriminatorValue = error.value?.[discriminator]\n      if (discriminatorValue !== undefined) {\n        const variantSchema = error.schema.anyOf.find(\n          (schema) =>\n            schema.properties[discriminator].const === discriminatorValue,\n        )\n        if (variantSchema) {\n          const propertiesSchemas: TSchema[] = []\n          for (const element in variantSchema.properties) {\n            const propertySchema = variantSchema.properties[element]\n            if (propertySchema !== variantSchema.properties[discriminator]) {\n              propertiesSchemas.push(propertySchema)\n            }\n          }\n\n          for (const iter of error.errors) {\n            for (const err of iter) {\n              if (!propertiesSchemas.includes(err.schema)) continue\n              result.push({\n                path: err.path,\n                message: err.message,\n                value: err.value,\n              })\n            }\n          }\n\n          continue\n        }\n      }\n    }\n\n    result.push({\n      path: error.path,\n      message: error.message,\n      value: error.value,\n    })\n\n    for (const nestedError of error.errors) {\n      result.push(..._traversErrors(nestedError))\n    }\n  }\n\n  return result\n}\n\nexport function applyDefaults(type: BaseType, value: unknown) {\n  return _applyDefaults(type.schema, value)\n}\n\nexport function parse(\n  type: BaseType,\n  value: unknown,\n  cloneOptions?: CloneOptions,\n) {\n  return _parse(type.schema, value, cloneOptions)\n}\n\nexport function errors(type: BaseType, value: unknown): ValidationError[] {\n  return _traversErrors(Value.Errors(type.schema, value))\n}\n\nexport function check<T extends BaseType>(\n  type: T,\n  value: unknown,\n): value is StaticInputEncode<T['schema']> {\n  return Value.Check(type.schema, value)\n}\n\nexport function decode<T extends BaseType>(\n  type: T,\n  value: unknown,\n): StaticOutputDecode<T['schema']> {\n  return TransformDecode(type.schema, [], value)\n}\n\nexport function encode<T extends BaseType>(\n  type: T,\n  value: unknown,\n): StaticOutputEncode<T['schema']> {\n  return TransformEncode(type.schema, [], value)\n}\n"],"names":["TransformDecode","TransformEncode","Value","register","Clone","IsDiscriminatedUnion","_applyDefaults","schema","value","Default","_parse","cloneOptions","clone","exclude","Clean","Convert","_traversErrors","errors","result","error","discriminator","discriminatorValue","undefined","variantSchema","anyOf","find","properties","const","propertiesSchemas","element","propertySchema","push","iter","err","includes","path","message","nestedError","applyDefaults","type","parse","Errors","check","Check","decode","encode"],"mappings":"AAGA,SACEA,eAAe,EACfC,eAAe,EACfC,KAAK,QACA,0BAAyB;AAChC,SAASC,QAAQ,QAAQ,eAAc;AAMvC,SAASC,KAAK,QAAQ,aAAY;AAClC,SAASC,oBAAoB,QAAQ,mCAAkC;AAIvEF;AAcA,OAAO,SAASG,eAAeC,MAAe,EAAEC,KAAU;IACxD,OAAON,MAAMO,OAAO,CAACF,QAAQC;AAC/B;AAIA,OAAO,SAASE,OACdH,MAAe,EACfC,KAAU,EACVG,YAA2B;IAE3B,IAAIA,cAAcC,UAAU,OAAO;QACjCJ,QAAQJ,MAAMI,OAAOG,cAAcE;IACrC;IACA,OAAOX,MAAMY,KAAK,CAACP,QAAQL,MAAMa,OAAO,CAACR,QAAQC;AACnD;AAEA,OAAO,SAASQ,eAAeC,MAA0B;IACvD,MAAMC,SAA4B,EAAE;IAEpC,KAAK,MAAMC,SAASF,OAAQ;QAC1B,IAAIZ,qBAAqBc,MAAMZ,MAAM,GAAG;YACtC,MAAMa,gBAAgBD,MAAMZ,MAAM,CAACa,aAAa;YAChD,MAAMC,qBAAqBF,MAAMX,KAAK,EAAE,CAACY,cAAc;YACvD,IAAIC,uBAAuBC,WAAW;gBACpC,MAAMC,gBAAgBJ,MAAMZ,MAAM,CAACiB,KAAK,CAACC,IAAI,CAC3C,CAAClB,SACCA,OAAOmB,UAAU,CAACN,cAAc,CAACO,KAAK,KAAKN;gBAE/C,IAAIE,eAAe;oBACjB,MAAMK,oBAA+B,EAAE;oBACvC,IAAK,MAAMC,WAAWN,cAAcG,UAAU,CAAE;wBAC9C,MAAMI,iBAAiBP,cAAcG,UAAU,CAACG,QAAQ;wBACxD,IAAIC,mBAAmBP,cAAcG,UAAU,CAACN,cAAc,EAAE;4BAC9DQ,kBAAkBG,IAAI,CAACD;wBACzB;oBACF;oBAEA,KAAK,MAAME,QAAQb,MAAMF,MAAM,CAAE;wBAC/B,KAAK,MAAMgB,OAAOD,KAAM;4BACtB,IAAI,CAACJ,kBAAkBM,QAAQ,CAACD,IAAI1B,MAAM,GAAG;4BAC7CW,OAAOa,IAAI,CAAC;gCACVI,MAAMF,IAAIE,IAAI;gCACdC,SAASH,IAAIG,OAAO;gCACpB5B,OAAOyB,IAAIzB,KAAK;4BAClB;wBACF;oBACF;oBAEA;gBACF;YACF;QACF;QAEAU,OAAOa,IAAI,CAAC;YACVI,MAAMhB,MAAMgB,IAAI;YAChBC,SAASjB,MAAMiB,OAAO;YACtB5B,OAAOW,MAAMX,KAAK;QACpB;QAEA,KAAK,MAAM6B,eAAelB,MAAMF,MAAM,CAAE;YACtCC,OAAOa,IAAI,IAAIf,eAAeqB;QAChC;IACF;IAEA,OAAOnB;AACT;AAEA,OAAO,SAASoB,cAAcC,IAAc,EAAE/B,KAAc;IAC1D,OAAOF,eAAeiC,KAAKhC,MAAM,EAAEC;AACrC;AAEA,OAAO,SAASgC,MACdD,IAAc,EACd/B,KAAc,EACdG,YAA2B;IAE3B,OAAOD,OAAO6B,KAAKhC,MAAM,EAAEC,OAAOG;AACpC;AAEA,OAAO,SAASM,OAAOsB,IAAc,EAAE/B,KAAc;IACnD,OAAOQ,eAAed,MAAMuC,MAAM,CAACF,KAAKhC,MAAM,EAAEC;AAClD;AAEA,OAAO,SAASkC,MACdH,IAAO,EACP/B,KAAc;IAEd,OAAON,MAAMyC,KAAK,CAACJ,KAAKhC,MAAM,EAAEC;AAClC;AAEA,OAAO,SAASoC,OACdL,IAAO,EACP/B,KAAc;IAEd,OAAOR,gBAAgBuC,KAAKhC,MAAM,EAAE,EAAE,EAAEC;AAC1C;AAEA,OAAO,SAASqC,OACdN,IAAO,EACP/B,KAAc;IAEd,OAAOP,gBAAgBsC,KAAKhC,MAAM,EAAE,EAAE,EAAEC;AAC1C"}

package/dist/schemas/default.js

@@ -1,6 +0,0 @@
-export function Default(type, default_) {
-    return {
-        ...type,
-        default: default_
-    };
-}

package/dist/schemas/default.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../../../src/schemas/default.ts"],"sourcesContent":["import type { TSchema } from '@sinclair/typebox'\n\nexport type TDefault<Type extends TSchema, Default = unknown> = Type & {\n  default: Default\n}\n\nexport function Default<Type extends TSchema, const Default>(\n  type: Type,\n  default_: Default,\n): TDefault<Type, Default> {\n  return { ...type, default: default_ } as never\n}\n"],"names":["Default","type","default_","default"],"mappings":"AAMA,OAAO,SAASA,QACdC,IAAU,EACVC,QAAiB;IAEjB,OAAO;QAAE,GAAGD,IAAI;QAAEE,SAASD;IAAS;AACtC"}

package/dist/schemas/discriminated-union.js

@@ -1,9 +0,0 @@
-import { KindGuard, Type, TypeGuard, ValueGuard } from '@sinclair/typebox';
-export function IsDiscriminatedUnion(schema) {
-    return TypeGuard.IsUnion(schema) && 'discriminator' in schema && ValueGuard.IsString(schema.discriminator) && schema.anyOf.every((variant)=>KindGuard.IsObject(variant) && KindGuard.IsLiteralString(variant.properties[schema.discriminator]));
-}
-export function DiscriminatedUnion(key, types) {
-    return Type.Union(types, {
-        discriminator: key
-    });
-}

package/dist/schemas/discriminated-union.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../../../src/schemas/discriminated-union.ts"],"sourcesContent":["import {\n  KindGuard,\n  type TLiteral,\n  type TObject,\n  type TPropertyKey,\n  type TSchema,\n  type TUnion,\n  Type,\n  TypeGuard,\n  ValueGuard,\n} from '@sinclair/typebox'\n\nexport function IsDiscriminatedUnion(\n  schema: TSchema,\n): schema is TDiscriminatedUnion {\n  return (\n    TypeGuard.IsUnion(schema) &&\n    'discriminator' in schema &&\n    ValueGuard.IsString(schema.discriminator) &&\n    schema.anyOf.every(\n      (variant) =>\n        KindGuard.IsObject(variant) &&\n        KindGuard.IsLiteralString(variant.properties[schema.discriminator]),\n    )\n  )\n}\n\nexport type DiscriminatedUnionProperties<K extends string = string> = {\n  [OK in K]: TLiteral<any>\n} & {\n  [OK in TPropertyKey]: any\n}\n\nexport interface TDiscriminatedUnion<\n  K extends string = string,\n  T extends TObject<DiscriminatedUnionProperties<K>>[] = TObject<\n    DiscriminatedUnionProperties<K>\n  >[],\n> extends TUnion<T> {\n  discriminator: K\n  anyOf: T\n}\n\nexport function DiscriminatedUnion<\n  K extends string,\n  T extends TObject<DiscriminatedUnionProperties<K>>[],\n>(key: K, types: T): TDiscriminatedUnion<K, T> {\n  return Type.Union(types, { discriminator: key }) as any\n}\n"],"names":["KindGuard","Type","TypeGuard","ValueGuard","IsDiscriminatedUnion","schema","IsUnion","IsString","discriminator","anyOf","every","variant","IsObject","IsLiteralString","properties","DiscriminatedUnion","key","types","Union"],"mappings":"AAAA,SACEA,SAAS,EAMTC,IAAI,EACJC,SAAS,EACTC,UAAU,QACL,oBAAmB;AAE1B,OAAO,SAASC,qBACdC,MAAe;IAEf,OACEH,UAAUI,OAAO,CAACD,WAClB,mBAAmBA,UACnBF,WAAWI,QAAQ,CAACF,OAAOG,aAAa,KACxCH,OAAOI,KAAK,CAACC,KAAK,CAChB,CAACC,UACCX,UAAUY,QAAQ,CAACD,YACnBX,UAAUa,eAAe,CAACF,QAAQG,UAAU,CAACT,OAAOG,aAAa,CAAC;AAG1E;AAkBA,OAAO,SAASO,mBAGdC,GAAM,EAAEC,KAAQ;IAChB,OAAOhB,KAAKiB,KAAK,CAACD,OAAO;QAAET,eAAeQ;IAAI;AAChD"}

package/dist/schemas/nullable.js

@@ -1,11 +0,0 @@
-import { Type } from '@sinclair/typebox/type';
-export const Nullable = (schema, options = {})=>{
-    const { default: _default } = schema;
-    return Type.Union([
-        schema,
-        Type.Null()
-    ], {
-        default: _default,
-        ...options
-    });
-};

package/dist/schemas/nullable.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../../../src/schemas/nullable.ts"],"sourcesContent":["import {\n  type SchemaOptions,\n  type TNull,\n  type TSchema,\n  type TUnion,\n  Type,\n} from '@sinclair/typebox/type'\n\nexport type TNullable<T extends TSchema> = TUnion<[T, TNull]>\nexport const Nullable = <T extends TSchema>(\n  schema: T,\n  options: SchemaOptions = {},\n) => {\n  const { default: _default } = schema\n\n  return Type.Union([schema, Type.Null()], {\n    default: _default,\n    ...options,\n  })\n}\n"],"names":["Type","Nullable","schema","options","default","_default","Union","Null"],"mappings":"AAAA,SAKEA,IAAI,QACC,yBAAwB;AAG/B,OAAO,MAAMC,WAAW,CACtBC,QACAC,UAAyB,CAAC,CAAC;IAE3B,MAAM,EAAEC,SAASC,QAAQ,EAAE,GAAGH;IAE9B,OAAOF,KAAKM,KAAK,CAAC;QAACJ;QAAQF,KAAKO,IAAI;KAAG,EAAE;QACvCH,SAASC;QACT,GAAGF,OAAO;IACZ;AACF,EAAC"}

package/src/compiler.ts

@@ -1,100 +0,0 @@
-import { TypeCompiler } from '@sinclair/typebox/compiler'
-import { TransformDecode, TransformEncode } from '@sinclair/typebox/value'
-import type {
-  StaticInputEncode,
-  StaticOutputDecode,
-  StaticOutputEncode,
-} from './inference.ts'
-import {
-  _applyDefaults,
-  _parse,
-  _traversErrors,
-  type CloneOptions,
-  type ValidationError,
-} from './runtime.ts'
-import type { BaseType } from './types/base.ts'
-
-export type Compiled<T extends BaseType = BaseType> = {
-  check: (val: unknown) => val is StaticInputEncode<T['schema']>
-  errors: (val: unknown) => ValidationError[]
-  parse: (val: unknown, cloneOptions?: CloneOptions) => unknown
-  applyDefaults: (val: unknown) => unknown
-  /**
-   * Requires to `check` before calling
-   */
-  decode: (val: unknown) => StaticOutputDecode<T['schema']>
-  /**
-   * Requires to `check` before calling
-   */
-  encode: (val: unknown) => StaticOutputEncode<T['schema']>
-  /**
-   * Requires to `check` before calling
-   */
-  decodeSafe: (
-    val: unknown,
-  ) =>
-    | { success: true; value: StaticOutputDecode<T['schema']> }
-    | { success: false; error: any }
-  /**
-   * Requires to `check` before calling
-   */
-  encodeSafe: (
-    val: unknown,
-  ) =>
-    | { success: true; value: StaticOutputEncode<T['schema']> }
-    | { success: false; error: any }
-}
-
-function compileType(type: BaseType) {
-  const { schema } = type
-  const compiled = TypeCompiler.Compile(schema)
-
-  const check = (value: unknown) => compiled.Check(value)
-  const applyDefaults = (value: unknown) => _applyDefaults(schema, value)
-  const parse = (value: unknown, cloneOptions?: CloneOptions) =>
-    _parse(schema, value, cloneOptions)
-  const errors = (value: unknown) => _traversErrors(compiled.Errors(value))
-  const decode = TransformDecode.bind(null, schema, compiled.References())
-  const encode = TransformEncode.bind(null, schema, compiled.References())
-
-  return {
-    check,
-    parse,
-    errors,
-    applyDefaults,
-    decode,
-    encode,
-  }
-}
-
-export function compile<T extends BaseType>(type: T): Compiled<T> {
-  const compiled = compileType(type)
-
-  function decodeSafe(val: unknown) {
-    try {
-      return {
-        success: true as const,
-        value: compiled.decode(val),
-      }
-    } catch (error) {
-      return { success: false as const, error }
-    }
-  }
-
-  function encodeSafe(val: unknown) {
-    try {
-      return {
-        success: true as const,
-        value: compiled.encode(val),
-      }
-    } catch (error) {
-      return { success: false as const, error }
-    }
-  }
-
-  return {
-    ...compiled,
-    decodeSafe,
-    encodeSafe,
-  } as any
-}

package/src/formats.ts

@@ -1,182 +0,0 @@
-// Source: https://gist.github.com/ChuckJonas/74d9cfb6ba46244ef4eaa5818c06987b
-// TODO: review all of this
-
-import { FormatRegistry } from '@sinclair/typebox/type'
-
-export const register = () => {
-  for (const [name, format] of Object.entries(fullFormats)) {
-    if (format === true) {
-      FormatRegistry.Set(name, () => true)
-      continue
-    }
-
-    if (typeof format === 'function') {
-      FormatRegistry.Set(name, format)
-      continue
-    }
-
-    FormatRegistry.Set(name, (value) => format.test(value))
-  }
-}
-
-export const fullFormats: Record<
-  string,
-  RegExp | ((v: any) => boolean) | true
-> = {
-  // date: http://tools.ietf.org/html/rfc3339#section-5.6
-  date,
-  // date-time: http://tools.ietf.org/html/rfc3339#section-5.6
-  time: getTime(true),
-  'date-time': getDateTime(true),
-  'iso-time': getTime(),
-  'iso-date-time': getDateTime(),
-  // duration: https://tools.ietf.org/html/rfc3339#appendix-A
-  duration:
-    /^P(?!$)((\d+Y)?(\d+M)?(\d+D)?(T(?=\d)(\d+H)?(\d+M)?((\d+|\d+\.\d+)S)?)?|(\d+W)?)$/,
-  uri,
-  'uri-reference':
-    /^(?:[a-z][a-z0-9+\-.]*:)?(?:\/?\/(?:(?:[a-z0-9\-._~!$&'()*+,;=:]|%[0-9a-f]{2})*@)?(?:\[(?:(?:(?:(?:[0-9a-f]{1,4}:){6}|::(?:[0-9a-f]{1,4}:){5}|(?:[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){4}|(?:(?:[0-9a-f]{1,4}:){0,1}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){3}|(?:(?:[0-9a-f]{1,4}:){0,2}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){2}|(?:(?:[0-9a-f]{1,4}:){0,3}[0-9a-f]{1,4})?::[0-9a-f]{1,4}:|(?:(?:[0-9a-f]{1,4}:){0,4}[0-9a-f]{1,4})?::)(?:[0-9a-f]{1,4}:[0-9a-f]{1,4}|(?:(?:25[0-5]|2[0-4]\d|[01]?\d\d?)\.){3}(?:25[0-5]|2[0-4]\d|[01]?\d\d?))|(?:(?:[0-9a-f]{1,4}:){0,5}[0-9a-f]{1,4})?::[0-9a-f]{1,4}|(?:(?:[0-9a-f]{1,4}:){0,6}[0-9a-f]{1,4})?::)|[Vv][0-9a-f]+\.[a-z0-9\-._~!$&'()*+,;=:]+)\]|(?:(?:25[0-5]|2[0-4]\d|[01]?\d\d?)\.){3}(?:25[0-5]|2[0-4]\d|[01]?\d\d?)|(?:[a-z0-9\-._~!$&'"()*+,;=]|%[0-9a-f]{2})*)(?::\d*)?(?:\/(?:[a-z0-9\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})*)*|\/(?:(?:[a-z0-9\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})+(?:\/(?:[a-z0-9\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})*)*)?|(?:[a-z0-9\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})+(?:\/(?:[a-z0-9\-._~!$&'"()*+,;=:@]|%[0-9a-f]{2})*)*)?(?:\?(?:[a-z0-9\-._~!$&'"()*+,;=:@/?]|%[0-9a-f]{2})*)?(?:#(?:[a-z0-9\-._~!$&'"()*+,;=:@/?]|%[0-9a-f]{2})*)?$/i,
-  // uri-template: https://tools.ietf.org/html/rfc6570
-  'uri-template':
-    // biome-ignore lint/suspicious/noControlCharactersInRegex:
-    /^(?:(?:[^\x00-\x20"'<>%\\^`{|}]|%[0-9a-f]{2})|\{[+#./;?&=,!@|]?(?:[a-z0-9_]|%[0-9a-f]{2})+(?::[1-9][0-9]{0,3}|\*)?(?:,(?:[a-z0-9_]|%[0-9a-f]{2})+(?::[1-9][0-9]{0,3}|\*)?)*\})*$/i,
-  // For the source: https://gist.github.com/dperini/729294
-  // For test cases: https://mathiasbynens.be/demo/url-regex
-  url: /^(?:https?|ftp):\/\/(?:\S+(?::\S*)?@)?(?:(?!(?:10|127)(?:\.\d{1,3}){3})(?!(?:169\.254|192\.168)(?:\.\d{1,3}){2})(?!172\.(?:1[6-9]|2\d|3[0-1])(?:\.\d{1,3}){2})(?:[1-9]\d?|1\d\d|2[01]\d|22[0-3])(?:\.(?:1?\d{1,2}|2[0-4]\d|25[0-5])){2}(?:\.(?:[1-9]\d?|1\d\d|2[0-4]\d|25[0-4]))|(?:(?:[a-z0-9\u{00a1}-\u{ffff}]+-)*[a-z0-9\u{00a1}-\u{ffff}]+)(?:\.(?:[a-z0-9\u{00a1}-\u{ffff}]+-)*[a-z0-9\u{00a1}-\u{ffff}]+)*(?:\.(?:[a-z\u{00a1}-\u{ffff}]{2,})))(?::\d{2,5})?(?:\/[^\s]*)?$/iu,
-  email:
-    /^[a-z0-9!#$%&'*+/=?^_`{|}~-]+(?:\.[a-z0-9!#$%&'*+/=?^_`{|}~-]+)*@(?:[a-z0-9](?:[a-z0-9-]*[a-z0-9])?\.)+[a-z0-9](?:[a-z0-9-]*[a-z0-9])?$/i,
-  hostname:
-    /^(?=.{1,253}\.?$)[a-z0-9](?:[a-z0-9-]{0,61}[a-z0-9])?(?:\.[a-z0-9](?:[-0-9a-z]{0,61}[0-9a-z])?)*\.?$/i,
-  // optimized https://www.safaribooksonline.com/library/view/regular-expressions-cookbook/9780596802837/ch07s16.html
-  ipv4: /^(?:(?:25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)\.){3}(?:25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)$/,
-  ipv6: /^((([0-9a-f]{1,4}:){7}([0-9a-f]{1,4}|:))|(([0-9a-f]{1,4}:){6}(:[0-9a-f]{1,4}|((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3})|:))|(([0-9a-f]{1,4}:){5}(((:[0-9a-f]{1,4}){1,2})|:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3})|:))|(([0-9a-f]{1,4}:){4}(((:[0-9a-f]{1,4}){1,3})|((:[0-9a-f]{1,4})?:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){3}(((:[0-9a-f]{1,4}){1,4})|((:[0-9a-f]{1,4}){0,2}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){2}(((:[0-9a-f]{1,4}){1,5})|((:[0-9a-f]{1,4}){0,3}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(([0-9a-f]{1,4}:){1}(((:[0-9a-f]{1,4}){1,6})|((:[0-9a-f]{1,4}){0,4}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:))|(:(((:[0-9a-f]{1,4}){1,7})|((:[0-9a-f]{1,4}){0,5}:((25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)(\.(25[0-5]|2[0-4]\d|1\d\d|[1-9]?\d)){3}))|:)))$/i,
-  regex,
-  // uuid: http://tools.ietf.org/html/rfc4122
-  uuid: /^(?:urn:uuid:)?[0-9a-f]{8}-(?:[0-9a-f]{4}-){3}[0-9a-f]{12}$/i,
-  // JSON-pointer: https://tools.ietf.org/html/rfc6901
-  // uri fragment: https://tools.ietf.org/html/rfc3986#appendix-A
-  'json-pointer': /^(?:\/(?:[^~/]|~0|~1)*)*$/,
-  'json-pointer-uri-fragment':
-    /^#(?:\/(?:[a-z0-9_\-.!$&'()*+,;:=@]|%[0-9a-f]{2}|~0|~1)*)*$/i,
-  // relative JSON-pointer: http://tools.ietf.org/html/draft-luff-relative-json-pointer-00
-  'relative-json-pointer': /^(?:0|[1-9][0-9]*)(?:#|(?:\/(?:[^~/]|~0|~1)*)*)$/,
-  // the following formats are used by the openapi specification: https://spec.openapis.org/oas/v3.0.0#data-types
-  // byte: https://github.com/miguelmota/is-base64
-  byte,
-  // signed 32 bit integer
-  int32: validateInt32,
-  // signed 64 bit integer
-  int64: validateInt64,
-  // C-type float
-  float: validateNumber,
-  // C-type double
-  double: validateNumber,
-  // hint to the UI to hide input strings
-  password: true,
-  // unchecked string payload
-  binary: true,
-}
-
-function isLeapYear(year: number): boolean {
-  // https://tools.ietf.org/html/rfc3339#appendix-C
-  return year % 4 === 0 && (year % 100 !== 0 || year % 400 === 0)
-}
-
-const DATE = /^(\d\d\d\d)-(\d\d)-(\d\d)$/
-const DAYS = [0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31]
-
-function date(str: string): boolean {
-  // full-date from http://tools.ietf.org/html/rfc3339#section-5.6
-  const matches: string[] | null = DATE.exec(str)
-  if (!matches) return false
-  const year: number = +matches[1]
-  const month: number = +matches[2]
-  const day: number = +matches[3]
-  return (
-    month >= 1 &&
-    month <= 12 &&
-    day >= 1 &&
-    day <= (month === 2 && isLeapYear(year) ? 29 : DAYS[month])
-  )
-}
-
-const TIME = /^(\d\d):(\d\d):(\d\d(?:\.\d+)?)(z|([+-])(\d\d)(?::?(\d\d))?)?$/i
-
-function getTime(strictTimeZone?: boolean): (str: string) => boolean {
-  return function time(str: string): boolean {
-    const matches: string[] | null = TIME.exec(str)
-    if (!matches) return false
-    const hr: number = +matches[1]
-    const min: number = +matches[2]
-    const sec: number = +matches[3]
-    const tz: string | undefined = matches[4]
-    const tzSign: number = matches[5] === '-' ? -1 : 1
-    const tzH: number = +(matches[6] || 0)
-    const tzM: number = +(matches[7] || 0)
-    if (tzH > 23 || tzM > 59 || (strictTimeZone && !tz)) return false
-    if (hr <= 23 && min <= 59 && sec < 60) return true
-    // leap second
-    const utcMin = min - tzM * tzSign
-    const utcHr = hr - tzH * tzSign - (utcMin < 0 ? 1 : 0)
-    return (
-      (utcHr === 23 || utcHr === -1) &&
-      (utcMin === 59 || utcMin === -1) &&
-      sec < 61
-    )
-  }
-}
-
-const DATE_TIME_SEPARATOR = /t|\s/i
-function getDateTime(strictTimeZone?: boolean): (str: string) => boolean {
-  const time = getTime(strictTimeZone)
-
-  return function date_time(str: string): boolean {
-    // http://tools.ietf.org/html/rfc3339#section-5.6
-    const dateTime: string[] = str.split(DATE_TIME_SEPARATOR)
-    return dateTime.length === 2 && date(dateTime[0]) && time(dateTime[1])
-  }
-}
-
-const NOT_URI_FRAGMENT = /\/|:/
-const URI =
-  /^(?:[a-z][a-z0-9+\-.]*:)(?:\/?\/(?:(?:[a-z0-9\-._~!$&'()*+,;=:]|%[0-9a-f]{2})*@)?(?:\[(?:(?:(?:(?:[0-9a-f]{1,4}:){6}|::(?:[0-9a-f]{1,4}:){5}|(?:[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){4}|(?:(?:[0-9a-f]{1,4}:){0,1}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){3}|(?:(?:[0-9a-f]{1,4}:){0,2}[0-9a-f]{1,4})?::(?:[0-9a-f]{1,4}:){2}|(?:(?:[0-9a-f]{1,4}:){0,3}[0-9a-f]{1,4})?::[0-9a-f]{1,4}:|(?:(?:[0-9a-f]{1,4}:){0,4}[0-9a-f]{1,4})?::)(?:[0-9a-f]{1,4}:[0-9a-f]{1,4}|(?:(?:25[0-5]|2[0-4]\d|[01]?\d\d?)\.){3}(?:25[0-5]|2[0-4]\d|[01]?\d\d?))|(?:(?:[0-9a-f]{1,4}:){0,5}[0-9a-f]{1,4})?::[0-9a-f]{1,4}|(?:(?:[0-9a-f]{1,4}:){0,6}[0-9a-f]{1,4})?::)|[Vv][0-9a-f]+\.[a-z0-9\-._~!$&'()*+,;=:]+)\]|(?:(?:25[0-5]|2[0-4]\d|[01]?\d\d?)\.){3}(?:25[0-5]|2[0-4]\d|[01]?\d\d?)|(?:[a-z0-9\-._~!$&'()*+,;=]|%[0-9a-f]{2})*)(?::\d*)?(?:\/(?:[a-z0-9\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*|\/(?:(?:[a-z0-9\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})+(?:\/(?:[a-z0-9\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*)?|(?:[a-z0-9\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})+(?:\/(?:[a-z0-9\-._~!$&'()*+,;=:@]|%[0-9a-f]{2})*)*)(?:\?(?:[a-z0-9\-._~!$&'()*+,;=:@/?]|%[0-9a-f]{2})*)?(?:#(?:[a-z0-9\-._~!$&'()*+,;=:@/?]|%[0-9a-f]{2})*)?$/i
-
-function uri(str: string): boolean {
-  // http://jmrware.com/articles/2009/uri_regexp/URI_regex.html + optional protocol + required "."
-  return NOT_URI_FRAGMENT.test(str) && URI.test(str)
-}
-
-const BYTE =
-  /^(?:[A-Za-z0-9+/]{4})*(?:[A-Za-z0-9+/]{2}==|[A-Za-z0-9+/]{3}=)?$/gm
-
-function byte(str: string): boolean {
-  BYTE.lastIndex = 0
-  return BYTE.test(str)
-}
-
-const MIN_INT32 = -(2 ** 31)
-const MAX_INT32 = 2 ** 31 - 1
-
-function validateInt32(value: number): boolean {
-  return Number.isInteger(value) && value <= MAX_INT32 && value >= MIN_INT32
-}
-
-function validateInt64(value: number): boolean {
-  // JSON and javascript max Int is 2**53, so any int that passes isInteger is valid for Int64
-  return Number.isInteger(value)
-}
-
-function validateNumber(): boolean {
-  return true
-}
-
-const Z_ANCHOR = /[^\\]\\Z/
-function regex(str: string): boolean {
-  if (Z_ANCHOR.test(str)) return false
-  try {
-    new RegExp(str)
-    return true
-  } catch (e) {
-    return false
-  }
-}

package/src/inference.ts

@@ -1,128 +0,0 @@
-import type * as Types from '@sinclair/typebox'
-import type { TProperties, TSchema } from '@sinclair/typebox'
-import type { TDefault } from './schemas/default.ts'
-
-export type StaticInputEncode<Type extends TSchema> =
-  Type extends Types.TOptional<TSchema>
-    ? Types.StaticEncode<Type> | undefined
-    : Types.StaticEncode<Type>
-
-export type StaticInputDecode<Type extends TSchema> =
-  Type extends Types.TOptional<TSchema>
-    ? Types.StaticDecode<Type> | undefined
-    : Types.StaticDecode<Type>
-
-export type StaticOutputEncode<Type extends TSchema> = Types.StaticEncode<
-  TMap<Type, StaticOutputMapping>
->
-
-export type StaticOutputDecode<Type extends TSchema> = Types.StaticDecode<
-  TMap<Type, StaticOutputMapping>
->
-
-interface StaticOutputMapping extends TMapping {
-  output: this['input']
-}
-
-interface TMapping {
-  input: unknown
-  output: unknown
-}
-
-type TApply<
-  Type extends TSchema,
-  Mapping extends TMapping,
-  Mapped = (Mapping & { input: Type })['output'],
-  Result = Mapped extends TSchema ? Mapped : never,
-> = Result
-
-type TFromProperties<
-  Properties extends TProperties,
-  Mapping extends TMapping,
-  Result extends TProperties = {
-    [Key in keyof Properties]: TMap<Properties[Key], Mapping>
-  },
-> = Result
-
-type TFromRest<
-  Types extends TSchema[],
-  Mapping extends TMapping,
-  Result extends TSchema[] = [],
-> = Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]]
-  ? TFromRest<Right, Mapping, [...Result, TMap<Left, Mapping>]>
-  : Result
-
-type TFromType<
-  Type extends TSchema,
-  Mapping extends TMapping,
-  Result extends TSchema = TApply<Type, Mapping>,
-> = Result
-
-type UnwrapDefault<T extends TSchema> = T extends TDefault<infer U>
-  ? U extends Types.TOptional<infer V>
-    ? V
-    : U
-  : T
-
-type TMap<
-  Type extends TSchema,
-  Mapping extends TMapping,
-  // Maps the Exterior Type
-  Exterior extends TSchema = TFromType<Type, Mapping>,
-  // Maps the Interior Parameterized Types
-  Interior extends TSchema = Exterior extends Types.TConstructor<
-    infer Parameters extends TSchema[],
-    infer ReturnType extends TSchema
-  >
-    ? Types.TConstructor<
-        TFromRest<Parameters, Mapping>,
-        TFromType<ReturnType, Mapping>
-      >
-    : Exterior extends Types.TFunction<
-          infer Parameters extends TSchema[],
-          infer ReturnType extends TSchema
-        >
-      ? Types.TFunction<
-          TFromRest<Parameters, Mapping>,
-          TFromType<ReturnType, Mapping>
-        >
-      : Exterior extends Types.TIntersect<infer Types extends TSchema[]>
-        ? Types.TIntersect<TFromRest<Types, Mapping>>
-        : Exterior extends Types.TUnion<infer Types extends TSchema[]>
-          ? Types.TUnion<TFromRest<Types, Mapping>>
-          : Exterior extends Types.TTuple<infer Types extends TSchema[]>
-            ? Types.TTuple<TFromRest<Types, Mapping>>
-            : Exterior extends Types.TArray<infer Type extends TSchema>
-              ? Types.TArray<TFromType<Type, Mapping>>
-              : Exterior extends Types.TAsyncIterator<
-                    infer Type extends TSchema
-                  >
-                ? Types.TAsyncIterator<TFromType<Type, Mapping>>
-                : Exterior extends Types.TIterator<infer Type extends TSchema>
-                  ? Types.TIterator<TFromType<Type, Mapping>>
-                  : Exterior extends Types.TPromise<infer Type extends TSchema>
-                    ? Types.TPromise<TFromType<Type, Mapping>>
-                    : Exterior extends Types.TObject<
-                          infer Properties extends TProperties
-                        >
-                      ? Types.TObject<TFromProperties<Properties, Mapping>>
-                      : Exterior extends Types.TRecord<
-                            infer Key extends TSchema,
-                            infer Value extends TSchema
-                          >
-                        ? Types.TRecordOrObject<
-                            TFromType<Key, Mapping>,
-                            TFromType<Value, Mapping>
-                          >
-                        : Exterior,
-  // Modifiers Derived from Exterior Type Mapping
-  IsOptional extends number = Exterior extends Types.TOptional<TSchema> ? 1 : 0,
-  IsReadonly extends number = Exterior extends Types.TReadonly<TSchema> ? 1 : 0,
-  Result extends TSchema = [IsReadonly, IsOptional] extends [1, 1]
-    ? Types.TReadonly<UnwrapDefault<Interior>>
-    : [IsReadonly, IsOptional] extends [0, 1]
-      ? UnwrapDefault<Interior>
-      : [IsReadonly, IsOptional] extends [1, 0]
-        ? Types.TReadonly<UnwrapDefault<Interior>>
-        : UnwrapDefault<Interior>,
-> = Result