typebox 0.0.1 → 1.0.0

package/build/type/engine/record/from-key-enum.mjs

@@ -0,0 +1,8 @@
+// deno-fmt-ignore-file
+import { EnumValuesToUnion } from '../enum/enum-to-union.mjs';
+import { FromKey } from './from-key.mjs';
+export function FromEnumKey(values, value) {
+    const unionKey = EnumValuesToUnion(values);
+    const result = FromKey(unionKey, value);
+    return result;
+}

package/build/type/engine/record/from-key-integer.d.mts

@@ -0,0 +1,5 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TInteger } from '../../types/integer.mjs';
+import { type TRecord, IntegerKey } from '../../types/record.mjs';
+export type TFromIntegerKey<Key extends TInteger, Value extends TSchema, Result extends TSchema = TRecord<typeof IntegerKey, Value>> = Result;
+export declare function FromIntegerKey<Key extends TInteger, Value extends TSchema>(key: Key, value: Value): TFromIntegerKey<Key, Value>;

package/build/type/engine/record/from-key-integer.mjs

@@ -0,0 +1,7 @@
+// deno-fmt-ignore-file
+import { IntegerKey } from '../../types/record.mjs';
+import { CreateRecord } from './record-create.mjs';
+export function FromIntegerKey(key, value) {
+    const result = CreateRecord(IntegerKey, value);
+    return result;
+}

package/build/type/engine/record/from-key-intersect.d.mts

@@ -0,0 +1,5 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TEvaluateIntersect } from '../evaluate/evaluate.mjs';
+import { type TFromKey } from './from-key.mjs';
+export type TFromIntersectKey<Types extends TSchema[], Value extends TSchema, EvaluatedKey extends TSchema = TEvaluateIntersect<Types>, Result extends TSchema = TFromKey<EvaluatedKey, Value>> = Result;
+export declare function FromIntersectKey<Types extends TSchema[], Value extends TSchema>(types: [...Types], value: Value): TFromIntersectKey<Types, Value>;

package/build/type/engine/record/from-key-intersect.mjs

@@ -0,0 +1,8 @@
+// deno-fmt-ignore-file
+import { EvaluateIntersect } from '../evaluate/evaluate.mjs';
+import { FromKey } from './from-key.mjs';
+export function FromIntersectKey(types, value) {
+    const evaluatedKey = EvaluateIntersect(types);
+    const result = FromKey(evaluatedKey, value);
+    return result;
+}

package/build/type/engine/record/from-key-literal.d.mts

@@ -0,0 +1,11 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TLiteralValue } from '../../types/literal.mjs';
+import { type TObject } from '../../types/object.mjs';
+export type TFromLiteralKey<Key extends TLiteralValue, Value extends TSchema, Result extends TSchema = (Key extends string | number ? TObject<{
+    [_ in Key]: Value;
+}> : Key extends false ? TObject<{
+    false: Value;
+}> : Key extends true ? TObject<{
+    true: Value;
+}> : TObject<{}>)> = Result;
+export declare function FromLiteralKey<Key extends TLiteralValue, Value extends TSchema>(key: Key, value: Value): TFromLiteralKey<Key, Value>;

package/build/type/engine/record/from-key-literal.mjs

@@ -0,0 +1,10 @@
+// deno-fmt-ignore-file
+// deno-lint-ignore-file
+import { Guard } from '../../../guard/index.mjs';
+import { Object } from '../../types/object.mjs';
+export function FromLiteralKey(key, value) {
+    return (Guard.IsString(key) || Guard.IsNumber(key) ? Object({ [key]: value }) :
+        Guard.IsEqual(key, false) ? Object({ false: value }) :
+            Guard.IsEqual(key, true) ? Object({ true: value }) :
+                Object({}));
+}

package/build/type/engine/record/from-key-number.d.mts

@@ -0,0 +1,5 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TNumber } from '../../types/number.mjs';
+import { type TRecord, NumberKey } from '../../types/record.mjs';
+export type TFromNumberKey<Key extends TNumber, Value extends TSchema, Result extends TSchema = TRecord<typeof NumberKey, Value>> = Result;
+export declare function FromNumberKey<Key extends TNumber, Value extends TSchema>(key: Key, value: Value): TFromNumberKey<Key, Value>;

package/build/type/engine/record/from-key-number.mjs

