@sinclair/typebox 0.32.0-dev-1 → 0.32.0-dev-2

package/type/readonly/readonly.js

@@ -1,37 +0,0 @@
-"use strict";
-/*--------------------------------------------------------------------------
-
-@sinclair/typebox/type
-
-The MIT License (MIT)
-
-Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in
-all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-THE SOFTWARE.
-
----------------------------------------------------------------------------*/
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Readonly = void 0;
-const index_1 = require("../symbols/index");
-const type_1 = require("../clone/type");
-/** `[Json]` Creates a Readonly property */
-function Readonly(schema) {
-    return { ...(0, type_1.CloneType)(schema), [index_1.ReadonlyKind]: 'Readonly' };
-}
-exports.Readonly = Readonly;

package/type/readonly-optional/index.d.ts

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

package/type/readonly-optional/readonly-optional.d.ts

@@ -1,6 +0,0 @@
-import type { TSchema } from '../schema/index';
-import { type TReadonly } from '../readonly/index';
-import { type TOptional } from '../optional/index';
-export type TReadonlyOptional<T extends TSchema> = TOptional<T> & TReadonly<T>;
-/** `[Json]` Creates a Readonly and Optional property */
-export declare function ReadonlyOptional<T extends TSchema>(schema: T): TReadonly<TOptional<T>>;

package/type/readonly-optional/readonly-optional.js

@@ -1,37 +0,0 @@
-"use strict";
-/*--------------------------------------------------------------------------
-
-@sinclair/typebox/type
-
-The MIT License (MIT)
-
-Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in
-all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-THE SOFTWARE.
-
----------------------------------------------------------------------------*/
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ReadonlyOptional = void 0;
-const index_1 = require("../readonly/index");
-const index_2 = require("../optional/index");
-/** `[Json]` Creates a Readonly and Optional property */
-function ReadonlyOptional(schema) {
-    return (0, index_1.Readonly)((0, index_2.Optional)(schema));
-}
-exports.ReadonlyOptional = ReadonlyOptional;

package/type/record/index.d.ts

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

package/type/record/record.d.ts

