@depup/sinclair__typebox 0.34.48-depup.0

package/build/cjs/type/intrinsic/intrinsic.js

@@ -0,0 +1,68 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Intrinsic = Intrinsic;
+const type_1 = require("../create/type");
+const index_1 = require("../template-literal/index");
+const intrinsic_from_mapped_key_1 = require("./intrinsic-from-mapped-key");
+const index_2 = require("../literal/index");
+const index_3 = require("../union/index");
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+const kind_1 = require("../guard/kind");
+// ------------------------------------------------------------------
+// Apply
+// ------------------------------------------------------------------
+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, options) {
+    // note: template literals require special runtime handling as they are encoded in string patterns.
+    // This diverges from the mapped type which would otherwise map on the template literal kind.
+    const expression = (0, index_1.TemplateLiteralParseExact)(schema.pattern);
+    const finite = (0, index_1.IsTemplateLiteralExpressionFinite)(expression);
+    if (!finite)
+        return { ...schema, pattern: FromLiteralValue(schema.pattern, mode) };
+    const strings = [...(0, index_1.TemplateLiteralExpressionGenerate)(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], options);
+}
+// prettier-ignore
+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());
+}
+// prettier-ignore
+function FromRest(T, M) {
+    return T.map(L => Intrinsic(L, M));
+}
+/** Applies an intrinsic string manipulation to the given type. */
+function Intrinsic(schema, mode, options = {}) {
+    // prettier-ignore
+    return (
+    // Intrinsic-Mapped-Inference
+    (0, kind_1.IsMappedKey)(schema) ? (0, intrinsic_from_mapped_key_1.IntrinsicFromMappedKey)(schema, mode, options) :
+        // Standard-Inference
+        (0, kind_1.IsTemplateLiteral)(schema) ? FromTemplateLiteral(schema, mode, options) :
+            (0, kind_1.IsUnion)(schema) ? (0, index_3.Union)(FromRest(schema.anyOf, mode), options) :
+                (0, kind_1.IsLiteral)(schema) ? (0, index_2.Literal)(FromLiteralValue(schema.const, mode), options) :
+                    // Default Type
+                    (0, type_1.CreateType)(schema, options));
+}

package/build/cjs/type/intrinsic/lowercase.d.ts

@@ -0,0 +1,5 @@
+import type { TSchema, SchemaOptions } from '../schema/index';
+import { type TIntrinsic } from './intrinsic';
+export type TLowercase<T extends TSchema> = TIntrinsic<T, 'Lowercase'>;
+/** `[Json]` Intrinsic function to Lowercase LiteralString types */
+export declare function Lowercase<T extends TSchema>(T: T, options?: SchemaOptions): TLowercase<T>;

package/build/cjs/type/intrinsic/lowercase.js

@@ -0,0 +1,9 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Lowercase = Lowercase;
+const intrinsic_1 = require("./intrinsic");
+/** `[Json]` Intrinsic function to Lowercase LiteralString types */
+function Lowercase(T, options = {}) {
+    return (0, intrinsic_1.Intrinsic)(T, 'Lowercase', options);
+}

package/build/cjs/type/intrinsic/uncapitalize.d.ts

@@ -0,0 +1,5 @@
+import type { TSchema, SchemaOptions } from '../schema/index';
+import { type TIntrinsic } from './intrinsic';
+export type TUncapitalize<T extends TSchema> = TIntrinsic<T, 'Uncapitalize'>;
+/** `[Json]` Intrinsic function to Uncapitalize LiteralString types */
+export declare function Uncapitalize<T extends TSchema>(T: T, options?: SchemaOptions): TUncapitalize<T>;

package/build/cjs/type/intrinsic/uncapitalize.js

@@ -0,0 +1,9 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Uncapitalize = Uncapitalize;
+const intrinsic_1 = require("./intrinsic");
+/** `[Json]` Intrinsic function to Uncapitalize LiteralString types */
+function Uncapitalize(T, options = {}) {
+    return (0, intrinsic_1.Intrinsic)(T, 'Uncapitalize', options);
+}

package/build/cjs/type/intrinsic/uppercase.d.ts

