typebox 1.0.33 → 1.0.34

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

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

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

@@ -1,12 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsIterator = ExtendsIterator;
-const iterator_1 = require("../types/iterator");
-const extends_right_1 = require("./extends-right");
-const extends_left_1 = require("./extends-left");
-function ExtendsIterator(inferred, left, right) {
-    return ((0, iterator_1.IsIterator)(right)
-        ? (0, extends_left_1.ExtendsLeft)(inferred, left, right.iteratorItems)
-        : (0, extends_right_1.ExtendsRight)(inferred, (0, iterator_1.Iterator)(left), right));
-}

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

@@ -1,17 +0,0 @@
-import { type TSchema } from '../types/schema';
-import { type TProperties } from '../types/properties';
-import { type TLiteral, type TLiteralValue } from '../types/literal';
-import { type TBigInt } from '../types/bigint';
-import { type TBoolean } from '../types/boolean';
-import { type TNumber } from '../types/number';
-import { type TString } from '../types/string';
-import { type TExtendsRight } from './extends-right';
-import * as Result from './result';
-type TExtendsLiteralValue<Inferred extends TProperties, Left extends TLiteralValue, Right extends TLiteralValue> = (Left extends Right ? Result.TExtendsTrue<Inferred> : Result.TExtendsFalse);
-type TExtendsLiteralBigInt<Inferred extends TProperties, Left extends bigint, Right extends TSchema> = (Right extends TLiteral<infer Value extends bigint> ? TExtendsLiteralValue<Inferred, Left, Value> : Right extends TBigInt ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, TLiteral<Left>, Right>);
-type TExtendsLiteralBoolean<Inferred extends TProperties, Left extends boolean, Right extends TSchema> = (Right extends TLiteral<infer Value extends boolean> ? TExtendsLiteralValue<Inferred, Left, Value> : Right extends TBoolean ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, TLiteral<Left>, Right>);
-type TExtendsLiteralNumber<Inferred extends TProperties, Left extends number, Right extends TSchema> = (Right extends TLiteral<infer Value extends number> ? TExtendsLiteralValue<Inferred, Left, Value> : Right extends TNumber ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, TLiteral<Left>, Right>);
-type TExtendsLiteralString<Inferred extends TProperties, Left extends string, Right extends TSchema> = (Right extends TLiteral<infer Value extends string> ? TExtendsLiteralValue<Inferred, Left, Value> : Right extends TString ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, TLiteral<Left>, Right>);
-export type TExtendsLiteral<Inferred extends TProperties, Left extends TLiteral, Right extends TSchema> = (Left extends TLiteral<infer Value extends bigint> ? TExtendsLiteralBigInt<Inferred, Value, Right> : Left extends TLiteral<infer Value extends boolean> ? TExtendsLiteralBoolean<Inferred, Value, Right> : Left extends TLiteral<infer Value extends number> ? TExtendsLiteralNumber<Inferred, Value, Right> : Left extends TLiteral<infer Value extends string> ? TExtendsLiteralString<Inferred, Value, Right> : TExtendsRight<Inferred, Left, Right>);
-export declare function ExtendsLiteral<Inferred extends TProperties, Left extends TLiteral, Right extends TSchema>(inferred: TProperties, left: Left, right: Right): TExtendsLiteral<Inferred, Left, Right>;
-export {};

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

