@sinclair/typebox 0.32.0-dev-3 → 0.32.0-dev-5

package/build/import/type/keyof/keyof-type.mjs

@@ -0,0 +1,15 @@
+import { Literal } from '../literal/index.mjs';
+import { Number } from '../number/index.mjs';
+import { KeyOfStringResolve } from './keyof-string.mjs';
+import { UnionResolve } from '../union/index.mjs';
+function FromLiterals(T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? L === '[number]'
+            ? [Number(), ...FromLiterals(R)]
+            : [Literal(L), ...FromLiterals(R)]
+        : []);
+}
+export function KeyOfTypeResolve(T) {
+    return (UnionResolve(FromLiterals(KeyOfStringResolve(T))));
+}

package/build/import/type/keyof/keyof.mjs

@@ -0,0 +1,6 @@
+import { KeyOfTypeResolve } from './keyof-type.mjs';
+import { CloneType } from '../clone/type.mjs';
+export function KeyOf(schema, options = {}) {
+    const K = KeyOfTypeResolve(schema);
+    return CloneType(K, options);
+}

package/build/import/type/literal/literal.mjs

@@ -0,0 +1,9 @@
+import { Kind } from '../symbols/index.mjs';
+export function Literal(value, options = {}) {
+    return {
+        ...options,
+        [Kind]: 'Literal',
+        const: value,
+        type: typeof value,
+    };
+}

package/build/import/type/mapped/mapped.mjs

@@ -0,0 +1,14 @@
+import { Object } from '../object/index.mjs';
+import { Literal } from '../literal/index.mjs';
+import { IndexedKeyResolve } from '../indexed/indexed-key.mjs';
+import { TSchema as IsSchemaType } from '../guard/type.mjs';
+import { Kind } from '../symbols/index.mjs';
+export function Mapped(key, map) {
+    const keys = IsSchemaType(key) ? IndexedKeyResolve(key) : key;
+    const anyOf = keys.map(key => Literal(key));
+    const mapped = { [Kind]: 'MappedKey', anyOf };
+    const properties = keys.reduce((acc, key) => {
+        return { ...acc, [key]: map(mapped) };
+    }, {});
+    return Object(properties);
+}

package/build/import/type/modifiers/modifiers.mjs

@@ -0,0 +1,40 @@
+import { Intersect } from '../intersect/index.mjs';
+import { Union } from '../union/index.mjs';
+import { Optional } from '../optional/index.mjs';
+import { Discard } from '../discard/index.mjs';
+import { OptionalKind } from '../symbols/index.mjs';
+import { TOptional as IsOptionalType } from '../guard/type.mjs';
+function IsOptionalFromIntersect(T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? IsOptionalType(L)
+            ? IsOptionalFromIntersect(R)
+            : false
+        : true);
+}
+function IsOptionalFromUnion(T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? IsOptionalType(L)
+            ? true
+            : IsOptionalFromUnion(R)
+        : false);
+}
+function RemoveOptionalFromRest(T) {
+    return (T.map(T => RemoveOptionalFromSchema(T)));
+}
+function RemoveOptionalFromSchema(T) {
+    return (Discard(T, [OptionalKind]));
+}
+export function OptionalFromIntersect(T) {
+    const D = RemoveOptionalFromRest(T);
+    return (IsOptionalFromIntersect(T)
+        ? Optional(Intersect(D))
+        : Intersect(T));
+}
+export function OptionalFromUnion(T) {
+    const D = RemoveOptionalFromRest(T);
+    return (IsOptionalFromUnion(T)
+        ? Optional(Union(D))
+        : Union(T));
+}

package/build/import/type/never/never.mjs

@@ -0,0 +1,8 @@
+import { Kind } from '../symbols/index.mjs';
+export function Never(options = {}) {
+    return {
+        ...options,
+        [Kind]: 'Never',
+        not: {},
+    };
+}

package/build/import/type/not/not.mjs

@@ -0,0 +1,9 @@
+import { Kind } from '../symbols/index.mjs';
+import { CloneType } from '../clone/type.mjs';
+export function Not(schema, options) {
+    return {
+        ...options,
+        [Kind]: 'Not',
+        not: CloneType(schema),
+    };
+}

package/build/import/type/null/null.mjs

@@ -0,0 +1,8 @@
+import { Kind } from '../symbols/index.mjs';
+export function Null(options = {}) {
+    return {
+        ...options,
+        [Kind]: 'Null',
+        type: 'null',
+    };
+}

