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

package/type/index.d.ts

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

package/type/index.js

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

package/type/indexed/index.d.ts

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

package/type/indexed/index.js

@@ -0,0 +1,19 @@
+"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 });
+__exportStar(require("./indexed-key"), exports);
+__exportStar(require("./indexed-type"), exports);
+__exportStar(require("./indexed"), exports);

package/type/indexed/indexed-key.d.ts

@@ -0,0 +1,16 @@
+import { type TTemplateLiteral, TemplateLiteralGenerate, IsTemplateLiteralFinite } from '../template-literal/index';
+import { type TLiteral, type TLiteralValue } from '../literal/index';
+import { type TInteger } from '../integer/index';
+import { type TNumber } from '../number/index';
+import { type TSchema } from '../schema/index';
+import { type TUnion } from '../union/index';
+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]'] : [
+]);
+export declare function IndexedKeyResolve<T extends TSchema>(T: T): IndexedKeyResolve<T>;
+export {};

package/type/indexed/indexed-key.js

@@ -0,0 +1,33 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IndexedKeyResolve = void 0;
+const index_1 = require("../template-literal/index");
+const type_1 = require("../guard/type");
+function FromTemplateLiteral(T) {
+    const E = (0, index_1.TemplateLiteralParseExact)(T.pattern);
+    const F = (0, index_1.IsTemplateLiteralFinite)(E);
+    const S = (0, index_1.TemplateLiteralToUnion)(T);
+    return (F === true
+        ? (0, type_1.TUnionLiteral)(S)
+            ? S.anyOf.map(S => S.const.toString())
+            : []
+        : []);
+}
+function FromUnion(T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? [...IndexedKeyResolve(L), ...FromUnion(R)]
+        : []);
+}
+function FromLiteral(T) {
+    return ([T.toString()]);
+}
+function IndexedKeyResolve(T) {
+    return [...new Set(((0, type_1.TTemplateLiteral)(T) ? FromTemplateLiteral(T) :
+            (0, type_1.TUnion)(T) ? FromUnion(T.anyOf) :
+                (0, type_1.TLiteral)(T) ? FromLiteral(T.const) :
+                    (0, type_1.TNumber)(T) ? ['[number]'] :
+                        (0, type_1.TInteger)(T) ? ['[number]'] :
+                            []))];
+}
+exports.IndexedKeyResolve = IndexedKeyResolve;

package/type/indexed/indexed-type.d.ts

@@ -0,0 +1,33 @@
+import { type TSchema } from '../schema/index';
+import { type TObject, type TProperties } from '../object/index';
+import { type TNever } from '../never/index';
+import { type TRecursive } from '../recursive/index';
+import { type TIntersect } from '../intersect/index';
+import { type TUnion } from '../union/index';
+import { type TTuple } from '../tuple/index';
+import { type TArray } from '../array/index';
+import { IntersectResolve } from '../intersect/index';
+import { UnionResolve } from '../union/index';
+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/type/indexed/indexed-type.js

@@ -0,0 +1,68 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.IndexedTypeResolve = void 0;
+const index_1 = require("../never/index");
+const index_2 = require("../intersect/index");
+const index_3 = require("../union/index");
+const type_1 = require("../guard/type");
+function FromRest(T, K) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? [FromKey(L, K), ...FromRest(R, K)]
+        : []);
+}
+function FromIntersectRest(T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? (0, type_1.TNever)(L)
+            ? [...FromIntersectRest(R)]
+            : [L, ...FromIntersectRest(R)]
+        : []);
+}
+function FromIntersect(T, K) {
+    return ((0, index_2.IntersectResolve)(FromIntersectRest(FromRest(T, K))));
+}
+function FromUnionRest(T, S = T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? (0, type_1.TNever)(L)
+            ? []
+            : FromUnionRest(R, S)
+        : S);
+}
+function FromUnion(T, K) {
+    return ((0, index_3.UnionResolve)(FromUnionRest(FromRest(T, K))));
+}
+function FromTuple(T, K) {
+    return (K in T ? T[K] :
+        K === '[number]' ? (0, index_3.UnionResolve)(T) :
+            (0, index_1.Never)());
+}
+function FromArray(T, K) {
+    return (K === '[number]'
+        ? T
+        : (0, index_1.Never)());
+}
+function FromProperty(T, K) {
+    return (K in T
+        ? T[K]
+        : (0, index_1.Never)());
+}
+function FromKey(T, K) {
+    return ((0, type_1.TIntersect)(T) ? FromIntersect(T.allOf, K) :
+        (0, type_1.TUnion)(T) ? FromUnion(T.anyOf, K) :
+            (0, type_1.TTuple)(T) ? FromTuple(T.items ?? [], K) :
+                (0, type_1.TArray)(T) ? FromArray(T.items, K) :
+                    (0, type_1.TObject)(T) ? FromProperty(T.properties, K) :
+                        (0, index_1.Never)());
+}
+function FromKeys(T, K) {
+    const [L, ...R] = K;
+    return (K.length > 0
+        ? [FromKey(T, L), ...FromKeys(T, R)]
+        : []);
+}
+function IndexedTypeResolve(T, K) {
+    return ((0, index_3.UnionResolve)(FromKeys(T, K)));
+}
+exports.IndexedTypeResolve = IndexedTypeResolve;