@@ -0,0 +1,5 @@
+import type { TSchema, SchemaOptions } from '../schema/index';
+import { type TIntrinsic } from './intrinsic';
+export type TUppercase<T extends TSchema> = TIntrinsic<T, 'Uppercase'>;
+/** `[Json]` Intrinsic function to Uppercase LiteralString types */
+export declare function Uppercase<T extends TSchema>(T: T, options?: SchemaOptions): TUppercase<T>;

package/build/cjs/type/intrinsic/uppercase.js

@@ -0,0 +1,9 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Uppercase = Uppercase;
+const intrinsic_1 = require("./intrinsic");
+/** `[Json]` Intrinsic function to Uppercase LiteralString types */
+function Uppercase(T, options = {}) {
+    return (0, intrinsic_1.Intrinsic)(T, 'Uppercase', options);
+}

package/build/cjs/type/iterator/index.d.ts

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

package/build/cjs/type/iterator/index.js

@@ -0,0 +1,18 @@
+"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("./iterator"), exports);

package/build/cjs/type/iterator/iterator.d.ts

@@ -0,0 +1,11 @@
+import type { TSchema, SchemaOptions } from '../schema/index';
+import type { Static } from '../static/index';
+import { Kind } from '../symbols/index';
+export interface TIterator<T extends TSchema = TSchema> extends TSchema {
+    [Kind]: 'Iterator';
+    static: IterableIterator<Static<T, this['params']>>;
+    type: 'Iterator';
+    items: T;
+}
+/** `[JavaScript]` Creates an Iterator type */
+export declare function Iterator<T extends TSchema>(items: T, options?: SchemaOptions): TIterator<T>;

package/build/cjs/type/iterator/iterator.js

@@ -0,0 +1,10 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Iterator = Iterator;
+const type_1 = require("../create/type");
+const index_1 = require("../symbols/index");
+/** `[JavaScript]` Creates an Iterator type */
+function Iterator(items, options) {
+    return (0, type_1.CreateType)({ [index_1.Kind]: 'Iterator', type: 'Iterator', items }, options);
+}

package/build/cjs/type/keyof/index.d.ts

@@ -0,0 +1,4 @@
+export * from './keyof-from-mapped-result';
+export * from './keyof-property-entries';
+export * from './keyof-property-keys';
+export * from './keyof';

package/build/cjs/type/keyof/index.js

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

package/build/cjs/type/keyof/keyof-from-mapped-result.d.ts

@@ -0,0 +1,12 @@
+import type { SchemaOptions } from '../schema/index';
+import type { Ensure, Evaluate } from '../helpers/index';
+import type { TProperties } from '../object/index';
+import { type TMappedResult } from '../mapped/index';
+import { type TKeyOfFromType } from './keyof';
+type TFromProperties<Properties extends TProperties> = ({
+    [K2 in keyof Properties]: TKeyOfFromType<Properties[K2]>;
+});
+type TFromMappedResult<MappedResult extends TMappedResult> = (Evaluate<TFromProperties<MappedResult['properties']>>);
+export type TKeyOfFromMappedResult<MappedResult extends TMappedResult, Properties extends TProperties = TFromMappedResult<MappedResult>> = (Ensure<TMappedResult<Properties>>);
+export declare function KeyOfFromMappedResult<MappedResult extends TMappedResult, Properties extends TProperties = TFromMappedResult<MappedResult>>(mappedResult: MappedResult, options?: SchemaOptions): TMappedResult<Properties>;
+export {};

package/build/cjs/type/keyof/keyof-from-mapped-result.js

@@ -0,0 +1,23 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.KeyOfFromMappedResult = KeyOfFromMappedResult;
+const index_1 = require("../mapped/index");
+const keyof_1 = require("./keyof");
+const value_1 = require("../clone/value");
+// prettier-ignore
+function FromProperties(properties, options) {
+    const result = {};
+    for (const K2 of globalThis.Object.getOwnPropertyNames(properties))
+        result[K2] = (0, keyof_1.KeyOf)(properties[K2], (0, value_1.Clone)(options));
+    return result;
+}
+// prettier-ignore
+function FromMappedResult(mappedResult, options) {
+    return FromProperties(mappedResult.properties, options);
+}
+// prettier-ignore
+function KeyOfFromMappedResult(mappedResult, options) {
+    const properties = FromMappedResult(mappedResult, options);
+    return (0, index_1.MappedResult)(properties);
+}