@@ -1,55 +0,0 @@
-import type { TSchema } from '../schema/index';
-import type { Static } from '../static/index';
-import type { Evaluate, Ensure, Assert } from '../helpers/index';
-import { type TObject, type TProperties, type TAdditionalProperties, type ObjectOptions } from '../object/index';
-import { type TLiteral, TLiteralValue } from '../literal/index';
-import { type TNever } from '../never/index';
-import { type TUnion } from '../union/index';
-import { type TString } from '../string/index';
-import { type TInteger } from '../integer/index';
-import { type TNumber } from '../number/index';
-import { type TEnum } from '../enum/index';
-import { TTemplateLiteral, IsTemplateLiteralFinite } from '../template-literal/index';
-import { Kind } from '../symbols/index';
-type FromTemplateLiteralKeyInfinite<_ extends TTemplateLiteral, T extends TSchema> = Ensure<TRecord<TString, T>>;
-type FromTemplateLiteralKeyFinite<K extends TTemplateLiteral, T extends TSchema, I extends string = Static<K>> = (Ensure<TObject<Evaluate<{
-    [_ in I]: T;
-}>>>);
-type FromTemplateLiteralKey<K extends TTemplateLiteral, T extends TSchema> = IsTemplateLiteralFinite<K> extends false ? FromTemplateLiteralKeyInfinite<K, T> : FromTemplateLiteralKeyFinite<K, T>;
-declare function FromTemplateLiteralKey<K extends TTemplateLiteral, T extends TSchema>(K: K, T: T): FromTemplateLiteralKey<K, T>;
-type FromEnumKey<K extends Record<string, string | number>, T extends TSchema> = Ensure<TObject<{
-    [_ in K[keyof K]]: T;
-}>>;
-type FromUnionKeyLiteralString<K extends TLiteral<string>, T extends TSchema> = {
-    [_ in K['const']]: T;
-};
-type FromUnionKeyLiteralNumber<K extends TLiteral<number>, T extends TSchema> = {
-    [_ in K['const']]: T;
-};
-type FromUnionKeyRest<K extends TSchema[], T extends TSchema> = K extends [infer L extends TSchema, ...infer R extends TSchema[]] ? (L extends TUnion<infer S> ? FromUnionKeyRest<S, T> & FromUnionKeyRest<R, T> : L extends TLiteral<string> ? FromUnionKeyLiteralString<L, T> & FromUnionKeyRest<R, T> : L extends TLiteral<number> ? FromUnionKeyLiteralNumber<L, T> & FromUnionKeyRest<R, T> : {}) : {};
-type FromUnionKey<K extends TSchema[], T extends TSchema, P extends TProperties = FromUnionKeyRest<K, T>> = (Ensure<TObject<P>>);
-declare function FromUnionKey<K extends TSchema[], T extends TSchema>(K: K, T: T): FromUnionKey<K, T>;
-type FromLiteralKey<K extends TLiteralValue, T extends TSchema> = (Ensure<TObject<{
-    [_ in Assert<K, PropertyKey>]: T;
-}>>);
-declare function FromLiteralKey<K extends TLiteralValue, T extends TSchema>(K: K, T: T): FromLiteralKey<K, T>;
-type FromStringKey<_ extends TString, T extends TSchema> = (Ensure<TRecord<TString, T>>);
-declare function FromStringKey<K extends TString, T extends TSchema>(K: K, T: T): FromStringKey<K, T>;
-type FromIntegerKey<_ extends TSchema, T extends TSchema> = (Ensure<TRecord<TNumber, T>>);
-declare function FromIntegerKey<K extends TInteger, T extends TSchema>(_: K, T: T): FromIntegerKey<K, T>;
-type FromNumberKey<_ extends TSchema, T extends TSchema> = (Ensure<TRecord<TNumber, T>>);
-declare function FromNumberKey<K extends TNumber, T extends TSchema>(_: K, T: T): FromIntegerKey<K, T>;
-export type RecordResolve<K extends TSchema, T extends TSchema> = K extends TEnum<infer S> ? FromEnumKey<S, T> : K extends TUnion<infer S> ? FromUnionKey<S, T> : K extends TTemplateLiteral ? FromTemplateLiteralKey<K, T> : K extends TLiteral<infer S> ? FromLiteralKey<S, T> : K extends TInteger ? FromIntegerKey<K, T> : K extends TNumber ? FromNumberKey<K, T> : K extends TString ? FromStringKey<K, T> : TNever;
-export declare function RecordResolve<K extends TSchema, T extends TSchema>(K: K, T: T): RecordResolve<K, T>;
-export interface TRecord<K extends TSchema = TSchema, T extends TSchema = TSchema> extends TSchema {
-    [Kind]: 'Record';
-    static: Record<Assert<Static<K>, string | number>, Static<T, this['params']>>;
-    type: 'object';
-    patternProperties: {
-        [pattern: string]: T;
-    };
-    additionalProperties: TAdditionalProperties;
-}
-/** `[Json]` Creates a Record type */
-export declare function Record<K extends TSchema, T extends TSchema>(K: K, T: T, options?: ObjectOptions): RecordResolve<K, T>;
-export {};

package/type/record/record.js

