typebox 0.0.1 → 1.0.0-rc

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

@@ -0,0 +1,73 @@
+// deno-fmt-ignore-file
+import { Unreachable } from '../../../system/unreachable/index.mjs';
+import { Guard } from '../../../guard/index.mjs';
+import { IsSchema } from '../../types/schema.mjs';
+import { Union, IsUnion } from '../../types/union.mjs';
+import { String } from '../../types/string.mjs';
+import { Literal, IsLiteral } from '../../types/literal.mjs';
+import { ParsePatternIntoTypes } from '../patterns/pattern.mjs';
+import { TemplateLiteralFinite } from './finite.mjs';
+function FromLiteralPush(variants, value, result = []) {
+    const [left, ...right] = variants;
+    return (Guard.IsString(left) ? FromLiteralPush(right, value, [...result, `${left}${value}`]) : result);
+}
+function FromLiteral(variants, value) {
+    return (Guard.IsEqual(variants.length, 0) ? [`${value}`] : FromLiteralPush(variants, value));
+}
+function FromUnion(variants, types, result = []) {
+    const [left, ...right] = types;
+    return (IsSchema(left)
+        ? FromUnion(variants, right, [...result, ...FromType(variants, left)])
+        : result);
+}
+// ------------------------------------------------------------------
+// deno-coverage-ignore-start - symmetric unreachable | internal
+// 
+// Parsed TemplateLiteral patterns only yield Literal or Union but
+// we keep the fall-through to assert that no other types can reach 
+// here without error.
+//
+// ------------------------------------------------------------------
+function FromType(variants, type) {
+    const result = (IsUnion(type) ? FromUnion(variants, type.anyOf) :
+        IsLiteral(type) ? FromLiteral(variants, type.const) :
+            Unreachable() // []
+    );
+    return result;
+}
+function DecodeFromSpan(variants, types) {
+    const [left, ...right] = types;
+    return (IsSchema(left) ? DecodeFromSpan(FromType(variants, left), right) : variants);
+}
+function VariantsToLiterals(variants) {
+    return variants.map(variant => Literal(variant));
+}
+function DecodeTypesAsUnion(types) {
+    const variants = DecodeFromSpan([], types);
+    const literals = VariantsToLiterals(variants);
+    const result = Union(literals);
+    return result;
+}
+// ------------------------------------------------------------------
+// deno-coverage-ignore-start - internal
+// 
+// Cannot invoke the 0-length condition as the TemplateLiteral 
+// parsers always return at least 1 TLiteral or TUnion. We would 
+// return a empty string TLiteral for this case, but will use 
+// Unreachable to catch parse inputs that trigger 0-length.
+//
+// ------------------------------------------------------------------
+function DecodeTypes(types) {
+    return (Guard.IsEqual(types.length, 0) ? Unreachable() : // Literal('') :
+        Guard.IsEqual(types.length, 1) && IsLiteral(types[0]) ? types[0] :
+            DecodeTypesAsUnion(types));
+}
+/** Decodes a TemplateLiteral into a Type. If the TemplateLiteral yields a non-finite set, the return value is TString */
+export function TemplateLiteralDecode(pattern) {
+    const types = ParsePatternIntoTypes(pattern);
+    const finite = TemplateLiteralFinite(types);
+    const result = finite
+        ? DecodeTypes(types)
+        : String();
+    return result;
+}

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

