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

package/type/keyof/index.d.ts

@@ -1,3 +0,0 @@
-export * from './keyof-string';
-export * from './keyof-type';
-export * from './keyof';

package/type/keyof/keyof-string.d.ts

@@ -1,30 +0,0 @@
-import type { TSchema } from '../schema/index';
-import { type ZeroString, type UnionToTuple, Increment } from '../helpers/index';
-import type { TRecursive } from '../recursive/index';
-import type { TIntersect } from '../intersect/index';
-import type { TUnion } from '../union/index';
-import type { TTuple } from '../tuple/index';
-import type { TArray } from '../array/index';
-import type { TObject, TProperties } from '../object/index';
-import { OperatorUnionMany, OperatorIntersectMany } from '../operators/index';
-type FromRest<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [KeyOfStringResolve<L>, ...FromRest<R>] : []);
-declare function FromRest<T extends TSchema[]>(T: [...T]): FromRest<T>;
-type FromIntersect<T extends TSchema[], C extends PropertyKey[][] = FromRest<T>> = (OperatorUnionMany<C>);
-declare function FromIntersect<T extends TSchema[]>(T: [...T], C?: FromRest<T>): FromIntersect<T>;
-type FromUnion<T extends TSchema[], C extends PropertyKey[][] = FromRest<T>> = (OperatorIntersectMany<C>);
-declare function FromUnion<T extends TSchema[]>(T: [...T]): FromUnion<T>;
-type FromTuple<T extends TSchema[], I extends string = ZeroString> = T extends [infer _ extends TSchema, ...infer R extends TSchema[]] ? [I, ...FromTuple<R, Increment<I>>] : [];
-declare function FromTuple<T extends TSchema[]>(T: [...T], I?: string): FromTuple<T>;
-type FromArray<_ extends TSchema> = ([
-    '[number]'
-]);
-declare function FromArray<_ extends TSchema>(_: _): FromArray<_>;
-type FromProperties<T extends TProperties> = (UnionToTuple<keyof T>);
-declare function FromProperties<T extends TProperties>(T: T): FromProperties<T>;
-export type KeyOfStringResolve<T extends TSchema> = (T extends TRecursive<infer S> ? KeyOfStringResolve<S> : T extends TIntersect<infer S> ? FromIntersect<S> : T extends TUnion<infer S> ? FromUnion<S> : T extends TTuple<infer S> ? FromTuple<S> : T extends TArray<infer S> ? FromArray<S> : T extends TObject<infer S> ? FromProperties<S> : [
-]);
-/** Resolves finite keys from this type */
-export declare function KeyOfStringResolve<T extends TSchema>(T: T): KeyOfStringResolve<T>;
-/** Resolves keys as a regular expression, including pattern property keys */
-export declare function KeyOfStringResolvePattern(schema: TSchema): string;
-export {};

package/type/keyof/keyof-string.js

@@ -1,103 +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.KeyOfStringResolvePattern = exports.KeyOfStringResolve = void 0;
-const index_1 = require("../helpers/index");
-const index_2 = require("../operators/index");
-const type_1 = require("../guard/type");
-// prettier-ignore
-function FromRest(T) {
-    const [L, ...R] = T;
-    return (T.length > 0
-        ? [KeyOfStringResolve(L), ...FromRest(R)]
-        : []);
-}
-// prettier-ignore
-function FromIntersect(T, C = FromRest(T)) {
-    return (0, index_2.OperatorUnionMany)(C);
-}
-// prettier-ignore
-function FromUnion(T) {
-    const C = FromRest(T);
-    return (0, index_2.OperatorIntersectMany)(C);
-}
-// prettier-ignore
-function FromTuple(T, I = '0') {
-    const [_, ...R] = T;
-    return (T.length > 0
-        ? [I, ...FromTuple(R, (0, index_1.Increment)(I))]
-        : []);
-}
-// prettier-ignore
-function FromArray(_) {
-    return (['[number]']);
-}
-// prettier-ignore
-function FromProperties(T) {
-    return (globalThis.Object.getOwnPropertyNames(T));
-}
-// ------------------------------------------------------------------
-// FromPatternProperties
-// ------------------------------------------------------------------
-// prettier-ignore
-function FromPatternProperties(patternProperties) {
-    if (!includePatternProperties)
-        return [];
-    const patternPropertyKeys = globalThis.Object.getOwnPropertyNames(patternProperties);
-    return patternPropertyKeys.map(key => {
-        return (key[0] === '^' && key[key.length - 1] === '$')
-            ? key.slice(1, key.length - 1)
-            : key;
-    });
-}
-/** Resolves finite keys from this type */
-// prettier-ignore
-function KeyOfStringResolve(T) {
-    return ((0, type_1.TIntersect)(T) ? FromIntersect(T.allOf) :
-        (0, type_1.TUnion)(T) ? FromUnion(T.anyOf) :
-            (0, type_1.TTuple)(T) ? FromTuple(T.items ?? []) :
-                (0, type_1.TArray)(T) ? FromArray(T.items) :
-                    (0, type_1.TObject)(T) ? FromProperties(T.properties) :
-                        (0, type_1.TRecord)(T) ? FromPatternProperties(T.patternProperties) :
-                            []);
-}
-exports.KeyOfStringResolve = KeyOfStringResolve;
-// ----------------------------------------------------------------
-// KeyOfStringResolvePattern
-// ----------------------------------------------------------------
-let includePatternProperties = false;
-/** Resolves keys as a regular expression, including pattern property keys */
-function KeyOfStringResolvePattern(schema) {
-    includePatternProperties = true;
-    const keys = KeyOfStringResolve(schema);
-    includePatternProperties = false;
-    const pattern = keys.map((key) => `(${key})`);
-    return `^(${pattern.join('|')})$`;
-}
-exports.KeyOfStringResolvePattern = KeyOfStringResolvePattern;