package/build/cjs/type/keyof/keyof-property-entries.d.ts

@@ -0,0 +1,7 @@
+import { TSchema } from '../schema/index';
+/**
+ * `[Utility]` Resolves an array of keys and schemas from the given schema. This method is faster
+ * than obtaining the keys and resolving each individually via indexing. This method was written
+ * accellerate Intersect and Union encoding.
+ */
+export declare function KeyOfPropertyEntries(schema: TSchema): [key: string, schema: TSchema][];

package/build/cjs/type/keyof/keyof-property-entries.js

@@ -0,0 +1,16 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.KeyOfPropertyEntries = KeyOfPropertyEntries;
+const indexed_1 = require("../indexed/indexed");
+const keyof_property_keys_1 = require("./keyof-property-keys");
+/**
+ * `[Utility]` Resolves an array of keys and schemas from the given schema. This method is faster
+ * than obtaining the keys and resolving each individually via indexing. This method was written
+ * accellerate Intersect and Union encoding.
+ */
+function KeyOfPropertyEntries(schema) {
+    const keys = (0, keyof_property_keys_1.KeyOfPropertyKeys)(schema);
+    const schemas = (0, indexed_1.IndexFromPropertyKeys)(schema, keys);
+    return keys.map((_, index) => [keys[index], schemas[index]]);
+}

package/build/cjs/type/keyof/keyof-property-keys.d.ts

@@ -0,0 +1,24 @@
+import type { TSchema } from '../schema/index';
+import { type ZeroString, type UnionToTuple, type TIncrement } from '../helpers/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 type { TObject, TProperties } from '../object/index';
+import { type TSetUnionMany, type TSetIntersectMany } from '../sets/index';
+type TFromRest<Types extends TSchema[], Result extends PropertyKey[][] = []> = (Types extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<R, [...Result, TKeyOfPropertyKeys<L>]> : Result);
+type TFromIntersect<Types extends TSchema[], PropertyKeysArray extends PropertyKey[][] = TFromRest<Types>, PropertyKeys extends PropertyKey[] = TSetUnionMany<PropertyKeysArray>> = PropertyKeys;
+type TFromUnion<Types extends TSchema[], PropertyKeysArray extends PropertyKey[][] = TFromRest<Types>, PropertyKeys extends PropertyKey[] = TSetIntersectMany<PropertyKeysArray>> = PropertyKeys;
+type TFromTuple<Types extends TSchema[], Indexer extends string = ZeroString, Acc extends PropertyKey[] = []> = Types extends [infer _ extends TSchema, ...infer R extends TSchema[]] ? TFromTuple<R, TIncrement<Indexer>, [...Acc, Indexer]> : Acc;
+type TFromArray<_ extends TSchema> = ([
+    '[number]'
+]);
+type TFromProperties<Properties extends TProperties> = (UnionToTuple<keyof Properties>);
+export type TKeyOfPropertyKeys<Type extends TSchema> = (Type extends TRecursive<infer Type extends TSchema> ? TKeyOfPropertyKeys<Type> : Type extends TIntersect<infer Types extends TSchema[]> ? TFromIntersect<Types> : Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Types> : Type extends TTuple<infer Types extends TSchema[]> ? TFromTuple<Types> : Type extends TArray<infer Type extends TSchema> ? TFromArray<Type> : Type extends TObject<infer Properties extends TProperties> ? TFromProperties<Properties> : [
+]);
+/** Returns a tuple of PropertyKeys derived from the given TSchema. */
+export declare function KeyOfPropertyKeys<Type extends TSchema>(type: Type): TKeyOfPropertyKeys<Type>;
+/** Returns a regular expression pattern derived from the given TSchema */
+export declare function KeyOfPattern(schema: TSchema): string;
+export {};

package/build/cjs/type/keyof/keyof-property-keys.js