package/type/indexed/indexed.d.ts

@@ -0,0 +1,6 @@
+import type { TSchema, SchemaOptions } from '../schema/index';
+import { IndexedTypeResolve } from './indexed-type';
+import { IndexedKeyResolve } from './indexed-key';
+export type TIndex<T extends TSchema, K extends PropertyKey[]> = IndexedTypeResolve<T, K>;
+export declare function Index<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TIndex<T, I>;
+export declare function Index<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TIndex<T, K>;

package/type/indexed/indexed.js

@@ -0,0 +1,13 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Index = void 0;
+const indexed_type_1 = require("./indexed-type");
+const indexed_key_1 = require("./indexed-key");
+const type_1 = require("../clone/type");
+const type_2 = require("../guard/type");
+function Index(T, K, options = {}) {
+    const keys = (0, type_2.TSchema)(K) ? (0, indexed_key_1.IndexedKeyResolve)(K) : K;
+    const type = (0, indexed_type_1.IndexedTypeResolve)(T, keys);
+    return (0, type_1.CloneType)(type, options);
+}
+exports.Index = Index;

package/type/instance-type/index.d.ts

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

package/type/instance-type/index.js

@@ -0,0 +1,17 @@
+"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 });
+__exportStar(require("./instance-type"), exports);

package/type/instance-type/instance-type.d.ts

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

package/type/instance-type/instance-type.js

@@ -0,0 +1,8 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.InstanceType = void 0;
+const type_1 = require("../clone/type");
+function InstanceType(schema, options = {}) {
+    return (0, type_1.CloneType)(schema.returns, options);
+}
+exports.InstanceType = InstanceType;

package/type/integer/index.d.ts

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

package/type/integer/index.js

@@ -0,0 +1,17 @@
+"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 });
+__exportStar(require("./integer"), exports);

package/type/integer/integer.d.ts

@@ -0,0 +1,15 @@
+import type { TSchema, SchemaOptions } from '../schema/index';
+import { Kind } from '../symbols/index';
+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';
+}
+export declare function Integer(options?: IntegerOptions): TInteger;

package/type/integer/integer.js

@@ -0,0 +1,12 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Integer = void 0;
+const index_1 = require("../symbols/index");
+function Integer(options = {}) {
+    return {
+        ...options,
+        [index_1.Kind]: 'Integer',
+        type: 'integer',
+    };
+}
+exports.Integer = Integer;

package/type/intersect/index.d.ts

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

package/type/intersect/index.js

@@ -0,0 +1,17 @@
+"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 });
+__exportStar(require("./intersect"), exports);

package/type/intersect/intersect.d.ts

@@ -0,0 +1,21 @@
+import type { TupleToIntersect, AssertType } from '../helpers/index';
+import type { TSchema, SchemaOptions } from '../schema/index';
+import type { Static } from '../static/index';
+import { type TNever } from '../never/index';
+import { OptionalFromIntersect } from '../modifiers/index';
+import { Kind } from '../symbols/index';
+export type IntersectResolve<T extends TSchema[]> = (T extends [] ? TNever : T extends [TSchema] ? T[0] : OptionalFromIntersect<T>);
+export declare function IntersectResolve<T extends TSchema[]>(T: T): IntersectResolve<T>;
+export type TUnevaluatedProperties = undefined | TSchema | boolean;
+export interface IntersectOptions extends SchemaOptions {
+    unevaluatedProperties?: TUnevaluatedProperties;
+}
+export interface TIntersect<T extends TSchema[] = TSchema[]> extends TSchema, IntersectOptions {
+    [Kind]: 'Intersect';
+    static: TupleToIntersect<{
+        [K in keyof T]: Static<AssertType<T[K]>, this['params']>;
+    }>;
+    type?: 'object';
+    allOf: [...T];
+}
+export declare function Intersect<T extends TSchema[]>(T: [...T], options?: IntersectOptions): IntersectResolve<T>;

