@sinclair/typebox 0.31.28 → 0.32.0-dev-2

package/esm/type/index.d.mts

@@ -0,0 +1,70 @@
+export * from './any/index.mjs';
+export * from './array/index.mjs';
+export * from './async-iterator/index.mjs';
+export * from './awaited/index.mjs';
+export * from './bigint/index.mjs';
+export * from './boolean/index.mjs';
+export * from './clone/index.mjs';
+export * from './composite/index.mjs';
+export * from './const/index.mjs';
+export * from './constructor/index.mjs';
+export * from './constructor-parameters/index.mjs';
+export * from './date/index.mjs';
+export * from './deref/index.mjs';
+export * from './discard/index.mjs';
+export * from './enum/index.mjs';
+export * from './exclude/index.mjs';
+export * from './extends/index.mjs';
+export * from './extract/index.mjs';
+export * from './function/index.mjs';
+export * from './guard/index.mjs';
+export * from './helpers/index.mjs';
+export * from './indexed/index.mjs';
+export * from './instance-type/index.mjs';
+export * from './integer/index.mjs';
+export * from './intersect/index.mjs';
+export * from './intrinsic/index.mjs';
+export * from './iterator/index.mjs';
+export * from './keyof/index.mjs';
+export * from './literal/index.mjs';
+export * from './mapped/index.mjs';
+export * from './modifiers/index.mjs';
+export * from './never/index.mjs';
+export * from './not/index.mjs';
+export * from './null/index.mjs';
+export * from './number/index.mjs';
+export * from './object/index.mjs';
+export * from './omit/index.mjs';
+export * from './operators/index.mjs';
+export * from './optional/index.mjs';
+export * from './parameters/index.mjs';
+export * from './partial/index.mjs';
+export * from './patterns/index.mjs';
+export * from './pick/index.mjs';
+export * from './promise/index.mjs';
+export * from './readonly/index.mjs';
+export * from './readonly-optional/index.mjs';
+export * from './record/index.mjs';
+export * from './recursive/index.mjs';
+export * from './ref/index.mjs';
+export * from './regexp/index.mjs';
+export * from './registry/index.mjs';
+export * from './required/index.mjs';
+export * from './rest/index.mjs';
+export * from './return-type/index.mjs';
+export * from './schema/index.mjs';
+export * from './static/index.mjs';
+export * from './strict/index.mjs';
+export * from './string/index.mjs';
+export * from './symbol/index.mjs';
+export * from './symbols/index.mjs';
+export * from './template-literal/index.mjs';
+export * from './transform/index.mjs';
+export * from './tuple/index.mjs';
+export * from './type/index.mjs';
+export * from './uint8array/index.mjs';
+export * from './undefined/index.mjs';
+export * from './union/index.mjs';
+export * from './unknown/index.mjs';
+export * from './unsafe/index.mjs';
+export * from './void/index.mjs';

package/esm/type/index.mjs