package/type/keyof/keyof-type.d.ts

@@ -1,11 +0,0 @@
-import type { TSchema } from '../schema/index';
-import type { Ensure } from '../helpers/index';
-import { type TLiteral, TLiteralValue } from '../literal/index';
-import { type TNumber } from '../number/index';
-import { KeyOfStringResolve } from './keyof-string';
-import { UnionResolve } from '../union/index';
-type FromLiterals<T extends TLiteralValue[]> = (T extends [infer L extends TLiteralValue, ...infer R extends TLiteralValue[]] ? L extends '[number]' ? [TNumber, ...FromLiterals<R>] : [TLiteral<L>, ...FromLiterals<R>] : []);
-declare function FromLiterals<T extends TLiteralValue[]>(T: [...T]): FromLiterals<T>;
-export type KeyOfTypeResolve<T extends TSchema> = (Ensure<UnionResolve<FromLiterals<KeyOfStringResolve<T>>>>);
-export declare function KeyOfTypeResolve<T extends TSchema>(T: T): KeyOfTypeResolve<T>;
-export {};

package/type/keyof/keyof-type.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.KeyOfTypeResolve = void 0;
-const index_1 = require("../literal/index");
-const index_2 = require("../number/index");
-const keyof_string_1 = require("./keyof-string");
-const index_3 = require("../union/index");
-// prettier-ignore
-function FromLiterals(T) {
-    const [L, ...R] = T;
-    return (T.length > 0
-        ? L === '[number]'
-            ? [(0, index_2.Number)(), ...FromLiterals(R)]
-            : [(0, index_1.Literal)(L), ...FromLiterals(R)]
-        : []);
-}
-// prettier-ignore
-function KeyOfTypeResolve(T) {
-    return ((0, index_3.UnionResolve)(FromLiterals((0, keyof_string_1.KeyOfStringResolve)(T))));
-}
-exports.KeyOfTypeResolve = KeyOfTypeResolve;

package/type/keyof/keyof.d.ts

@@ -1,5 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import { KeyOfTypeResolve } from './keyof-type';
-export type TKeyOf<T extends TSchema> = KeyOfTypeResolve<T>;
-/** `[Json]` Creates a KeyOf type */
-export declare function KeyOf<T extends TSchema>(schema: T, options?: SchemaOptions): KeyOfTypeResolve<T>;

package/type/keyof/keyof.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.KeyOf = void 0;
-const keyof_type_1 = require("./keyof-type");
-const type_1 = require("../clone/type");
-/** `[Json]` Creates a KeyOf type */
-function KeyOf(schema, options = {}) {
-    const K = (0, keyof_type_1.KeyOfTypeResolve)(schema);
-    return (0, type_1.CloneType)(K, options);
-}
-exports.KeyOf = KeyOf;

package/type/literal/index.d.ts

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

package/type/literal/literal.d.ts

@@ -1,10 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import { Kind } from '../symbols/index';
-export type TLiteralValue = boolean | number | string;
-export interface TLiteral<T extends TLiteralValue = TLiteralValue> extends TSchema {
-    [Kind]: 'Literal';
-    static: T;
-    const: T;
-}
-/** `[Json]` Creates a Literal type */
-export declare function Literal<T extends TLiteralValue>(value: T, options?: SchemaOptions): TLiteral<T>;

package/type/literal/literal.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.Literal = void 0;
-const index_1 = require("../symbols/index");
-/** `[Json]` Creates a Literal type */
-function Literal(value, options = {}) {
-    return {
-        ...options,
-        [index_1.Kind]: 'Literal',
-        const: value,
-        type: typeof value,
-    };
-}
-exports.Literal = Literal;

package/type/mapped/index.d.ts

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

