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

package/esm/type/type/json.mjs

@@ -0,0 +1,251 @@
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+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.
+
+---------------------------------------------------------------------------*/
+import { Any } from '../any/index.mjs';
+import { Array } from '../array/index.mjs';
+import { Boolean } from '../boolean/index.mjs';
+import { Composite } from '../composite/index.mjs';
+import { Const } from '../const/index.mjs';
+import { Deref } from '../deref/index.mjs';
+import { Enum } from '../enum/index.mjs';
+import { Exclude } from '../exclude/index.mjs';
+import { Extends } from '../extends/index.mjs';
+import { Extract } from '../extract/index.mjs';
+import { Index } from '../indexed/index.mjs';
+import { Integer } from '../integer/index.mjs';
+import { Intersect } from '../intersect/index.mjs';
+import { Capitalize, Uncapitalize, Lowercase, Uppercase } from '../intrinsic/index.mjs';
+import { KeyOf } from '../keyof/index.mjs';
+import { Literal } from '../literal/index.mjs';
+import { Never } from '../never/index.mjs';
+import { Not } from '../not/index.mjs';
+import { Null } from '../null/index.mjs';
+import { Number } from '../number/index.mjs';
+import { Object } from '../object/index.mjs';
+import { Omit } from '../omit/index.mjs';
+import { Optional } from '../optional/index.mjs';
+import { Partial } from '../partial/index.mjs';
+import { Pick } from '../pick/index.mjs';
+import { Readonly } from '../readonly/index.mjs';
+import { ReadonlyOptional } from '../readonly-optional/index.mjs';
+import { Record } from '../record/index.mjs';
+import { Recursive } from '../recursive/index.mjs';
+import { Ref } from '../ref/index.mjs';
+import { Required } from '../required/index.mjs';
+import { Rest } from '../rest/index.mjs';
+import { Strict } from '../strict/index.mjs';
+import { String } from '../string/index.mjs';
+import { TemplateLiteral } from '../template-literal/index.mjs';
+import { Transform } from '../transform/index.mjs';
+import { Tuple } from '../tuple/index.mjs';
+import { Union } from '../union/index.mjs';
+import { Unknown } from '../unknown/index.mjs';
+import { Unsafe } from '../unsafe/index.mjs';
+/** Json Type Builder with Static Resolution for TypeScript */
+export class JsonTypeBuilder {
+    // ------------------------------------------------------------------------
+    // Strict
+    // ------------------------------------------------------------------------
+    /** `[Json]` Omits compositing symbols from this schema */
+    Strict(schema) {
+        return Strict(schema);
+    }
+    // ------------------------------------------------------------------------
+    // Modifiers
+    // ------------------------------------------------------------------------
+    /** `[Json]` Creates a Readonly and Optional property */
+    ReadonlyOptional(schema) {
+        return ReadonlyOptional(schema);
+    }
+    /** `[Json]` Creates a Readonly property */
+    Readonly(schema) {
+        return Readonly(schema);
+    }
+    /** `[Json]` Creates an Optional property */
+    Optional(schema) {
+        return Optional(schema);
+    }
+    // ------------------------------------------------------------------------
+    // Types
+    // ------------------------------------------------------------------------
+    /** `[Json]` Creates an Any type */
+    Any(options = {}) {
+        return Any(options);
+    }
+    /** `[Json]` Creates an Array type */
+    Array(schema, options = {}) {
+        return Array(schema, options);
+    }
+    /** `[Json]` Creates a Boolean type */
+    Boolean(options = {}) {
+        return Boolean(options);
+    }
+    /** `[Json]` Intrinsic function to Capitalize LiteralString types */
+    Capitalize(schema, options = {}) {
+        return Capitalize(schema, options);
+    }
+    /** `[Json]` Creates a Composite object type */
+    Composite(objects, options) {
+        return Composite(objects, options); // (error) TS 5.4.0-dev - review TComposite implementation
+    }
+    /** `[JavaScript]` Creates a readonly const type from the given value. */
+    Const(value, options = {}) {
+        return Const(value, options);
+    }
+    /** `[Json]` Creates a dereferenced type */
+    Deref(schema, references) {
+        return Deref(schema, references);
+    }
+    /** `[Json]` Creates a Enum type */
+    Enum(item, options = {}) {
+        return Enum(item, options);
+    }
+    /** `[Json]` Creates a Conditional type */
+    Extends(left, right, trueType, falseType, options = {}) {
+        return Extends(left, right, trueType, falseType, options);
+    }
+    /** `[Json]` Constructs a type by excluding from unionType all union members that are assignable to excludedMembers */
+    Exclude(unionType, excludedMembers, options = {}) {
+        return Exclude(unionType, excludedMembers, options);
+    }
+    /** `[Json]` Constructs a type by extracting from type all union members that are assignable to union */
+    Extract(type, union, options = {}) {
+        return Extract(type, union, options);
+    }
+    /** `[Json]` Returns an Indexed property type for the given keys */
+    Index(schema, unresolved, options = {}) {
+        return Index(schema, unresolved, options);
+    }
+    /** `[Json]` Creates an Integer type */
+    Integer(options = {}) {
+        return Integer(options);
+    }
+    /** `[Json]` Creates an Intersect type */
+    Intersect(T, options = {}) {
+        return Intersect(T, options);
+    }
+    /** `[Json]` Creates a KeyOf type */
+    KeyOf(schema, options = {}) {
+        return KeyOf(schema, options);
+    }
+    /** `[Json]` Creates a Literal type */
+    Literal(value, options = {}) {
+        return Literal(value, options);
+    }
+    /** `[Json]` Intrinsic function to Lowercase LiteralString types */
+    Lowercase(schema, options = {}) {
+        return Lowercase(schema, options);
+    }
+    /** `[Json]` Creates a Never type */
+    Never(options = {}) {
+        return Never(options);
+    }
+    /** `[Json]` Creates a Not type */
+    Not(schema, options) {
+        return Not(schema, options);
+    }
+    /** `[Json]` Creates a Null type */
+    Null(options = {}) {
+        return Null(options);
+    }
+    /** `[Json]` Creates a Number type */
+    Number(options = {}) {
+        return Number(options);
+    }
+    /** `[Json]` Creates an Object type */
+    Object(properties, options = {}) {
+        return Object(properties, options);
+    }
+    /** `[Json]` Constructs a type whose keys are omitted from the given type */
+    Omit(schema, unresolved, options = {}) {
+        return Omit(schema, unresolved, options);
+    }
+    /** `[Json]` Constructs a type where all properties are optional */
+    Partial(schema, options = {}) {
+        return Partial(schema, options);
+    }
+    /** `[Json]` Constructs a type whose keys are picked from the given type */
+    Pick(schema, unresolved, options = {}) {
+        return Pick(schema, unresolved, options);
+    }
+    /** `[Json]` Creates a Record type */
+    Record(key, schema, options = {}) {
+        return Record(key, schema);
+    }
+    /** `[Json]` Creates a Recursive type */
+    Recursive(callback, options = {}) {
+        return Recursive(callback, options);
+    }
+    /** `[Json]` Creates a Ref type. */
+    Ref(unresolved, options = {}) {
+        return Ref(unresolved, options);
+    }
+    /** `[Json]` Constructs a type where all properties are required */
+    Required(schema, options = {}) {
+        return Required(schema, options);
+    }
+    /** `[Json]` Extracts interior Rest elements from Tuple, Intersect and Union types */
+    Rest(schema) {
+        return Rest(schema);
+    }
+    /** `[Json]` Creates a String type */
+    String(options = {}) {
+        return String(options);
+    }
+    /** `[Json]` Creates a TemplateLiteral type */
+    TemplateLiteral(unresolved, options = {}) {
+        return TemplateLiteral(unresolved, options);
+    }
+    /** `[Json]` Creates a Transform type */
+    Transform(schema) {
+        return Transform(schema);
+    }
+    /** `[Json]` Creates a Tuple type */
+    Tuple(items, options = {}) {
+        return Tuple(items, options);
+    }
+    /** `[Json]` Intrinsic function to Uncapitalize LiteralString types */
+    Uncapitalize(schema, options = {}) {
+        return Uncapitalize(schema, options);
+    }
+    /** `[Json]` Creates a Union type */
+    Union(schemas, options = {}) {
+        return Union(schemas, options);
+    }
+    /** `[Json]` Creates an Unknown type */
+    Unknown(options = {}) {
+        return Unknown(options);
+    }
+    /** `[Json]` Creates a Unsafe type that will infers as the generic argument T */
+    Unsafe(options = {}) {
+        return Unsafe(options);
+    }
+    /** `[Json]` Intrinsic function to Uppercase LiteralString types */
+    Uppercase(schema, options = {}) {
+        return Uppercase(schema, options);
+    }
+}