@@ -0,0 +1,31 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TEnum, type TEnumValue } from '../../types/enum.mjs';
+import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TTemplateLiteral } from '../../types/template-literal.mjs';
+import { type TBigInt, BigIntPattern } from '../../types/bigint.mjs';
+import { type TString, StringPattern } from '../../types/string.mjs';
+import { type TNumber, NumberPattern } from '../../types/number.mjs';
+import { type TInteger, IntegerPattern } from '../../types/integer.mjs';
+import { type TBoolean } from '../../types/boolean.mjs';
+import { NeverPattern } from '../../types/never.mjs';
+import { type TEnumValuesToVariants } from '../enum/enum-to-union.mjs';
+type TJoinString<Input extends string[], Result extends string = ''> = (Input extends [infer Left extends string, ...infer Right extends string[]] ? Result extends '' ? TJoinString<Right, Left> : TJoinString<Right, `${Result}|${Left}`> : Result);
+type TUnwrapTemplateLiteralPattern<Pattern extends string> = (Pattern extends `^${infer Pattern extends string}$` ? Pattern : never);
+type TEncodeLiteral<Value extends TLiteralValue, Right extends TSchema[], Pattern extends string> = (TEncodeTypes<Right, `${Pattern}${Value}`>);
+type TEncodeBigInt<Right extends TSchema[], Pattern extends string> = (TEncodeTypes<Right, `${Pattern}${typeof BigIntPattern}`>);
+type TEncodeInteger<Right extends TSchema[], Pattern extends string> = (TEncodeTypes<Right, `${Pattern}${typeof IntegerPattern}`>);
+type TEncodeNumber<Right extends TSchema[], Pattern extends string> = (TEncodeTypes<Right, `${Pattern}${typeof NumberPattern}`>);
+type TEncodeBoolean<Right extends TSchema[], Pattern extends string> = (TEncodeType<TUnion<[TLiteral<'false'>, TLiteral<'true'>]>, Right, Pattern>);
+type TEncodeString<Right extends TSchema[], Pattern extends string> = (TEncodeTypes<Right, `${Pattern}${typeof StringPattern}`>);
+type TEncodeTemplateLiteral<TemplatePattern extends string, Right extends TSchema[], Pattern extends string> = (TEncodeTypes<Right, `${Pattern}${TUnwrapTemplateLiteralPattern<TemplatePattern>}`>);
+type TEncodeEnum<Types extends TEnumValue[], Right extends TSchema[], Pattern extends string, Variants extends TSchema[] = TEnumValuesToVariants<Types>> = TEncodeUnion<Variants, Right, Pattern>;
+type TEncodeUnion<Types extends TSchema[], Right extends TSchema[], Pattern extends string, Result extends string[] = []> = Types extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TEncodeUnion<Tail, Right, Pattern, [...Result, TEncodeType<Head, [], ''>]> : TEncodeTypes<Right, `${Pattern}(${TJoinString<Result>})`>;
+type TEncodeType<Type extends TSchema, Right extends TSchema[], Pattern extends string> = (Type extends TEnum<infer Values extends TEnumValue[]> ? TEncodeEnum<Values, Right, Pattern> : Type extends TInteger ? TEncodeInteger<Right, Pattern> : Type extends TLiteral<infer Value extends TLiteralValue> ? TEncodeLiteral<Value, Right, Pattern> : Type extends TBigInt ? TEncodeBigInt<Right, Pattern> : Type extends TBoolean ? TEncodeBoolean<Right, Pattern> : Type extends TNumber ? TEncodeNumber<Right, Pattern> : Type extends TString ? TEncodeString<Right, Pattern> : Type extends TTemplateLiteral<infer TemplatePattern extends string> ? TEncodeTemplateLiteral<TemplatePattern, Right, Pattern> : Type extends TUnion<infer Types extends TSchema[]> ? TEncodeUnion<Types, Right, Pattern> : typeof NeverPattern);
+type TEncodeTypes<Types extends TSchema[], Pattern extends string> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TEncodeType<Left, Right, Pattern> : Pattern);
+type TEncodePattern<Types extends TSchema[], Encoded extends string = TEncodeTypes<Types, ''>, Result extends string = `^${Encoded}$`> = Result;
+/** Encodes a TemplateLiteral type sequence into a TemplateLiteral */
+export type TTemplateLiteralEncode<Types extends TSchema[], Pattern extends string = TEncodePattern<Types>, Result extends TSchema = TTemplateLiteral<Pattern>> = Result;
+/** Encodes a TemplateLiteral type sequence into a TemplateLiteral */
+export declare function TemplateLiteralEncode<Types extends TSchema[]>(types: [...Types]): TTemplateLiteralEncode<Types>;
+export {};

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

@@ -0,0 +1,80 @@
+// deno-fmt-ignore-file
+import { IsSchema } from '../../types/schema.mjs';
+import { IsEnum } from '../../types/enum.mjs';
+import { Literal, IsLiteral } from '../../types/literal.mjs';
+import { Union, IsUnion } from '../../types/union.mjs';
+import { IsTemplateLiteral } from '../../types/template-literal.mjs';
+import { IsBigInt, BigIntPattern } from '../../types/bigint.mjs';
+import { IsString, StringPattern } from '../../types/string.mjs';
+import { IsNumber, NumberPattern } from '../../types/number.mjs';
+import { IsInteger, IntegerPattern } from '../../types/integer.mjs';
+import { IsBoolean } from '../../types/boolean.mjs';
+import { NeverPattern } from '../../types/never.mjs';
+import { TemplateLiteralCreate } from './create.mjs';
+import { EnumValuesToVariants } from '../enum/enum-to-union.mjs';
+function JoinString(input) {
+    return input.join('|');
+}
+function UnwrapTemplateLiteralPattern(pattern) {
+    return pattern.slice(1, pattern.length - 1);
+}
+function EncodeLiteral(value, right, pattern) {
+    return EncodeTypes(right, `${pattern}${value}`);
+}
+function EncodeBigInt(right, pattern) {
+    return EncodeTypes(right, `${pattern}${BigIntPattern}`);
+}
+function EncodeInteger(right, pattern) {
+    return EncodeTypes(right, `${pattern}${IntegerPattern}`);
+}
+function EncodeNumber(right, pattern) {
+    return EncodeTypes(right, `${pattern}${NumberPattern}`);
+}
+function EncodeBoolean(right, pattern) {
+    return EncodeType(Union([Literal('false'), Literal('true')]), right, pattern);
+}
+function EncodeString(right, pattern) {
+    return EncodeTypes(right, `${pattern}${StringPattern}`);
+}
+function EncodeTemplateLiteral(templatePattern, right, pattern) {
+    return EncodeTypes(right, `${pattern}${UnwrapTemplateLiteralPattern(templatePattern)}`);
+}
+function EncodeEnum(types, right, pattern, result = []) {
+    const variants = EnumValuesToVariants(types);
+    return EncodeUnion(variants, right, pattern);
+}
+function EncodeUnion(types, right, pattern, result = []) {
+    const [head, ...tail] = types;
+    return (IsSchema(head)
+        ? EncodeUnion(tail, right, pattern, [...result, EncodeType(head, [], '')])
+        : EncodeTypes(right, `${pattern}(${JoinString(result)})`));
+}
+function EncodeType(type, right, pattern) {
+    return (IsEnum(type) ? EncodeEnum(type.enum, right, pattern) :
+        IsInteger(type) ? EncodeInteger(right, pattern) :
+            IsLiteral(type) ? EncodeLiteral(type.const, right, pattern) :
+                IsBigInt(type) ? EncodeBigInt(right, pattern) :
+                    IsBoolean(type) ? EncodeBoolean(right, pattern) :
+                        IsNumber(type) ? EncodeNumber(right, pattern) :
+                            IsString(type) ? EncodeString(right, pattern) :
+                                IsTemplateLiteral(type) ? EncodeTemplateLiteral(type.pattern, right, pattern) :
+                                    IsUnion(type) ? EncodeUnion(type.anyOf, right, pattern) :
+                                        NeverPattern);
+}
+function EncodeTypes(types, pattern) {
+    const [left, ...right] = types;
+    return (IsSchema(left)
+        ? EncodeType(left, right, pattern)
+        : pattern);
+}
+function EncodePattern(types) {
+    const encoded = EncodeTypes(types, '');
+    const result = `^${encoded}$`;
+    return result;
+}
+/** Encodes a TemplateLiteral type sequence into a TemplateLiteral */
+export function TemplateLiteralEncode(types) {
+    const pattern = EncodePattern(types);
+    const result = TemplateLiteralCreate(pattern);
+    return result;
+}

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