package/type/mapped/mapped.d.ts

@@ -1,26 +0,0 @@
-import type { TSchema } from '../schema/index';
-import type { Evaluate } from '../helpers/index';
-import type { Static } from '../static/index';
-import { type TObject, type TProperties } from '../object/index';
-import { IndexedKeyResolve } from '../indexed/indexed-key';
-import { Kind } from '../symbols/index';
-export interface TMappedKey<T extends PropertyKey[] = PropertyKey[]> extends TSchema {
-    [Kind]: 'MappedKey';
-    static: T[number];
-    anyOf: [];
-}
-export type MappedFunction<K extends PropertyKey[], I = TMappedKey<K>> = (T: I) => TSchema;
-export type MappedResultProperties<K extends PropertyKey[], T extends TSchema> = K extends [infer L extends string, ...infer R extends PropertyKey[]] ? {
-    [_ in `${L}`]: T;
-} & MappedResultProperties<R, T> : {};
-export type UnevaluatedMappedResult<T extends TSchema> = T;
-export type EvaluatedMappedResult<K extends PropertyKey[], T extends TSchema> = T;
-export interface TMappedResult<K extends PropertyKey[], F extends MappedFunction<K>, S extends TSchema = ReturnType<F>, R extends TSchema = EvaluatedMappedResult<K, S>, P extends TProperties = Evaluate<MappedResultProperties<K, R>>, O extends TObject = TObject<P>> extends TSchema {
-    [Kind]: 'MappedResult';
-    static: Static<O, this['params']>;
-    properties: P;
-}
-/** `[Experimental]` Creates a Mapped type */
-export declare function Mapped<K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>, F extends MappedFunction<I> = MappedFunction<I>, R extends TMappedResult<I, F> = TMappedResult<I, F>>(key: K, map: F): R;
-/** `[Experimental]` Creates a Mapped type */
-export declare function Mapped<K extends PropertyKey[], F extends MappedFunction<K> = MappedFunction<K>, R extends TMappedResult<K, F> = TMappedResult<K, F>>(key: [...K], map: F): R;

package/type/mapped/mapped.js

@@ -1,47 +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.Mapped = void 0;
-const index_1 = require("../object/index");
-const index_2 = require("../literal/index");
-const indexed_key_1 = require("../indexed/indexed-key");
-const type_1 = require("../guard/type");
-const index_3 = require("../symbols/index");
-// prettier-ignore
-/** `[Experimental]` Creates a Mapped type */
-function Mapped(key, map) {
-    const keys = (0, type_1.TSchema)(key) ? (0, indexed_key_1.IndexedKeyResolve)(key) : key;
-    const anyOf = keys.map(key => (0, index_2.Literal)(key));
-    const mapped = { [index_3.Kind]: 'MappedKey', anyOf };
-    const properties = keys.reduce((acc, key) => {
-        return { ...acc, [key]: map(mapped) };
-    }, {});
-    return (0, index_1.Object)(properties);
-}
-exports.Mapped = Mapped;

package/type/modifiers/index.d.ts

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

package/type/modifiers/modifiers.d.ts

@@ -1,18 +0,0 @@
-import type { TSchema } from '../schema/index';
-import type { TReadonly } from '../readonly/index';
-import { type TIntersect } from '../intersect/index';
-import { type TUnion } from '../union/index';
-import { type TOptional } from '../optional/index';
-type IsOptionalFromIntersect<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? L extends TOptional<TSchema> ? IsOptionalFromIntersect<R> : false : true);
-declare function IsOptionalFromIntersect<T extends TSchema[]>(T: T): IsOptionalFromIntersect<T>;
-type IsOptionalFromUnion<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? L extends TOptional<TSchema> ? true : IsOptionalFromUnion<R> : false);
-declare function IsOptionalFromUnion<T extends TSchema[]>(T: T): IsOptionalFromUnion<T>;
-type RemoveOptionalFromRest<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? L extends TOptional<infer S extends TSchema> ? [RemoveOptionalFromSchema<S>, ...RemoveOptionalFromRest<R>] : [L, ...RemoveOptionalFromRest<R>] : []);
-declare function RemoveOptionalFromRest<T extends TSchema[]>(T: T): RemoveOptionalFromRest<T>;
-type RemoveOptionalFromSchema<T extends TSchema> = (T extends TReadonly<infer S extends TSchema> ? TReadonly<RemoveOptionalFromSchema<S>> : T extends TOptional<infer S extends TSchema> ? RemoveOptionalFromSchema<S> : T);
-declare function RemoveOptionalFromSchema<T extends TSchema>(T: T): RemoveOptionalFromSchema<T>;
-export type OptionalFromIntersect<T extends TSchema[], D extends TSchema[] = RemoveOptionalFromRest<T>> = (IsOptionalFromIntersect<T> extends true ? TOptional<TIntersect<D>> : TIntersect<T>);
-export declare function OptionalFromIntersect<T extends TSchema[]>(T: T): OptionalFromIntersect<T>;
-export type OptionalFromUnion<T extends TSchema[], D extends TSchema[] = RemoveOptionalFromRest<T>> = (IsOptionalFromUnion<T> extends true ? TOptional<TUnion<D>> : TUnion<T>);
-export declare function OptionalFromUnion<T extends TSchema[]>(T: T): OptionalFromUnion<T>;
-export {};