package/esm/type/type/type.d.mts

@@ -0,0 +1,58 @@
+export { Any } from '../any/index.mjs';
+export { Array } from '../array/index.mjs';
+export { AsyncIterator } from '../async-iterator/index.mjs';
+export { Awaited } from '../awaited/index.mjs';
+export { BigInt } from '../bigint/index.mjs';
+export { Boolean } from '../boolean/index.mjs';
+export { Composite } from '../composite/index.mjs';
+export { Const } from '../const/index.mjs';
+export { Constructor } from '../constructor/index.mjs';
+export { ConstructorParameters } from '../constructor-parameters/index.mjs';
+export { Date } from '../date/index.mjs';
+export { Deref } from '../deref/index.mjs';
+export { Enum } from '../enum/index.mjs';
+export { Exclude } from '../exclude/index.mjs';
+export { Extends } from '../extends/index.mjs';
+export { Extract } from '../extract/index.mjs';
+export { Function } from '../function/index.mjs';
+export { Index } from '../indexed/index.mjs';
+export { InstanceType } from '../instance-type/index.mjs';
+export { Integer } from '../integer/index.mjs';
+export { Intersect } from '../intersect/index.mjs';
+export { Capitalize, Uncapitalize, Lowercase, Uppercase } from '../intrinsic/index.mjs';
+export { Iterator } from '../iterator/index.mjs';
+export { KeyOf } from '../keyof/index.mjs';
+export { Literal } from '../literal/index.mjs';
+export { Mapped } from '../mapped/index.mjs';
+export { Never } from '../never/index.mjs';
+export { Not } from '../not/index.mjs';
+export { Null } from '../null/index.mjs';
+export { Number } from '../number/index.mjs';
+export { Object } from '../object/index.mjs';
+export { Omit } from '../omit/index.mjs';
+export { Optional } from '../optional/index.mjs';
+export { Parameters } from '../parameters/index.mjs';
+export { Partial } from '../partial/index.mjs';
+export { Pick } from '../pick/index.mjs';
+export { Promise } from '../promise/index.mjs';
+export { Readonly } from '../readonly/index.mjs';
+export { ReadonlyOptional } from '../readonly-optional/index.mjs';
+export { Record } from '../record/index.mjs';
+export { Recursive } from '../recursive/index.mjs';
+export { Ref } from '../ref/index.mjs';
+export { RegExp } from '../regexp/index.mjs';
+export { Required } from '../required/index.mjs';
+export { Rest } from '../rest/index.mjs';
+export { ReturnType } from '../return-type/index.mjs';
+export { Strict } from '../strict/index.mjs';
+export { String } from '../string/index.mjs';
+export { Symbol } from '../symbol/index.mjs';
+export { TemplateLiteral } from '../template-literal/index.mjs';
+export { Transform } from '../transform/index.mjs';
+export { Tuple } from '../tuple/index.mjs';
+export { Uint8Array } from '../uint8array/index.mjs';
+export { Undefined } from '../undefined/index.mjs';
+export { Union } from '../union/index.mjs';
+export { Unknown } from '../unknown/index.mjs';
+export { Unsafe } from '../unsafe/index.mjs';
+export { Void } from '../void/index.mjs';