@@ -1,97 +0,0 @@
-"use strict";
-/*--------------------------------------------------------------------------
-
-@sinclair/typebox/type
-
-The MIT License (MIT)
-
-Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in
-all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-THE SOFTWARE.
-
----------------------------------------------------------------------------*/
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Record = exports.RecordResolve = void 0;
-const index_1 = require("../object/index");
-const index_2 = require("../never/index");
-const index_3 = require("../union/index");
-const index_4 = require("../template-literal/index");
-const index_5 = require("../patterns/index");
-const index_6 = require("../indexed/index");
-const index_7 = require("../symbols/index");
-const type_1 = require("../clone/type");
-const value_1 = require("../guard/value");
-const type_2 = require("../guard/type");
-// ------------------------------------------------------------------
-// FromPattern | FromKeys
-// ------------------------------------------------------------------
-// prettier-ignore
-function FromPattern(pattern, T) {
-    return { [index_7.Kind]: 'Record', type: 'object', patternProperties: { [pattern]: (0, type_1.CloneType)(T) } };
-}
-// prettier-ignore
-function FromKeys(keys, T) {
-    const properties = keys.reduce((acc, key) => ({ ...acc, [key]: (0, type_1.CloneType)(T) }), {});
-    return (0, index_1.Object)(properties, { [index_7.Hint]: 'Record' });
-}
-// prettier-ignore
-function FromTemplateLiteralKey(K, T) {
-    const expression = (0, index_4.TemplateLiteralParseExact)(K.pattern);
-    return ((0, index_4.IsTemplateLiteralFinite)(expression)
-        ? FromKeys((0, index_6.IndexedKeyResolve)(K), T)
-        : FromPattern(K.pattern, T));
-}
-// prettier-ignore
-function FromUnionKey(K, T) {
-    return FromKeys((0, index_6.IndexedKeyResolve)((0, index_3.Union)(K)), T);
-}
-// prettier-ignore
-function FromLiteralKey(K, T) {
-    return FromKeys([K.toString()], T);
-}
-// prettier-ignore
-function FromStringKey(K, T) {
-    const pattern = (0, value_1.IsUndefined)(K.pattern) ? index_5.PatternStringExact : K.pattern;
-    return FromPattern(pattern, T);
-}
-// prettier-ignore
-function FromIntegerKey(_, T) {
-    return FromPattern(index_5.PatternNumberExact, T);
-}
-// prettier-ignore
-function FromNumberKey(_, T) {
-    return FromPattern(index_5.PatternNumberExact, T);
-}
-// prettier-ignore
-function RecordResolve(K, T) {
-    return ((0, type_2.TUnion)(K) ? FromUnionKey(K.anyOf, T) :
-        (0, type_2.TTemplateLiteral)(K) ? FromTemplateLiteralKey(K, T) :
-            (0, type_2.TLiteral)(K) ? FromLiteralKey(K.const, T) :
-                (0, type_2.TString)(K) ? FromStringKey(K, T) :
-                    (0, type_2.TInteger)(K) ? FromIntegerKey(K, T) :
-                        (0, type_2.TNumber)(K) ? FromNumberKey(K, T) :
-                            (0, index_2.Never)());
-}
-exports.RecordResolve = RecordResolve;
-// prettier-ignore
-/** `[Json]` Creates a Record type */
-function Record(K, T, options = {}) {
-    return (0, type_1.CloneType)(RecordResolve(K, T), options);
-}
-exports.Record = Record;

package/type/recursive/index.d.ts

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

package/type/recursive/recursive.d.ts

@@ -1,15 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import { Kind, Hint } from '../symbols/index';
-import { Static } from '../static/index';
-export interface TThis extends TSchema {
-    [Kind]: 'This';
-    static: this['params'][0];
-    $ref: string;
-}
-export type RecursiveResolve<T extends TSchema> = Static<T, [RecursiveResolve<T>]>;
-export interface TRecursive<T extends TSchema> extends TSchema {
-    [Hint]: 'Recursive';
-    static: RecursiveResolve<T>;
-}
-/** `[Json]` Creates a Recursive type */
-export declare function Recursive<T extends TSchema>(callback: (thisType: TThis) => T, options?: SchemaOptions): TRecursive<T>;

package/type/recursive/recursive.js

