@sinclair/typebox 0.32.0-dev-1 → 0.32.0-dev-2

package/cjs/value/transform/has.js

@@ -0,0 +1,146 @@
+"use strict";
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/value
+
+The MIT License (MIT)
+
+Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+
+---------------------------------------------------------------------------*/
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.HasTransform = void 0;
+const type_mjs_1 = require("../../type/guard/type");
+const index_mjs_1 = require("../guard/index");
+const index_mjs_2 = require("../deref/index");
+const index_mjs_3 = require("../../type/symbols/index");
+// prettier-ignore
+function TArray(schema, references) {
+    return (0, type_mjs_1.TTransform)(schema) || Visit(schema.items, references);
+}
+// prettier-ignore
+function TAsyncIterator(schema, references) {
+    return (0, type_mjs_1.TTransform)(schema) || Visit(schema.items, references);
+}
+// prettier-ignore
+function TConstructor(schema, references) {
+    return (0, type_mjs_1.TTransform)(schema) || Visit(schema.returns, references) || schema.parameters.some((schema) => Visit(schema, references));
+}
+// prettier-ignore
+function TFunction(schema, references) {
+    return (0, type_mjs_1.TTransform)(schema) || Visit(schema.returns, references) || schema.parameters.some((schema) => Visit(schema, references));
+}
+// prettier-ignore
+function TIntersect(schema, references) {
+    return (0, type_mjs_1.TTransform)(schema) || (0, type_mjs_1.TTransform)(schema.unevaluatedProperties) || schema.allOf.some((schema) => Visit(schema, references));
+}
+// prettier-ignore
+function TIterator(schema, references) {
+    return (0, type_mjs_1.TTransform)(schema) || Visit(schema.items, references);
+}
+// prettier-ignore
+function TNot(schema, references) {
+    return (0, type_mjs_1.TTransform)(schema) || Visit(schema.not, references);
+}
+// prettier-ignore
+function TObject(schema, references) {
+    return ((0, type_mjs_1.TTransform)(schema) ||
+        Object.values(schema.properties).some((schema) => Visit(schema, references)) ||
+        ((0, type_mjs_1.TSchema)(schema.additionalProperties) && Visit(schema.additionalProperties, references)));
+}
+// prettier-ignore
+function TPromise(schema, references) {
+    return (0, type_mjs_1.TTransform)(schema) || Visit(schema.item, references);
+}
+// prettier-ignore
+function TRecord(schema, references) {
+    const pattern = Object.getOwnPropertyNames(schema.patternProperties)[0];
+    const property = schema.patternProperties[pattern];
+    return (0, type_mjs_1.TTransform)(schema) || Visit(property, references) || ((0, type_mjs_1.TSchema)(schema.additionalProperties) && (0, type_mjs_1.TTransform)(schema.additionalProperties));
+}
+// prettier-ignore
+function TRef(schema, references) {
+    if ((0, type_mjs_1.TTransform)(schema))
+        return true;
+    return Visit((0, index_mjs_2.Deref)(schema, references), references);
+}
+// prettier-ignore
+function TThis(schema, references) {
+    if ((0, type_mjs_1.TTransform)(schema))
+        return true;
+    return Visit((0, index_mjs_2.Deref)(schema, references), references);
+}
+// prettier-ignore
+function TTuple(schema, references) {
+    return (0, type_mjs_1.TTransform)(schema) || (!(0, index_mjs_1.IsUndefined)(schema.items) && schema.items.some((schema) => Visit(schema, references)));
+}
+// prettier-ignore
+function TUnion(schema, references) {
+    return (0, type_mjs_1.TTransform)(schema) || schema.anyOf.some((schema) => Visit(schema, references));
+}
+// prettier-ignore
+function Visit(schema, references) {
+    const references_ = (0, index_mjs_1.IsString)(schema.$id) ? [...references, schema] : references;
+    const schema_ = schema;
+    if (schema.$id && visited.has(schema.$id))
+        return false;
+    if (schema.$id)
+        visited.add(schema.$id);
+    switch (schema[index_mjs_3.Kind]) {
+        case 'Array':
+            return TArray(schema_, references_);
+        case 'AsyncIterator':
+            return TAsyncIterator(schema_, references_);
+        case 'Constructor':
+            return TConstructor(schema_, references_);
+        case 'Function':
+            return TFunction(schema_, references_);
+        case 'Intersect':
+            return TIntersect(schema_, references_);
+        case 'Iterator':
+            return TIterator(schema_, references_);
+        case 'Not':
+            return TNot(schema_, references_);
+        case 'Object':
+            return TObject(schema_, references_);
+        case 'Promise':
+            return TPromise(schema_, references_);
+        case 'Record':
+            return TRecord(schema_, references_);
+        case 'Ref':
+            return TRef(schema_, references_);
+        case 'This':
+            return TThis(schema_, references_);
+        case 'Tuple':
+            return TTuple(schema_, references_);
+        case 'Union':
+            return TUnion(schema_, references_);
+        default:
+            return (0, type_mjs_1.TTransform)(schema);
+    }
+}
+const visited = new Set();
+/** Returns true if this schema contains a transform codec */
+function HasTransform(schema, references) {
+    visited.clear();
+    return Visit(schema, references);
+}
+exports.HasTransform = HasTransform;