package/esm/type/type/type.mjs

@@ -0,0 +1,88 @@
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+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.
+
+---------------------------------------------------------------------------*/
+// ------------------------------------------------------------------
+// Type: Module
+// ------------------------------------------------------------------
+export { Any } from '../any/index.mjs';
+export { Array } from '../array/index.mjs';
+export { AsyncIterator } from '../async-iterator/index.mjs';
+export { Awaited } from '../awaited/index.mjs';
+export { BigInt } from '../bigint/index.mjs';
+export { Boolean } from '../boolean/index.mjs';
+export { Composite } from '../composite/index.mjs';
+export { Const } from '../const/index.mjs';
+export { Constructor } from '../constructor/index.mjs';
+export { ConstructorParameters } from '../constructor-parameters/index.mjs';
+export { Date } from '../date/index.mjs';
+export { Deref } from '../deref/index.mjs';
+export { Enum } from '../enum/index.mjs';
+export { Exclude } from '../exclude/index.mjs';
+export { Extends } from '../extends/index.mjs';
+export { Extract } from '../extract/index.mjs';
+export { Function } from '../function/index.mjs';
+export { Index } from '../indexed/index.mjs';
+export { InstanceType } from '../instance-type/index.mjs';
+export { Integer } from '../integer/index.mjs';
+export { Intersect } from '../intersect/index.mjs';
+export { Capitalize, Uncapitalize, Lowercase, Uppercase } from '../intrinsic/index.mjs';
+export { Iterator } from '../iterator/index.mjs';
+export { KeyOf } from '../keyof/index.mjs';
+export { Literal } from '../literal/index.mjs';
+export { Mapped } from '../mapped/index.mjs';
+export { Never } from '../never/index.mjs';
+export { Not } from '../not/index.mjs';
+export { Null } from '../null/index.mjs';
+export { Number } from '../number/index.mjs';
+export { Object } from '../object/index.mjs';
+export { Omit } from '../omit/index.mjs';
+export { Optional } from '../optional/index.mjs';
+export { Parameters } from '../parameters/index.mjs';
+export { Partial } from '../partial/index.mjs';
+export { Pick } from '../pick/index.mjs';
+export { Promise } from '../promise/index.mjs';
+export { Readonly } from '../readonly/index.mjs';
+export { ReadonlyOptional } from '../readonly-optional/index.mjs';
+export { Record } from '../record/index.mjs';
+export { Recursive } from '../recursive/index.mjs';
+export { Ref } from '../ref/index.mjs';
+export { RegExp } from '../regexp/index.mjs';
+export { Required } from '../required/index.mjs';
+export { Rest } from '../rest/index.mjs';
+export { ReturnType } from '../return-type/index.mjs';
+export { Strict } from '../strict/index.mjs';
+export { String } from '../string/index.mjs';
+export { Symbol } from '../symbol/index.mjs';
+export { TemplateLiteral } from '../template-literal/index.mjs';
+export { Transform } from '../transform/index.mjs';
+export { Tuple } from '../tuple/index.mjs';
+export { Uint8Array } from '../uint8array/index.mjs';
+export { Undefined } from '../undefined/index.mjs';
+export { Union } from '../union/index.mjs';
+export { Unknown } from '../unknown/index.mjs';
+export { Unsafe } from '../unsafe/index.mjs';
+export { Void } from '../void/index.mjs';