package/type/intersect/intersect.js

@@ -0,0 +1,30 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Intersect = exports.IntersectResolve = void 0;
+const index_1 = require("../never/index");
+const index_2 = require("../modifiers/index");
+const index_3 = require("../symbols/index");
+const type_1 = require("../clone/type");
+const type_2 = require("../guard/type");
+function IntersectResolve(T) {
+    return (T.length === 0
+        ? (0, index_1.Never)()
+        : T.length === 1
+            ? T[0]
+            : (0, index_2.OptionalFromIntersect)(T));
+}
+exports.IntersectResolve = IntersectResolve;
+function Intersect(T, options = {}) {
+    if (T.length === 0)
+        return (0, index_1.Never)();
+    if (T.length === 1)
+        return (0, type_1.CloneType)(T[0], options);
+    if (T.some((schema) => (0, type_2.TTransform)(schema)))
+        throw new Error('Cannot intersect transform types');
+    const allObjects = T.every((schema) => (0, type_2.TObject)(schema));
+    const clonedUnevaluatedProperties = (0, type_2.TSchema)(options.unevaluatedProperties) ? { unevaluatedProperties: (0, type_1.CloneType)(options.unevaluatedProperties) } : {};
+    return (options.unevaluatedProperties === false || (0, type_2.TSchema)(options.unevaluatedProperties) || allObjects
+        ? { ...options, ...clonedUnevaluatedProperties, [index_3.Kind]: 'Intersect', type: 'object', allOf: (0, type_1.CloneRest)(T) }
+        : { ...options, ...clonedUnevaluatedProperties, [index_3.Kind]: 'Intersect', allOf: (0, type_1.CloneRest)(T) });
+}
+exports.Intersect = Intersect;

package/type/intrinsic/index.d.ts

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

package/type/intrinsic/index.js

@@ -0,0 +1,17 @@
+"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 });
+__exportStar(require("./intrinsic"), exports);

package/type/intrinsic/intrinsic.d.ts

@@ -0,0 +1,22 @@
+import type { TSchema, SchemaOptions } from '../schema/index';
+import { type TTemplateLiteral, type TTemplateLiteralKind } from '../template-literal/index';
+import { type TLiteral, type TLiteralValue } from '../literal/index';
+import { type TUnion } from '../union/index';
+type IntrinsicMode = 'Uppercase' | 'Lowercase' | 'Capitalize' | 'Uncapitalize';
+type FromTemplateLiteral<T extends TTemplateLiteralKind[], M extends IntrinsicMode> = M extends IntrinsicMode ? T extends [infer L extends TTemplateLiteralKind, ...infer R extends TTemplateLiteralKind[]] ? [IntrinsicResolve<L, M>, ...FromTemplateLiteral<R, M>] : T : T;
+declare function FromTemplateLiteral<T extends TTemplateLiteralKind[], M extends IntrinsicMode>(schema: TTemplateLiteral, mode: IntrinsicMode): FromTemplateLiteral<T, M>;
+type FromLiteralValue<T, M extends IntrinsicMode> = (T extends string ? M extends 'Uncapitalize' ? Uncapitalize<T> : M extends 'Capitalize' ? Capitalize<T> : M extends 'Uppercase' ? Uppercase<T> : M extends 'Lowercase' ? Lowercase<T> : string : T);
+declare function FromLiteralValue(value: TLiteralValue, mode: IntrinsicMode): string;
+type FromRest<T extends TSchema[], M extends IntrinsicMode> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [IntrinsicResolve<L, M>, ...FromRest<R, M>] : [];
+declare function FromRest<T extends TSchema[], M extends IntrinsicMode>(T: [...T], mode: M): FromRest<T, M>;
+export type IntrinsicResolve<T extends TSchema, M extends IntrinsicMode> = T extends TTemplateLiteral<infer S> ? TTemplateLiteral<FromTemplateLiteral<S, M>> : T extends TUnion<infer S> ? TUnion<FromRest<S, M>> : T extends TLiteral<infer S> ? TLiteral<FromLiteralValue<S, M>> : T;
+export declare function IntrinsicResolve<T extends TSchema, M extends IntrinsicMode>(schema: T, mode: M): IntrinsicResolve<T, M>;
+export type TUncapitalize<T extends TSchema> = IntrinsicResolve<T, 'Uncapitalize'>;
+export declare function Uncapitalize<T extends TSchema>(T: T, options?: SchemaOptions): TUncapitalize<T>;
+export type TUppercase<T extends TSchema> = IntrinsicResolve<T, 'Uppercase'>;
+export declare function Uppercase<T extends TSchema>(T: T, options?: SchemaOptions): TUppercase<T>;
+export type TLowercase<T extends TSchema> = IntrinsicResolve<T, 'Lowercase'>;
+export declare function Lowercase<T extends TSchema>(T: T, options?: SchemaOptions): TLowercase<T>;
+export type TCapitalize<T extends TSchema> = IntrinsicResolve<T, 'Capitalize'>;
+export declare function Capitalize<T extends TSchema>(T: T, options?: SchemaOptions): TCapitalize<T>;
+export {};