@@ -0,0 +1,7 @@
+// deno-fmt-ignore-file
+import { NumberKey } from '../../types/record.mjs';
+import { CreateRecord } from './record-create.mjs';
+export function FromNumberKey(key, value) {
+    const result = CreateRecord(NumberKey, value);
+    return result;
+}

package/build/type/engine/record/from-key-string.d.mts

@@ -0,0 +1,5 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TRecord, StringKey } from '../../types/record.mjs';
+import { type TString } from '../../types/string.mjs';
+export type TFromStringKey<_Key extends TSchema, Value extends TSchema, Result extends TSchema = TRecord<typeof StringKey, Value>> = Result;
+export declare function FromStringKey<Key extends TString, Value extends TSchema>(key: Key, value: Value): TFromStringKey<Key, Value>;

package/build/type/engine/record/from-key-string.mjs

@@ -0,0 +1,12 @@
+// deno-fmt-ignore-file
+import { Guard } from '../../../guard/index.mjs';
+import { StringKey } from '../../types/record.mjs';
+import { CreateRecord } from './record-create.mjs';
+export function FromStringKey(key, value) {
+    // special case: override for string with raw pattern. We do not observe inference for the
+    // raw string patterns, but as a pattern (assuming non-never) is in the set of string, we
+    // allow overriding. Callers will need to narrow to the pattern manually. TB legacy.
+    return (Guard.HasPropertyKey(key, 'pattern') && (Guard.IsString(key.pattern) || key.pattern instanceof RegExp)
+        ? CreateRecord(key.pattern.toString(), value)
+        : CreateRecord(StringKey, value));
+}

package/build/type/engine/record/from-key-template-literal.d.mts

@@ -0,0 +1,8 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TRecord } from '../../types/record.mjs';
+import { type TFromKey } from './from-key.mjs';
+import { type TParsePatternIntoTypes } from '../patterns/pattern.mjs';
+import { type TTemplateLiteralFinite } from '../template-literal/finite.mjs';
+import { type TTemplateLiteralDecode } from '../template-literal/decode.mjs';
+export type TFromTemplateKey<Pattern extends string, Value extends TSchema, Types extends TSchema[] = TParsePatternIntoTypes<Pattern>, Finite extends boolean = TTemplateLiteralFinite<Types>, Result extends TSchema = Finite extends true ? TFromKey<TTemplateLiteralDecode<Pattern>, Value> : TRecord<Pattern, Value>> = Result;
+export declare function FromTemplateKey<Pattern extends string, Value extends TSchema>(pattern: Pattern, value: Value): TFromTemplateKey<Pattern, Value>;

package/build/type/engine/record/from-key-template-literal.mjs

@@ -0,0 +1,12 @@
+// deno-fmt-ignore-file
+import { FromKey } from './from-key.mjs';
+import { ParsePatternIntoTypes } from '../patterns/pattern.mjs';
+import { TemplateLiteralFinite } from '../template-literal/finite.mjs';
+import { TemplateLiteralDecode } from '../template-literal/decode.mjs';
+import { CreateRecord } from './record-create.mjs';
+export function FromTemplateKey(pattern, value) {
+    const types = ParsePatternIntoTypes(pattern);
+    const finite = TemplateLiteralFinite(types);
+    const result = finite ? FromKey(TemplateLiteralDecode(pattern), value) : CreateRecord(pattern, value);
+    return result;
+}

package/build/type/engine/record/from-key-union.d.mts

@@ -0,0 +1,20 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TLiteral } from '../../types/literal.mjs';
+import { type TNumber } from '../../types/number.mjs';
+import { type TInteger } from '../../types/integer.mjs';
+import { type TObject } from '../../types/object.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TString } from '../../types/string.mjs';
+import { type TRecord, StringKey } from '../../types/record.mjs';
+import { type TFlatten } from '../evaluate/flatten.mjs';
+type TStringOrNumberCheck<Types extends TSchema[]> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? Left extends TString | TNumber | TInteger ? true : TStringOrNumberCheck<Right> : false);
+type TTryBuildRecord<Types extends TSchema[], Value extends TSchema, Result extends TSchema | undefined = (TStringOrNumberCheck<Types> extends true ? TRecord<typeof StringKey, Value> : undefined)> = Result;
+type TCreateProperties<Variants extends TSchema[], Value extends TSchema, Result extends TProperties = {}> = (Variants extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? Left extends TLiteral<string | number> ? TCreateProperties<Right, Value, Result & {
+    [_ in Left['const']]: Value;
+}> : TCreateProperties<Right, Value, Result> : {
+    [Key in keyof Result]: Result[Key];
+});
+type TCreateObject<Variants extends TSchema[], Value extends TSchema, Properties extends TProperties = TCreateProperties<Variants, Value>, Result extends TSchema = TObject<Properties>> = Result;
+export type TFromUnionKey<Types extends TSchema[], Value extends TSchema, Flattened extends TSchema[] = TFlatten<Types>, Record extends TSchema | undefined = TTryBuildRecord<Flattened, Value>, Result extends TSchema = (Record extends TSchema ? Record : TCreateObject<Flattened, Value>)> = Result;
+export declare function FromUnionKey<Types extends TSchema[], Value extends TSchema>(types: [...Types], value: Value): TFromUnionKey<Types, Value>;
+export {};

