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

package/type/indexed/indexed-key.js

@@ -1,65 +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.IndexedKeyResolve = void 0;
-const index_1 = require("../template-literal/index");
-const type_1 = require("../guard/type");
-// prettier-ignore
-function FromTemplateLiteral(T) {
-    const E = (0, index_1.TemplateLiteralParseExact)(T.pattern);
-    const F = (0, index_1.IsTemplateLiteralFinite)(E);
-    const S = (0, index_1.TemplateLiteralToUnion)(T);
-    return (F === true
-        ? (0, type_1.TUnionLiteral)(S)
-            ? S.anyOf.map(S => S.const.toString())
-            : []
-        : []);
-}
-// prettier-ignore
-function FromUnion(T) {
-    const [L, ...R] = T;
-    return (T.length > 0
-        ? [...IndexedKeyResolve(L), ...FromUnion(R)]
-        : []);
-}
-// prettier-ignore
-function FromLiteral(T) {
-    return ([T.toString()]);
-}
-/** Resolves Indexer String Keys form the given Schema. Th */
-// prettier-ignore
-function IndexedKeyResolve(T) {
-    return [...new Set(((0, type_1.TTemplateLiteral)(T) ? FromTemplateLiteral(T) :
-            (0, type_1.TUnion)(T) ? FromUnion(T.anyOf) :
-                (0, type_1.TLiteral)(T) ? FromLiteral(T.const) :
-                    (0, type_1.TNumber)(T) ? ['[number]'] :
-                        (0, type_1.TInteger)(T) ? ['[number]'] :
-                            []))];
-}
-exports.IndexedKeyResolve = IndexedKeyResolve;

package/type/indexed/indexed-type.d.ts

@@ -1,33 +0,0 @@
-import { type TSchema } from '../schema/index';
-import { type TObject, type TProperties } from '../object';
-import { type TNever } from '../never/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 { IntersectResolve } from '../intersect/index';
-import { UnionResolve } from '../union/index';
-type FromRest<T extends TSchema[], K extends PropertyKey> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [FromKey<L, K>, ...FromRest<R, K>] : []);
-declare function FromRest<T extends TSchema[], K extends PropertyKey>(T: [...T], K: K): FromRest<T, K>;
-type FromIntersectRest<T extends TSchema[]> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? L extends TNever ? [...FromIntersectRest<R>] : [L, ...FromIntersectRest<R>] : []);
-declare function FromIntersectRest<T extends TSchema[]>(T: [...T]): FromIntersectRest<T>;
-type FromIntersect<T extends TSchema[], K extends PropertyKey> = (IntersectResolve<FromIntersectRest<FromRest<T, K>>>);
-declare function FromIntersect<T extends TSchema[], K extends PropertyKey>(T: [...T], K: K): FromIntersect<T, K>;
-type FromUnionRest<T extends TSchema[], S = T> = (T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? L extends TNever ? [] : FromUnionRest<R, S> : S);
-declare function FromUnionRest<T extends TSchema[]>(T: [...T], S?: [...T]): FromUnionRest<T>;
-type FromUnion<T extends TSchema[], K extends PropertyKey> = (UnionResolve<FromUnionRest<FromRest<T, K>>>);
-declare function FromUnion<T extends TSchema[], K extends PropertyKey>(T: [...T], K: K): FromUnion<T, K>;
-type FromTuple<T extends TSchema[], K extends PropertyKey> = (K extends keyof T ? T[K] : K extends '[number]' ? UnionResolve<T> : TNever);
-declare function FromTuple<T extends TSchema[], K extends PropertyKey>(T: [...T], K: K): FromTuple<T, K>;
-type FromArray<T extends TSchema, K extends PropertyKey> = (K extends '[number]' ? T : TNever);
-declare function FromArray<T extends TSchema, K extends PropertyKey>(T: T, K: K): FromArray<T, K>;
-type FromProperty<T extends TProperties, K extends PropertyKey> = (K extends keyof T ? T[K] : TNever);
-declare function FromProperty<T extends TProperties, K extends PropertyKey>(T: T, K: K): FromProperty<T, K>;
-type FromKey<T extends TSchema, K extends PropertyKey> = (T extends TRecursive<infer S> ? FromKey<S, K> : T extends TIntersect<infer S> ? FromIntersect<S, K> : T extends TUnion<infer S> ? FromUnion<S, K> : T extends TTuple<infer S> ? FromTuple<S, K> : T extends TArray<infer S> ? FromArray<S, K> : T extends TObject<infer S> ? FromProperty<S, K> : TNever);
-declare function FromKey<T extends TSchema, K extends PropertyKey>(T: T, K: K): FromKey<T, K>;
-type FromKeys<T extends TSchema, K extends PropertyKey[]> = (K extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? [FromKey<T, L>, ...FromKeys<T, R>] : []);
-declare function FromKeys<T extends TSchema, K extends PropertyKey[]>(T: T, K: [...K]): FromKeys<T, K>;
-export type IndexedTypeResolve<T extends TSchema, K extends PropertyKey[]> = (UnionResolve<FromKeys<T, K>>);
-export declare function IndexedTypeResolve<T extends TSchema, K extends PropertyKey[]>(T: T, K: [...K]): IndexedTypeResolve<T, K>;
-export {};