@@ -0,0 +1,78 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.KeyOfPropertyKeys = KeyOfPropertyKeys;
+exports.KeyOfPattern = KeyOfPattern;
+const index_1 = require("../sets/index");
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+const kind_1 = require("../guard/kind");
+// prettier-ignore
+function FromRest(types) {
+    const result = [];
+    for (const L of types)
+        result.push(KeyOfPropertyKeys(L));
+    return result;
+}
+// prettier-ignore
+function FromIntersect(types) {
+    const propertyKeysArray = FromRest(types);
+    const propertyKeys = (0, index_1.SetUnionMany)(propertyKeysArray);
+    return propertyKeys;
+}
+// prettier-ignore
+function FromUnion(types) {
+    const propertyKeysArray = FromRest(types);
+    const propertyKeys = (0, index_1.SetIntersectMany)(propertyKeysArray);
+    return propertyKeys;
+}
+// prettier-ignore
+function FromTuple(types) {
+    return types.map((_, indexer) => indexer.toString());
+}
+// prettier-ignore
+function FromArray(_) {
+    return (['[number]']);
+}
+// prettier-ignore
+function FromProperties(T) {
+    return (globalThis.Object.getOwnPropertyNames(T));
+}
+// ------------------------------------------------------------------
+// FromPatternProperties
+// ------------------------------------------------------------------
+// prettier-ignore
+function FromPatternProperties(patternProperties) {
+    if (!includePatternProperties)
+        return [];
+    const patternPropertyKeys = globalThis.Object.getOwnPropertyNames(patternProperties);
+    return patternPropertyKeys.map(key => {
+        return (key[0] === '^' && key[key.length - 1] === '$')
+            ? key.slice(1, key.length - 1)
+            : key;
+    });
+}
+/** Returns a tuple of PropertyKeys derived from the given TSchema. */
+// prettier-ignore
+function KeyOfPropertyKeys(type) {
+    return ((0, kind_1.IsIntersect)(type) ? FromIntersect(type.allOf) :
+        (0, kind_1.IsUnion)(type) ? FromUnion(type.anyOf) :
+            (0, kind_1.IsTuple)(type) ? FromTuple(type.items ?? []) :
+                (0, kind_1.IsArray)(type) ? FromArray(type.items) :
+                    (0, kind_1.IsObject)(type) ? FromProperties(type.properties) :
+                        (0, kind_1.IsRecord)(type) ? FromPatternProperties(type.patternProperties) :
+                            []);
+}
+// ----------------------------------------------------------------
+// KeyOfPattern
+// ----------------------------------------------------------------
+let includePatternProperties = false;
+/** Returns a regular expression pattern derived from the given TSchema */
+function KeyOfPattern(schema) {
+    includePatternProperties = true;
+    const keys = KeyOfPropertyKeys(schema);
+    includePatternProperties = false;
+    const pattern = keys.map((key) => `(${key})`);
+    return `^(${pattern.join('|')})$`;
+}

package/build/cjs/type/keyof/keyof.d.ts

@@ -0,0 +1,21 @@
+import type { TSchema } from '../schema/index';
+import type { Assert, Ensure } from '../helpers/index';
+import type { TMappedResult } from '../mapped/index';
+import type { SchemaOptions } from '../schema/index';
+import { type TLiteral, type TLiteralValue } from '../literal/index';
+import { type TNumber } from '../number/index';
+import { TComputed } from '../computed/index';
+import { type TRef } from '../ref/index';
+import { type TKeyOfPropertyKeys } from './keyof-property-keys';
+import { type TUnionEvaluated } from '../union/index';
+import { type TKeyOfFromMappedResult } from './keyof-from-mapped-result';
+type TFromComputed<Target extends string, Parameters extends TSchema[]> = Ensure<TComputed<'KeyOf', [TComputed<Target, Parameters>]>>;
+type TFromRef<Ref extends string> = Ensure<TComputed<'KeyOf', [TRef<Ref>]>>;
+/** `[Internal]` Used by KeyOfFromMappedResult */
+export type TKeyOfFromType<Type extends TSchema, PropertyKeys extends PropertyKey[] = TKeyOfPropertyKeys<Type>, PropertyKeyTypes extends TSchema[] = TKeyOfPropertyKeysToRest<PropertyKeys>, Result = TUnionEvaluated<PropertyKeyTypes>> = Ensure<Result>;
+export type TKeyOfPropertyKeysToRest<PropertyKeys extends PropertyKey[], Result extends TSchema[] = []> = (PropertyKeys extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? L extends '[number]' ? TKeyOfPropertyKeysToRest<R, [...Result, TNumber]> : TKeyOfPropertyKeysToRest<R, [...Result, TLiteral<Assert<L, TLiteralValue>>]> : Result);
+export declare function KeyOfPropertyKeysToRest<PropertyKeys extends PropertyKey[]>(propertyKeys: [...PropertyKeys]): TKeyOfPropertyKeysToRest<PropertyKeys>;
+export type TKeyOf<Type extends TSchema> = (Type extends TComputed<infer Target extends string, infer Parameters extends TSchema[]> ? TFromComputed<Target, Parameters> : Type extends TRef<infer Ref extends string> ? TFromRef<Ref> : Type extends TMappedResult ? TKeyOfFromMappedResult<Type> : TKeyOfFromType<Type>);
+/** `[Json]` Creates a KeyOf type */
+export declare function KeyOf<Type extends TSchema>(type: Type, options?: SchemaOptions): TKeyOf<Type>;
+export {};