package/build/import/type/number/number.mjs

@@ -0,0 +1,8 @@
+import { Kind } from '../symbols/index.mjs';
+export function Number(options = {}) {
+    return {
+        ...options,
+        [Kind]: 'Number',
+        type: 'number',
+    };
+}

package/build/import/type/object/object.mjs

@@ -0,0 +1,14 @@
+import { CloneType } from '../clone/type.mjs';
+import { Kind } from '../symbols/index.mjs';
+import { TOptional as IsOptionalType, TSchema as IsSchemaType } from '../guard/type.mjs';
+export function _Object(properties, options = {}) {
+    const propertyKeys = globalThis.Object.getOwnPropertyNames(properties);
+    const optionalKeys = propertyKeys.filter((key) => IsOptionalType(properties[key]));
+    const requiredKeys = propertyKeys.filter((name) => !optionalKeys.includes(name));
+    const clonedAdditionalProperties = IsSchemaType(options.additionalProperties) ? { additionalProperties: CloneType(options.additionalProperties) } : {};
+    const clonedProperties = propertyKeys.reduce((acc, key) => ({ ...acc, [key]: CloneType(properties[key]) }), {});
+    return (requiredKeys.length > 0
+        ? { ...options, ...clonedAdditionalProperties, [Kind]: 'Object', type: 'object', properties: clonedProperties, required: requiredKeys }
+        : { ...options, ...clonedAdditionalProperties, [Kind]: 'Object', type: 'object', properties: clonedProperties });
+}
+export const Object = _Object;

package/build/import/type/omit/omit.mjs

@@ -0,0 +1,35 @@
+import { Intersect } from '../intersect/index.mjs';
+import { Union } from '../union/index.mjs';
+import { Object } from '../object/index.mjs';
+import { IndexedKeyResolve } from '../indexed/index.mjs';
+import { Discard } from '../discard/index.mjs';
+import { TransformKind } from '../symbols/index.mjs';
+import { CloneType } from '../clone/type.mjs';
+import { TIntersect as IsIntersectType, TUnion as IsUnionType, TObject as IsObjectType, TSchema as IsSchemaType } from '../guard/type.mjs';
+function FromIntersect(T, K) {
+    return T.map((T) => OmitResolve(T, K));
+}
+function FromUnion(T, K) {
+    return T.map((T) => OmitResolve(T, K));
+}
+function FromProperty(T, K) {
+    const { [K]: _, ...R } = T;
+    return R;
+}
+function FromProperties(T, K) {
+    return K.reduce((T, K2) => {
+        return FromProperty(T, K2);
+    }, T);
+}
+export function OmitResolve(T, K) {
+    return (IsIntersectType(T) ? Intersect(FromIntersect(T.allOf, K)) :
+        IsUnionType(T) ? Union(FromUnion(T.anyOf, K)) :
+            IsObjectType(T) ? Object(FromProperties(T.properties, K)) :
+                Object({}));
+}
+export function Omit(T, K, options = {}) {
+    const I = IsSchemaType(K) ? IndexedKeyResolve(K) : K;
+    const D = Discard(T, [TransformKind, '$id', 'required']);
+    const R = CloneType(OmitResolve(T, I), options);
+    return { ...D, ...R };
+}

package/build/import/type/operators/operators.mjs

@@ -0,0 +1,66 @@
+export function OperatorIncludes(T, S) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? S === L
+            ? true
+            : OperatorIncludes(R, S)
+        : false);
+}
+export function OperatorSubset(T, S) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? OperatorIncludes(S, L) === true
+            ? OperatorSubset(R, S)
+            : false
+        : true);
+}
+export function OperatorDistinct(T, Acc = []) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? OperatorIncludes(Acc, L) === false
+            ? OperatorDistinct(R, [...Acc, L])
+            : OperatorDistinct(R, [...Acc])
+        : Acc);
+}
+export function OperatorIntersect(T, S) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? OperatorIncludes(S, L) === true
+            ? [L, ...OperatorIntersect(R, S)]
+            : [...OperatorIntersect(R, S)]
+        : []);
+}
+export function OperatorUnion(T, S) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? OperatorIncludes(S, L) === true
+            ? [...OperatorUnion(R, S)]
+            : [L, ...OperatorUnion(R, S)]
+        : S);
+}
+export function OperatorComplement(T, S) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? OperatorIncludes(S, L) === true
+            ? [...OperatorComplement(R, S)]
+            : [L, ...OperatorComplement(R, S)]
+        : []);
+}
+export function OperatorIntersectMany(T) {
+    return (T.length === 1
+        ? T[0]
+        : (() => {
+            const [L, ...R] = T;
+            return (L.length > 0
+                ? OperatorIntersect(L, OperatorIntersectMany(R))
+                : []);
+        })());
+}
+export function OperatorUnionMany(T) {
+    return (T.length === 1
+        ? T[0]
+        : (() => {
+            const [L, ...R] = T;
+            return T.length > 0 ? OperatorUnion(L, OperatorUnionMany(R)) : [];
+        })());
+}