package/build/type/engine/record/from-key-union.mjs

@@ -0,0 +1,39 @@
+// deno-fmt-ignore-file
+// deno-lint-ignore-file
+import { Guard } from '../../../guard/index.mjs';
+import { IsSchema } from '../../types/schema.mjs';
+import { IsLiteral } from '../../types/literal.mjs';
+import { IsNumber } from '../../types/number.mjs';
+import { IsInteger } from '../../types/integer.mjs';
+import { Object } from '../../types/object.mjs';
+import { IsString } from '../../types/string.mjs';
+import { StringKey } from '../../types/record.mjs';
+import { Flatten } from '../evaluate/flatten.mjs';
+import { CreateRecord } from './record-create.mjs';
+function StringOrNumberCheck(types) {
+    return types.some(type => IsString(type) || IsNumber(type) || IsInteger(type));
+}
+function TryBuildRecord(types, value) {
+    return (Guard.IsEqual(StringOrNumberCheck(types), true)
+        ? CreateRecord(StringKey, value)
+        : undefined);
+}
+function CreateProperties(types, value) {
+    return types.reduce((result, left) => {
+        return IsLiteral(left) && (Guard.IsString(left.const) || Guard.IsNumber(left.const))
+            ? { ...result, [left.const]: value }
+            : result;
+    }, {});
+}
+function CreateObject(types, value) {
+    const properties = CreateProperties(types, value);
+    const result = Object(properties);
+    return result;
+}
+export function FromUnionKey(types, value) {
+    const flattened = Flatten(types);
+    const record = TryBuildRecord(flattened, value);
+    return (IsSchema(record) // maybe IsRecord?
+        ? record
+        : CreateObject(flattened, value));
+}

package/build/type/engine/record/from-key.d.mts

@@ -0,0 +1,24 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TAny } from '../../types/any.mjs';
+import { type TBoolean } from '../../types/boolean.mjs';
+import { type TEnum, type TEnumValue } from '../../types/enum.mjs';
+import { type TIntersect } from '../../types/intersect.mjs';
+import { type TInteger } from '../../types/integer.mjs';
+import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
+import { type TNumber } from '../../types/number.mjs';
+import { type TObject } from '../../types/object.mjs';
+import { type TString } from '../../types/string.mjs';
+import { type TTemplateLiteral } from '../../types/template-literal.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TFromAnyKey } from './from-key-any.mjs';
+import { type TFromBooleanKey } from './from-key-boolean.mjs';
+import { type TFromEnumKey } from './from-key-enum.mjs';
+import { type TFromIntegerKey } from './from-key-integer.mjs';
+import { type TFromIntersectKey } from './from-key-intersect.mjs';
+import { type TFromLiteralKey } from './from-key-literal.mjs';
+import { type TFromNumberKey } from './from-key-number.mjs';
+import { type TFromStringKey } from './from-key-string.mjs';
+import { type TFromTemplateKey } from './from-key-template-literal.mjs';
+import { type TFromUnionKey } from './from-key-union.mjs';
+export type TFromKey<Key extends TSchema, Value extends TSchema, Result extends TSchema = (Key extends TAny ? TFromAnyKey<Value> : Key extends TBoolean ? TFromBooleanKey<Value> : Key extends TEnum<infer Values extends TEnumValue[]> ? TFromEnumKey<Values, Value> : Key extends TInteger ? TFromIntegerKey<Key, Value> : Key extends TIntersect<infer Types extends TSchema[]> ? TFromIntersectKey<Types, Value> : Key extends TLiteral<infer LiteralValue extends TLiteralValue> ? TFromLiteralKey<LiteralValue, Value> : Key extends TNumber ? TFromNumberKey<Key, Value> : Key extends TString ? TFromStringKey<Key, Value> : Key extends TTemplateLiteral<infer Pattern extends string> ? TFromTemplateKey<Pattern, Value> : Key extends TUnion<infer Types extends TSchema[]> ? TFromUnionKey<Types, Value> : TObject<{}>)> = Result;
+export declare function FromKey<Key extends TSchema, Value extends TSchema>(key: Key, value: Value): TFromKey<Key, Value>;