@@ -1,44 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsLiteral = ExtendsLiteral;
-const index_1 = require("../../guard/index");
-const literal_1 = require("../types/literal");
-const bigint_1 = require("../types/bigint");
-const boolean_1 = require("../types/boolean");
-const number_1 = require("../types/number");
-const string_1 = require("../types/string");
-const extends_right_1 = require("./extends-right");
-const Result = require("./result");
-function ExtendsLiteralValue(inferred, left, right) {
-    return (left === right
-        ? Result.ExtendsTrue(inferred)
-        : Result.ExtendsFalse());
-}
-function ExtendsLiteralBigInt(inferred, left, right) {
-    return ((0, literal_1.IsLiteral)(right) ? ExtendsLiteralValue(inferred, left, right.const) :
-        (0, bigint_1.IsBigInt)(right) ? Result.ExtendsTrue(inferred) :
-            (0, extends_right_1.ExtendsRight)(inferred, (0, literal_1.Literal)(left), right));
-}
-function ExtendsLiteralBoolean(inferred, left, right) {
-    return ((0, literal_1.IsLiteral)(right) ? ExtendsLiteralValue(inferred, left, right.const) :
-        (0, boolean_1.IsBoolean)(right) ? Result.ExtendsTrue(inferred) :
-            (0, extends_right_1.ExtendsRight)(inferred, (0, literal_1.Literal)(left), right));
-}
-function ExtendsLiteralNumber(inferred, left, right) {
-    return ((0, literal_1.IsLiteral)(right) ? ExtendsLiteralValue(inferred, left, right.const) :
-        (0, number_1.IsNumber)(right) ? Result.ExtendsTrue(inferred) :
-            (0, extends_right_1.ExtendsRight)(inferred, (0, literal_1.Literal)(left), right));
-}
-function ExtendsLiteralString(inferred, left, right) {
-    return ((0, literal_1.IsLiteral)(right) ? ExtendsLiteralValue(inferred, left, right.const) :
-        (0, string_1.IsString)(right) ? Result.ExtendsTrue(inferred) :
-            (0, extends_right_1.ExtendsRight)(inferred, (0, literal_1.Literal)(left), right));
-}
-function ExtendsLiteral(inferred, left, right) {
-    return (index_1.Guard.IsBigInt(left.const) ? ExtendsLiteralBigInt(inferred, left.const, right) :
-        index_1.Guard.IsBoolean(left.const) ? ExtendsLiteralBoolean(inferred, left.const, right) :
-            index_1.Guard.IsNumber(left.const) ? ExtendsLiteralNumber(inferred, left.const, right) :
-                index_1.Guard.IsString(left.const) ? ExtendsLiteralString(inferred, left.const, right) :
-                    (0, extends_right_1.ExtendsRight)(inferred, left, right));
-}

package/build/cjs/type/extends/never.d.ts

@@ -1,8 +0,0 @@
-import { type TSchema } from '../types/schema';
-import { type TProperties } from '../types/properties';
-import { type TNever } from '../types/never';
-import { type TInfer } from '../types/infer';
-import { type TExtendsRight } from './extends-right';
-import * as Result from './result';
-export type TExtendsNever<Inferred extends TProperties, Left extends TNever, Right extends TSchema> = (Right extends TInfer ? TExtendsRight<Inferred, Left, Right> : Result.TExtendsTrue<Inferred>);
-export declare function ExtendsNever<Inferred extends TProperties, Left extends TNever, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsNever<Inferred, Left, Right>;

package/build/cjs/type/extends/never.js

@@ -1,12 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsNever = ExtendsNever;
-const infer_1 = require("../types/infer");
-const extends_right_1 = require("./extends-right");
-const Result = require("./result");
-function ExtendsNever(inferred, left, right) {
-    return ((0, infer_1.IsInfer)(right)
-        ? (0, extends_right_1.ExtendsRight)(inferred, left, right)
-        : Result.ExtendsTrue(inferred));
-}

package/build/cjs/type/extends/null.d.ts

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

package/build/cjs/type/extends/null.js

@@ -1,12 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsNull = ExtendsNull;
-const null_1 = require("../types/null");
-const extends_right_1 = require("./extends-right");
-const Result = require("./result");
-function ExtendsNull(inferred, left, right) {
-    return ((0, null_1.IsNull)(right)
-        ? Result.ExtendsTrue(inferred)
-        : (0, extends_right_1.ExtendsRight)(inferred, left, right));
-}

package/build/cjs/type/extends/number.d.ts

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

package/build/cjs/type/extends/number.js

@@ -1,12 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsNumber = ExtendsNumber;
-const number_1 = require("../types/number");
-const extends_right_1 = require("./extends-right");
-const Result = require("./result");
-function ExtendsNumber(inferred, left, right) {
-    return ((0, number_1.IsNumber)(right)
-        ? Result.ExtendsTrue(inferred)
-        : (0, extends_right_1.ExtendsRight)(inferred, left, right));
-}