package/build/import/type/optional/optional.mjs

@@ -0,0 +1,5 @@
+import { OptionalKind } from '../symbols/index.mjs';
+import { CloneType } from '../clone/type.mjs';
+export function Optional(schema) {
+    return { ...CloneType(schema), [OptionalKind]: 'Optional' };
+}

package/build/import/type/parameters/parameters.mjs

@@ -0,0 +1,5 @@
+import { Tuple } from '../tuple/index.mjs';
+import { CloneRest } from '../clone/type.mjs';
+export function Parameters(schema, options = {}) {
+    return Tuple(CloneRest(schema.parameters), { ...options });
+}

package/build/import/type/partial/partial.mjs

@@ -0,0 +1,36 @@
+import { Optional } from '../optional/index.mjs';
+import { Object } from '../object/index.mjs';
+import { Intersect } from '../intersect/index.mjs';
+import { Union } from '../union/index.mjs';
+import { Discard } from '../discard/index.mjs';
+import { TransformKind } from '../symbols/index.mjs';
+import { CloneType } from '../clone/type.mjs';
+import { TIntersect as IsIntersectType, TUnion as IsUnionType, TObject as IsObjectType } from '../guard/type.mjs';
+function FromIntersect(T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? [PartialResolve(L), ...FromIntersect(R)]
+        : []);
+}
+function FromUnion(T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? [PartialResolve(L), ...FromUnion(R)]
+        : []);
+}
+function FromProperties(T) {
+    return globalThis.Object.getOwnPropertyNames(T).reduce((Acc, K) => {
+        return { ...Acc, [K]: Optional(T[K]) };
+    }, {});
+}
+export function PartialResolve(T) {
+    return (IsIntersectType(T) ? Intersect(FromIntersect(T.allOf)) :
+        IsUnionType(T) ? Union(FromUnion(T.anyOf)) :
+            IsObjectType(T) ? Object(FromProperties(T.properties)) :
+                Object({}));
+}
+export function Partial(T, options = {}) {
+    const D = Discard(T, [TransformKind, '$id', 'required']);
+    const R = CloneType(PartialResolve(T), options);
+    return { ...D, ...R };
+}

package/build/import/type/patterns/patterns.mjs

@@ -0,0 +1,6 @@
+export const PatternBoolean = '(true|false)';
+export const PatternNumber = '(0|[1-9][0-9]*)';
+export const PatternString = '(.*)';
+export const PatternBooleanExact = `^${PatternBoolean}$`;
+export const PatternNumberExact = `^${PatternNumber}$`;
+export const PatternStringExact = `^${PatternString}$`;

package/build/import/type/pick/pick.mjs

@@ -0,0 +1,31 @@
+import { Intersect } from '../intersect/index.mjs';
+import { Union } from '../union/index.mjs';
+import { Object } from '../object/index.mjs';
+import { IndexedKeyResolve } from '../indexed/index.mjs';
+import { Discard } from '../discard/index.mjs';
+import { TransformKind } from '../symbols/index.mjs';
+import { CloneType } from '../clone/type.mjs';
+import { TIntersect as IsIntersectType, TUnion as IsUnionType, TObject as IsObjectType, TSchema as IsSchemaType } from '../guard/type.mjs';
+function FromIntersect(T, K) {
+    return T.map((T) => PickResolve(T, K));
+}
+function FromUnion(T, K) {
+    return T.map((T) => PickResolve(T, K));
+}
+function FromProperties(T, K) {
+    return K.reduce((Acc, K) => {
+        return K in T ? { ...Acc, [K]: T[K] } : Acc;
+    }, {});
+}
+export function PickResolve(T, K) {
+    return (IsIntersectType(T) ? Intersect(FromIntersect(T.allOf, K)) :
+        IsUnionType(T) ? Union(FromUnion(T.anyOf, K)) :
+            IsObjectType(T) ? Object(FromProperties(T.properties, K)) :
+                Object({}));
+}
+export function Pick(T, K, options = {}) {
+    const I = IsSchemaType(K) ? IndexedKeyResolve(K) : K;
+    const D = Discard(T, [TransformKind, '$id', 'required']);
+    const R = CloneType(PickResolve(T, I), options);
+    return { ...D, ...R };
+}