package/build/type/engine/record/from-key.mjs

@@ -0,0 +1,40 @@
+// deno-fmt-ignore-file
+// deno-lint-ignore-file
+import { IsAny } from '../../types/any.mjs';
+import { IsBoolean } from '../../types/boolean.mjs';
+import { IsEnum } from '../../types/enum.mjs';
+import { IsIntersect } from '../../types/intersect.mjs';
+import { IsInteger } from '../../types/integer.mjs';
+import { IsLiteral } from '../../types/literal.mjs';
+import { IsNumber } from '../../types/number.mjs';
+import { Object } from '../../types/object.mjs';
+import { IsString } from '../../types/string.mjs';
+import { IsTemplateLiteral } from '../../types/template-literal.mjs';
+import { IsUnion } from '../../types/union.mjs';
+// ------------------------------------------------------------------
+// Keys and Deferred
+// ------------------------------------------------------------------
+import { FromAnyKey } from './from-key-any.mjs';
+import { FromBooleanKey } from './from-key-boolean.mjs';
+import { FromEnumKey } from './from-key-enum.mjs';
+import { FromIntegerKey } from './from-key-integer.mjs';
+import { FromIntersectKey } from './from-key-intersect.mjs';
+import { FromLiteralKey } from './from-key-literal.mjs';
+import { FromNumberKey } from './from-key-number.mjs';
+import { FromStringKey } from './from-key-string.mjs';
+import { FromTemplateKey } from './from-key-template-literal.mjs';
+import { FromUnionKey } from './from-key-union.mjs';
+export function FromKey(key, value) {
+    const result = (IsAny(key) ? FromAnyKey(value) :
+        IsBoolean(key) ? FromBooleanKey(value) :
+            IsEnum(key) ? FromEnumKey(key.enum, value) :
+                IsInteger(key) ? FromIntegerKey(key, value) :
+                    IsIntersect(key) ? FromIntersectKey(key.allOf, value) :
+                        IsLiteral(key) ? FromLiteralKey(key.const, value) :
+                            IsNumber(key) ? FromNumberKey(key, value) :
+                                IsUnion(key) ? FromUnionKey(key.anyOf, value) :
+                                    IsString(key) ? FromStringKey(key, value) :
+                                        IsTemplateLiteral(key) ? FromTemplateKey(key.pattern, value) :
+                                            Object({}));
+    return result;
+}

package/build/type/engine/record/index.d.mts

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

package/build/type/engine/record/index.mjs

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

package/build/type/engine/record/instantiate.d.mts

@@ -0,0 +1,9 @@
+import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TRecordDeferred } from '../../types/record.mjs';
+import { type TFromKey } from './from-key.mjs';
+import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
+type TRecordImmediate<Context extends TProperties, State extends TState, Key extends TSchema, Value extends TSchema, InstantatedKey extends TSchema = TInstantiateType<Context, State, Key>, InstantiatedValue extends TSchema = TInstantiateType<Context, State, Value>, Result extends TSchema = TFromKey<InstantatedKey, InstantiatedValue>> = Result;
+export type TRecordInstantiate<Context extends TProperties, State extends TState, Key extends TSchema, Value extends TSchema> = TCanInstantiate<Context, [Key]> extends true ? TRecordImmediate<Context, State, Key, Value> : TRecordDeferred<Key, Value>;
+export declare function RecordInstantiate<Context extends TProperties, State extends TState, Key extends TSchema, Value extends TSchema>(context: Context, state: State, key: Key, value: Value, options: TSchemaOptions): TRecordInstantiate<Context, State, Key, Value>;
+export {};

package/build/type/engine/record/instantiate.mjs