package/build/cjs/type/extends/object.d.ts

@@ -1,25 +0,0 @@
-import { type TUnreachable } from '../../system/unreachable/index';
-import { Memory } from '../../system/memory/index';
-import { type TProperties } from '../types/properties';
-import { type TSchema } from '../types/schema';
-import { type TOptional } from '../types/_optional';
-import { type TInfer } from '../types/infer';
-import { type TNever } from '../types/never';
-import { type TObject } from '../types/object';
-import { type TExtendsLeft } from './extends-left';
-import { type TExtendsRight } from './extends-right';
-import { type TUnionToTuple } from '../engine/helpers/union';
-import * as Result from './result';
-type TExtendsPropertyOptional<Inferred extends TProperties, Left extends TSchema, Right extends TSchema> = (Left extends TOptional<Left> ? Right extends TOptional<Right> ? Result.TExtendsTrue<Inferred> : Result.TExtendsFalse : Result.TExtendsTrue<Inferred>);
-type TExtendsProperty<Inferred extends TProperties, Left extends TSchema, Right extends TSchema> = (Right extends TInfer<string, TNever> ? Result.TExtendsFalse : TExtendsLeft<Inferred, Left, Right> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? TExtendsPropertyOptional<Inferred, Left, Right> : Result.TExtendsFalse);
-type TExtractInferredProperties<Keys extends PropertyKey[], Properties extends Record<PropertyKey, Result.TResult>, Result extends TProperties = {}> = (Keys extends [infer Left extends PropertyKey, ...infer Right extends PropertyKey[]] ? Left extends keyof Properties ? Properties[Left] extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? TExtractInferredProperties<Right, Properties, Result & Inferred> : TExtractInferredProperties<Right, Properties, Result> : TUnreachable : Result);
-type TExtendsPropertiesComparer<Inferred extends TProperties, Left extends TProperties, Right extends TProperties, Properties extends Record<PropertyKey, Result.TExtendsTrue | Result.TExtendsFalse> = {
-    [RightKey in keyof Right]: (RightKey extends keyof Left ? TExtendsProperty<{}, Left[RightKey], Right[RightKey]> : Right[RightKey] extends TOptional<Right[RightKey]> ? Right[RightKey] extends TInfer ? Result.TExtendsTrue<Memory.TAssign<Inferred, {
-        [_ in Right[RightKey]['name']]: Right[RightKey]['extends'];
-    }>> : Result.TExtendsTrue<Inferred> : Result.TExtendsFalse);
-}, Checked extends boolean = Properties[keyof Right] extends Result.TExtendsTrueLike ? true : false, Extracted extends TProperties = Checked extends true ? TExtractInferredProperties<TUnionToTuple<keyof Properties>, Properties> : {}> = (Checked extends true ? Result.TExtendsTrue<Extracted> : Result.TExtendsFalse);
-type TExtendsProperties<Inferred extends TProperties, Left extends TProperties, Right extends TProperties, Compared extends Result.TResult = TExtendsPropertiesComparer<Inferred, Left, Right>> = (Compared extends Result.TExtendsTrueLike<infer ComparedInferred extends TProperties> ? Result.TExtendsTrue<Memory.TAssign<Inferred, ComparedInferred>> : Result.TExtendsFalse);
-type TExtendsObjectToObject<Inferred extends TProperties, Left extends TProperties, Right extends TProperties> = (TExtendsProperties<Inferred, Left, Right>);
-export type TExtendsObject<Inferred extends TProperties, Left extends TProperties, Right extends TSchema> = (Right extends TObject<infer Properties extends TProperties> ? TExtendsObjectToObject<Inferred, Left, Properties> : TExtendsRight<Inferred, TObject<Left>, Right>);
-export declare function ExtendsObject<Inferred extends TProperties, Left extends TProperties, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsObject<Inferred, Left, Right>;
-export {};

package/build/cjs/type/extends/object.js