@@ -1,48 +0,0 @@
-"use strict";
-/*--------------------------------------------------------------------------
-
-@sinclair/typebox/type
-
-The MIT License (MIT)
-
-Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in
-all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-THE SOFTWARE.
-
----------------------------------------------------------------------------*/
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Recursive = void 0;
-const type_1 = require("../clone/type");
-const value_1 = require("../guard/value");
-const index_1 = require("../symbols/index");
-// Auto Tracked For Recursive Types without ID's
-let Ordinal = 0;
-/** `[Json]` Creates a Recursive type */
-function Recursive(callback, options = {}) {
-    if ((0, value_1.IsUndefined)(options.$id))
-        options.$id = `T${Ordinal++}`;
-    const thisType = callback({ [index_1.Kind]: 'This', $ref: `${options.$id}` });
-    thisType.$id = options.$id;
-    return (0, type_1.CloneType)({
-        ...options,
-        [index_1.Hint]: 'Recursive',
-        ...thisType,
-    });
-}
-exports.Recursive = Recursive;

package/type/ref/index.d.ts

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

package/type/ref/ref.d.ts

@@ -1,12 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import type { Static } from '../static/index';
-import { Kind } from '../symbols/index';
-export interface TRef<T extends TSchema = TSchema> extends TSchema {
-    [Kind]: 'Ref';
-    static: Static<T, this['params']>;
-    $ref: string;
-}
-/** `[Json]` Creates a Ref type. The referenced type must contain a $id */
-export declare function Ref<T extends TSchema>(schema: T, options?: SchemaOptions): TRef<T>;
-/** `[Json]` Creates a Ref type. */
-export declare function Ref<T extends TSchema>($ref: string, options?: SchemaOptions): TRef<T>;

package/type/ref/ref.js

@@ -1,45 +0,0 @@
-"use strict";
-/*--------------------------------------------------------------------------
-
-@sinclair/typebox/type
-
-The MIT License (MIT)
-
-Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in
-all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-THE SOFTWARE.
-
----------------------------------------------------------------------------*/
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Ref = void 0;
-const index_1 = require("../symbols/index");
-const value_1 = require("../guard/value");
-/** `[Json]` Creates a Ref type. */
-function Ref(unresolved, options = {}) {
-    if ((0, value_1.IsString)(unresolved))
-        return { ...options, [index_1.Kind]: 'Ref', $ref: unresolved };
-    if ((0, value_1.IsUndefined)(unresolved.$id))
-        throw new Error('Reference target type must specify an $id');
-    return {
-        ...options,
-        [index_1.Kind]: 'Ref',
-        $ref: unresolved.$id,
-    };
-}
-exports.Ref = Ref;

package/type/regexp/index.d.ts

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

package/type/regexp/regexp.d.ts

@@ -1,7 +0,0 @@
-import type { SchemaOptions } from '../schema/index';
-import type { TString } from '../string/index';
-export type TRegExp = TString;
-/** `[JavaScript]` Creates a String type from a Regular Expression pattern */
-export declare function RegExp(pattern: string, options?: SchemaOptions): TRegExp;
-/** `[JavaScript]` Creates a String type from a Regular Expression */
-export declare function RegExp(regex: RegExp, options?: SchemaOptions): TRegExp;

package/type/regexp/regexp.js

@@ -1,38 +0,0 @@
-"use strict";
-/*--------------------------------------------------------------------------
-
-@sinclair/typebox/type
-
-The MIT License (MIT)
-
-Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in
-all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-THE SOFTWARE.
-
----------------------------------------------------------------------------*/
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.RegExp = void 0;
-const value_1 = require("../guard/value");
-const index_1 = require("../symbols/index");
-/** `[JavaScript]` Creates a String type */
-function RegExp(unresolved, options = {}) {
-    const pattern = (0, value_1.IsString)(unresolved) ? unresolved : unresolved.source;
-    return { ...options, [index_1.Kind]: 'String', type: 'string', pattern };
-}
-exports.RegExp = RegExp;