@@ -0,0 +1,16 @@
+// deno-fmt-ignore-file
+// deno-lint-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { RecordDeferred } from '../../types/record.mjs';
+import { FromKey } from './from-key.mjs';
+import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
+function RecordImmediate(context, state, key, value, options) {
+    const instanstiatedKey = InstantiateType(context, state, key);
+    const instantiatedValue = InstantiateType(context, state, value);
+    return Memory.Update(FromKey(instanstiatedKey, instantiatedValue), {}, options);
+}
+export function RecordInstantiate(context, state, key, value, options) {
+    return (CanInstantiate(context, [key])
+        ? RecordImmediate(context, state, key, value, options)
+        : RecordDeferred(key, value, options));
+}

package/build/type/engine/record/record-create.d.mts

@@ -0,0 +1,3 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TRecord } from '../../types/record.mjs';
+export declare function CreateRecord<Key extends string, Value extends TSchema>(key: Key, value: Value): TRecord<Key, Value>;

package/build/type/engine/record/record-create.mjs

@@ -0,0 +1,7 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+export function CreateRecord(key, value) {
+    const type = 'object';
+    const patternProperties = { [key]: value };
+    return Memory.Create({ ['~kind']: 'Record' }, { type, patternProperties });
+}

package/build/type/engine/ref/index.d.mts

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

package/build/type/engine/ref/index.mjs

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

package/build/type/engine/ref/instantiate.d.mts

@@ -0,0 +1,6 @@
+import { TProperties } from '../../types/properties.mjs';
+import { type TRef } from '../../types/ref.mjs';
+import { type TState, type TInstantiateType } from '../instantiate.mjs';
+import { type TCyclicCheck } from '../cyclic/check.mjs';
+export type TRefInstantiate<Context extends TProperties, State extends TState, Ref extends string> = (Ref extends keyof Context ? TCyclicCheck<[Ref], Context, Context[Ref]> extends true ? TRef<Ref> : TInstantiateType<Context, State, Context[Ref]> : TRef<Ref>);
+export declare function RefInstantiate<Context extends TProperties, State extends TState, Ref extends string>(context: Context, state: State, ref: Ref): TRefInstantiate<Context, State, Ref>;

package/build/type/engine/ref/instantiate.mjs

@@ -0,0 +1,11 @@
+// deno-fmt-ignore-file
+import { Ref } from '../../types/ref.mjs';
+import { InstantiateType } from '../instantiate.mjs';
+import { CyclicCheck } from '../cyclic/check.mjs';
+export function RefInstantiate(context, state, ref) {
+    return (ref in context
+        ? CyclicCheck([ref], context, context[ref])
+            ? Ref(ref)
+            : InstantiateType(context, state, context[ref])
+        : Ref(ref));
+}

package/build/type/engine/required/from-cyclic.d.mts

@@ -0,0 +1,10 @@
+import { Memory } from '../../../system/memory/index.mjs';
+import { type TSchema } from '../../types/schema.mjs';
+import { type TCyclic } from '../../types/cyclic.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TFromType } from './from-type.mjs';
+import { type TCyclicTarget } from '../cyclic/target.mjs';
+export type TFromCyclic<Defs extends TProperties, Ref extends string, Target extends TSchema = TCyclicTarget<Defs, Ref>, Partial extends TSchema = TFromType<Target>, Result extends TSchema = TCyclic<Memory.TAssign<Defs, {
+    [_ in Ref]: Partial;
+}>, Ref>> = Result;
+export declare function FromCyclic<Defs extends TProperties, Ref extends string>(defs: Defs, ref: Ref): TFromCyclic<Defs, Ref>;

package/build/type/engine/required/from-cyclic.mjs

@@ -0,0 +1,11 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { Cyclic } from '../../types/cyclic.mjs';
+import { FromType } from './from-type.mjs';
+import { CyclicTarget } from '../cyclic/target.mjs';
+export function FromCyclic(defs, ref) {
+    const target = CyclicTarget(defs, ref);
+    const partial = FromType(target);
+    const result = Cyclic(Memory.Assign(defs, { [ref]: partial }), ref);
+    return result;
+}

package/build/type/engine/required/from-intersect.d.mts