@@ -1,92 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsObject = ExtendsObject;
-const index_1 = require("../../system/unreachable/index");
-const index_2 = require("../../system/memory/index");
-const index_3 = require("../../guard/index");
-const _optional_1 = require("../types/_optional");
-const infer_1 = require("../types/infer");
-const never_1 = require("../types/never");
-const object_1 = require("../types/object");
-const extends_left_1 = require("./extends-left");
-const extends_right_1 = require("./extends-right");
-const Result = require("./result");
-function ExtendsPropertyOptional(inferred, left, right) {
-    return ((0, _optional_1.IsOptional)(left)
-        ? (0, _optional_1.IsOptional)(right)
-            ? Result.ExtendsTrue(inferred)
-            : Result.ExtendsFalse()
-        : Result.ExtendsTrue(inferred));
-}
-function ExtendsProperty(inferred, left, right) {
-    return (
-    // Right TInfer<TNever> is TExtendsFalse
-    (0, infer_1.IsInfer)(right) && (0, never_1.IsNever)(right.extends) ? Result.ExtendsFalse() : (() => {
-        const check = (0, extends_left_1.ExtendsLeft)(inferred, left, right);
-        return (Result.IsExtendsTrueLike(check)
-            ? ExtendsPropertyOptional(check.inferred, left, right)
-            : Result.ExtendsFalse());
-    })());
-}
-function ExtractInferredProperties(keys, properties) {
-    return keys.reduce((result, key) => {
-        return key in properties
-            ? Result.IsExtendsTrueLike(properties[key])
-                // @ts-ignore 5.0.4 cannot see `.inferred`
-                ? { ...result, ...properties[key].inferred }
-                : (0, index_1.Unreachable)() // result
-            : (0, index_1.Unreachable)(); // result
-    }, {});
-}
-function ExtendsPropertiesComparer(inferred, left, right) {
-    const properties = {};
-    for (const rightKey of index_3.Guard.Keys(right)) {
-        properties[rightKey] = (rightKey in left
-            // We don't consider the exterior Inferred as part of the property check as
-            // we don't want the exterior Context to override the Inferred Context for
-            // the Property Key. This override behavior is observed in the following
-            // case we want the inferred A to shadow the exterior A.
-            //
-            // const A = Type.Script(`{ x: 1, y: 1 }`)
-            // const S = Type.Script({ A }, `{
-            //   [K in keyof A]: A extends { 
-            //     x: infer A, 
-            //     y: infer B 
-            //   } ? [A, B]   <-- inferred 'A' shadows the exterior 'A'
-            //     : never
-            // }`)
-            ? ExtendsProperty({}, left[rightKey], right[rightKey])
-            // If the right key K is not in left, but the right property is optional
-            // then we say this property is permissable. This is because an optional
-            // property on right is the same as property missing in left. If the
-            // right is infer, then we just assign the extend type to inferred.
-            : (0, _optional_1.IsOptional)(right[rightKey])
-                ? (0, infer_1.IsInfer)(right[rightKey])
-                    // @ts-ignore 5.0.1 - cannot observe extend in right[rightKey].extends
-                    ? Result.ExtendsTrue(index_2.Memory.Assign(inferred, { [right[rightKey].name]: right[rightKey].extends }))
-                    : Result.ExtendsTrue(inferred)
-                : Result.ExtendsFalse());
-    }
-    // Check if all properties are ExtendsTrueLike
-    const checked = index_3.Guard.Values(properties).every(result => Result.IsExtendsTrueLike(result));
-    // Extract inferred results from properties, but only if the check is true.
-    const extracted = checked ? ExtractInferredProperties(index_3.Guard.Keys(properties), properties) : {};
-    return (checked
-        ? Result.ExtendsTrue(extracted)
-        : Result.ExtendsFalse());
-}
-function ExtendsProperties(inferred, left, right) {
-    const compared = ExtendsPropertiesComparer(inferred, left, right);
-    return (Result.IsExtendsTrueLike(compared)
-        ? Result.ExtendsTrue(index_2.Memory.Assign(inferred, compared.inferred))
-        : Result.ExtendsFalse());
-}
-function ExtendsObjectToObject(inferred, left, right) {
-    return ExtendsProperties(inferred, left, right);
-}
-function ExtendsObject(inferred, left, right) {
-    return ((0, object_1.IsObject)(right)
-        ? ExtendsObjectToObject(inferred, left, right.properties)
-        : (0, extends_right_1.ExtendsRight)(inferred, (0, object_1.Object)(left), right));
-}

