typebox 1.0.33 → 1.0.34

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

@@ -1,85 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsTuple = ExtendsTuple;
-const index_1 = require("../../guard/index");
-const schema_1 = require("../types/schema");
-const array_1 = require("../types/array");
-const tuple_1 = require("../types/tuple");
-const extends_left_1 = require("./extends-left");
-const extends_right_1 = require("./extends-right");
-const Result = require("./result");
-const instantiate_1 = require("../engine/instantiate");
-// ----------------------------------------------------------------------------
-// Inference
-// ----------------------------------------------------------------------------
-const inference_1 = require("./inference");
-function Reverse(types) {
-    return [...types].reverse();
-}
-function ApplyReverse(types, reversed) {
-    return (reversed ? Reverse(types) : types);
-}
-function Reversed(types) {
-    const first = types.length > 0 ? types[0] : undefined;
-    const inferrable = (0, schema_1.IsSchema)(first) ? (0, inference_1.TryRestInferable)(first) : undefined;
-    return (0, schema_1.IsSchema)(inferrable);
-}
-function ElementsCompare(inferred, reversed, left, leftRest, right, rightRest) {
-    const check = (0, extends_left_1.ExtendsLeft)(inferred, left, right);
-    return (Result.IsExtendsTrueLike(check)
-        ? Elements(check.inferred, reversed, leftRest, rightRest)
-        : Result.ExtendsFalse() // 'left-and-right-not-compared'
-    );
-}
-function ElementsLeft(inferred, reversed, leftRest, right, rightRest) {
-    const inferable = (0, inference_1.TryRestInferable)(right);
-    return ((0, inference_1.IsInferable)(inferable)
-        ? (0, inference_1.InferTupleResult)(inferred, inferable.name, ApplyReverse(leftRest, reversed), inferable.type)
-        : (() => {
-            const [head, ...tail] = leftRest;
-            return (0, schema_1.IsSchema)(head)
-                ? ElementsCompare(inferred, reversed, head, tail, right, rightRest)
-                : Result.ExtendsFalse();
-        })());
-}
-function ElementsRight(inferred, reversed, leftRest, rightRest) {
-    const [head, ...tail] = rightRest;
-    return ((0, schema_1.IsSchema)(head)
-        ? ElementsLeft(inferred, reversed, leftRest, head, tail)
-        : index_1.Guard.IsEqual(leftRest.length, 0)
-            ? Result.ExtendsTrue(inferred) // 'Ok: right-empty-and-left-empty'
-            : Result.ExtendsFalse() // 'Fail: right-empty-and-left-not-empty'
-    );
-}
-function Elements(inferred, reversed, leftRest, rightRest) {
-    return ElementsRight(inferred, reversed, leftRest, rightRest);
-}
-function ExtendsTupleToTuple(inferred, left, right) {
-    const instantiatedRight = (0, instantiate_1.InstantiateElements)(inferred, { callstack: [] }, right);
-    const reversed = Reversed(instantiatedRight);
-    return Elements(inferred, reversed, ApplyReverse(left, reversed), ApplyReverse(instantiatedRight, reversed));
-}
-function ExtendsTupleToArray(inferred, left, right) {
-    const inferrable = (0, inference_1.TryInferable)(right);
-    return ((0, inference_1.IsInferable)(inferrable)
-        // @ts-ignore 4.9.5 fails to see `type` property on inferrable
-        ? (0, inference_1.InferUnionResult)(inferred, inferrable.name, left, inferrable.type)
-        : (() => {
-            const [head, ...tail] = left;
-            return (0, schema_1.IsSchema)(head)
-                ? (() => {
-                    const check = (0, extends_left_1.ExtendsLeft)(inferred, head, right);
-                    return Result.IsExtendsTrueLike(check)
-                        ? ExtendsTupleToArray(check.inferred, tail, right)
-                        : Result.ExtendsFalse();
-                })()
-                : Result.ExtendsTrue(inferred);
-        })());
-}
-function ExtendsTuple(inferred, left, right) {
-    const instantiatedLeft = (0, instantiate_1.InstantiateElements)(inferred, { callstack: [] }, left);
-    return ((0, tuple_1.IsTuple)(right) ? ExtendsTupleToTuple(inferred, instantiatedLeft, right.items) :
-        (0, array_1.IsArray)(right) ? ExtendsTupleToArray(inferred, instantiatedLeft, right.items) :
-            (0, extends_right_1.ExtendsRight)(inferred, (0, tuple_1.Tuple)(instantiatedLeft), right));
-}

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

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

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

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

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