@@ -0,0 +1,97 @@
+/*--------------------------------------------------------------------------
+
+@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 './any/index.mjs';
+export * from './array/index.mjs';
+export * from './async-iterator/index.mjs';
+export * from './awaited/index.mjs';
+export * from './bigint/index.mjs';
+export * from './boolean/index.mjs';
+export * from './clone/index.mjs';
+export * from './composite/index.mjs';
+export * from './const/index.mjs';
+export * from './constructor/index.mjs';
+export * from './constructor-parameters/index.mjs';
+export * from './date/index.mjs';
+export * from './deref/index.mjs';
+export * from './discard/index.mjs';
+export * from './enum/index.mjs';
+export * from './exclude/index.mjs';
+export * from './extends/index.mjs';
+export * from './extract/index.mjs';
+export * from './function/index.mjs';
+export * from './guard/index.mjs';
+export * from './helpers/index.mjs';
+export * from './indexed/index.mjs';
+export * from './instance-type/index.mjs';
+export * from './integer/index.mjs';
+export * from './intersect/index.mjs';
+export * from './intrinsic/index.mjs';
+export * from './iterator/index.mjs';
+export * from './keyof/index.mjs';
+export * from './literal/index.mjs';
+export * from './mapped/index.mjs';
+export * from './modifiers/index.mjs';
+export * from './never/index.mjs';
+export * from './not/index.mjs';
+export * from './null/index.mjs';
+export * from './number/index.mjs';
+export * from './object/index.mjs';
+export * from './omit/index.mjs';
+export * from './operators/index.mjs';
+export * from './optional/index.mjs';
+export * from './parameters/index.mjs';
+export * from './partial/index.mjs';
+export * from './patterns/index.mjs';
+export * from './pick/index.mjs';
+export * from './promise/index.mjs';
+export * from './readonly/index.mjs';
+export * from './readonly-optional/index.mjs';
+export * from './record/index.mjs';
+export * from './recursive/index.mjs';
+export * from './ref/index.mjs';
+export * from './regexp/index.mjs';
+export * from './registry/index.mjs';
+export * from './required/index.mjs';
+export * from './rest/index.mjs';
+export * from './return-type/index.mjs';
+export * from './schema/index.mjs';
+export * from './static/index.mjs';
+export * from './strict/index.mjs';
+export * from './string/index.mjs';
+export * from './symbol/index.mjs';
+export * from './symbols/index.mjs';
+export * from './template-literal/index.mjs';
+export * from './transform/index.mjs';
+export * from './tuple/index.mjs';
+export * from './type/index.mjs';
+export * from './uint8array/index.mjs';
+export * from './undefined/index.mjs';
+export * from './union/index.mjs';
+export * from './unknown/index.mjs';
+export * from './unsafe/index.mjs';
+export * from './void/index.mjs';

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

@@ -0,0 +1,3 @@
+export * from './indexed-key.mjs';
+export * from './indexed-type.mjs';
+export * from './indexed.mjs';

package/esm/type/indexed/index.mjs

@@ -0,0 +1,30 @@
+/*--------------------------------------------------------------------------
+
+@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 './indexed-key.mjs';
+export * from './indexed-type.mjs';
+export * from './indexed.mjs';

package/esm/type/indexed/indexed-key.d.mts

@@ -0,0 +1,17 @@
+import { type TTemplateLiteral, TemplateLiteralGenerate, IsTemplateLiteralFinite } from '../template-literal/index.mjs';
+import { type TLiteral, type TLiteralValue } from '../literal/index.mjs';
+import { type TInteger } from '../integer/index.mjs';
+import { type TNumber } from '../number/index.mjs';
+import { type TSchema } from '../schema/index.mjs';
+import { type TUnion } from '../union/index.mjs';
+type FromTemplateLiteral<T extends TTemplateLiteral, F = IsTemplateLiteralFinite<T>> = (F extends true ? TemplateLiteralGenerate<T> extends infer R extends string[] ? R : [] : []);
+declare function FromTemplateLiteral<T extends TTemplateLiteral>(T: T): FromTemplateLiteral<T>;
+type FromUnion<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [...IndexedKeyResolve<L>, ...FromUnion<R>] : []);
+declare function FromUnion<T extends TSchema[]>(T: T): FromUnion<T>;
+type FromLiteral<T extends TLiteralValue> = (T extends PropertyKey ? [`${T}`] : []);
+declare function FromLiteral<T extends TLiteralValue>(T: T): FromLiteral<T>;
+export type IndexedKeyResolve<T extends TSchema> = (T extends TTemplateLiteral ? FromTemplateLiteral<T> : T extends TUnion<infer S> ? FromUnion<S> : T extends TLiteral<infer S> ? FromLiteral<S> : T extends TNumber ? ['[number]'] : T extends TInteger ? ['[number]'] : [
+]);
+/** Resolves Indexer String Keys form the given Schema. Th */
+export declare function IndexedKeyResolve<T extends TSchema>(T: T): IndexedKeyResolve<T>;
+export {};

package/esm/type/indexed/indexed-key.mjs

@@ -0,0 +1,61 @@
+/*--------------------------------------------------------------------------
+
+@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 { TemplateLiteralParseExact, IsTemplateLiteralFinite, TemplateLiteralToUnion } from '../template-literal/index.mjs';
+import { TTemplateLiteral as IsTemplateLiteralType, TUnionLiteral as IsUnionLiteralType, TUnion as IsUnionType, TLiteral as IsLiteralType, TNumber as IsNumberType, TInteger as IsIntegerType } from '../guard/type.mjs';
+// prettier-ignore
+function FromTemplateLiteral(T) {
+    const E = TemplateLiteralParseExact(T.pattern);
+    const F = IsTemplateLiteralFinite(E);
+    const S = TemplateLiteralToUnion(T);
+    return (F === true
+        ? IsUnionLiteralType(S)
+            ? S.anyOf.map(S => S.const.toString())
+            : []
+        : []);
+}
+// prettier-ignore
+function FromUnion(T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? [...IndexedKeyResolve(L), ...FromUnion(R)]
+        : []);
+}
+// prettier-ignore
+function FromLiteral(T) {
+    return ([T.toString()]);
+}
+/** Resolves Indexer String Keys form the given Schema. Th */
+// prettier-ignore
+export function IndexedKeyResolve(T) {
+    return [...new Set((IsTemplateLiteralType(T) ? FromTemplateLiteral(T) :
+            IsUnionType(T) ? FromUnion(T.anyOf) :
+                IsLiteralType(T) ? FromLiteral(T.const) :
+                    IsNumberType(T) ? ['[number]'] :
+                        IsIntegerType(T) ? ['[number]'] :
+                            []))];
+}