package/build/cjs/type/extends/parameters.d.ts

@@ -1,15 +0,0 @@
-import { type TInfer } from '../types/infer';
-import { type TSchema } from '../types/schema';
-import { type TOptional } from '../types/_optional';
-import { type TProperties } from '../types/properties';
-import { type TExtendsLeft } from './extends-left';
-import * as Result from './result';
-type TParameterCompare<Inferred extends TProperties, Left extends TSchema, LeftRest extends TSchema[], Right extends TSchema, RightRest extends TSchema[], CheckLeft extends TSchema = Right extends TInfer ? Left : Right, CheckRight extends TSchema = Right extends TInfer ? Right : Left, IsLeftOptional extends boolean = Left extends TOptional ? true : false, IsRightOptional extends boolean = Right extends TOptional ? true : false> = ([
-    IsLeftOptional,
-    IsRightOptional
-] extends [false, true] ? Result.TExtendsFalse : TExtendsLeft<Inferred, CheckLeft, CheckRight> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? TExtendsParameters<Inferred, LeftRest, RightRest> : Result.TExtendsFalse);
-type TParameterRight<Inferred extends TProperties, Left extends TSchema, LeftRest extends TSchema[], RightRest extends TSchema[]> = (RightRest extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TParameterCompare<Inferred, Left, LeftRest, Head, Tail> : Left extends TOptional ? Result.TExtendsTrue<Inferred> : Result.TExtendsFalse);
-type TParameterLeft<Inferred extends TProperties, LeftRest extends TSchema[], RightRest extends TSchema[]> = (LeftRest extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TParameterRight<Inferred, Head, Tail, RightRest> : Result.TExtendsTrue<Inferred>);
-export type TExtendsParameters<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema[]> = TParameterLeft<Inferred, Left, Right>;
-export declare function ExtendsParameters<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema[]>(inferred: Inferred, left: Left, right: Right): TExtendsParameters<Inferred, Left, Right>;
-export {};

package/build/cjs/type/extends/parameters.js

@@ -1,40 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsParameters = ExtendsParameters;
-const infer_1 = require("../types/infer");
-const schema_1 = require("../types/schema");
-const _optional_1 = require("../types/_optional");
-const extends_left_1 = require("./extends-left");
-const Result = require("./result");
-function ParameterCompare(inferred, left, leftRest, right, rightRest) {
-    // Parameter extends Right on Left, except when infer Right  
-    const checkLeft = (0, infer_1.IsInfer)(right) ? left : right;
-    const checkRight = (0, infer_1.IsInfer)(right) ? right : left;
-    const isLeftOptional = (0, _optional_1.IsOptional)(left);
-    const isRightOptional = (0, _optional_1.IsOptional)(right);
-    const check = (0, extends_left_1.ExtendsLeft)(inferred, checkLeft, checkRight);
-    return (!isLeftOptional && isRightOptional
-        ? Result.ExtendsFalse()
-        : Result.IsExtendsTrueLike(check)
-            ? ExtendsParameters(check.inferred, leftRest, rightRest)
-            : Result.ExtendsFalse());
-}
-function ParameterRight(inferred, left, leftRest, rightRest) {
-    const [head, ...tail] = rightRest;
-    return ((0, schema_1.IsSchema)(head)
-        ? ParameterCompare(inferred, left, leftRest, head, tail)
-        : (0, _optional_1.IsOptional)(left) // 'right-did-not-have-enough-elements'
-            ? Result.ExtendsTrue(inferred) // 'ok: left was optional'
-            : Result.ExtendsFalse() // 'fail: left was required'
-    );
-}
-function ParametersLeft(inferred, left, rightRest) {
-    const [head, ...tail] = left;
-    return ((0, schema_1.IsSchema)(head)
-        ? ParameterRight(inferred, head, tail, rightRest)
-        : Result.ExtendsTrue(inferred));
-}
-function ExtendsParameters(inferred, left, right) {
-    return ParametersLeft(inferred, left, right);
-}