@@ -0,0 +1,12 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
+import { type TUnion } from '../../types/union.mjs';
+type TFromLiteral<_Value extends TLiteralValue> = true;
+type TFromTypesReduce<Types extends TSchema[]> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromType<Left> extends true ? TFromTypesReduce<Right> : false : true);
+type TFromTypes<Types extends TSchema[], Result extends boolean = Types extends [] ? false : TFromTypesReduce<Types>> = Result;
+type TFromType<Type extends TSchema> = Type extends TUnion<infer Types extends TSchema[]> ? TFromTypes<Types> : Type extends TLiteral<infer Value extends TLiteralValue> ? TFromLiteral<Value> : false;
+/** Returns true if the given TemplateLiteral types yields a finite variant set */
+export type TTemplateLiteralFinite<Types extends TSchema[], Result extends boolean = TFromTypes<Types>> = Result;
+/** Returns true if the given TemplateLiteral types yields a finite variant set */
+export declare function TemplateLiteralFinite<Types extends TSchema[]>(types: [...Types]): TTemplateLiteralFinite<Types>;
+export {};

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

@@ -0,0 +1,30 @@
+// deno-fmt-ignore-file
+import { Guard } from '../../../guard/index.mjs';
+import { IsSchema } from '../../types/schema.mjs';
+import { IsLiteral } from '../../types/literal.mjs';
+import { IsUnion } from '../../types/union.mjs';
+function FromLiteral(value) {
+    return true;
+}
+function FromTypesReduce(types) {
+    const [left, ...right] = types;
+    return (IsSchema(left)
+        ? FromType(left)
+            ? FromTypesReduce(right)
+            : false
+        : true);
+}
+function FromTypes(types) {
+    const result = Guard.IsEqual(types.length, 0) ? false : FromTypesReduce(types);
+    return result;
+}
+function FromType(type) {
+    return (IsUnion(type) ? FromTypes(type.anyOf) :
+        IsLiteral(type) ? FromLiteral(type.const) :
+            false);
+}
+/** Returns true if the given TemplateLiteral types yields a finite variant set */
+export function TemplateLiteralFinite(types) {
+    const result = FromTypes(types);
+    return result;
+}

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

@@ -0,0 +1,5 @@
+export * from './create.mjs';
+export * from './decode.mjs';
+export * from './encode.mjs';
+export * from './finite.mjs';
+export * from './static.mjs';

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

@@ -0,0 +1,5 @@
+export * from './create.mjs';
+export * from './decode.mjs';
+export * from './encode.mjs';
+export * from './finite.mjs';
+export * from './static.mjs';

package/build/type/engine/template-literal/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 TTemplateLiteralDeferred } from '../../types/template-literal.mjs';
+import { type TTemplateLiteralEncode } from './encode.mjs';
+import { type TState, type TInstantiateTypes, type TCanInstantiate } from '../instantiate.mjs';
+type TTemplateLiteralImmediate<Context extends TProperties, State extends TState, Types extends TSchema[], InstantiatedTypes extends TSchema[] = TInstantiateTypes<Context, State, Types>, Result extends TSchema = TTemplateLiteralEncode<InstantiatedTypes>> = Result;
+export type TTemplateLiteralInstantiate<Context extends TProperties, State extends TState, Types extends TSchema[]> = TCanInstantiate<Context, Types> extends true ? TTemplateLiteralImmediate<Context, State, Types> : TTemplateLiteralDeferred<Types>;
+export declare function TemplateLiteralInstantiate<Context extends TProperties, State extends TState, Types extends TSchema[]>(context: Context, state: State, types: [...Types], options: TSchemaOptions): TTemplateLiteralInstantiate<Context, State, Types>;
+export {};

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