@@ -0,0 +1,5 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TFromType } from './from-type.mjs';
+import { type TEvaluateIntersect } from '../evaluate/evaluate.mjs';
+export type TFromIntersect<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromIntersect<Right, [...Result, TFromType<Left>]> : TEvaluateIntersect<Result>);
+export declare function FromIntersect<Types extends TSchema[]>(types: [...Types]): TFromIntersect<Types>;

package/build/type/engine/required/from-intersect.mjs

@@ -0,0 +1,7 @@
+// deno-fmt-ignore-file
+import { FromType } from './from-type.mjs';
+import { EvaluateIntersect } from '../evaluate/evaluate.mjs';
+export function FromIntersect(types) {
+    const result = types.map(type => FromType(type));
+    return EvaluateIntersect(result);
+}

package/build/type/engine/required/from-object.d.mts

@@ -0,0 +1,8 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TObject } from '../../types/object.mjs';
+import { type TOptionalRemove } from '../../types/_optional.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+export type TFromObject<Properties extends TProperties, Mapped extends TProperties = {
+    [Key in keyof Properties]: TOptionalRemove<Properties[Key]>;
+}, Result extends TSchema = TObject<Mapped>> = Result;
+export declare function FromObject<Properties extends TProperties>(properties: Properties): TFromObject<Properties>;

package/build/type/engine/required/from-object.mjs

@@ -0,0 +1,11 @@
+// deno-fmt-ignore-file
+import { Guard } from '../../../guard/index.mjs';
+import { Object } from '../../types/object.mjs';
+import { OptionalRemove } from '../../types/_optional.mjs';
+export function FromObject(properties) {
+    const mapped = Guard.Keys(properties).reduce((result, left) => {
+        return { ...result, [left]: OptionalRemove(properties[left]) };
+    }, {});
+    const result = Object(mapped);
+    return result;
+}

package/build/type/engine/required/from-type.d.mts

@@ -0,0 +1,12 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TCyclic } from '../../types/cyclic.mjs';
+import { type TIntersect } from '../../types/intersect.mjs';
+import { type TObject } from '../../types/object.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TFromCyclic } from './from-cyclic.mjs';
+import { type TFromIntersect } from './from-intersect.mjs';
+import { type TFromUnion } from './from-union.mjs';
+import { type TFromObject } from './from-object.mjs';
+export type TFromType<Type extends TSchema> = (Type extends TCyclic<infer Defs extends TProperties, infer Ref extends string> ? TFromCyclic<Defs, Ref> : Type extends TIntersect<infer Types extends TSchema[]> ? TFromIntersect<Types> : Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Types> : Type extends TObject<infer Properties extends TProperties> ? TFromObject<Properties> : TObject<{}>);
+export declare function FromType<Type extends TSchema>(type: Type): TFromType<Type>;

package/build/type/engine/required/from-type.mjs

@@ -0,0 +1,16 @@
+// deno-fmt-ignore-file
+import { IsCyclic } from '../../types/cyclic.mjs';
+import { IsIntersect } from '../../types/intersect.mjs';
+import { Object, IsObject } from '../../types/object.mjs';
+import { IsUnion } from '../../types/union.mjs';
+import { FromCyclic } from './from-cyclic.mjs';
+import { FromIntersect } from './from-intersect.mjs';
+import { FromUnion } from './from-union.mjs';
+import { FromObject } from './from-object.mjs';
+export function FromType(type) {
+    return (IsCyclic(type) ? FromCyclic(type.$defs, type.$ref) :
+        IsIntersect(type) ? FromIntersect(type.allOf) :
+            IsUnion(type) ? FromUnion(type.anyOf) :
+                IsObject(type) ? FromObject(type.properties) :
+                    Object({}));
+}

package/build/type/engine/required/from-union.d.mts

@@ -0,0 +1,5 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TFromType } from './from-type.mjs';
+export type TFromUnion<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromUnion<Right, [...Result, TFromType<Left>]> : TUnion<Result>);
+export declare function FromUnion<Types extends TSchema[]>(types: [...Types]): TFromUnion<Types>;

package/build/type/engine/required/from-union.mjs

@@ -0,0 +1,7 @@
+// deno-fmt-ignore-file
+import { Union } from '../../types/union.mjs';
+import { FromType } from './from-type.mjs';
+export function FromUnion(types) {
+    const result = types.map(type => FromType(type));
+    return Union(result);
+}

package/build/type/engine/required/index.d.mts

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

package/build/type/engine/required/index.mjs

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