package/esm/type/indexed/indexed-type.d.mts

@@ -0,0 +1,33 @@
+import { type TSchema } from '../schema/index.mjs';
+import { type TObject, type TProperties } from '../object/index.mjs';
+import { type TNever } from '../never/index.mjs';
+import { type TRecursive } from '../recursive/index.mjs';
+import { type TIntersect } from '../intersect/index.mjs';
+import { type TUnion } from '../union/index.mjs';
+import { type TTuple } from '../tuple/index.mjs';
+import { type TArray } from '../array/index.mjs';
+import { IntersectResolve } from '../intersect/index.mjs';
+import { UnionResolve } from '../union/index.mjs';
+type FromRest<T extends TSchema[], K extends PropertyKey> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [FromKey<L, K>, ...FromRest<R, K>] : []);
+declare function FromRest<T extends TSchema[], K extends PropertyKey>(T: [...T], K: K): FromRest<T, K>;
+type FromIntersectRest<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? L extends TNever ? [...FromIntersectRest<R>] : [L, ...FromIntersectRest<R>] : []);
+declare function FromIntersectRest<T extends TSchema[]>(T: [...T]): FromIntersectRest<T>;
+type FromIntersect<T extends TSchema[], K extends PropertyKey> = (IntersectResolve<FromIntersectRest<FromRest<T, K>>>);
+declare function FromIntersect<T extends TSchema[], K extends PropertyKey>(T: [...T], K: K): FromIntersect<T, K>;
+type FromUnionRest<T extends TSchema[], S = T> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? L extends TNever ? [] : FromUnionRest<R, S> : S);
+declare function FromUnionRest<T extends TSchema[]>(T: [...T], S?: [...T]): FromUnionRest<T>;
+type FromUnion<T extends TSchema[], K extends PropertyKey> = (UnionResolve<FromUnionRest<FromRest<T, K>>>);
+declare function FromUnion<T extends TSchema[], K extends PropertyKey>(T: [...T], K: K): FromUnion<T, K>;
+type FromTuple<T extends TSchema[], K extends PropertyKey> = (K extends keyof T ? T[K] : K extends '[number]' ? UnionResolve<T> : TNever);
+declare function FromTuple<T extends TSchema[], K extends PropertyKey>(T: [...T], K: K): FromTuple<T, K>;
+type FromArray<T extends TSchema, K extends PropertyKey> = (K extends '[number]' ? T : TNever);
+declare function FromArray<T extends TSchema, K extends PropertyKey>(T: T, K: K): FromArray<T, K>;
+type FromProperty<T extends TProperties, K extends PropertyKey> = (K extends keyof T ? T[K] : TNever);
+declare function FromProperty<T extends TProperties, K extends PropertyKey>(T: T, K: K): FromProperty<T, K>;
+type FromKey<T extends TSchema, K extends PropertyKey> = (T extends TRecursive<infer S> ? FromKey<S, K> : T extends TIntersect<infer S> ? FromIntersect<S, K> : T extends TUnion<infer S> ? FromUnion<S, K> : T extends TTuple<infer S> ? FromTuple<S, K> : T extends TArray<infer S> ? FromArray<S, K> : T extends TObject<infer S> ? FromProperty<S, K> : TNever);
+declare function FromKey<T extends TSchema, K extends PropertyKey>(T: T, K: K): FromKey<T, K>;
+type FromKeys<T extends TSchema, K extends PropertyKey[]> = (K extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? [FromKey<T, L>, ...FromKeys<T, R>] : []);
+declare function FromKeys<T extends TSchema, K extends PropertyKey[]>(T: T, K: [...K]): FromKeys<T, K>;
+export type IndexedTypeResolve<T extends TSchema, K extends PropertyKey[]> = (UnionResolve<FromKeys<T, K>>);
+export declare function IndexedTypeResolve<T extends TSchema, K extends PropertyKey[]>(T: T, K: [...K]): IndexedTypeResolve<T, K>;
+export {};

package/esm/type/indexed/indexed-type.mjs