package/type/indexed/indexed-type.js

@@ -1,106 +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.IndexedTypeResolve = void 0;
-const index_1 = require("../never/index");
-const index_2 = require("../intersect/index");
-const index_3 = require("../union/index");
-const type_1 = require("../guard/type");
-// prettier-ignore
-function FromRest(T, K) {
-    const [L, ...R] = T;
-    return (T.length > 0
-        ? [FromKey(L, K), ...FromRest(R, K)]
-        : []);
-}
-// prettier-ignore
-function FromIntersectRest(T) {
-    const [L, ...R] = T;
-    return (T.length > 0
-        ? (0, type_1.TNever)(L)
-            ? [...FromIntersectRest(R)]
-            : [L, ...FromIntersectRest(R)]
-        : []);
-}
-// prettier-ignore
-function FromIntersect(T, K) {
-    return ((0, index_2.IntersectResolve)(FromIntersectRest(FromRest(T, K))));
-}
-// prettier-ignore
-function FromUnionRest(T, S = T) {
-    const [L, ...R] = T;
-    return (T.length > 0
-        ? (0, type_1.TNever)(L)
-            ? []
-            : FromUnionRest(R, S)
-        : S);
-}
-// prettier-ignore
-function FromUnion(T, K) {
-    return ((0, index_3.UnionResolve)(FromUnionRest(FromRest(T, K))));
-}
-// prettier-ignore
-function FromTuple(T, K) {
-    return (K in T ? T[K] :
-        K === '[number]' ? (0, index_3.UnionResolve)(T) :
-            (0, index_1.Never)());
-}
-// prettier-ignore
-function FromArray(T, K) {
-    return (K === '[number]'
-        ? T
-        : (0, index_1.Never)());
-}
-// prettier-ignore
-function FromProperty(T, K) {
-    return (K in T
-        ? T[K]
-        : (0, index_1.Never)());
-}
-// prettier-ignore
-function FromKey(T, K) {
-    return ((0, type_1.TIntersect)(T) ? FromIntersect(T.allOf, K) :
-        (0, type_1.TUnion)(T) ? FromUnion(T.anyOf, K) :
-            (0, type_1.TTuple)(T) ? FromTuple(T.items ?? [], K) :
-                (0, type_1.TArray)(T) ? FromArray(T.items, K) :
-                    (0, type_1.TObject)(T) ? FromProperty(T.properties, K) :
-                        (0, index_1.Never)());
-}
-// prettier-ignore
-function FromKeys(T, K) {
-    const [L, ...R] = K;
-    return (K.length > 0
-        ? [FromKey(T, L), ...FromKeys(T, R)]
-        : []);
-}
-// prettier-ignore
-function IndexedTypeResolve(T, K) {
-    return ((0, index_3.UnionResolve)(FromKeys(T, K)));
-}
-exports.IndexedTypeResolve = IndexedTypeResolve;

package/type/indexed/indexed.d.ts

@@ -1,8 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import { IndexedTypeResolve } from './indexed-type';
-import { IndexedKeyResolve } from './indexed-key';
-export type TIndex<T extends TSchema, K extends PropertyKey[]> = IndexedTypeResolve<T, K>;
-/** `[Json]` Returns an Indexed property type for the given keys */
-export declare function Index<T extends TSchema, K extends TSchema, I extends PropertyKey[] = IndexedKeyResolve<K>>(T: T, K: K, options?: SchemaOptions): TIndex<T, I>;
-/** `[Json]` Returns an Indexed property type for the given keys */
-export declare function Index<T extends TSchema, K extends PropertyKey[]>(T: T, K: readonly [...K], options?: SchemaOptions): TIndex<T, K>;