@@ -1,11 +0,0 @@
-import { type TProperties } from '../types/properties';
-import { type TSchema } from '../types/schema';
-import { type TUnion } from '../types/union';
-import { type TExtendsLeft } from './extends-left';
-import * as Result from './result';
-import { type TInferable, type TTryInferable, type TInferUnionResult } from './inference';
-type TExtendsUnionSome<Inferred extends TProperties, Type extends TSchema, UnionTypes extends TSchema[]> = (UnionTypes extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TExtendsLeft<Inferred, Type, Head> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? Result.TExtendsTrue<Inferred> : TExtendsUnionSome<Inferred, Type, Tail> : Result.TExtendsFalse);
-type TExtendsUnionLeft<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema[]> = (Left extends [infer Head extends TSchema, ...infer Tail extends TSchema[]] ? TExtendsUnionSome<Inferred, Head, Right> extends Result.TExtendsTrueLike<infer Inferred extends TProperties> ? TExtendsUnionLeft<Inferred, Tail, Right> : Result.TExtendsFalse : Result.TExtendsTrue<Inferred>);
-export type TExtendsUnion<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> : Right extends TUnion<infer Types extends TSchema[]> ? TExtendsUnionLeft<Inferred, Left, Types> : TExtendsUnionLeft<Inferred, Left, [Right]>);
-export declare function ExtendsUnion<Inferred extends TProperties, Left extends TSchema[], Right extends TSchema>(inferred: Inferred, left: [...Left], right: Right): TExtendsUnion<Inferred, Left, Right>;
-export {};

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

@@ -1,39 +0,0 @@
-"use strict";
-// deno-fmt-ignore-file
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ExtendsUnion = ExtendsUnion;
-const schema_1 = require("../types/schema");
-const union_1 = require("../types/union");
-const extends_left_1 = require("./extends-left");
-const Result = require("./result");
-// ----------------------------------------------------------------------------
-// Inference
-// ----------------------------------------------------------------------------
-const inference_1 = require("./inference");
-function ExtendsUnionSome(inferred, type, unionTypes) {
-    const [head, ...tail] = unionTypes;
-    return ((0, schema_1.IsSchema)(head) ? (() => {
-        const check = (0, extends_left_1.ExtendsLeft)(inferred, type, head);
-        return Result.IsExtendsTrueLike(check)
-            ? Result.ExtendsTrue(check.inferred)
-            : ExtendsUnionSome(inferred, type, tail);
-    })() : Result.ExtendsFalse());
-}
-function ExtendsUnionLeft(inferred, left, right) {
-    const [head, ...tail] = left;
-    return ((0, schema_1.IsSchema)(head) ? (() => {
-        const check = ExtendsUnionSome(inferred, head, right);
-        return Result.IsExtendsTrueLike(check)
-            ? ExtendsUnionLeft(check.inferred, tail, right)
-            : Result.ExtendsFalse();
-    })() : Result.ExtendsTrue(inferred));
-}
-function ExtendsUnion(inferred, left, right) {
-    const inferrable = (0, inference_1.TryInferable)(right);
-    return ((0, inference_1.IsInferable)(inferrable)
-        // @ts-ignore 4.9.5 fails to see `type` property on inferrable
-        ? (0, inference_1.InferUnionResult)(inferred, inferrable.name, left, inferrable.type)
-        : (0, union_1.IsUnion)(right)
-            ? ExtendsUnionLeft(inferred, left, right.anyOf)
-            : ExtendsUnionLeft(inferred, left, [right]));
-}

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

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

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

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

package/build/cjs/type/extends/void.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 TExtendsRight } from './extends-right';
-import * as Result from './result';
-export type TExtendsVoid<Inferred extends TProperties, Left extends TVoid, Right extends TSchema> = (Right extends TVoid ? Result.TExtendsTrue<Inferred> : TExtendsRight<Inferred, Left, Right>);
-export declare function ExtendsVoid<Inferred extends TProperties, Left extends TVoid, Right extends TSchema>(inferred: Inferred, left: Left, right: Right): TExtendsVoid<Inferred, Left, Right>;

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

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

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

@@ -1,5 +0,0 @@
-export * from './action/index';
-export * from './engine/index';
-export * from './extends/index';
-export * from './script/index';
-export * from './types/index';

package/build/cjs/type/index.js

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

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

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

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

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