package/build/cjs/type/keyof/keyof.js

@@ -0,0 +1,40 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.KeyOfPropertyKeysToRest = KeyOfPropertyKeysToRest;
+exports.KeyOf = KeyOf;
+const type_1 = require("../create/type");
+const index_1 = require("../literal/index");
+const index_2 = require("../number/index");
+const index_3 = require("../computed/index");
+const index_4 = require("../ref/index");
+const keyof_property_keys_1 = require("./keyof-property-keys");
+const index_5 = require("../union/index");
+const keyof_from_mapped_result_1 = require("./keyof-from-mapped-result");
+// ------------------------------------------------------------------
+// TypeGuard
+// ------------------------------------------------------------------
+const kind_1 = require("../guard/kind");
+// prettier-ignore
+function FromComputed(target, parameters) {
+    return (0, index_3.Computed)('KeyOf', [(0, index_3.Computed)(target, parameters)]);
+}
+// prettier-ignore
+function FromRef($ref) {
+    return (0, index_3.Computed)('KeyOf', [(0, index_4.Ref)($ref)]);
+}
+// prettier-ignore
+function KeyOfFromType(type, options) {
+    const propertyKeys = (0, keyof_property_keys_1.KeyOfPropertyKeys)(type);
+    const propertyKeyTypes = KeyOfPropertyKeysToRest(propertyKeys);
+    const result = (0, index_5.UnionEvaluated)(propertyKeyTypes);
+    return (0, type_1.CreateType)(result, options);
+}
+// prettier-ignore
+function KeyOfPropertyKeysToRest(propertyKeys) {
+    return propertyKeys.map(L => L === '[number]' ? (0, index_2.Number)() : (0, index_1.Literal)(L));
+}
+/** `[Json]` Creates a KeyOf type */
+function KeyOf(type, options) {
+    return ((0, kind_1.IsComputed)(type) ? FromComputed(type.target, type.parameters) : (0, kind_1.IsRef)(type) ? FromRef(type.$ref) : (0, kind_1.IsMappedResult)(type) ? (0, keyof_from_mapped_result_1.KeyOfFromMappedResult)(type, options) : KeyOfFromType(type, options));
+}

package/build/cjs/type/literal/index.d.ts

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

package/build/cjs/type/literal/index.js

@@ -0,0 +1,18 @@
+"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("./literal"), exports);

package/build/cjs/type/literal/literal.d.ts

@@ -0,0 +1,10 @@
+import type { TSchema, SchemaOptions } from '../schema/index';
+import { Kind } from '../symbols/index';
+export type TLiteralValue = boolean | number | string;
+export interface TLiteral<T extends TLiteralValue = TLiteralValue> extends TSchema {
+    [Kind]: 'Literal';
+    static: T;
+    const: T;
+}
+/** `[Json]` Creates a Literal type */
+export declare function Literal<T extends TLiteralValue>(value: T, options?: SchemaOptions): TLiteral<T>;

package/build/cjs/type/literal/literal.js