package/build/type/engine/required/instantiate.d.mts

@@ -0,0 +1,9 @@
+import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TFromType } from './from-type.mjs';
+import { type TRequiredDeferred } from '../../action/required.mjs';
+import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
+type TRequiredImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TFromType<InstantiatedType>;
+export type TRequiredInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TRequiredImmediate<Context, State, Type> : TRequiredDeferred<Type>;
+export declare function RequiredInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TRequiredInstantiate<Context, State, Type>;
+export {};

package/build/type/engine/required/instantiate.mjs

@@ -0,0 +1,14 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { FromType } from './from-type.mjs';
+import { RequiredDeferred } from '../../action/required.mjs';
+import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
+function RequiredImmediate(context, state, type, options) {
+    const instaniatedType = InstantiateType(context, state, type);
+    return Memory.Update(FromType(instaniatedType), {}, options);
+}
+export function RequiredInstantiate(context, state, type, options) {
+    return (CanInstantiate(context, [type])
+        ? RequiredImmediate(context, state, type, options)
+        : RequiredDeferred(type, options));
+}

package/build/type/engine/rest/index.d.mts

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

package/build/type/engine/rest/index.mjs

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

package/build/type/engine/rest/spread.d.mts

@@ -0,0 +1,12 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TInfer } from '../../types/infer.mjs';
+import { type TNever } from '../../types/never.mjs';
+import { type TRest } from '../../types/rest.mjs';
+import { type TRef } from '../../types/ref.mjs';
+import { type TTuple } from '../../types/tuple.mjs';
+type TSpreadElement<Type extends TSchema, Result extends TSchema[] = (Type extends TRest<infer Rest extends TSchema> ? (Rest extends TTuple<infer Elements extends TSchema[]> ? TRestSpread<Elements> : Rest extends TInfer<string, TSchema> ? [Type] : Rest extends TRef<string> ? [Type] : [
+    TNever
+]) : [Type])> = Result;
+export type TRestSpread<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TRestSpread<Right, [...Result, ...TSpreadElement<Left>]> : Result);
+export declare function RestSpread<Types extends TSchema[]>(types: [...Types]): TRestSpread<Types>;
+export {};

package/build/type/engine/rest/spread.mjs

@@ -0,0 +1,19 @@
+// deno-fmt-ignore-file
+import { IsInfer } from '../../types/infer.mjs';
+import { Never } from '../../types/never.mjs';
+import { IsRest } from '../../types/rest.mjs';
+import { IsRef } from '../../types/ref.mjs';
+import { IsTuple } from '../../types/tuple.mjs';
+function SpreadElement(type) {
+    const result = (IsRest(type) ? (IsTuple(type.items) ? RestSpread(type.items.items) :
+        IsInfer(type.items) ? [type] :
+            IsRef(type.items) ? [type] :
+                [Never()]) : [type]);
+    return result;
+}
+export function RestSpread(types) {
+    const result = types.reduce((result, left) => {
+        return [...result, ...SpreadElement(left)];
+    }, []);
+    return result;
+}

package/build/type/engine/return-type/index.d.mts

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

package/build/type/engine/return-type/index.mjs

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

package/build/type/engine/return-type/instantiate.d.mts

@@ -0,0 +1,11 @@
+import { type TSchema, type TSchemaOptions } from '../../types/schema.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TFunction } from '../../types/function.mjs';
+import { type TNever } from '../../types/never.mjs';
+import { type TReturnTypeDeferred } from '../../action/return-type.mjs';
+import { type TState, type TInstantiateType, type TCanInstantiate } from '../instantiate.mjs';
+type TReturnTypeAction<Type extends TSchema> = Type extends TFunction<TSchema[], infer ReturnType extends TSchema> ? ReturnType : TNever;
+type TReturnTypeImmediate<Context extends TProperties, State extends TState, Type extends TSchema, InstantiatedType extends TSchema = TInstantiateType<Context, State, Type>> = TReturnTypeAction<InstantiatedType>;
+export type TReturnTypeInstantiate<Context extends TProperties, State extends TState, Type extends TSchema> = TCanInstantiate<Context, [Type]> extends true ? TReturnTypeImmediate<Context, State, Type> : TReturnTypeDeferred<Type>;
+export declare function ReturnTypeInstantiate<Context extends TProperties, State extends TState, Type extends TSchema>(context: Context, state: State, type: Type, options: TSchemaOptions): TReturnTypeInstantiate<Context, State, Type>;
+export {};