package/type/indexed/indexed.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.Index = void 0;
-const indexed_type_1 = require("./indexed-type");
-const indexed_key_1 = require("./indexed-key");
-const type_1 = require("../clone/type");
-const type_2 = require("../guard/type");
-/** `[Json]` Returns an Indexed property type for the given keys */
-function Index(T, K, options = {}) {
-    const keys = (0, type_2.TSchema)(K) ? (0, indexed_key_1.IndexedKeyResolve)(K) : K;
-    const type = (0, indexed_type_1.IndexedTypeResolve)(T, keys);
-    return (0, type_1.CloneType)(type, options);
-}
-exports.Index = Index;

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

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

package/type/instance-type/instance-type.d.ts

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

package/type/instance-type/instance-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.InstanceType = void 0;
-const type_1 = require("../clone/type");
-/** `[JavaScript]` Extracts the InstanceType from the given Constructor type */
-function InstanceType(schema, options = {}) {
-    return (0, type_1.CloneType)(schema.returns, options);
-}
-exports.InstanceType = InstanceType;

package/type/integer/index.d.ts

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

package/type/integer/integer.d.ts

@@ -1,16 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import { Kind } from '../symbols/index';
-export interface IntegerOptions extends SchemaOptions {
-    exclusiveMaximum?: number;
-    exclusiveMinimum?: number;
-    maximum?: number;
-    minimum?: number;
-    multipleOf?: number;
-}
-export interface TInteger extends TSchema, IntegerOptions {
-    [Kind]: 'Integer';
-    static: number;
-    type: 'integer';
-}
-/** `[Json]` Creates an Integer type */
-export declare function Integer(options?: IntegerOptions): TInteger;

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

package/type/intersect/index.d.ts

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

package/type/intersect/intersect.d.ts

@@ -1,22 +0,0 @@
-import type { TupleToIntersect, AssertType } from '../helpers/index';
-import type { TSchema, SchemaOptions } from '../schema/index';
-import type { Static } from '../static/index';
-import { type TNever } from '../never/index';
-import { OptionalFromIntersect } from '../modifiers/index';
-import { Kind } from '../symbols/index';
-export type IntersectResolve<T extends TSchema[]> = (T extends [] ? TNever : T extends [TSchema] ? T[0] : OptionalFromIntersect<T>);
-export declare function IntersectResolve<T extends TSchema[]>(T: T): IntersectResolve<T>;
-export type TUnevaluatedProperties = undefined | TSchema | boolean;
-export interface IntersectOptions extends SchemaOptions {
-    unevaluatedProperties?: TUnevaluatedProperties;
-}
-export interface TIntersect<T extends TSchema[] = TSchema[]> extends TSchema, IntersectOptions {
-    [Kind]: 'Intersect';
-    static: TupleToIntersect<{
-        [K in keyof T]: Static<AssertType<T[K]>, this['params']>;
-    }>;
-    type?: 'object';
-    allOf: [...T];
-}
-/** `[Json]` Creates an Intersect type */
-export declare function Intersect<T extends TSchema[]>(T: [...T], options?: IntersectOptions): IntersectResolve<T>;

package/type/intersect/intersect.js

@@ -1,59 +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.Intersect = exports.IntersectResolve = void 0;
-const index_1 = require("../never/index");
-const index_2 = require("../modifiers/index");
-const index_3 = require("../symbols/index");
-const type_1 = require("../clone/type");
-const type_2 = require("../guard/type");
-// prettier-ignore
-function IntersectResolve(T) {
-    return (T.length === 0
-        ? (0, index_1.Never)()
-        : T.length === 1
-            ? T[0]
-            : (0, index_2.OptionalFromIntersect)(T));
-}
-exports.IntersectResolve = IntersectResolve;
-/** `[Json]` Creates an Intersect type */
-function Intersect(T, options = {}) {
-    if (T.length === 0)
-        return (0, index_1.Never)();
-    if (T.length === 1)
-        return (0, type_1.CloneType)(T[0], options);
-    if (T.some((schema) => (0, type_2.TTransform)(schema)))
-        throw new Error('Cannot intersect transform types');
-    const allObjects = T.every((schema) => (0, type_2.TObject)(schema));
-    const clonedUnevaluatedProperties = (0, type_2.TSchema)(options.unevaluatedProperties) ? { unevaluatedProperties: (0, type_1.CloneType)(options.unevaluatedProperties) } : {};
-    return (options.unevaluatedProperties === false || (0, type_2.TSchema)(options.unevaluatedProperties) || allObjects
-        ? { ...options, ...clonedUnevaluatedProperties, [index_3.Kind]: 'Intersect', type: 'object', allOf: (0, type_1.CloneRest)(T) }
-        : { ...options, ...clonedUnevaluatedProperties, [index_3.Kind]: 'Intersect', allOf: (0, type_1.CloneRest)(T) });
-}
-exports.Intersect = Intersect;