package/cjs/value/value/value.js

@@ -0,0 +1,125 @@
+"use strict";
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/value
+
+The MIT License (MIT)
+
+Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in
+all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+THE SOFTWARE.
+
+---------------------------------------------------------------------------*/
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Mutate = exports.Patch = exports.Hash = exports.Diff = exports.Equal = exports.Errors = exports.Encode = exports.Default = exports.Decode = exports.Clone = exports.Convert = exports.Clean = exports.Check = exports.Create = exports.Cast = void 0;
+const index_mjs_1 = require("../transform/index");
+const index_mjs_2 = require("../mutate/index");
+const index_mjs_3 = require("../hash/index");
+const index_mjs_4 = require("../equal/index");
+const index_mjs_5 = require("../cast/index");
+const index_mjs_6 = require("../clone/index");
+const index_mjs_7 = require("../convert/index");
+const index_mjs_8 = require("../create/index");
+const index_mjs_9 = require("../clean/index");
+const index_mjs_10 = require("../check/index");
+const index_mjs_11 = require("../default/index");
+const index_mjs_12 = require("../delta/index");
+const index_mjs_13 = require("../../errors/index");
+/** Casts a value into a given type. The return value will retain as much information of the original value as possible. */
+function Cast(...args) {
+    return index_mjs_5.Cast.apply(index_mjs_5.Cast, args);
+}
+exports.Cast = Cast;
+/** Creates a value from the given type */
+function Create(...args) {
+    return index_mjs_8.Create.apply(index_mjs_8.Create, args);
+}
+exports.Create = Create;
+/** Returns true if the value matches the given type */
+function Check(...args) {
+    return index_mjs_10.Check.apply(index_mjs_10.Check, args);
+}
+exports.Check = Check;
+/** `[Mutable]` Removes excess properties from a value and returns the result. This function does not check the value and returns an unknown type. You should Check the result before use. Clean is a mutable operation. To avoid mutation, Clone the value first. */
+function Clean(...args) {
+    return index_mjs_9.Clean.apply(index_mjs_9.Clean, args);
+}
+exports.Clean = Clean;
+/** Converts any type mismatched values to their target type if a reasonable conversion is possible */
+function Convert(...args) {
+    return index_mjs_7.Convert.apply(index_mjs_7.Convert, args);
+}
+exports.Convert = Convert;
+/** Returns a structural clone of the given value */
+function Clone(value) {
+    return (0, index_mjs_6.Clone)(value);
+}
+exports.Clone = Clone;
+/** Decodes a value or throws if error */
+function Decode(...args) {
+    const [schema, references, value] = args.length === 3 ? [args[0], args[1], args[2]] : [args[0], [], args[1]];
+    if (!Check(schema, references, value))
+        throw new index_mjs_1.TransformDecodeCheckError(schema, value, Errors(schema, references, value).First());
+    return (0, index_mjs_1.Decode)(schema, references, value);
+}
+exports.Decode = Decode;
+/** `[Mutable]` Generates missing properties on a value using default schema annotations if available. This function does not check the value and returns an unknown type. You should Check the result before use. Default is a mutable operation. To avoid mutation, Clone the value first. */
+function Default(...args) {
+    return index_mjs_11.Default.apply(index_mjs_11.Default, args);
+}
+exports.Default = Default;
+/** Encodes a value or throws if error */
+function Encode(...args) {
+    const [schema, references, value] = args.length === 3 ? [args[0], args[1], args[2]] : [args[0], [], args[1]];
+    const encoded = (0, index_mjs_1.Encode)(schema, references, value);
+    if (!Check(schema, references, encoded))
+        throw new index_mjs_1.TransformEncodeCheckError(schema, value, Errors(schema, references, value).First());
+    return encoded;
+}
+exports.Encode = Encode;
+/** Returns an iterator for each error in this value. */
+function Errors(...args) {
+    return index_mjs_13.Errors.apply(index_mjs_13.Errors, args);
+}
+exports.Errors = Errors;
+/** Returns true if left and right values are structurally equal */
+function Equal(left, right) {
+    return (0, index_mjs_4.Equal)(left, right);
+}
+exports.Equal = Equal;
+/** Returns edits to transform the current value into the next value */
+function Diff(current, next) {
+    return (0, index_mjs_12.Diff)(current, next);
+}
+exports.Diff = Diff;
+/** Returns a FNV1A-64 non cryptographic hash of the given value */
+function Hash(value) {
+    return (0, index_mjs_3.Hash)(value);
+}
+exports.Hash = Hash;
+/** Returns a new value with edits applied to the given value */
+function Patch(current, edits) {
+    return (0, index_mjs_12.Patch)(current, edits);
+}
+exports.Patch = Patch;
+/** `[Mutable]` Performs a deep mutable value assignment while retaining internal references. */
+function Mutate(current, next) {
+    (0, index_mjs_2.Mutate)(current, next);
+}
+exports.Mutate = Mutate;