package/type/registry/index.d.ts

@@ -1,2 +0,0 @@
-export * as FormatRegistry from './format';
-export * as TypeRegistry from './type';

package/type/required/index.d.ts

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

package/type/required/required.d.ts

@@ -1,23 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import type { Evaluate } from '../helpers/index';
-import { type TReadonlyOptional } from '../readonly-optional/index';
-import { type TOptional } from '../optional/index';
-import { type TReadonly } from '../readonly/index';
-import { type TRecursive } from '../recursive/index';
-import { type TIntersect } from '../intersect/index';
-import { type TUnion } from '../union/index';
-import { type TObject, type TProperties } from '../object/index';
-type FromIntersect<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [RequiredResolve<L>, ...FromIntersect<R>] : []);
-declare function FromIntersect<T extends TSchema[]>(T: [...T]): FromIntersect<T>;
-type FromUnion<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [RequiredResolve<L>, ...FromUnion<R>] : []);
-declare function FromUnion<T extends TSchema[]>(T: [...T]): FromUnion<T>;
-type FromProperties<T extends TProperties> = Evaluate<{
-    [K in keyof T]: T[K] extends (TReadonlyOptional<infer S>) ? TReadonly<S> : T[K] extends (TReadonly<infer S>) ? TReadonly<S> : T[K] extends (TOptional<infer S>) ? S : T[K];
-}>;
-declare function FromProperties<T extends TProperties>(T: T): TProperties;
-export type RequiredResolve<T extends TSchema> = (T extends TRecursive<infer S> ? TRecursive<RequiredResolve<S>> : T extends TIntersect<infer S> ? TIntersect<FromIntersect<S>> : T extends TUnion<infer S> ? TUnion<FromUnion<S>> : T extends TObject<infer S> ? TObject<FromProperties<S>> : TObject<{}>);
-export declare function RequiredResolve<T extends TSchema>(T: T): RequiredResolve<T>;
-export type TRequired<T extends TSchema> = RequiredResolve<T>;
-/** `[Json]` Constructs a type where all properties are required */
-export declare function Required<T extends TSchema>(T: T, options?: SchemaOptions): TRequired<T>;
-export {};

package/type/required/required.js

@@ -1,72 +0,0 @@
-"use strict";
-/*--------------------------------------------------------------------------
-
-@sinclair/typebox/type
-
-The MIT License (MIT)
-
-Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in
-all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-THE SOFTWARE.
-
----------------------------------------------------------------------------*/
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Required = exports.RequiredResolve = void 0;
-const index_1 = require("../intersect/index");
-const index_2 = require("../union/index");
-const index_3 = require("../object/index");
-const index_4 = require("../symbols/index");
-const type_1 = require("../clone/type");
-const index_5 = require("../discard/index");
-const type_2 = require("../guard/type");
-// prettier-ignore
-function FromIntersect(T) {
-    const [L, ...R] = T;
-    return (T.length > 0
-        ? [RequiredResolve(L), ...FromIntersect(R)]
-        : []);
-}
-// prettier-ignore
-function FromUnion(T) {
-    const [L, ...R] = T;
-    return (T.length > 0
-        ? [RequiredResolve(L), ...FromUnion(R)]
-        : []);
-}
-// prettier-ignore
-function FromProperties(T) {
-    return globalThis.Object.getOwnPropertyNames(T).reduce((Acc, K) => {
-        return { ...Acc, [K]: (0, index_5.Discard)(T[K], [index_4.OptionalKind]) };
-    }, {});
-}
-// prettier-ignore
-function RequiredResolve(T) {
-    return ((0, type_2.TIntersect)(T) ? (0, index_1.Intersect)(FromIntersect(T.allOf)) :
-        (0, type_2.TUnion)(T) ? (0, index_2.Union)(FromUnion(T.anyOf)) :
-            (0, type_2.TObject)(T) ? (0, index_3.Object)(FromProperties(T.properties)) :
-                (0, index_3.Object)({}));
-}
-exports.RequiredResolve = RequiredResolve;
-/** `[Json]` Constructs a type where all properties are required */
-function Required(T, options = {}) {
-    const D = (0, index_5.Discard)(T, [index_4.TransformKind, '$id', 'required']);
-    const R = (0, type_1.CloneType)(RequiredResolve(T), options);
-    return { ...D, ...R };
-}
-exports.Required = Required;