@@ -0,0 +1,102 @@
+/*--------------------------------------------------------------------------
+
+@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 { IntersectResolve } from '../intersect/index.mjs';
+import { UnionResolve } from '../union/index.mjs';
+import { TIntersect as IsIntersectType, TUnion as IsUnionType, TTuple as IsTupleType, TArray as IsArrayType, TObject as IsObjectType, TNever as IsNeverType } from '../guard/type.mjs';
+// prettier-ignore
+function FromRest(T, K) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? [FromKey(L, K), ...FromRest(R, K)]
+        : []);
+}
+// prettier-ignore
+function FromIntersectRest(T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? IsNeverType(L)
+            ? [...FromIntersectRest(R)]
+            : [L, ...FromIntersectRest(R)]
+        : []);
+}
+// prettier-ignore
+function FromIntersect(T, K) {
+    return (IntersectResolve(FromIntersectRest(FromRest(T, K))));
+}
+// prettier-ignore
+function FromUnionRest(T, S = T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? IsNeverType(L)
+            ? []
+            : FromUnionRest(R, S)
+        : S);
+}
+// prettier-ignore
+function FromUnion(T, K) {
+    return (UnionResolve(FromUnionRest(FromRest(T, K))));
+}
+// prettier-ignore
+function FromTuple(T, K) {
+    return (K in T ? T[K] :
+        K === '[number]' ? UnionResolve(T) :
+            Never());
+}
+// prettier-ignore
+function FromArray(T, K) {
+    return (K === '[number]'
+        ? T
+        : Never());
+}
+// prettier-ignore
+function FromProperty(T, K) {
+    return (K in T
+        ? T[K]
+        : Never());
+}
+// prettier-ignore
+function FromKey(T, K) {
+    return (IsIntersectType(T) ? FromIntersect(T.allOf, K) :
+        IsUnionType(T) ? FromUnion(T.anyOf, K) :
+            IsTupleType(T) ? FromTuple(T.items ?? [], K) :
+                IsArrayType(T) ? FromArray(T.items, K) :
+                    IsObjectType(T) ? FromProperty(T.properties, K) :
+                        Never());
+}
+// prettier-ignore
+function FromKeys(T, K) {
+    const [L, ...R] = K;
+    return (K.length > 0
+        ? [FromKey(T, L), ...FromKeys(T, R)]
+        : []);
+}
+// prettier-ignore
+export function IndexedTypeResolve(T, K) {
+    return (UnionResolve(FromKeys(T, K)));
+}

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

@@ -0,0 +1,8 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { IndexedTypeResolve } from './indexed-type.mjs';
+import { IndexedKeyResolve } from './indexed-key.mjs';
+export type TIndex<T extends TSchema, K extends PropertyKey[]> = IndexedTypeResolve<T, K>;
+/** `[Json]` Returns an Indexed property type for the given keys */
+export declare function Index<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TIndex<T, I>;
+/** `[Json]` Returns an Indexed property type for the given keys */
+export declare function Index<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TIndex<T, K>;

package/esm/type/indexed/indexed.mjs

@@ -0,0 +1,37 @@
+/*--------------------------------------------------------------------------
+
+@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 { IndexedTypeResolve } from './indexed-type.mjs';
+import { IndexedKeyResolve } from './indexed-key.mjs';
+import { CloneType } from '../clone/type.mjs';
+import { TSchema as IsSchemaType } from '../guard/type.mjs';
+/** `[Json]` Returns an Indexed property type for the given keys */
+export function Index(T, K, options = {}) {
+    const keys = IsSchemaType(K) ? IndexedKeyResolve(K) : K;
+    const type = IndexedTypeResolve(T, keys);
+    return CloneType(type, options);
+}

package/esm/type/instance-type/index.d.mts

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

package/esm/type/instance-type/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 './instance-type.mjs';

package/esm/type/instance-type/instance-type.d.mts

@@ -0,0 +1,5 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import type { TConstructor } from '../constructor/index.mjs';
+export type TInstanceType<T extends TConstructor<TSchema[], TSchema>> = T['returns'];
+/** `[JavaScript]` Extracts the InstanceType from the given Constructor type */
+export declare function InstanceType<T extends TConstructor<any[], any>>(schema: T, options?: SchemaOptions): TInstanceType<T>;

package/esm/type/instance-type/instance-type.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 { CloneType } from '../clone/type.mjs';
+/** `[JavaScript]` Extracts the InstanceType from the given Constructor type */
+export function InstanceType(schema, options = {}) {
+    return CloneType(schema.returns, options);
+}

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

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

package/esm/type/integer/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 './integer.mjs';

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

@@ -0,0 +1,16 @@
+import type { TSchema, SchemaOptions } from '../schema/index.mjs';
+import { Kind } from '../symbols/index.mjs';
+export interface IntegerOptions extends SchemaOptions {
+    exclusiveMaximum?: number;
+    exclusiveMinimum?: number;
+    maximum?: number;
+    minimum?: number;
+    multipleOf?: number;
+}
+export interface TInteger extends TSchema, IntegerOptions {
+    [Kind]: 'Integer';
+    static: number;
+    type: 'integer';
+}
+/** `[Json]` Creates an Integer type */
+export declare function Integer(options?: IntegerOptions): TInteger;

package/esm/type/integer/integer.mjs

@@ -0,0 +1,36 @@
+/*--------------------------------------------------------------------------
+
+@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';
+/** `[Json]` Creates an Integer type */
+export function Integer(options = {}) {
+    return {
+        ...options,
+        [Kind]: 'Integer',
+        type: 'integer',
+    };
+}

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

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