package/build/import/type/promise/promise.mjs

@@ -0,0 +1,10 @@
+import { Kind } from '../symbols/index.mjs';
+import { CloneType } from '../clone/type.mjs';
+export function Promise(item, options = {}) {
+    return {
+        ...options,
+        [Kind]: 'Promise',
+        type: 'Promise',
+        item: CloneType(item),
+    };
+}

package/build/import/type/readonly/readonly.mjs

@@ -0,0 +1,5 @@
+import { ReadonlyKind } from '../symbols/index.mjs';
+import { CloneType } from '../clone/type.mjs';
+export function Readonly(schema) {
+    return { ...CloneType(schema), [ReadonlyKind]: 'Readonly' };
+}

package/build/import/type/readonly-optional/readonly-optional.mjs

@@ -0,0 +1,5 @@
+import { Readonly } from '../readonly/index.mjs';
+import { Optional } from '../optional/index.mjs';
+export function ReadonlyOptional(schema) {
+    return Readonly(Optional(schema));
+}

package/build/import/type/record/record.mjs

@@ -0,0 +1,51 @@
+import { Object } from '../object/index.mjs';
+import { Never } from '../never/index.mjs';
+import { Union } from '../union/index.mjs';
+import { IsTemplateLiteralFinite, TemplateLiteralParseExact } from '../template-literal/index.mjs';
+import { PatternStringExact, PatternNumberExact } from '../patterns/index.mjs';
+import { IndexedKeyResolve } from '../indexed/index.mjs';
+import { Kind, Hint } from '../symbols/index.mjs';
+import { CloneType } from '../clone/type.mjs';
+import { IsUndefined } from '../guard/value.mjs';
+import { TUnion as IsUnionType, TTemplateLiteral as IsTemplateLiteralType, TLiteral as IsLiteralType, TString as IsStringType, TInteger as IsIntegerType, TNumber as IsNumberType } from '../guard/type.mjs';
+function FromPattern(pattern, T) {
+    return { [Kind]: 'Record', type: 'object', patternProperties: { [pattern]: CloneType(T) } };
+}
+function FromKeys(keys, T) {
+    const properties = keys.reduce((acc, key) => ({ ...acc, [key]: CloneType(T) }), {});
+    return Object(properties, { [Hint]: 'Record' });
+}
+function FromTemplateLiteralKey(K, T) {
+    const expression = TemplateLiteralParseExact(K.pattern);
+    return (IsTemplateLiteralFinite(expression)
+        ? FromKeys(IndexedKeyResolve(K), T)
+        : FromPattern(K.pattern, T));
+}
+function FromUnionKey(K, T) {
+    return FromKeys(IndexedKeyResolve(Union(K)), T);
+}
+function FromLiteralKey(K, T) {
+    return FromKeys([K.toString()], T);
+}
+function FromStringKey(K, T) {
+    const pattern = IsUndefined(K.pattern) ? PatternStringExact : K.pattern;
+    return FromPattern(pattern, T);
+}
+function FromIntegerKey(_, T) {
+    return FromPattern(PatternNumberExact, T);
+}
+function FromNumberKey(_, T) {
+    return FromPattern(PatternNumberExact, T);
+}
+export function RecordResolve(K, T) {
+    return (IsUnionType(K) ? FromUnionKey(K.anyOf, T) :
+        IsTemplateLiteralType(K) ? FromTemplateLiteralKey(K, T) :
+            IsLiteralType(K) ? FromLiteralKey(K.const, T) :
+                IsStringType(K) ? FromStringKey(K, T) :
+                    IsIntegerType(K) ? FromIntegerKey(K, T) :
+                        IsNumberType(K) ? FromNumberKey(K, T) :
+                            Never());
+}
+export function Record(K, T, options = {}) {
+    return CloneType(RecordResolve(K, T), options);
+}

package/build/import/type/recursive/recursive.mjs