package/build/cjs/type/extends/promise.d.ts

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

package/build/cjs/type/extends/promise.js

@@ -1,12 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsPromise = ExtendsPromise;
-const promise_1 = require("../types/promise");
-const extends_right_1 = require("./extends-right");
-const extends_left_1 = require("./extends-left");
-function ExtendsPromise(inferred, left, right) {
-    return ((0, promise_1.IsPromise)(right)
-        ? (0, extends_left_1.ExtendsLeft)(inferred, left, right.item)
-        : (0, extends_right_1.ExtendsRight)(inferred, (0, promise_1.Promise)(left), right));
-}

package/build/cjs/type/extends/result.d.ts

@@ -1,21 +0,0 @@
-import { TProperties } from '../types/properties';
-export type TResult = TExtendsUnion | TExtendsTrue | TExtendsFalse;
-export interface TExtendsUnion<Inferred extends TProperties = TProperties> {
-    '~kind': 'ExtendsUnion';
-    inferred: Inferred;
-}
-export declare function ExtendsUnion<Inferred extends TProperties>(inferred: TProperties): TExtendsUnion<Inferred>;
-export declare function IsExtendsUnion(value: unknown): value is TExtendsUnion;
-export interface TExtendsTrue<Inferred extends TProperties = TProperties> {
-    '~kind': 'ExtendsTrue';
-    inferred: Inferred;
-}
-export declare function ExtendsTrue<Inferred extends TProperties>(inferred: TProperties): TExtendsTrue<Inferred>;
-export declare function IsExtendsTrue(value: unknown): value is TExtendsTrue;
-export interface TExtendsFalse {
-    type: 'ExtendsFalse';
-}
-export declare function ExtendsFalse(): TExtendsFalse;
-export declare function IsExtendsFalse(value: unknown): value is TExtendsFalse;
-export type TExtendsTrueLike<Inferred extends TProperties = TProperties> = TExtendsUnion<Inferred> | TExtendsTrue<Inferred>;
-export declare function IsExtendsTrueLike(value: unknown): value is TExtendsTrueLike;

package/build/cjs/type/extends/result.js

@@ -1,42 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsUnion = ExtendsUnion;
-exports.IsExtendsUnion = IsExtendsUnion;
-exports.ExtendsTrue = ExtendsTrue;
-exports.IsExtendsTrue = IsExtendsTrue;
-exports.ExtendsFalse = ExtendsFalse;
-exports.IsExtendsFalse = IsExtendsFalse;
-exports.IsExtendsTrueLike = IsExtendsTrueLike;
-const index_1 = require("../../guard/index");
-const index_2 = require("../../system/memory/index");
-function ExtendsUnion(inferred) {
-    return index_2.Memory.Create({ ['~kind']: 'ExtendsUnion' }, { inferred });
-}
-function IsExtendsUnion(value) {
-    return index_1.Guard.IsObject(value) &&
-        index_1.Guard.HasPropertyKey(value, '~kind') &&
-        index_1.Guard.HasPropertyKey(value, 'inferred') &&
-        index_1.Guard.IsEqual(value['~kind'], 'ExtendsUnion') &&
-        index_1.Guard.IsObject(value.inferred);
-}
-function ExtendsTrue(inferred) {
-    return index_2.Memory.Create({ ['~kind']: 'ExtendsTrue' }, { inferred });
-}
-function IsExtendsTrue(value) {
-    return index_1.Guard.IsObject(value) &&
-        index_1.Guard.HasPropertyKey(value, '~kind') &&
-        index_1.Guard.HasPropertyKey(value, 'inferred') &&
-        index_1.Guard.IsEqual(value['~kind'], 'ExtendsTrue') &&
-        index_1.Guard.IsObject(value.inferred);
-}
-function ExtendsFalse() {
-    return index_2.Memory.Create({ ['~kind']: 'ExtendsFalse' }, {});
-}
-function IsExtendsFalse(value) {
-    return index_1.Guard.IsObject(value) &&
-        index_1.Guard.HasPropertyKey(value, '~kind') &&
-        index_1.Guard.IsEqual(value['~kind'], 'ExtendsFalse');
-}
-function IsExtendsTrueLike(value) {
-    return IsExtendsUnion(value) || IsExtendsTrue(value);
-}