package/esm/type/uint8array/index.d.mts

@@ -0,0 +1 @@
+export * from './uint8array.mjs';

package/esm/type/uint8array/index.mjs

@@ -0,0 +1,28 @@
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+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.
+
+---------------------------------------------------------------------------*/
+export * from './uint8array.mjs';

package/esm/type/uint8array/uint8array.d.mts

@@ -0,0 +1,13 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface Uint8ArrayOptions extends SchemaOptions {
+    maxByteLength?: number;
+    minByteLength?: number;
+}
+export interface TUint8Array extends TSchema, Uint8ArrayOptions {
+    [Kind]: 'Uint8Array';
+    static: Uint8Array;
+    type: 'uint8array';
+}
+/** `[JavaScript]` Creates a Uint8Array type */
+export declare function Uint8Array(options?: Uint8ArrayOptions): TUint8Array;

package/esm/type/uint8array/uint8array.mjs

@@ -0,0 +1,32 @@
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+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.
+
+---------------------------------------------------------------------------*/
+import { Kind } from '../symbols/index.mjs';
+/** `[JavaScript]` Creates a Uint8Array type */
+export function Uint8Array(options = {}) {
+    return { ...options, [Kind]: 'Uint8Array', type: 'Uint8Array' };
+}

package/esm/type/undefined/index.d.mts