package/type/rest/index.d.ts

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

package/type/rest/rest.d.ts

@@ -1,10 +0,0 @@
-import type { TSchema } from '../schema/index';
-import type { TIntersect } from '../intersect/index';
-import type { TUnion } from '../union/index';
-import type { TTuple } from '../tuple/index';
-export type RestResolve<T extends TSchema> = T extends TIntersect<infer S> ? [...S] : T extends TUnion<infer S> ? [...S] : T extends TTuple<infer S> ? [...S] : [
-];
-export declare function RestResolve<T extends TSchema>(T: T): RestResolve<T>;
-export type TRest<T extends TSchema> = RestResolve<T>;
-/** `[Json]` Extracts interior Rest elements from Tuple, Intersect and Union types */
-export declare function Rest<T extends TSchema>(T: T): TRest<T>;

package/type/rest/rest.js

@@ -1,41 +0,0 @@
-"use strict";
-/*--------------------------------------------------------------------------
-
-@sinclair/typebox/type
-
-The MIT License (MIT)
-
-Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in
-all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-THE SOFTWARE.
-
----------------------------------------------------------------------------*/
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.Rest = exports.RestResolve = void 0;
-const type_1 = require("../clone/type");
-const type_2 = require("../guard/type");
-function RestResolve(T) {
-    return ((0, type_2.TIntersect)(T) ? [...T.allOf] : (0, type_2.TUnion)(T) ? [...T.anyOf] : (0, type_2.TTuple)(T) ? [...(T.items ?? [])] : []);
-}
-exports.RestResolve = RestResolve;
-/** `[Json]` Extracts interior Rest elements from Tuple, Intersect and Union types */
-function Rest(T) {
-    return (0, type_1.CloneRest)(RestResolve(T));
-}
-exports.Rest = Rest;

package/type/return-type/index.d.ts

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

package/type/return-type/return-type.d.ts

@@ -1,5 +0,0 @@
-import type { SchemaOptions } from '../schema/index';
-import type { TFunction } from '../function/index';
-export type TReturnType<T extends TFunction> = T['returns'];
-/** `[JavaScript]` Extracts the ReturnType from the given Function type */
-export declare function ReturnType<T extends TFunction<any[], any>>(schema: T, options?: SchemaOptions): TReturnType<T>;

package/type/return-type/return-type.js

@@ -1,36 +0,0 @@
-"use strict";
-/*--------------------------------------------------------------------------
-
-@sinclair/typebox/type
-
-The MIT License (MIT)
-
-Copyright (c) 2017-2023 Haydn Paterson (sinclair) <haydn.developer@gmail.com>
-
-Permission is hereby granted, free of charge, to any person obtaining a copy
-of this software and associated documentation files (the "Software"), to deal
-in the Software without restriction, including without limitation the rights
-to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
-copies of the Software, and to permit persons to whom the Software is
-furnished to do so, subject to the following conditions:
-
-The above copyright notice and this permission notice shall be included in
-all copies or substantial portions of the Software.
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
-FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
-AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
-LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
-OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
-THE SOFTWARE.
-
----------------------------------------------------------------------------*/
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.ReturnType = void 0;
-const type_1 = require("../clone/type");
-/** `[JavaScript]` Extracts the ReturnType from the given Function type */
-function ReturnType(schema, options = {}) {
-    return (0, type_1.CloneType)(schema.returns, options);
-}
-exports.ReturnType = ReturnType;