package/build/cjs/type/extends/return-type.d.ts

@@ -1,7 +0,0 @@
-import { type TSchema } from '../types/schema';
-import { type TProperties } from '../types/properties';
-import { type TVoid } from '../types/void';
-import { type TExtendsLeft } from './extends-left';
-import * as Result from './result';
-export type TExtendsReturnType<Inferred extends TProperties, Left extends TSchema, Right extends TSchema> = (Right extends TVoid ? Result.TExtendsTrue<Inferred> : TExtendsLeft<Inferred, Left, Right>);
-export declare function ExtendsReturnType<Inferred extends TProperties, Left extends TSchema, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsReturnType<Inferred, Left, Right>;

package/build/cjs/type/extends/return-type.js

@@ -1,12 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsReturnType = ExtendsReturnType;
-const void_1 = require("../types/void");
-const extends_left_1 = require("./extends-left");
-const Result = require("./result");
-function ExtendsReturnType(inferred, left, right) {
-    return ((0, void_1.IsVoid)(right)
-        ? Result.ExtendsTrue(inferred)
-        : (0, extends_left_1.ExtendsLeft)(inferred, left, right));
-}

package/build/cjs/type/extends/string.d.ts

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

package/build/cjs/type/extends/string.js

@@ -1,12 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsString = ExtendsString;
-const string_1 = require("../types/string");
-const extends_right_1 = require("./extends-right");
-const Result = require("./result");
-function ExtendsString(inferred, left, right) {
-    return ((0, string_1.IsString)(right)
-        ? Result.ExtendsTrue(inferred)
-        : (0, extends_right_1.ExtendsRight)(inferred, left, right));
-}

package/build/cjs/type/extends/symbol.d.ts

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

package/build/cjs/type/extends/symbol.js

@@ -1,12 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsSymbol = ExtendsSymbol;
-const symbol_1 = require("../types/symbol");
-const extends_right_1 = require("./extends-right");
-const Result = require("./result");
-function ExtendsSymbol(inferred, left, right) {
-    return ((0, symbol_1.IsSymbol)(right)
-        ? Result.ExtendsTrue(inferred)
-        : (0, extends_right_1.ExtendsRight)(inferred, left, right));
-}

package/build/cjs/type/extends/template-literal.d.ts

@@ -1,6 +0,0 @@
-import { type TSchema } from '../types/schema';
-import { type TProperties } from '../types/properties';
-import { type TExtendsLeft } from './extends-left';
-import { type TTemplateLiteralDecode } from '../engine/template-literal/decode';
-export type TExtendsTemplateLiteral<Inferred extends TProperties, Left extends string, Right extends TSchema, Decoded extends TSchema = TTemplateLiteralDecode<Left>> = TExtendsLeft<Inferred, Decoded, Right>;
-export declare function ExtendsTemplateLiteral<Inferred extends TProperties, Left extends string, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsTemplateLiteral<Inferred, Left, Right>;

package/build/cjs/type/extends/template-literal.js

@@ -1,10 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsTemplateLiteral = ExtendsTemplateLiteral;
-const extends_left_1 = require("./extends-left");
-const decode_1 = require("../engine/template-literal/decode");
-function ExtendsTemplateLiteral(inferred, left, right) {
-    const decoded = (0, decode_1.TemplateLiteralDecode)(left);
-    return (0, extends_left_1.ExtendsLeft)(inferred, decoded, right);
-}

package/build/cjs/type/extends/tuple.d.ts