@@ -0,0 +1,14 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Literal = Literal;
+const type_1 = require("../create/type");
+const index_1 = require("../symbols/index");
+/** `[Json]` Creates a Literal type */
+function Literal(value, options) {
+    return (0, type_1.CreateType)({
+        [index_1.Kind]: 'Literal',
+        const: value,
+        type: typeof value,
+    }, options);
+}

package/build/cjs/type/mapped/index.d.ts

@@ -0,0 +1,3 @@
+export * from './mapped-key';
+export * from './mapped-result';
+export * from './mapped';

package/build/cjs/type/mapped/index.js

@@ -0,0 +1,20 @@
+"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("./mapped-key"), exports);
+__exportStar(require("./mapped-result"), exports);
+__exportStar(require("./mapped"), exports);

package/build/cjs/type/mapped/mapped-key.d.ts

@@ -0,0 +1,8 @@
+import type { TSchema } from '../schema/index';
+import { Kind } from '../symbols/index';
+export interface TMappedKey<T extends PropertyKey[] = PropertyKey[]> extends TSchema {
+    [Kind]: 'MappedKey';
+    static: T[number];
+    keys: T;
+}
+export declare function MappedKey<T extends PropertyKey[]>(T: [...T]): TMappedKey<T>;

package/build/cjs/type/mapped/mapped-key.js

@@ -0,0 +1,13 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MappedKey = MappedKey;
+const type_1 = require("../create/type");
+const index_1 = require("../symbols/index");
+// prettier-ignore
+function MappedKey(T) {
+    return (0, type_1.CreateType)({
+        [index_1.Kind]: 'MappedKey',
+        keys: T
+    });
+}

package/build/cjs/type/mapped/mapped-result.d.ts

@@ -0,0 +1,9 @@
+import type { TSchema } from '../schema/index';
+import type { TProperties } from '../object/index';
+import { Kind } from '../symbols/index';
+export interface TMappedResult<T extends TProperties = TProperties> extends TSchema {
+    [Kind]: 'MappedResult';
+    properties: T;
+    static: unknown;
+}
+export declare function MappedResult<T extends TProperties>(properties: T): TMappedResult<T>;

package/build/cjs/type/mapped/mapped-result.js

@@ -0,0 +1,13 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MappedResult = MappedResult;
+const type_1 = require("../create/type");
+const index_1 = require("../symbols/index");
+// prettier-ignore
+function MappedResult(properties) {
+    return (0, type_1.CreateType)({
+        [index_1.Kind]: 'MappedResult',
+        properties
+    });
+}

package/build/cjs/type/mapped/mapped.d.ts