@@ -0,0 +1,14 @@
+// deno-fmt-ignore-file
+import { Memory } from '../../../system/memory/index.mjs';
+import { TemplateLiteralDeferred } from '../../types/template-literal.mjs';
+import { TemplateLiteralEncode } from './encode.mjs';
+import { InstantiateTypes, CanInstantiate } from '../instantiate.mjs';
+function TemplateLiteralImmediate(context, state, types, options) {
+    const instaniatedTypes = InstantiateTypes(context, state, types);
+    return Memory.Update(TemplateLiteralEncode(instaniatedTypes), {}, options);
+}
+export function TemplateLiteralInstantiate(context, state, types, options) {
+    return (CanInstantiate(context, types)
+        ? TemplateLiteralImmediate(context, state, types, options)
+        : TemplateLiteralDeferred(types, options));
+}

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

@@ -0,0 +1,18 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TUnion } from '../../types/union.mjs';
+import { type TBigInt } from '../../types/bigint.mjs';
+import { type TString } from '../../types/string.mjs';
+import { type TNumber } from '../../types/number.mjs';
+import { type TInteger } from '../../types/integer.mjs';
+import { type TLiteral, type TLiteralValue } from '../../types/literal.mjs';
+import { type TParsePatternIntoTypes } from '../patterns/pattern.mjs';
+type TFromLiteral<Template extends string, Value extends TLiteralValue> = `${Template}${Value}`;
+type TFromBigInt<Template extends string> = `${Template}${bigint}`;
+type TFromString<Template extends string> = `${Template}${string}`;
+type TFromNumber<Template extends string> = `${Template}${number}`;
+type TFromInteger<Template extends string> = `${Template}${number}`;
+type TFromUnion<Template extends string, Types extends TSchema[], Result extends string = never> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromUnion<Template, Right, Result | TFromType<'', Left>> : `${Template}${Result}`);
+type TFromType<Template extends string, Type extends TSchema, Result extends string = (Type extends TUnion<infer Types extends TSchema[]> ? TFromUnion<Template, Types> : Type extends TLiteral<infer Value extends TLiteralValue> ? TFromLiteral<Template, Value> : Type extends TBigInt ? TFromBigInt<Template> : Type extends TString ? TFromString<Template> : Type extends TNumber ? TFromNumber<Template> : Type extends TInteger ? TFromInteger<Template> : never)> = Result;
+type TFromSpan<Template extends string, Types extends TSchema[]> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TFromSpan<TFromType<Template, Left>, Right> : Template);
+export type TTemplateLiteralStatic<Pattern extends string, Types extends TSchema[] = TParsePatternIntoTypes<Pattern>> = TFromSpan<'', Types>;
+export {};

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

@@ -0,0 +1,2 @@
+// deno-fmt-ignore-file
+export {};

package/build/type/engine/tuple/to-object.d.mts

@@ -0,0 +1,12 @@
+import { type TSchema } from '../../types/schema.mjs';
+import { type TObject } from '../../types/object.mjs';
+import { type TProperties } from '../../types/properties.mjs';
+import { type TTuple } from '../../types/tuple.mjs';
+export type TTupleElementsToProperties<Types extends TSchema[], Result extends TProperties = {}> = (Types extends [...infer Left extends TSchema[], infer Right extends TSchema] ? TTupleElementsToProperties<Left, {
+    [_ in Left['length']]: Right;
+} & Result> : {
+    [Key in keyof Result]: Result[Key];
+});
+export declare function TupleElementsToProperties<Types extends TSchema[]>(types: [...Types]): TTupleElementsToProperties<Types>;
+export type TTupleToObject<Type extends TTuple, Properties extends TProperties = TTupleElementsToProperties<Type['items']>, Result extends TSchema = TObject<Properties>> = Result;
+export declare function TupleToObject<Type extends TTuple>(type: Type): TTupleToObject<Type>;

package/build/type/engine/tuple/to-object.mjs

@@ -0,0 +1,13 @@
+// deno-fmt-ignore-file
+import { Object } from '../../types/object.mjs';
+export function TupleElementsToProperties(types) {
+    const result = types.reduceRight((result, right, index) => {
+        return { [index]: right, ...result };
+    }, {});
+    return result;
+}
+export function TupleToObject(type) {
+    const properties = TupleElementsToProperties(type.items);
+    const result = Object(properties);
+    return result;
+}

package/build/type/extends/any.d.mts

@@ -0,0 +1,9 @@
+import { type TSchema } from '../types/schema.mjs';
+import { type TProperties } from '../types/properties.mjs';
+import { type TInfer } from '../types/infer.mjs';
+import { type TAny } from '../types/any.mjs';
+import { type TUnknown } from '../types/unknown.mjs';
+import { type TExtendsRight } from './extends-right.mjs';
+import * as Result from './result.mjs';
+export type TExtendsAny<Inferred extends TProperties, Left extends TAny, Right extends TSchema> = (Right extends TInfer ? TExtendsRight<Inferred, Left, Right> : Right extends TAny ? Result.TExtendsTrue<Inferred> : Right extends TUnknown ? Result.TExtendsTrue<Inferred> : Result.TExtendsUnion<Inferred>);
+export declare function ExtendsAny<Inferred extends TProperties, Left extends TAny, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsAny<Inferred, Left, Right>;