package/type/intrinsic/intrinsic.js

@@ -0,0 +1,67 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Capitalize = exports.Lowercase = exports.Uppercase = exports.Uncapitalize = exports.IntrinsicResolve = void 0;
+const index_1 = require("../template-literal/index");
+const index_2 = require("../literal/index");
+const index_3 = require("../union/index");
+const type_1 = require("../guard/type");
+const type_2 = require("../clone/type");
+function ApplyUncapitalize(value) {
+    const [first, rest] = [value.slice(0, 1), value.slice(1)];
+    return [first.toLowerCase(), rest].join('');
+}
+function ApplyCapitalize(value) {
+    const [first, rest] = [value.slice(0, 1), value.slice(1)];
+    return [first.toUpperCase(), rest].join('');
+}
+function ApplyUppercase(value) {
+    return value.toUpperCase();
+}
+function ApplyLowercase(value) {
+    return value.toLowerCase();
+}
+function FromTemplateLiteral(schema, mode) {
+    const expression = (0, index_1.TemplateLiteralParseExact)(schema.pattern);
+    const finite = (0, index_1.IsTemplateLiteralFinite)(expression);
+    if (!finite)
+        return { ...schema, pattern: FromLiteralValue(schema.pattern, mode) };
+    const strings = [...(0, index_1.TemplateLiteralGenerate)(expression)];
+    const literals = strings.map((value) => (0, index_2.Literal)(value));
+    const mapped = FromRest(literals, mode);
+    const union = (0, index_3.Union)(mapped);
+    return (0, index_1.TemplateLiteral)([union]);
+}
+function FromLiteralValue(value, mode) {
+    return (typeof value === 'string' ? (mode === 'Uncapitalize' ? ApplyUncapitalize(value) :
+        mode === 'Capitalize' ? ApplyCapitalize(value) :
+            mode === 'Uppercase' ? ApplyUppercase(value) :
+                mode === 'Lowercase' ? ApplyLowercase(value) :
+                    value) : value.toString());
+}
+function FromRest(T, mode) {
+    const [L, ...R] = T;
+    return (T.length > 0 ? [IntrinsicResolve(L, mode), ...FromRest(R, mode)] : []);
+}
+function IntrinsicResolve(schema, mode) {
+    return ((0, type_1.TTemplateLiteral)(schema) ? FromTemplateLiteral(schema, mode) :
+        (0, type_1.TUnion)(schema) ? (0, index_3.Union)(FromRest(schema.anyOf, mode)) :
+            (0, type_1.TLiteral)(schema) ? (0, index_2.Literal)(FromLiteralValue(schema.const, mode)) :
+                schema);
+}
+exports.IntrinsicResolve = IntrinsicResolve;
+function Uncapitalize(T, options = {}) {
+    return (0, type_2.CloneType)(IntrinsicResolve(T, 'Uncapitalize'), options);
+}
+exports.Uncapitalize = Uncapitalize;
+function Uppercase(T, options = {}) {
+    return (0, type_2.CloneType)(IntrinsicResolve(T, 'Uppercase'), options);
+}
+exports.Uppercase = Uppercase;
+function Lowercase(T, options = {}) {
+    return (0, type_2.CloneType)(IntrinsicResolve(T, 'Lowercase'), options);
+}
+exports.Lowercase = Lowercase;
+function Capitalize(T, options = {}) {
+    return (0, type_2.CloneType)(IntrinsicResolve(T, 'Capitalize'), options);
+}
+exports.Capitalize = Capitalize;

package/type/iterator/index.d.ts

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