@@ -0,0 +1,47 @@
+import type { TSchema } from '../schema/index';
+import type { Ensure, Evaluate, Assert } from '../helpers/index';
+import { type TArray } from '../array/index';
+import { type TAsyncIterator } from '../async-iterator/index';
+import { type TConstructor } from '../constructor/index';
+import { type TEnum, type TEnumRecord } from '../enum/index';
+import { type TFunction } from '../function/index';
+import { type TIndexPropertyKeys } from '../indexed/index';
+import { type TIntersect } from '../intersect/index';
+import { type TIterator } from '../iterator/index';
+import { type TLiteral, type TLiteralValue } from '../literal/index';
+import { type TObject, type TProperties, type ObjectOptions } from '../object/index';
+import { type TOptional } from '../optional/index';
+import { type TPromise } from '../promise/index';
+import { type TReadonly } from '../readonly/index';
+import { type TTuple } from '../tuple/index';
+import { type TUnion } from '../union/index';
+import { type TSetIncludes } from '../sets/index';
+import { type TMappedResult } from './mapped-result';
+import type { TMappedKey } from './mapped-key';
+type TFromMappedResult<K extends PropertyKey, P extends TProperties> = (K extends keyof P ? FromSchemaType<K, P[K]> : TMappedResult<P>);
+type TMappedKeyToKnownMappedResultProperties<K extends PropertyKey> = {
+    [_ in K]: TLiteral<Assert<K, TLiteralValue>>;
+};
+type TMappedKeyToUnknownMappedResultProperties<P extends PropertyKey[], Acc extends TProperties = {}> = (P extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? TMappedKeyToUnknownMappedResultProperties<R, Acc & {
+    [_ in L]: TLiteral<Assert<L, TLiteralValue>>;
+}> : Acc);
+type TMappedKeyToMappedResultProperties<K extends PropertyKey, P extends PropertyKey[]> = (TSetIncludes<P, K> extends true ? TMappedKeyToKnownMappedResultProperties<K> : TMappedKeyToUnknownMappedResultProperties<P>);
+type TFromMappedKey<K extends PropertyKey, P extends PropertyKey[], R extends TProperties = TMappedKeyToMappedResultProperties<K, P>> = (TFromMappedResult<K, R>);
+type TFromRest<K extends PropertyKey, T extends TSchema[], Acc extends TSchema[] = []> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? TFromRest<K, R, [...Acc, FromSchemaType<K, L>]> : Acc);
+type FromProperties<K extends PropertyKey, T extends TProperties, R extends TProperties = Evaluate<{
+    [K2 in keyof T]: FromSchemaType<K, T[K2]>;
+}>> = R;
+declare function FromProperties<K extends PropertyKey, T extends TProperties>(K: K, T: T): FromProperties<K, T>;
+type FromSchemaType<K extends PropertyKey, T extends TSchema> = (T extends TReadonly<infer S extends TSchema> ? TReadonly<FromSchemaType<K, S>> : T extends TOptional<infer S extends TSchema> ? TOptional<FromSchemaType<K, S>> : T extends TMappedResult<infer P extends TProperties> ? TFromMappedResult<K, P> : T extends TMappedKey<infer P extends PropertyKey[]> ? TFromMappedKey<K, P> : T extends TConstructor<infer S extends TSchema[], infer R extends TSchema> ? TConstructor<TFromRest<K, S>, FromSchemaType<K, R>> : T extends TFunction<infer S extends TSchema[], infer R extends TSchema> ? TFunction<TFromRest<K, S>, FromSchemaType<K, R>> : T extends TAsyncIterator<infer S extends TSchema> ? TAsyncIterator<FromSchemaType<K, S>> : T extends TIterator<infer S extends TSchema> ? TIterator<FromSchemaType<K, S>> : T extends TIntersect<infer S extends TSchema[]> ? TIntersect<TFromRest<K, S>> : T extends TEnum<infer S extends TEnumRecord> ? TEnum<S> : T extends TUnion<infer S extends TSchema[]> ? TUnion<TFromRest<K, S>> : T extends TTuple<infer S extends TSchema[]> ? TTuple<TFromRest<K, S>> : T extends TObject<infer S extends TProperties> ? TObject<FromProperties<K, S>> : T extends TArray<infer S extends TSchema> ? TArray<FromSchemaType<K, S>> : T extends TPromise<infer S extends TSchema> ? TPromise<FromSchemaType<K, S>> : T);
+declare function FromSchemaType<K extends PropertyKey, T extends TSchema>(K: K, T: T): FromSchemaType<K, T>;
+export type TMappedFunctionReturnType<K extends PropertyKey[], T extends TSchema, Acc extends TProperties = {}> = (K extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? TMappedFunctionReturnType<R, T, Acc & {
+    [_ in L]: FromSchemaType<L, T>;
+}> : Acc);
+export declare function MappedFunctionReturnType<K extends PropertyKey[], T extends TSchema>(K: [...K], T: T): TMappedFunctionReturnType<K, T>;
+export type TMappedFunction<K extends PropertyKey[], I = TMappedKey<K>> = (T: I) => TSchema;
+export type TMapped<K extends PropertyKey[], F extends TMappedFunction<K>, R extends TProperties = Evaluate<TMappedFunctionReturnType<K, ReturnType<F>>>> = Ensure<TObject<R>>;
+/** `[Json]` Creates a Mapped object type */
+export declare function Mapped<K extends TSchema, I extends PropertyKey[] = TIndexPropertyKeys<K>, F extends TMappedFunction<I> = TMappedFunction<I>, R extends TMapped<I, F> = TMapped<I, F>>(key: K, map: F, options?: ObjectOptions): R;
+/** `[Json]` Creates a Mapped object type */
+export declare function Mapped<K extends PropertyKey[], F extends TMappedFunction<K> = TMappedFunction<K>, R extends TMapped<K, F> = TMapped<K, F>>(key: [...K], map: F, options?: ObjectOptions): R;
+export {};