@@ -1,25 +0,0 @@
-import { type TSchema } from '../types/schema';
-import { type TProperties } from '../types/properties';
-import { type TArray } from '../types/array';
-import { type TTuple } from '../types/tuple';
-import { type TExtendsLeft } from './extends-left';
-import { type TExtendsRight } from './extends-right';
-import * as Result from './result';
-import { type TInstantiateElements } from '../engine/instantiate';
-import { type TTryRestInferable, type TTryInferable, type TInferable, type TInferTupleResult, type TInferUnionResult } from './inference';
-type TReverse<Types extends TSchema[], Result extends TSchema[] = []> = (Types extends [infer Left extends TSchema, ...infer Right extends TSchema[]] ? TReverse<Right, [Left, ...Result]> : Result);
-type TApplyReverse<Types extends TSchema[], Reversed extends boolean> = Reversed extends true ? TReverse<Types> : Types;
-type TReversed<Types extends TSchema[], First extends TSchema | undefined = Types extends [infer Left extends TSchema, ...infer _ extends TSchema[]] ? Left : undefined, Inferable extends TSchema | undefined = First extends TSchema ? TTryRestInferable<First> : undefined, Result extends boolean = Inferable extends TSchema ? true : false> = Result;
-type TElementsCompare<Inferred extends TProperties, Reversed extends boolean, Left extends TSchema, LeftRest extends TSchema[], Right extends TSchema, RightRest extends TSchema[]> = (TExtendsLeft<Inferred, Left, Right> extends Result.TExtendsTrueLike<infer CheckInferred extends TProperties> ? TElements<CheckInferred, Reversed, LeftRest, RightRest> : Result.TExtendsFalse);
-type TElementsLeft<Inferred extends TProperties, Reversed extends boolean, LeftRest extends TSchema[], Right extends TSchema, RightRest extends TSchema[], Inferable extends TInferable | undefined = TTryRestInferable<Right>> = (Inferable extends TInferable<infer Name extends string, infer Type extends TSchema> ? TInferTupleResult<Inferred, Name, TApplyReverse<LeftRest, Reversed>, Type> : LeftRest extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TElementsCompare<Inferred, Reversed, Head, Tail, Right, RightRest> : Result.TExtendsFalse);
-type TElementsRight<Inferred extends TProperties, Reversed extends boolean, LeftRest extends TSchema[], RightRest extends TSchema[]> = (RightRest extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TElementsLeft<Inferred, Reversed, LeftRest, Head, Tail> : LeftRest['length'] extends 0 ? Result.TExtendsTrue<Inferred> : Result.TExtendsFalse);
-type TElements<Inferred extends TProperties, Reversed extends boolean, LeftRest extends TSchema[], RightRest extends TSchema[]> = TElementsRight<Inferred, Reversed, LeftRest, RightRest>;
-type TExtendsTupleToTuple<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema[], InstantiatedRight extends TSchema[] = TInstantiateElements<Inferred, {
-    callstack: [];
-}, Right>, Reversed extends boolean = TReversed<InstantiatedRight>> = TElements<Inferred, Reversed, TApplyReverse<Left, Reversed>, TApplyReverse<InstantiatedRight, Reversed>>;
-type TExtendsTupleToArray<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema, Inferrable extends TInferable | undefined = TTryInferable<Right>> = (Inferrable extends TInferable<infer Name extends string, infer Type extends TSchema> ? TInferUnionResult<Inferred, Name, Left, Type> : Left extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TExtendsLeft<Inferred, Head, Right> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? TExtendsTupleToArray<Inferred, Tail, Right> : Result.TExtendsFalse : Result.TExtendsTrue<Inferred>);
-export type TExtendsTuple<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema, InstantiatedLeft extends TSchema[] = TInstantiateElements<Inferred, {
-    callstack: [];
-}, Left>> = (Right extends TTuple<infer Types extends TSchema[]> ? TExtendsTupleToTuple<Inferred, InstantiatedLeft, Types> : Right extends TArray<infer Type extends TSchema> ? TExtendsTupleToArray<Inferred, InstantiatedLeft, Type> : TExtendsRight<Inferred, TTuple<InstantiatedLeft>, Right>);
-export declare function ExtendsTuple<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsTuple<Inferred, Left, Right>;
-export {};