package/build/type/engine/return-type/instantiate.mjs

@@ -0,0 +1,18 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { IsFunction } from '../../types/function.mjs';
+import { Never } from '../../types/never.mjs';
+import { ReturnTypeDeferred } from '../../action/return-type.mjs';
+import { InstantiateType, CanInstantiate } from '../instantiate.mjs';
+function ReturnTypeAction(type) {
+    return (IsFunction(type) ? type.returnType : Never());
+}
+function ReturnTypeImmediate(context, state, type, options) {
+    const instantiatedType = InstantiateType(context, state, type);
+    return Memory.Update(ReturnTypeAction(instantiatedType), {}, options);
+}
+export function ReturnTypeInstantiate(context, state, type, options) {
+    return (CanInstantiate(context, [type])
+        ? ReturnTypeImmediate(context, state, type, options)
+        : ReturnTypeDeferred(type, options));
+}

package/build/type/engine/template-literal/create.d.mts

@@ -0,0 +1 @@
+export declare function TemplateLiteralCreate<Pattern extends string>(pattern: Pattern): never;

package/build/type/engine/template-literal/create.mjs

@@ -0,0 +1,5 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+export function TemplateLiteralCreate(pattern) {
+    return Memory.Create({ ['~kind']: 'TemplateLiteral' }, { type: 'string', pattern }, {});
+}

package/build/type/engine/template-literal/decode.d.mts

@@ -0,0 +1,20 @@
+import { TUnreachable } from '../../../system/unreachable/index.mjs';
+import { type TSchema } from '../../types/schema.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TString } from '../../types/string.mjs';
+import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
+import { type TParsePatternIntoTypes } from '../patterns/pattern.mjs';
+import { type TTemplateLiteralFinite } from './finite.mjs';
+type TFromLiteralPush<Variants extends string[], Value extends TLiteralValue, Result extends string[] = []> = Variants extends [infer Left extends string, ...infer Right extends string[]] ? TFromLiteralPush<Right, Value, [...Result, `${Left}${Value}`]> : Result;
+type TFromLiteral<Variants extends string[], Value extends TLiteralValue> = Variants extends [] ? [`${Value}`] : TFromLiteralPush<Variants, Value>;
+type TFromUnion<Variants extends string[], Types extends TSchema[], Result extends string[] = []> = Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromUnion<Variants, Right, [...Result, ...TFromType<Variants, Left>]> : Result;
+type TFromType<Variants extends string[], Type extends TSchema, Result extends string[] = (Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Variants, Types> : Type extends TLiteral<infer Value extends TLiteralValue> ? TFromLiteral<Variants, Value> : TUnreachable)> = Result;
+type TDecodeFromSpan<Variants extends string[], Types extends TSchema[]> = Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TDecodeFromSpan<TFromType<Variants, Left>, Right> : Variants;
+type TVariantsToLiterals<Variants extends string[], Result extends TSchema[] = []> = Variants extends [infer Left extends string, ...infer Right extends string[]] ? TVariantsToLiterals<Right, [...Result, TLiteral<Left>]> : Result;
+type TDecodeTypesAsUnion<Types extends TSchema[], Variants extends string[] = TDecodeFromSpan<[], Types>, Literals extends TSchema[] = TVariantsToLiterals<Variants>, Result extends TSchema = TUnion<Literals>> = Result;
+type TDecodeTypes<Types extends TSchema[], Result extends TSchema = (Types extends [] ? TUnreachable : Types extends [infer Type extends TLiteral] ? Type : TDecodeTypesAsUnion<Types>)> = Result;
+/** Decodes a TemplateLiteral into a Type. If the TemplateLiteral yields a non-finite set, the return value is TString */
+export type TTemplateLiteralDecode<Pattern extends string, Types extends TSchema[] = TParsePatternIntoTypes<Pattern>, Finite extends boolean = TTemplateLiteralFinite<Types>, Result extends TSchema = (Finite extends true ? TDecodeTypes<Types> : TString)> = Result;
+/** Decodes a TemplateLiteral into a Type. If the TemplateLiteral yields a non-finite set, the return value is TString */
+export declare function TemplateLiteralDecode<Pattern extends string>(pattern: Pattern): TTemplateLiteralDecode<Pattern>;
+export {};