@@ -0,0 +1,15 @@
+import { CloneType } from '../clone/type.mjs';
+import { IsUndefined } from '../guard/value.mjs';
+import { Kind, Hint } from '../symbols/index.mjs';
+let Ordinal = 0;
+export function Recursive(callback, options = {}) {
+    if (IsUndefined(options.$id))
+        options.$id = `T${Ordinal++}`;
+    const thisType = callback({ [Kind]: 'This', $ref: `${options.$id}` });
+    thisType.$id = options.$id;
+    return CloneType({
+        ...options,
+        [Hint]: 'Recursive',
+        ...thisType,
+    });
+}

package/build/import/type/ref/ref.mjs

@@ -0,0 +1,13 @@
+import { Kind } from '../symbols/index.mjs';
+import { IsString, IsUndefined } from '../guard/value.mjs';
+export function Ref(unresolved, options = {}) {
+    if (IsString(unresolved))
+        return { ...options, [Kind]: 'Ref', $ref: unresolved };
+    if (IsUndefined(unresolved.$id))
+        throw new Error('Reference target type must specify an $id');
+    return {
+        ...options,
+        [Kind]: 'Ref',
+        $ref: unresolved.$id,
+    };
+}

package/build/import/type/regexp/regexp.mjs

@@ -0,0 +1,6 @@
+import { IsString } from '../guard/value.mjs';
+import { Kind } from '../symbols/index.mjs';
+export function RegExp(unresolved, options = {}) {
+    const pattern = IsString(unresolved) ? unresolved : unresolved.source;
+    return { ...options, [Kind]: 'String', type: 'string', pattern };
+}

package/build/import/type/registry/format.mjs

@@ -0,0 +1,19 @@
+const map = new Map();
+export function Entries() {
+    return new Map(map);
+}
+export function Clear() {
+    return map.clear();
+}
+export function Delete(format) {
+    return map.delete(format);
+}
+export function Has(format) {
+    return map.has(format);
+}
+export function Set(format, func) {
+    map.set(format, func);
+}
+export function Get(format) {
+    return map.get(format);
+}

package/build/import/type/registry/type.mjs

@@ -0,0 +1,19 @@
+const map = new Map();
+export function Entries() {
+    return new Map(map);
+}
+export function Clear() {
+    return map.clear();
+}
+export function Delete(kind) {
+    return map.delete(kind);
+}
+export function Has(kind) {
+    return map.has(kind);
+}
+export function Set(kind, func) {
+    map.set(kind, func);
+}
+export function Get(kind) {
+    return map.get(kind);
+}

package/build/import/type/required/required.mjs

@@ -0,0 +1,35 @@
+import { Intersect } from '../intersect/index.mjs';
+import { Union } from '../union/index.mjs';
+import { Object } from '../object/index.mjs';
+import { OptionalKind, TransformKind } from '../symbols/index.mjs';
+import { CloneType } from '../clone/type.mjs';
+import { Discard } from '../discard/index.mjs';
+import { TIntersect as IsIntersectType, TUnion as IsUnionType, TObject as IsObjectType } from '../guard/type.mjs';
+function FromIntersect(T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? [RequiredResolve(L), ...FromIntersect(R)]
+        : []);
+}
+function FromUnion(T) {
+    const [L, ...R] = T;
+    return (T.length > 0
+        ? [RequiredResolve(L), ...FromUnion(R)]
+        : []);
+}
+function FromProperties(T) {
+    return globalThis.Object.getOwnPropertyNames(T).reduce((Acc, K) => {
+        return { ...Acc, [K]: Discard(T[K], [OptionalKind]) };
+    }, {});
+}
+export function RequiredResolve(T) {
+    return (IsIntersectType(T) ? Intersect(FromIntersect(T.allOf)) :
+        IsUnionType(T) ? Union(FromUnion(T.anyOf)) :
+            IsObjectType(T) ? Object(FromProperties(T.properties)) :
+                Object({}));
+}
+export function Required(T, options = {}) {
+    const D = Discard(T, [TransformKind, '$id', 'required']);
+    const R = CloneType(RequiredResolve(T), options);
+    return { ...D, ...R };
+}

package/build/import/type/rest/rest.mjs

@@ -0,0 +1,8 @@
+import { CloneRest } from '../clone/type.mjs';
+import { TIntersect as IsIntersectType, TUnion as IsUnionType, TTuple as IsTupleType } from '../guard/type.mjs';
+export function RestResolve(T) {
+    return (IsIntersectType(T) ? [...T.allOf] : IsUnionType(T) ? [...T.anyOf] : IsTupleType(T) ? [...(T.items ?? [])] : []);
+}
+export function Rest(T) {
+    return CloneRest(RestResolve(T));
+}