package/build/type/extends/any.mjs

@@ -0,0 +1,12 @@
+// deno-fmt-ignore-file
+import { IsInfer } from '../types/infer.mjs';
+import { IsAny } from '../types/any.mjs';
+import { IsUnknown } from '../types/unknown.mjs';
+import { ExtendsRight } from './extends-right.mjs';
+import * as Result from './result.mjs';
+export function ExtendsAny(inferred, left, right) {
+    return (IsInfer(right) ? ExtendsRight(inferred, left, right) :
+        IsAny(right) ? Result.ExtendsTrue(inferred) :
+            IsUnknown(right) ? Result.ExtendsTrue(inferred) :
+                Result.ExtendsUnion(inferred));
+}

package/build/type/extends/array.d.mts

@@ -0,0 +1,7 @@
+import { type TSchema } from '../types/schema.mjs';
+import { type TProperties } from '../types/properties.mjs';
+import { type TArray } from '../types/array.mjs';
+import { type TExtendsRight } from './extends-right.mjs';
+import { type TExtendsLeft } from './extends-left.mjs';
+export type TExtendsArray<Inferred extends TProperties, Left extends TSchema, Right extends TSchema> = (Right extends TArray<infer Type extends TSchema> ? TExtendsLeft<Inferred, Left, Type> : TExtendsRight<Inferred, TArray<Left>, Right>);
+export declare function ExtendsArray<Inferred extends TProperties, Left extends TSchema, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsArray<Inferred, Left, Right>;

package/build/type/extends/array.mjs

@@ -0,0 +1,9 @@
+// deno-fmt-ignore-file
+import { Array, IsArray } from '../types/array.mjs';
+import { ExtendsRight } from './extends-right.mjs';
+import { ExtendsLeft } from './extends-left.mjs';
+export function ExtendsArray(inferred, left, right) {
+    return (IsArray(right)
+        ? ExtendsLeft(inferred, left, right.items)
+        : ExtendsRight(inferred, Array(left), right));
+}

package/build/type/extends/async-iterator.d.mts

@@ -0,0 +1,7 @@
+import { type TSchema } from '../types/schema.mjs';
+import { type TProperties } from '../types/properties.mjs';
+import { type TAsyncIterator } from '../types/async-iterator.mjs';
+import { type TExtendsRight } from './extends-right.mjs';
+import { type TExtendsLeft } from './extends-left.mjs';
+export type TExtendsAsyncIterator<Inferred extends TProperties, Left extends TSchema, Right extends TSchema> = (Right extends TAsyncIterator<infer Type extends TSchema> ? TExtendsLeft<Inferred, Left, Type> : TExtendsRight<Inferred, TAsyncIterator<Left>, Right>);
+export declare function ExtendsAsyncIterator<Inferred extends TProperties, Left extends TSchema, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsAsyncIterator<Inferred, Left, Right>;

package/build/type/extends/async-iterator.mjs

@@ -0,0 +1,9 @@
+// deno-fmt-ignore-file
+import { AsyncIterator, IsAsyncIterator } from '../types/async-iterator.mjs';
+import { ExtendsRight } from './extends-right.mjs';
+import { ExtendsLeft } from './extends-left.mjs';
+export function ExtendsAsyncIterator(inferred, left, right) {
+    return (IsAsyncIterator(right)
+        ? ExtendsLeft(inferred, left, right.iteratorItems)
+        : ExtendsRight(inferred, AsyncIterator(left), right));
+}

package/build/type/extends/bigint.d.mts

@@ -0,0 +1,7 @@
+import { type TSchema } from '../types/schema.mjs';
+import { type TProperties } from '../types/properties.mjs';
+import { type TBigInt } from '../types/bigint.mjs';
+import { type TExtendsRight } from './extends-right.mjs';
+import * as Result from './result.mjs';
+export type TExtendsBigInt<Inferred extends TProperties, Left extends TBigInt, Right extends TSchema> = (Right extends TBigInt ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, Left, Right>);
+export declare function ExtendsBigInt<Inferred extends TProperties, Left extends TBigInt, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsBigInt<Inferred, Left, Right>;

package/build/type/extends/bigint.mjs

@@ -0,0 +1,9 @@
+// deno-fmt-ignore-file
+import { IsBigInt } from '../types/bigint.mjs';
+import { ExtendsRight } from './extends-right.mjs';
+import * as Result from './result.mjs';
+export function ExtendsBigInt(inferred, left, right) {
+    return (IsBigInt(right)
+        ? Result.ExtendsTrue(inferred)
+        : ExtendsRight(inferred, left, right));
+}

package/build/type/extends/boolean.d.mts