package/type/intrinsic/index.d.ts

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

package/type/intrinsic/intrinsic.d.ts

@@ -1,27 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import { type TTemplateLiteral, type TTemplateLiteralKind } from '../template-literal/index';
-import { type TLiteral, type TLiteralValue } from '../literal/index';
-import { type TUnion } from '../union/index';
-type IntrinsicMode = 'Uppercase' | 'Lowercase' | 'Capitalize' | 'Uncapitalize';
-type FromTemplateLiteral<T extends TTemplateLiteralKind[], M extends IntrinsicMode> = M extends IntrinsicMode ? T extends [infer L extends TTemplateLiteralKind, ...infer R extends TTemplateLiteralKind[]] ? [IntrinsicResolve<L, M>, ...FromTemplateLiteral<R, M>] : T : T;
-declare function FromTemplateLiteral<T extends TTemplateLiteralKind[], M extends IntrinsicMode>(schema: TTemplateLiteral, mode: IntrinsicMode): FromTemplateLiteral<T, M>;
-type FromLiteralValue<T, M extends IntrinsicMode> = (T extends string ? M extends 'Uncapitalize' ? Uncapitalize<T> : M extends 'Capitalize' ? Capitalize<T> : M extends 'Uppercase' ? Uppercase<T> : M extends 'Lowercase' ? Lowercase<T> : string : T);
-declare function FromLiteralValue(value: TLiteralValue, mode: IntrinsicMode): string;
-type FromRest<T extends TSchema[], M extends IntrinsicMode> = T extends [infer L extends TSchema, ...infer R extends TSchema[]] ? [IntrinsicResolve<L, M>, ...FromRest<R, M>] : [];
-declare function FromRest<T extends TSchema[], M extends IntrinsicMode>(T: [...T], mode: M): FromRest<T, M>;
-export type IntrinsicResolve<T extends TSchema, M extends IntrinsicMode> = T extends TTemplateLiteral<infer S> ? TTemplateLiteral<FromTemplateLiteral<S, M>> : T extends TUnion<infer S> ? TUnion<FromRest<S, M>> : T extends TLiteral<infer S> ? TLiteral<FromLiteralValue<S, M>> : T;
-/** Applies an intrinsic string manipulation to the given type. */
-export declare function IntrinsicResolve<T extends TSchema, M extends IntrinsicMode>(schema: T, mode: M): IntrinsicResolve<T, M>;
-export type TUncapitalize<T extends TSchema> = IntrinsicResolve<T, 'Uncapitalize'>;
-/** `[Json]` Intrinsic function to Uncapitalize LiteralString types */
-export declare function Uncapitalize<T extends TSchema>(T: T, options?: SchemaOptions): TUncapitalize<T>;
-export type TUppercase<T extends TSchema> = IntrinsicResolve<T, 'Uppercase'>;
-/** `[Json]` Intrinsic function to Uppercase LiteralString types */
-export declare function Uppercase<T extends TSchema>(T: T, options?: SchemaOptions): TUppercase<T>;
-export type TLowercase<T extends TSchema> = IntrinsicResolve<T, 'Lowercase'>;
-/** `[Json]` Intrinsic function to Lowercase LiteralString types */
-export declare function Lowercase<T extends TSchema>(T: T, options?: SchemaOptions): TLowercase<T>;
-export type TCapitalize<T extends TSchema> = IntrinsicResolve<T, 'Capitalize'>;
-/** `[Json]` Intrinsic function to Capitalize LiteralString types */
-export declare function Capitalize<T extends TSchema>(T: T, options?: SchemaOptions): TCapitalize<T>;
-export {};

package/type/intrinsic/intrinsic.js

