@sinclair/typebox 0.32.0-dev-3 → 0.32.0-dev-5

package/build/default/compiler/compiler.js

@@ -0,0 +1,570 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypeCompiler = exports.Policy = exports.TypeCompilerTypeGuardError = exports.TypeCompilerUnknownTypeError = exports.TypeCheck = void 0;
+const index_1 = require("../value/transform/index");
+const index_2 = require("../value/guard/index");
+const index_3 = require("../errors/index");
+const index_4 = require("../system/index");
+const index_5 = require("../value/deref/index");
+const index_6 = require("../value/hash/index");
+const index_7 = require("../type/symbols/index");
+const type_1 = require("../type/guard/type");
+const index_8 = require("../type/registry/index");
+const index_9 = require("../type/keyof/index");
+const extends_undefined_1 = require("../type/extends/extends-undefined");
+const index_10 = require("../type/never/index");
+class TypeCheck {
+    constructor(schema, references, checkFunc, code) {
+        this.schema = schema;
+        this.references = references;
+        this.checkFunc = checkFunc;
+        this.code = code;
+        this.hasTransform = (0, index_1.HasTransform)(schema, references);
+    }
+    Code() {
+        return this.code;
+    }
+    Errors(value) {
+        return (0, index_3.Errors)(this.schema, this.references, value);
+    }
+    Check(value) {
+        return this.checkFunc(value);
+    }
+    Decode(value) {
+        if (!this.checkFunc(value))
+            throw new index_1.TransformDecodeCheckError(this.schema, value, this.Errors(value).First());
+        return this.hasTransform ? (0, index_1.Decode)(this.schema, this.references, value) : value;
+    }
+    Encode(value) {
+        const encoded = this.hasTransform ? (0, index_1.Encode)(this.schema, this.references, value) : value;
+        if (!this.checkFunc(encoded))
+            throw new index_1.TransformEncodeCheckError(this.schema, value, this.Errors(value).First());
+        return encoded;
+    }
+}
+exports.TypeCheck = TypeCheck;
+var Character;
+(function (Character) {
+    function DollarSign(code) {
+        return code === 36;
+    }
+    Character.DollarSign = DollarSign;
+    function IsUnderscore(code) {
+        return code === 95;
+    }
+    Character.IsUnderscore = IsUnderscore;
+    function IsAlpha(code) {
+        return (code >= 65 && code <= 90) || (code >= 97 && code <= 122);
+    }
+    Character.IsAlpha = IsAlpha;
+    function IsNumeric(code) {
+        return code >= 48 && code <= 57;
+    }
+    Character.IsNumeric = IsNumeric;
+})(Character || (Character = {}));
+var MemberExpression;
+(function (MemberExpression) {
+    function IsFirstCharacterNumeric(value) {
+        if (value.length === 0)
+            return false;
+        return Character.IsNumeric(value.charCodeAt(0));
+    }
+    function IsAccessor(value) {
+        if (IsFirstCharacterNumeric(value))
+            return false;
+        for (let i = 0; i < value.length; i++) {
+            const code = value.charCodeAt(i);
+            const check = Character.IsAlpha(code) || Character.IsNumeric(code) || Character.DollarSign(code) || Character.IsUnderscore(code);
+            if (!check)
+                return false;
+        }
+        return true;
+    }
+    function EscapeHyphen(key) {
+        return key.replace(/'/g, "\\'");
+    }
+    function Encode(object, key) {
+        return IsAccessor(key) ? `${object}.${key}` : `${object}['${EscapeHyphen(key)}']`;
+    }
+    MemberExpression.Encode = Encode;
+})(MemberExpression || (MemberExpression = {}));
+var Identifier;
+(function (Identifier) {
+    function Encode($id) {
+        const buffer = [];
+        for (let i = 0; i < $id.length; i++) {
+            const code = $id.charCodeAt(i);
+            if (Character.IsNumeric(code) || Character.IsAlpha(code)) {
+                buffer.push($id.charAt(i));
+            }
+            else {
+                buffer.push(`_${code}_`);
+            }
+        }
+        return buffer.join('').replace(/__/g, '_');
+    }
+    Identifier.Encode = Encode;
+})(Identifier || (Identifier = {}));
+var LiteralString;
+(function (LiteralString) {
+    function Escape(content) {
+        return content.replace(/'/g, "\\'");
+    }
+    LiteralString.Escape = Escape;
+})(LiteralString || (LiteralString = {}));
+class TypeCompilerUnknownTypeError extends Error {
+    constructor(schema) {
+        super('Unknown type');
+        this.schema = schema;
+    }
+}
+exports.TypeCompilerUnknownTypeError = TypeCompilerUnknownTypeError;
+class TypeCompilerTypeGuardError extends Error {
+    constructor(schema) {
+        super('Preflight validation check failed to guard for the given schema');
+        this.schema = schema;
+    }
+}
+exports.TypeCompilerTypeGuardError = TypeCompilerTypeGuardError;
+var Policy;
+(function (Policy) {
+    function IsExactOptionalProperty(value, key, expression) {
+        return index_4.TypeSystemPolicy.ExactOptionalPropertyTypes ? `('${key}' in ${value} ? ${expression} : true)` : `(${MemberExpression.Encode(value, key)} !== undefined ? ${expression} : true)`;
+    }
+    Policy.IsExactOptionalProperty = IsExactOptionalProperty;
+    function IsObjectLike(value) {
+        return !index_4.TypeSystemPolicy.AllowArrayObject ? `(typeof ${value} === 'object' && ${value} !== null && !Array.isArray(${value}))` : `(typeof ${value} === 'object' && ${value} !== null)`;
+    }
+    Policy.IsObjectLike = IsObjectLike;
+    function IsRecordLike(value) {
+        return !index_4.TypeSystemPolicy.AllowArrayObject
+            ? `(typeof ${value} === 'object' && ${value} !== null && !Array.isArray(${value}) && !(${value} instanceof Date) && !(${value} instanceof Uint8Array))`
+            : `(typeof ${value} === 'object' && ${value} !== null && !(${value} instanceof Date) && !(${value} instanceof Uint8Array))`;
+    }
+    Policy.IsRecordLike = IsRecordLike;
+    function IsNumberLike(value) {
+        return !index_4.TypeSystemPolicy.AllowNaN ? `(typeof ${value} === 'number' && Number.isFinite(${value}))` : `typeof ${value} === 'number'`;
+    }
+    Policy.IsNumberLike = IsNumberLike;
+    function IsVoidLike(value) {
+        return index_4.TypeSystemPolicy.AllowNullVoid ? `(${value} === undefined || ${value} === null)` : `${value} === undefined`;
+    }
+    Policy.IsVoidLike = IsVoidLike;
+})(Policy || (exports.Policy = Policy = {}));
+var TypeCompiler;
+(function (TypeCompiler) {
+    function IsAnyOrUnknown(schema) {
+        return schema[index_7.Kind] === 'Any' || schema[index_7.Kind] === 'Unknown';
+    }
+    function* TAny(schema, references, value) {
+        yield 'true';
+    }
+    function* TArray(schema, references, value) {
+        yield `Array.isArray(${value})`;
+        const [parameter, accumulator] = [CreateParameter('value', 'any'), CreateParameter('acc', 'number')];
+        if ((0, index_2.IsNumber)(schema.maxItems))
+            yield `${value}.length <= ${schema.maxItems}`;
+        if ((0, index_2.IsNumber)(schema.minItems))
+            yield `${value}.length >= ${schema.minItems}`;
+        const elementExpression = CreateExpression(schema.items, references, 'value');
+        yield `${value}.every((${parameter}) => ${elementExpression})`;
+        if ((0, type_1.TSchema)(schema.contains) || (0, index_2.IsNumber)(schema.minContains) || (0, index_2.IsNumber)(schema.maxContains)) {
+            const containsSchema = (0, type_1.TSchema)(schema.contains) ? schema.contains : (0, index_10.Never)();
+            const checkExpression = CreateExpression(containsSchema, references, 'value');
+            const checkMinContains = (0, index_2.IsNumber)(schema.minContains) ? [`(count >= ${schema.minContains})`] : [];
+            const checkMaxContains = (0, index_2.IsNumber)(schema.maxContains) ? [`(count <= ${schema.maxContains})`] : [];
+            const checkCount = `const count = value.reduce((${accumulator}, ${parameter}) => ${checkExpression} ? acc + 1 : acc, 0)`;
+            const check = [`(count > 0)`, ...checkMinContains, ...checkMaxContains].join(' && ');
+            yield `((${parameter}) => { ${checkCount}; return ${check}})(${value})`;
+        }
+        if (schema.uniqueItems === true) {
+            const check = `const hashed = hash(element); if(set.has(hashed)) { return false } else { set.add(hashed) } } return true`;
+            const block = `const set = new Set(); for(const element of value) { ${check} }`;
+            yield `((${parameter}) => { ${block} )(${value})`;
+        }
+    }
+    function* TAsyncIterator(schema, references, value) {
+        yield `(typeof value === 'object' && Symbol.asyncIterator in ${value})`;
+    }
+    function* TBigInt(schema, references, value) {
+        yield `(typeof ${value} === 'bigint')`;
+        if ((0, index_2.IsBigInt)(schema.exclusiveMaximum))
+            yield `${value} < BigInt(${schema.exclusiveMaximum})`;
+        if ((0, index_2.IsBigInt)(schema.exclusiveMinimum))
+            yield `${value} > BigInt(${schema.exclusiveMinimum})`;
+        if ((0, index_2.IsBigInt)(schema.maximum))
+            yield `${value} <= BigInt(${schema.maximum})`;
+        if ((0, index_2.IsBigInt)(schema.minimum))
+            yield `${value} >= BigInt(${schema.minimum})`;
+        if ((0, index_2.IsBigInt)(schema.multipleOf))
+            yield `(${value} % BigInt(${schema.multipleOf})) === 0`;
+    }
+    function* TBoolean(schema, references, value) {
+        yield `(typeof ${value} === 'boolean')`;
+    }
+    function* TConstructor(schema, references, value) {
+        yield* Visit(schema.returns, references, `${value}.prototype`);
+    }
+    function* TDate(schema, references, value) {
+        yield `(${value} instanceof Date) && Number.isFinite(${value}.getTime())`;
+        if ((0, index_2.IsNumber)(schema.exclusiveMaximumTimestamp))
+            yield `${value}.getTime() < ${schema.exclusiveMaximumTimestamp}`;
+        if ((0, index_2.IsNumber)(schema.exclusiveMinimumTimestamp))
+            yield `${value}.getTime() > ${schema.exclusiveMinimumTimestamp}`;
+        if ((0, index_2.IsNumber)(schema.maximumTimestamp))
+            yield `${value}.getTime() <= ${schema.maximumTimestamp}`;
+        if ((0, index_2.IsNumber)(schema.minimumTimestamp))
+            yield `${value}.getTime() >= ${schema.minimumTimestamp}`;
+        if ((0, index_2.IsNumber)(schema.multipleOfTimestamp))
+            yield `(${value}.getTime() % ${schema.multipleOfTimestamp}) === 0`;
+    }
+    function* TFunction(schema, references, value) {
+        yield `(typeof ${value} === 'function')`;
+    }
+    function* TInteger(schema, references, value) {
+        yield `(typeof ${value} === 'number' && Number.isInteger(${value}))`;
+        if ((0, index_2.IsNumber)(schema.exclusiveMaximum))
+            yield `${value} < ${schema.exclusiveMaximum}`;
+        if ((0, index_2.IsNumber)(schema.exclusiveMinimum))
+            yield `${value} > ${schema.exclusiveMinimum}`;
+        if ((0, index_2.IsNumber)(schema.maximum))
+            yield `${value} <= ${schema.maximum}`;
+        if ((0, index_2.IsNumber)(schema.minimum))
+            yield `${value} >= ${schema.minimum}`;
+        if ((0, index_2.IsNumber)(schema.multipleOf))
+            yield `(${value} % ${schema.multipleOf}) === 0`;
+    }
+    function* TIntersect(schema, references, value) {
+        const check1 = schema.allOf.map((schema) => CreateExpression(schema, references, value)).join(' && ');
+        if (schema.unevaluatedProperties === false) {
+            const keyCheck = CreateVariable(`${new RegExp((0, index_9.KeyOfStringResolvePattern)(schema))};`);
+            const check2 = `Object.getOwnPropertyNames(${value}).every(key => ${keyCheck}.test(key))`;
+            yield `(${check1} && ${check2})`;
+        }
+        else if ((0, type_1.TSchema)(schema.unevaluatedProperties)) {
+            const keyCheck = CreateVariable(`${new RegExp((0, index_9.KeyOfStringResolvePattern)(schema))};`);
+            const check2 = `Object.getOwnPropertyNames(${value}).every(key => ${keyCheck}.test(key) || ${CreateExpression(schema.unevaluatedProperties, references, `${value}[key]`)})`;
+            yield `(${check1} && ${check2})`;
+        }
+        else {
+            yield `(${check1})`;
+        }
+    }
+    function* TIterator(schema, references, value) {
+        yield `(typeof value === 'object' && Symbol.iterator in ${value})`;
+    }
+    function* TLiteral(schema, references, value) {
+        if (typeof schema.const === 'number' || typeof schema.const === 'boolean') {
+            yield `(${value} === ${schema.const})`;
+        }
+        else {
+            yield `(${value} === '${LiteralString.Escape(schema.const)}')`;
+        }
+    }
+    function* TNever(schema, references, value) {
+        yield `false`;
+    }
+    function* TNot(schema, references, value) {
+        const expression = CreateExpression(schema.not, references, value);
+        yield `(!${expression})`;
+    }
+    function* TNull(schema, references, value) {
+        yield `(${value} === null)`;
+    }
+    function* TNumber(schema, references, value) {
+        yield Policy.IsNumberLike(value);
+        if ((0, index_2.IsNumber)(schema.exclusiveMaximum))
+            yield `${value} < ${schema.exclusiveMaximum}`;
+        if ((0, index_2.IsNumber)(schema.exclusiveMinimum))
+            yield `${value} > ${schema.exclusiveMinimum}`;
+        if ((0, index_2.IsNumber)(schema.maximum))
+            yield `${value} <= ${schema.maximum}`;
+        if ((0, index_2.IsNumber)(schema.minimum))
+            yield `${value} >= ${schema.minimum}`;
+        if ((0, index_2.IsNumber)(schema.multipleOf))
+            yield `(${value} % ${schema.multipleOf}) === 0`;
+    }
+    function* TObject(schema, references, value) {
+        yield Policy.IsObjectLike(value);
+        if ((0, index_2.IsNumber)(schema.minProperties))
+            yield `Object.getOwnPropertyNames(${value}).length >= ${schema.minProperties}`;
+        if ((0, index_2.IsNumber)(schema.maxProperties))
+            yield `Object.getOwnPropertyNames(${value}).length <= ${schema.maxProperties}`;
+        const knownKeys = Object.getOwnPropertyNames(schema.properties);
+        for (const knownKey of knownKeys) {
+            const memberExpression = MemberExpression.Encode(value, knownKey);
+            const property = schema.properties[knownKey];
+            if (schema.required && schema.required.includes(knownKey)) {
+                yield* Visit(property, references, memberExpression);
+                if ((0, extends_undefined_1.ExtendsUndefinedCheck)(property) || IsAnyOrUnknown(property))
+                    yield `('${knownKey}' in ${value})`;
+            }
+            else {
+                const expression = CreateExpression(property, references, memberExpression);
+                yield Policy.IsExactOptionalProperty(value, knownKey, expression);
+            }
+        }
+        if (schema.additionalProperties === false) {
+            if (schema.required && schema.required.length === knownKeys.length) {
+                yield `Object.getOwnPropertyNames(${value}).length === ${knownKeys.length}`;
+            }
+            else {
+                const keys = `[${knownKeys.map((key) => `'${key}'`).join(', ')}]`;
+                yield `Object.getOwnPropertyNames(${value}).every(key => ${keys}.includes(key))`;
+            }
+        }
+        if (typeof schema.additionalProperties === 'object') {
+            const expression = CreateExpression(schema.additionalProperties, references, `${value}[key]`);
+            const keys = `[${knownKeys.map((key) => `'${key}'`).join(', ')}]`;
+            yield `(Object.getOwnPropertyNames(${value}).every(key => ${keys}.includes(key) || ${expression}))`;
+        }
+    }
+    function* TPromise(schema, references, value) {
+        yield `(typeof value === 'object' && typeof ${value}.then === 'function')`;
+    }
+    function* TRecord(schema, references, value) {
+        yield Policy.IsRecordLike(value);
+        if ((0, index_2.IsNumber)(schema.minProperties))
+            yield `Object.getOwnPropertyNames(${value}).length >= ${schema.minProperties}`;
+        if ((0, index_2.IsNumber)(schema.maxProperties))
+            yield `Object.getOwnPropertyNames(${value}).length <= ${schema.maxProperties}`;
+        const [patternKey, patternSchema] = Object.entries(schema.patternProperties)[0];
+        const variable = CreateVariable(`${new RegExp(patternKey)}`);
+        const check1 = CreateExpression(patternSchema, references, 'value');
+        const check2 = (0, type_1.TSchema)(schema.additionalProperties) ? CreateExpression(schema.additionalProperties, references, value) : schema.additionalProperties === false ? 'false' : 'true';
+        const expression = `(${variable}.test(key) ? ${check1} : ${check2})`;
+        yield `(Object.entries(${value}).every(([key, value]) => ${expression}))`;
+    }
+    function* TRef(schema, references, value) {
+        const target = (0, index_5.Deref)(schema, references);
+        if (state.functions.has(schema.$ref))
+            return yield `${CreateFunctionName(schema.$ref)}(${value})`;
+        yield* Visit(target, references, value);
+    }
+    function* TString(schema, references, value) {
+        yield `(typeof ${value} === 'string')`;
+        if ((0, index_2.IsNumber)(schema.maxLength))
+            yield `${value}.length <= ${schema.maxLength}`;
+        if ((0, index_2.IsNumber)(schema.minLength))
+            yield `${value}.length >= ${schema.minLength}`;
+        if (schema.pattern !== undefined) {
+            const variable = CreateVariable(`${new RegExp(schema.pattern)};`);
+            yield `${variable}.test(${value})`;
+        }
+        if (schema.format !== undefined) {
+            yield `format('${schema.format}', ${value})`;
+        }
+    }
+    function* TSymbol(schema, references, value) {
+        yield `(typeof ${value} === 'symbol')`;
+    }
+    function* TTemplateLiteral(schema, references, value) {
+        yield `(typeof ${value} === 'string')`;
+        const variable = CreateVariable(`${new RegExp(schema.pattern)};`);
+        yield `${variable}.test(${value})`;
+    }
+    function* TThis(schema, references, value) {
+        yield `${CreateFunctionName(schema.$ref)}(${value})`;
+    }
+    function* TTuple(schema, references, value) {
+        yield `Array.isArray(${value})`;
+        if (schema.items === undefined)
+            return yield `${value}.length === 0`;
+        yield `(${value}.length === ${schema.maxItems})`;
+        for (let i = 0; i < schema.items.length; i++) {
+            const expression = CreateExpression(schema.items[i], references, `${value}[${i}]`);
+            yield `${expression}`;
+        }
+    }
+    function* TUndefined(schema, references, value) {
+        yield `${value} === undefined`;
+    }
+    function* TUnion(schema, references, value) {
+        const expressions = schema.anyOf.map((schema) => CreateExpression(schema, references, value));
+        yield `(${expressions.join(' || ')})`;
+    }
+    function* TUint8Array(schema, references, value) {
+        yield `${value} instanceof Uint8Array`;
+        if ((0, index_2.IsNumber)(schema.maxByteLength))
+            yield `(${value}.length <= ${schema.maxByteLength})`;
+        if ((0, index_2.IsNumber)(schema.minByteLength))
+            yield `(${value}.length >= ${schema.minByteLength})`;
+    }
+    function* TUnknown(schema, references, value) {
+        yield 'true';
+    }
+    function* TVoid(schema, references, value) {
+        yield Policy.IsVoidLike(value);
+    }
+    function* TKind(schema, references, value) {
+        const instance = state.instances.size;
+        state.instances.set(instance, schema);
+        yield `kind('${schema[index_7.Kind]}', ${instance}, ${value})`;
+    }
+    function* Visit(schema, references, value, useHoisting = true) {
+        const references_ = (0, index_2.IsString)(schema.$id) ? [...references, schema] : references;
+        const schema_ = schema;
+        if (useHoisting && (0, index_2.IsString)(schema.$id)) {
+            const functionName = CreateFunctionName(schema.$id);
+            if (state.functions.has(functionName)) {
+                return yield `${functionName}(${value})`;
+            }
+            else {
+                const functionCode = CreateFunction(functionName, schema, references, 'value', false);
+                state.functions.set(functionName, functionCode);
+                return yield `${functionName}(${value})`;
+            }
+        }
+        switch (schema_[index_7.Kind]) {
+            case 'Any':
+                return yield* TAny(schema_, references_, value);
+            case 'Array':
+                return yield* TArray(schema_, references_, value);
+            case 'AsyncIterator':
+                return yield* TAsyncIterator(schema_, references_, value);
+            case 'BigInt':
+                return yield* TBigInt(schema_, references_, value);
+            case 'Boolean':
+                return yield* TBoolean(schema_, references_, value);
+            case 'Constructor':
+                return yield* TConstructor(schema_, references_, value);
+            case 'Date':
+                return yield* TDate(schema_, references_, value);
+            case 'Function':
+                return yield* TFunction(schema_, references_, value);
+            case 'Integer':
+                return yield* TInteger(schema_, references_, value);
+            case 'Intersect':
+                return yield* TIntersect(schema_, references_, value);
+            case 'Iterator':
+                return yield* TIterator(schema_, references_, value);
+            case 'Literal':
+                return yield* TLiteral(schema_, references_, value);
+            case 'Never':
+                return yield* TNever(schema_, references_, value);
+            case 'Not':
+                return yield* TNot(schema_, references_, value);
+            case 'Null':
+                return yield* TNull(schema_, references_, value);
+            case 'Number':
+                return yield* TNumber(schema_, references_, value);
+            case 'Object':
+                return yield* TObject(schema_, references_, value);
+            case 'Promise':
+                return yield* TPromise(schema_, references_, value);
+            case 'Record':
+                return yield* TRecord(schema_, references_, value);
+            case 'Ref':
+                return yield* TRef(schema_, references_, value);
+            case 'String':
+                return yield* TString(schema_, references_, value);
+            case 'Symbol':
+                return yield* TSymbol(schema_, references_, value);
+            case 'TemplateLiteral':
+                return yield* TTemplateLiteral(schema_, references_, value);
+            case 'This':
+                return yield* TThis(schema_, references_, value);
+            case 'Tuple':
+                return yield* TTuple(schema_, references_, value);
+            case 'Undefined':
+                return yield* TUndefined(schema_, references_, value);
+            case 'Union':
+                return yield* TUnion(schema_, references_, value);
+            case 'Uint8Array':
+                return yield* TUint8Array(schema_, references_, value);
+            case 'Unknown':
+                return yield* TUnknown(schema_, references_, value);
+            case 'Void':
+                return yield* TVoid(schema_, references_, value);
+            default:
+                if (!index_8.TypeRegistry.Has(schema_[index_7.Kind]))
+                    throw new TypeCompilerUnknownTypeError(schema);
+                return yield* TKind(schema_, references_, value);
+        }
+    }
+    const state = {
+        language: 'javascript',
+        functions: new Map(),
+        variables: new Map(),
+        instances: new Map()
+    };
+    function CreateExpression(schema, references, value, useHoisting = true) {
+        return `(${[...Visit(schema, references, value, useHoisting)].join(' && ')})`;
+    }
+    function CreateFunctionName($id) {
+        return `check_${Identifier.Encode($id)}`;
+    }
+    function CreateVariable(expression) {
+        const variableName = `local_${state.variables.size}`;
+        state.variables.set(variableName, `const ${variableName} = ${expression}`);
+        return variableName;
+    }
+    function CreateFunction(name, schema, references, value, useHoisting = true) {
+        const [newline, pad] = ['\n', (length) => ''.padStart(length, ' ')];
+        const parameter = CreateParameter('value', 'any');
+        const returns = CreateReturns('boolean');
+        const expression = [...Visit(schema, references, value, useHoisting)].map((expression) => `${pad(4)}${expression}`).join(` &&${newline}`);
+        return `function ${name}(${parameter})${returns} {${newline}${pad(2)}return (${newline}${expression}${newline}${pad(2)})\n}`;
+    }
+    function CreateParameter(name, type) {
+        const annotation = state.language === 'typescript' ? `: ${type}` : '';
+        return `${name}${annotation}`;
+    }
+    function CreateReturns(type) {
+        return state.language === 'typescript' ? `: ${type}` : '';
+    }
+    function Build(schema, references, options) {
+        const functionCode = CreateFunction('check', schema, references, 'value');
+        const parameter = CreateParameter('value', 'any');
+        const returns = CreateReturns('boolean');
+        const functions = [...state.functions.values()];
+        const variables = [...state.variables.values()];
+        const checkFunction = (0, index_2.IsString)(schema.$id)
+            ? `return function check(${parameter})${returns} {\n  return ${CreateFunctionName(schema.$id)}(value)\n}`
+            : `return ${functionCode}`;
+        return [...variables, ...functions, checkFunction].join('\n');
+    }
+    function Code(...args) {
+        const defaults = { language: 'javascript' };
+        const [schema, references, options] = (args.length === 2 && (0, index_2.IsArray)(args[1]) ? [args[0], args[1], defaults] :
+            args.length === 2 && !(0, index_2.IsArray)(args[1]) ? [args[0], [], args[1]] :
+                args.length === 3 ? [args[0], args[1], args[2]] :
+                    args.length === 1 ? [args[0], [], defaults] :
+                        [null, [], defaults]);
+        state.language = options.language;
+        state.variables.clear();
+        state.functions.clear();
+        state.instances.clear();
+        if (!(0, type_1.TSchema)(schema))
+            throw new TypeCompilerTypeGuardError(schema);
+        for (const schema of references)
+            if (!(0, type_1.TSchema)(schema))
+                throw new TypeCompilerTypeGuardError(schema);
+        return Build(schema, references, options);
+    }
+    TypeCompiler.Code = Code;
+    function Compile(schema, references = []) {
+        const generatedCode = Code(schema, references, { language: 'javascript' });
+        const compiledFunction = globalThis.Function('kind', 'format', 'hash', generatedCode);
+        const instances = new Map(state.instances);
+        function typeRegistryFunction(kind, instance, value) {
+            if (!index_8.TypeRegistry.Has(kind) || !instances.has(instance))
+                return false;
+            const checkFunc = index_8.TypeRegistry.Get(kind);
+            const schema = instances.get(instance);
+            return checkFunc(schema, value);
+        }
+        function formatRegistryFunction(format, value) {
+            if (!index_8.FormatRegistry.Has(format))
+                return false;
+            const checkFunc = index_8.FormatRegistry.Get(format);
+            return checkFunc(value);
+        }
+        function hashFunction(value) {
+            return (0, index_6.Hash)(value);
+        }
+        const checkFunction = compiledFunction(typeRegistryFunction, formatRegistryFunction, hashFunction);
+        return new TypeCheck(schema, references, checkFunction, generatedCode);
+    }
+    TypeCompiler.Compile = Compile;
+})(TypeCompiler || (exports.TypeCompiler = TypeCompiler = {}));

package/build/default/compiler/index.js

@@ -0,0 +1,21 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ValueErrorIterator = exports.ValueErrorType = void 0;
+var index_1 = require("../errors/index");
+Object.defineProperty(exports, "ValueErrorType", { enumerable: true, get: function () { return index_1.ValueErrorType; } });
+Object.defineProperty(exports, "ValueErrorIterator", { enumerable: true, get: function () { return index_1.ValueErrorIterator; } });
+__exportStar(require("./compiler"), exports);