@@ -0,0 +1,7 @@
+import { type TSchema } from '../types/schema.mjs';
+import { type TProperties } from '../types/properties.mjs';
+import { type TBoolean } from '../types/boolean.mjs';
+import { type TExtendsRight } from './extends-right.mjs';
+import * as Result from './result.mjs';
+export type TExtendsBoolean<Inferred extends TProperties, Left extends TBoolean, Right extends TSchema> = (Right extends TBoolean ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, Left, Right>);
+export declare function ExtendsBoolean<Inferred extends TProperties, Left extends TBoolean, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsBoolean<Inferred, Left, Right>;

package/build/type/extends/boolean.mjs

@@ -0,0 +1,9 @@
+// deno-fmt-ignore-file
+import { IsBoolean } from '../types/boolean.mjs';
+import { ExtendsRight } from './extends-right.mjs';
+import * as Result from './result.mjs';
+export function ExtendsBoolean(inferred, left, right) {
+    return (IsBoolean(right)
+        ? Result.ExtendsTrue(inferred)
+        : ExtendsRight(inferred, left, right));
+}

package/build/type/extends/constructor.d.mts

@@ -0,0 +1,8 @@
+import { type TSchema } from '../types/schema.mjs';
+import { type TProperties } from '../types/properties.mjs';
+import { type TConstructor } from '../types/constructor.mjs';
+import * as Result from './result.mjs';
+import { type TExtendsParameters } from './parameters.mjs';
+import { type TExtendsReturnType } from './return-type.mjs';
+export type TExtendsConstructor<Inferred extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema, Right extends TSchema> = (Right extends TConstructor<infer RightParamters extends TSchema[], infer RightInstanceType extends TSchema> ? TExtendsParameters<Inferred, Parameters, RightParamters> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? TExtendsReturnType<Inferred, InstanceType, RightInstanceType> : Result.TExtendsFalse : Result.TExtendsFalse);
+export declare function ExtendsConstructor<Inferred extends TProperties, Parameters extends TSchema[], InstanceType extends TSchema, Right extends TSchema>(inferred: Inferred, parameters: [...Parameters], returnType: InstanceType, right: Right): TExtendsConstructor<Inferred, Parameters, InstanceType, Right>;

package/build/type/extends/constructor.mjs

@@ -0,0 +1,16 @@
+// deno-fmt-ignore-file
+import { IsConstructor } from '../types/constructor.mjs';
+import * as Result from './result.mjs';
+// ------------------------------------------------------------------
+// Parameters | ReturnType
+// ------------------------------------------------------------------ 
+import { ExtendsParameters } from './parameters.mjs';
+import { ExtendsReturnType } from './return-type.mjs';
+export function ExtendsConstructor(inferred, parameters, returnType, right) {
+    return (IsConstructor(right) ? (() => {
+        const check = ExtendsParameters(inferred, parameters, right.parameters);
+        return Result.IsExtendsTrueLike(check)
+            ? ExtendsReturnType(check.inferred, returnType, right.instanceType)
+            : Result.ExtendsFalse();
+    })() : Result.ExtendsFalse());
+}

package/build/type/extends/enum.d.mts

@@ -0,0 +1,7 @@
+import { type TSchema } from '../types/schema.mjs';
+import { type TProperties } from '../types/properties.mjs';
+import { type TEnum } from '../types/enum.mjs';
+import { type TExtendsLeft } from './extends-left.mjs';
+import { type TEnumToUnion } from '../engine/enum/index.mjs';
+export type TExtendsEnum<Inferred extends TProperties, Left extends TEnum, Right extends TSchema> = (TExtendsLeft<Inferred, TEnumToUnion<Left>, Right>);
+export declare function ExtendsEnum<Inferred extends TProperties, Left extends TEnum, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsEnum<Inferred, Left, Right>;

package/build/type/extends/enum.mjs

@@ -0,0 +1,6 @@
+// deno-fmt-ignore-file
+import { ExtendsLeft } from './extends-left.mjs';
+import { EnumToUnion } from '../engine/enum/index.mjs';
+export function ExtendsEnum(inferred, left, right) {
+    return ExtendsLeft(inferred, EnumToUnion(left), right);
+}

package/build/type/extends/extends-left.d.mts