@@ -0,0 +1 @@
+export * from './undefined.mjs';

package/esm/type/undefined/index.mjs

@@ -0,0 +1,28 @@
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+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.
+
+---------------------------------------------------------------------------*/
+export * from './undefined.mjs';

package/esm/type/undefined/undefined.d.mts

@@ -0,0 +1,9 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface TUndefined extends TSchema {
+    [Kind]: 'Undefined';
+    static: undefined;
+    type: 'undefined';
+}
+/** `[JavaScript]` Creates a Undefined type */
+export declare function Undefined(options?: SchemaOptions): TUndefined;

package/esm/type/undefined/undefined.mjs

@@ -0,0 +1,32 @@
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+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.
+
+---------------------------------------------------------------------------*/
+import { Kind } from '../symbols/index.mjs';
+/** `[JavaScript]` Creates a Undefined type */
+export function Undefined(options = {}) {
+    return { ...options, [Kind]: 'Undefined', type: 'undefined' };
+}

package/esm/type/union/index.d.mts

@@ -0,0 +1 @@
+export * from './union.mjs';

package/esm/type/union/index.mjs

@@ -0,0 +1,28 @@
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+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.
+
+---------------------------------------------------------------------------*/
+export * from './union.mjs';

package/esm/type/union/union.d.mts

@@ -0,0 +1,16 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { Static } from '../static/index.mjs';
+import { type TNever } from '../never/index.mjs';
+import { OptionalFromUnion } from '../modifiers/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export type UnionResolve<T extends TSchema[]> = (T extends [] ? TNever : T extends [TSchema] ? T[0] : OptionalFromUnion<T>);
+export declare function UnionResolve<T extends TSchema[]>(T: [...T]): UnionResolve<T>;
+export interface TUnion<T extends TSchema[] = TSchema[]> extends TSchema {
+    [Kind]: 'Union';
+    static: {
+        [K in keyof T]: T[K] extends TSchema ? Static<T[K], this['params']> : never;
+    }[number];
+    anyOf: T;
+}
+/** `[Json]` Creates a Union type */
+export declare function Union<T extends TSchema[]>(T: [...T], options?: SchemaOptions): UnionResolve<T>;

package/esm/type/union/union.mjs

@@ -0,0 +1,45 @@
+/*--------------------------------------------------------------------------
+
+@sinclair/typebox/type
+
+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.
+
+---------------------------------------------------------------------------*/
+import { Never } from '../never/index.mjs';
+import { OptionalFromUnion } from '../modifiers/index.mjs';
+import { CloneType, CloneRest } from '../clone/type.mjs';
+import { Kind } from '../symbols/index.mjs';
+// prettier-ignore
+export function UnionResolve(T) {
+    return (T.length === 0 ? Never() :
+        T.length === 1 ? T[0] :
+            OptionalFromUnion(T));
+}
+/** `[Json]` Creates a Union type */
+// prettier-ignore
+export function Union(T, options = {}) {
+    return (T.length === 0 ? Never(options) :
+        T.length === 1 ? CloneType(T[0], options) :
+            { ...options, [Kind]: 'Union', anyOf: CloneRest(T)
+            });
+}

package/esm/type/unknown/index.d.mts

@@ -0,0 +1 @@
+export * from './unknown.mjs';