package/esm/compiler/compiler.d.mts

@@ -0,0 +1,56 @@
+import { ValueErrorIterator } from '../errors/index.mjs';
+import type { TSchema } from '../type/schema/index.mjs';
+import type { Static, StaticDecode, StaticEncode } from '../type/static/index.mjs';
+export type CheckFunction = (value: unknown) => boolean;
+export declare class TypeCheck<T extends TSchema> {
+    private readonly schema;
+    private readonly references;
+    private readonly checkFunc;
+    private readonly code;
+    private readonly hasTransform;
+    constructor(schema: T, references: TSchema[], checkFunc: CheckFunction, code: string);
+    /** Returns the generated assertion code used to validate this type. */
+    Code(): string;
+    /** Returns an iterator for each error in this value. */
+    Errors(value: unknown): ValueErrorIterator;
+    /** Returns true if the value matches the compiled type. */
+    Check(value: unknown): value is Static<T>;
+    /**
+     * Decodes a value or throws if error
+     * @deprecated Use raw `Decode` from `Value` module
+     */
+    Decode(value: unknown): StaticDecode<T>;
+    /**
+     * Encodes a value or throws if error
+     * @deprecated Use raw `Encode` from `Value` module
+     */
+    Encode(value: unknown): StaticEncode<T>;
+}
+export declare class TypeCompilerUnknownTypeError extends Error {
+    readonly schema: TSchema;
+    constructor(schema: TSchema);
+}
+export declare class TypeCompilerTypeGuardError extends Error {
+    readonly schema: TSchema;
+    constructor(schema: TSchema);
+}
+export declare namespace Policy {
+    function IsExactOptionalProperty(value: string, key: string, expression: string): string;
+    function IsObjectLike(value: string): string;
+    function IsRecordLike(value: string): string;
+    function IsNumberLike(value: string): string;
+    function IsVoidLike(value: string): string;
+}
+export type TypeCompilerLanguageOption = 'typescript' | 'javascript';
+export interface TypeCompilerCodegenOptions {
+    language?: TypeCompilerLanguageOption;
+}
+/** Compiles Types for Runtime Type Checking */
+export declare namespace TypeCompiler {
+    /** Generates the code used to assert this type and returns it as a string */
+    function Code<T extends TSchema>(schema: T, references: TSchema[], options?: TypeCompilerCodegenOptions): string;
+    /** Generates the code used to assert this type and returns it as a string */
+    function Code<T extends TSchema>(schema: T, options?: TypeCompilerCodegenOptions): string;
+    /** Compiles a TypeBox type for optimal runtime type checking. Types must be valid TypeBox types of TSchema */
+    function Compile<T extends TSchema>(schema: T, references?: TSchema[]): TypeCheck<T>;
+}