package/build/import/type/return-type/return-type.mjs

@@ -0,0 +1,4 @@
+import { CloneType } from '../clone/type.mjs';
+export function ReturnType(schema, options = {}) {
+    return CloneType(schema.returns, options);
+}

package/build/import/type/schema/anyschema.mjs

@@ -0,0 +1 @@
+export {};

package/build/import/type/schema/schema.mjs

@@ -0,0 +1 @@
+import { Kind, Hint, ReadonlyKind, OptionalKind } from '../symbols/index.mjs';

package/build/import/type/static/static.mjs

@@ -0,0 +1 @@
+export {};

package/build/import/type/strict/strict.mjs

@@ -0,0 +1,3 @@
+export function Strict(schema) {
+    return JSON.parse(JSON.stringify(schema));
+}

package/build/import/type/string/string.mjs

@@ -0,0 +1,4 @@
+import { Kind } from '../symbols/index.mjs';
+export function String(options = {}) {
+    return { ...options, [Kind]: 'String', type: 'string' };
+}

package/build/import/type/symbol/symbol.mjs

@@ -0,0 +1,4 @@
+import { Kind } from '../symbols/index.mjs';
+export function Symbol(options) {
+    return { ...options, [Kind]: 'Symbol', type: 'symbol' };
+}

package/build/import/type/symbols/symbols.mjs

@@ -0,0 +1,5 @@
+export const TransformKind = Symbol.for('TypeBox.Transform');
+export const ReadonlyKind = Symbol.for('TypeBox.Readonly');
+export const OptionalKind = Symbol.for('TypeBox.Optional');
+export const Hint = Symbol.for('TypeBox.Hint');
+export const Kind = Symbol.for('TypeBox.Kind');

package/build/import/type/template-literal/finite.mjs

@@ -0,0 +1,29 @@
+export class TemplateLiteralFiniteError extends Error {
+}
+function IsNumberExpression(expression) {
+    return (expression.type === 'or' &&
+        expression.expr.length === 2 &&
+        expression.expr[0].type === 'const' &&
+        expression.expr[0].const === '0' &&
+        expression.expr[1].type === 'const' &&
+        expression.expr[1].const === '[1-9][0-9]*');
+}
+function IsBooleanExpression(expression) {
+    return (expression.type === 'or' &&
+        expression.expr.length === 2 &&
+        expression.expr[0].type === 'const' &&
+        expression.expr[0].const === 'true' &&
+        expression.expr[1].type === 'const' &&
+        expression.expr[1].const === 'false');
+}
+function IsStringExpression(expression) {
+    return expression.type === 'const' && expression.const === '.*';
+}
+export function IsTemplateLiteralFinite(expression) {
+    return (IsBooleanExpression(expression) ? true :
+        IsNumberExpression(expression) || IsStringExpression(expression) ? false :
+            (expression.type === 'and') ? expression.expr.every((expr) => IsTemplateLiteralFinite(expr)) :
+                (expression.type === 'or') ? expression.expr.every((expr) => IsTemplateLiteralFinite(expr)) :
+                    (expression.type === 'const') ? true :
+                        (() => { throw new TemplateLiteralFiniteError(`Unknown expression type`); })());
+}

package/build/import/type/template-literal/generate.mjs

@@ -0,0 +1,32 @@
+function* GenerateReduce(buffer) {
+    if (buffer.length === 1)
+        return yield* buffer[0];
+    for (const left of buffer[0]) {
+        for (const right of GenerateReduce(buffer.slice(1))) {
+            yield `${left}${right}`;
+        }
+    }
+}
+function* GenerateAnd(expression) {
+    return yield* GenerateReduce(expression.expr.map((expr) => [...TemplateLiteralGenerate(expr)]));
+}
+function* GenerateOr(expression) {
+    for (const expr of expression.expr)
+        yield* TemplateLiteralGenerate(expr);
+}
+function* GenerateConst(expression) {
+    return yield expression.const;
+}
+export class TemplateLiteralGenerateError extends Error {
+}
+export function* TemplateLiteralGenerate(expression) {
+    return expression.type === 'and'
+        ? yield* GenerateAnd(expression)
+        : expression.type === 'or'
+            ? yield* GenerateOr(expression)
+            : expression.type === 'const'
+                ? yield* GenerateConst(expression)
+                : (() => {
+                    throw new TemplateLiteralGenerateError('Unknown expression');
+                })();
+}