@@ -0,0 +1,55 @@
+import { type TExtendsAny } from './any.mjs';
+import { type TExtendsArray } from './array.mjs';
+import { type TExtendsAsyncIterator } from './async-iterator.mjs';
+import { type TExtendsBigInt } from './bigint.mjs';
+import { type TExtendsBoolean } from './boolean.mjs';
+import { type TExtendsConstructor } from './constructor.mjs';
+import { type TExtendsEnum } from './enum.mjs';
+import { type TExtendsFunction } from './function.mjs';
+import { type TExtendsInteger } from './integer.mjs';
+import { type TExtendsIntersect } from './intersect.mjs';
+import { type TExtendsIterator } from './iterator.mjs';
+import { type TExtendsLiteral } from './literal.mjs';
+import { type TExtendsNever } from './never.mjs';
+import { type TExtendsNull } from './null.mjs';
+import { type TExtendsNumber } from './number.mjs';
+import { type TExtendsObject } from './object.mjs';
+import { type TExtendsPromise } from './promise.mjs';
+import { type TExtendsString } from './string.mjs';
+import { type TExtendsSymbol } from './symbol.mjs';
+import { type TExtendsTemplateLiteral } from './template-literal.mjs';
+import { type TExtendsTuple } from './tuple.mjs';
+import { type TExtendsUndefined } from './undefined.mjs';
+import { type TExtendsUnion } from './union.mjs';
+import { type TExtendsUnknown } from './unknown.mjs';
+import { type TExtendsVoid } from './void.mjs';
+import { type TAny } from '../types/any.mjs';
+import { type TArray } from '../types/array.mjs';
+import { type TAsyncIterator } from '../types/async-iterator.mjs';
+import { type TBigInt } from '../types/bigint.mjs';
+import { type TBoolean } from '../types/boolean.mjs';
+import { type TConstructor } from '../types/constructor.mjs';
+import { type TEnum, type TEnumValue } from '../types/enum.mjs';
+import { type TFunction } from '../types/function.mjs';
+import { type TInteger } from '../types/integer.mjs';
+import { type TIntersect } from '../types/intersect.mjs';
+import { type TIterator } from '../types/iterator.mjs';
+import { type TLiteral } from '../types/literal.mjs';
+import { type TNever } from '../types/never.mjs';
+import { type TNull } from '../types/null.mjs';
+import { type TNumber } from '../types/number.mjs';
+import { type TObject } from '../types/object.mjs';
+import { type TPromise } from '../types/promise.mjs';
+import { type TSchema } from '../types/schema.mjs';
+import { type TString } from '../types/string.mjs';
+import { type TSymbol } from '../types/symbol.mjs';
+import { type TTemplateLiteral } from '../types/template-literal.mjs';
+import { type TTuple } from '../types/tuple.mjs';
+import { type TUndefined } from '../types/undefined.mjs';
+import { type TUnknown } from '../types/unknown.mjs';
+import { type TProperties } from '../types/properties.mjs';
+import { type TUnion } from '../types/union.mjs';
+import { type TVoid } from '../types/void.mjs';
+import * as Result from './result.mjs';
+export type TExtendsLeft<Inferred extends TProperties, Left extends TSchema, Right extends TSchema> = (Left extends TAny ? TExtendsAny<Inferred, Left, Right> : Left extends TArray<infer Type extends TSchema> ? TExtendsArray<Inferred, Type, Right> : Left extends TAsyncIterator<infer Type extends TSchema> ? TExtendsAsyncIterator<Inferred, Type, Right> : Left extends TBigInt ? TExtendsBigInt<Inferred, Left, Right> : Left extends TBoolean ? TExtendsBoolean<Inferred, Left, Right> : Left extends TConstructor<infer Parameters extends TSchema[], infer InstanceType extends TSchema> ? TExtendsConstructor<Inferred, Parameters, InstanceType, Right> : Left extends TEnum<infer Values extends TEnumValue[]> ? TExtendsEnum<Inferred, TEnum<Values>, Right> : Left extends TFunction<infer Parameters extends TSchema[], infer ReturnType extends TSchema> ? TExtendsFunction<Inferred, Parameters, ReturnType, Right> : Left extends TInteger ? TExtendsInteger<Inferred, Left, Right> : Left extends TIntersect<infer Types extends TSchema[]> ? TExtendsIntersect<Inferred, Types, Right> : Left extends TIterator<infer Type extends TSchema> ? TExtendsIterator<Inferred, Type, Right> : Left extends TLiteral ? TExtendsLiteral<Inferred, Left, Right> : Left extends TNever ? TExtendsNever<Inferred, Left, Right> : Left extends TNull ? TExtendsNull<Inferred, Left, Right> : Left extends TNumber ? TExtendsNumber<Inferred, Left, Right> : Left extends TObject<infer Properties extends TProperties> ? TExtendsObject<Inferred, Properties, Right> : Left extends TPromise<infer Type extends TSchema> ? TExtendsPromise<Inferred, Type, Right> : Left extends TString ? TExtendsString<Inferred, Left, Right> : Left extends TSymbol ? TExtendsSymbol<Inferred, Left, Right> : Left extends TTemplateLiteral<infer Pattern extends string> ? TExtendsTemplateLiteral<Inferred, Pattern, Right> : Left extends TTuple<infer Types extends TSchema[]> ? TExtendsTuple<Inferred, Types, Right> : Left extends TUndefined ? TExtendsUndefined<Inferred, Left, Right> : Left extends TUnion<infer Types extends TSchema[]> ? TExtendsUnion<Inferred, Types, Right> : Left extends TUnknown ? TExtendsUnknown<Inferred, Left, Right> : Left extends TVoid ? TExtendsVoid<Inferred, Left, Right> : Result.TExtendsFalse);
+export declare function ExtendsLeft<Inferred extends TProperties, Left extends TSchema, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsLeft<Inferred, Left, Right>;

package/build/type/extends/extends-left.mjs