package/type/modifiers/modifiers.js

@@ -1,78 +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.OptionalFromUnion = exports.OptionalFromIntersect = void 0;
-const index_1 = require("../intersect/index");
-const index_2 = require("../union/index");
-const index_3 = require("../optional/index");
-const index_4 = require("../discard/index");
-const index_5 = require("../symbols/index");
-const type_1 = require("../guard/type");
-// prettier-ignore
-function IsOptionalFromIntersect(T) {
-    const [L, ...R] = T;
-    return (T.length > 0
-        ? (0, type_1.TOptional)(L)
-            ? IsOptionalFromIntersect(R)
-            : false
-        : true);
-}
-// prettier-ignore
-function IsOptionalFromUnion(T) {
-    const [L, ...R] = T;
-    return (T.length > 0
-        ? (0, type_1.TOptional)(L)
-            ? true
-            : IsOptionalFromUnion(R)
-        : false);
-}
-// prettier-ignore
-function RemoveOptionalFromRest(T) {
-    return (T.map(T => RemoveOptionalFromSchema(T)));
-}
-// prettier-ignore
-function RemoveOptionalFromSchema(T) {
-    return ((0, index_4.Discard)(T, [index_5.OptionalKind]));
-}
-// prettier-ignore
-function OptionalFromIntersect(T) {
-    const D = RemoveOptionalFromRest(T);
-    return (IsOptionalFromIntersect(T)
-        ? (0, index_3.Optional)((0, index_1.Intersect)(D))
-        : (0, index_1.Intersect)(T));
-}
-exports.OptionalFromIntersect = OptionalFromIntersect;
-// prettier-ignore
-function OptionalFromUnion(T) {
-    const D = RemoveOptionalFromRest(T);
-    return (IsOptionalFromUnion(T)
-        ? (0, index_3.Optional)((0, index_2.Union)(D))
-        : (0, index_2.Union)(T));
-}
-exports.OptionalFromUnion = OptionalFromUnion;

package/type/never/index.d.ts

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

package/type/never/never.d.ts

@@ -1,9 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import { Kind } from '../symbols/index';
-export interface TNever extends TSchema {
-    [Kind]: 'Never';
-    static: never;
-    not: {};
-}
-/** `[Json]` Creates a Never type */
-export declare function Never(options?: SchemaOptions): TNever;

package/type/never/never.js

@@ -1,40 +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.Never = void 0;
-const index_1 = require("../symbols/index");
-/** `[Json]` Creates a Never type */
-function Never(options = {}) {
-    return {
-        ...options,
-        [index_1.Kind]: 'Never',
-        not: {},
-    };
-}
-exports.Never = Never;

package/type/not/index.d.ts

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

package/type/not/not.d.ts

@@ -1,10 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import type { Static } from '../static/index';
-import { Kind } from '../symbols/index';
-export interface TNot<T extends TSchema = TSchema> extends TSchema {
-    [Kind]: 'Not';
-    static: T extends TNot<infer U> ? Static<U> : unknown;
-    not: T;
-}
-/** `[Json]` Creates a Not type */
-export declare function Not<T extends TSchema>(schema: T, options?: SchemaOptions): TNot<T>;

package/type/not/not.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.Not = void 0;
-const index_1 = require("../symbols/index");
-const type_1 = require("../clone/type");
-/** `[Json]` Creates a Not type */
-function Not(schema, options) {
-    return {
-        ...options,
-        [index_1.Kind]: 'Not',
-        not: (0, type_1.CloneType)(schema),
-    };
-}
-exports.Not = Not;

package/type/null/index.d.ts

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

package/type/null/null.d.ts

@@ -1,9 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import { Kind } from '../symbols/index';
-export interface TNull extends TSchema {
-    [Kind]: 'Null';
-    static: null;
-    type: 'null';
-}
-/** `[Json]` Creates a Null type */
-export declare function Null(options?: SchemaOptions): TNull;

package/type/null/null.js

@@ -1,40 +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.Null = void 0;
-const index_1 = require("../symbols/index");
-/** `[Json]` Creates a Null type */
-function Null(options = {}) {
-    return {
-        ...options,
-        [index_1.Kind]: 'Null',
-        type: 'null',
-    };
-}
-exports.Null = Null;