@@ -1,106 +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.Capitalize = exports.Lowercase = exports.Uppercase = exports.Uncapitalize = exports.IntrinsicResolve = void 0;
-const index_1 = require("../template-literal/index");
-const index_2 = require("../literal/index");
-const index_3 = require("../union/index");
-const type_1 = require("../guard/type");
-const type_2 = require("../clone/type");
-// ------------------------------------------------------------------
-// Apply
-// ------------------------------------------------------------------
-function ApplyUncapitalize(value) {
-    const [first, rest] = [value.slice(0, 1), value.slice(1)];
-    return [first.toLowerCase(), rest].join('');
-}
-function ApplyCapitalize(value) {
-    const [first, rest] = [value.slice(0, 1), value.slice(1)];
-    return [first.toUpperCase(), rest].join('');
-}
-function ApplyUppercase(value) {
-    return value.toUpperCase();
-}
-function ApplyLowercase(value) {
-    return value.toLowerCase();
-}
-function FromTemplateLiteral(schema, mode) {
-    // note: template literals require special runtime handling as they are encoded in string patterns.
-    // This diverges from the mapped type which would otherwise map on the template literal kind.
-    const expression = (0, index_1.TemplateLiteralParseExact)(schema.pattern);
-    const finite = (0, index_1.IsTemplateLiteralFinite)(expression);
-    if (!finite)
-        return { ...schema, pattern: FromLiteralValue(schema.pattern, mode) };
-    const strings = [...(0, index_1.TemplateLiteralGenerate)(expression)];
-    const literals = strings.map((value) => (0, index_2.Literal)(value));
-    const mapped = FromRest(literals, mode);
-    const union = (0, index_3.Union)(mapped);
-    return (0, index_1.TemplateLiteral)([union]);
-}
-// prettier-ignore
-function FromLiteralValue(value, mode) {
-    return (typeof value === 'string' ? (mode === 'Uncapitalize' ? ApplyUncapitalize(value) :
-        mode === 'Capitalize' ? ApplyCapitalize(value) :
-            mode === 'Uppercase' ? ApplyUppercase(value) :
-                mode === 'Lowercase' ? ApplyLowercase(value) :
-                    value) : value.toString());
-}
-function FromRest(T, mode) {
-    const [L, ...R] = T;
-    return (T.length > 0 ? [IntrinsicResolve(L, mode), ...FromRest(R, mode)] : []);
-}
-/** Applies an intrinsic string manipulation to the given type. */
-// prettier-ignore
-function IntrinsicResolve(schema, mode) {
-    return ((0, type_1.TTemplateLiteral)(schema) ? FromTemplateLiteral(schema, mode) :
-        (0, type_1.TUnion)(schema) ? (0, index_3.Union)(FromRest(schema.anyOf, mode)) :
-            (0, type_1.TLiteral)(schema) ? (0, index_2.Literal)(FromLiteralValue(schema.const, mode)) :
-                schema);
-}
-exports.IntrinsicResolve = IntrinsicResolve;
-/** `[Json]` Intrinsic function to Uncapitalize LiteralString types */
-function Uncapitalize(T, options = {}) {
-    return (0, type_2.CloneType)(IntrinsicResolve(T, 'Uncapitalize'), options);
-}
-exports.Uncapitalize = Uncapitalize;
-/** `[Json]` Intrinsic function to Uppercase LiteralString types */
-function Uppercase(T, options = {}) {
-    return (0, type_2.CloneType)(IntrinsicResolve(T, 'Uppercase'), options);
-}
-exports.Uppercase = Uppercase;
-/** `[Json]` Intrinsic function to Lowercase LiteralString types */
-function Lowercase(T, options = {}) {
-    return (0, type_2.CloneType)(IntrinsicResolve(T, 'Lowercase'), options);
-}
-exports.Lowercase = Lowercase;
-/** `[Json]` Intrinsic function to Capitalize LiteralString types */
-function Capitalize(T, options = {}) {
-    return (0, type_2.CloneType)(IntrinsicResolve(T, 'Capitalize'), options);
-}
-exports.Capitalize = Capitalize;

package/type/iterator/index.d.ts

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

package/type/iterator/iterator.d.ts

@@ -1,11 +0,0 @@
-import type { TSchema, SchemaOptions } from '../schema/index';
-import type { Static } from '../static/index';
-import { Kind } from '../symbols/index';
-export interface TIterator<T extends TSchema = TSchema> extends TSchema {
-    [Kind]: 'Iterator';
-    static: IterableIterator<Static<T, this['params']>>;
-    type: 'Iterator';
-    items: T;
-}
-/** `[JavaScript]` Creates an Iterator type */
-export declare function Iterator<T extends TSchema>(items: T, options?: SchemaOptions): TIterator<T>;

package/type/iterator/iterator.js

@@ -1,42 +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.Iterator = void 0;
-const index_1 = require("../symbols/index");
-const type_1 = require("../clone/type");
-/** `[JavaScript]` Creates an Iterator type */
-function Iterator(items, options = {}) {
-    return {
-        ...options,
-        [index_1.Kind]: 'Iterator',
-        type: 'Iterator',
-        items: (0, type_1.CloneType)(items),
-    };
-}
-exports.Iterator = Iterator;