@@ -0,0 +1,83 @@
+// deno-fmt-ignore-file
+import { ExtendsAny } from './any.mjs';
+import { ExtendsArray } from './array.mjs';
+import { ExtendsAsyncIterator } from './async-iterator.mjs';
+import { ExtendsBigInt } from './bigint.mjs';
+import { ExtendsBoolean } from './boolean.mjs';
+import { ExtendsConstructor } from './constructor.mjs';
+import { ExtendsEnum } from './enum.mjs';
+import { ExtendsFunction } from './function.mjs';
+import { ExtendsInteger } from './integer.mjs';
+import { ExtendsIntersect } from './intersect.mjs';
+import { ExtendsIterator } from './iterator.mjs';
+import { ExtendsLiteral } from './literal.mjs';
+import { ExtendsNever } from './never.mjs';
+import { ExtendsNull } from './null.mjs';
+import { ExtendsNumber } from './number.mjs';
+import { ExtendsObject } from './object.mjs';
+import { ExtendsPromise } from './promise.mjs';
+import { ExtendsString } from './string.mjs';
+import { ExtendsSymbol } from './symbol.mjs';
+import { ExtendsTemplateLiteral } from './template-literal.mjs';
+import { ExtendsTuple } from './tuple.mjs';
+import { ExtendsUndefined } from './undefined.mjs';
+import { ExtendsUnion } from './union.mjs';
+import { ExtendsUnknown } from './unknown.mjs';
+import { ExtendsVoid } from './void.mjs';
+// ----------------------------------------------------------------------------
+// Types
+// ----------------------------------------------------------------------------
+import { IsAny } from '../types/any.mjs';
+import { IsArray } from '../types/array.mjs';
+import { IsAsyncIterator } from '../types/async-iterator.mjs';
+import { IsBigInt } from '../types/bigint.mjs';
+import { IsBoolean } from '../types/boolean.mjs';
+import { IsConstructor } from '../types/constructor.mjs';
+import { IsEnum } from '../types/enum.mjs';
+import { IsFunction } from '../types/function.mjs';
+import { IsInteger } from '../types/integer.mjs';
+import { IsIntersect } from '../types/intersect.mjs';
+import { IsIterator } from '../types/iterator.mjs';
+import { IsLiteral } from '../types/literal.mjs';
+import { IsNever } from '../types/never.mjs';
+import { IsNull } from '../types/null.mjs';
+import { IsNumber } from '../types/number.mjs';
+import { IsObject } from '../types/object.mjs';
+import { IsPromise } from '../types/promise.mjs';
+import { IsString } from '../types/string.mjs';
+import { IsSymbol } from '../types/symbol.mjs';
+import { IsTemplateLiteral } from '../types/template-literal.mjs';
+import { IsTuple } from '../types/tuple.mjs';
+import { IsUndefined } from '../types/undefined.mjs';
+import { IsUnknown } from '../types/unknown.mjs';
+import { IsUnion } from '../types/union.mjs';
+import { IsVoid } from '../types/void.mjs';
+import * as Result from './result.mjs';
+export function ExtendsLeft(inferred, left, right) {
+    return (IsAny(left) ? ExtendsAny(inferred, left, right) :
+        IsArray(left) ? ExtendsArray(inferred, left.items, right) :
+            IsAsyncIterator(left) ? ExtendsAsyncIterator(inferred, left.iteratorItems, right) :
+                IsBigInt(left) ? ExtendsBigInt(inferred, left, right) :
+                    IsBoolean(left) ? ExtendsBoolean(inferred, left, right) :
+                        IsConstructor(left) ? ExtendsConstructor(inferred, left.parameters, left.instanceType, right) :
+                            IsEnum(left) ? ExtendsEnum(inferred, left, right) :
+                                IsFunction(left) ? ExtendsFunction(inferred, left.parameters, left.returnType, right) :
+                                    IsInteger(left) ? ExtendsInteger(inferred, left, right) :
+                                        IsIntersect(left) ? ExtendsIntersect(inferred, left.allOf, right) :
+                                            IsIterator(left) ? ExtendsIterator(inferred, left.iteratorItems, right) :
+                                                IsLiteral(left) ? ExtendsLiteral(inferred, left, right) :
+                                                    IsNever(left) ? ExtendsNever(inferred, left, right) :
+                                                        IsNull(left) ? ExtendsNull(inferred, left, right) :
+                                                            IsNumber(left) ? ExtendsNumber(inferred, left, right) :
+                                                                IsObject(left) ? ExtendsObject(inferred, left.properties, right) :
+                                                                    IsPromise(left) ? ExtendsPromise(inferred, left.item, right) :
+                                                                        IsString(left) ? ExtendsString(inferred, left, right) :
+                                                                            IsSymbol(left) ? ExtendsSymbol(inferred, left, right) :
+                                                                                IsTemplateLiteral(left) ? ExtendsTemplateLiteral(inferred, left.pattern, right) :
+                                                                                    IsTuple(left) ? ExtendsTuple(inferred, left.items, right) :
+                                                                                        IsUndefined(left) ? ExtendsUndefined(inferred, left, right) :
+                                                                                            IsUnion(left) ? ExtendsUnion(inferred, left.anyOf, right) :
+                                                                                                IsUnknown(left) ? ExtendsUnknown(inferred, left, right) :
+                                                                                                    IsVoid(left) ? ExtendsVoid(inferred, left, right) :
+                                                                                                        Result.ExtendsFalse());
+}