typia 3.4.6 → 3.4.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/executable/typia.js +0 -0
- package/lib/factories/internal/iterate_metadata.js +1 -1
- package/lib/factories/internal/iterate_metadata.js.map +1 -1
- package/lib/factories/internal/iterate_metadata_tuple.d.ts +1 -1
- package/lib/factories/internal/iterate_metadata_tuple.js +5 -13
- package/lib/factories/internal/iterate_metadata_tuple.js.map +1 -1
- package/package.json +1 -1
- package/src/IValidation.ts +21 -21
- package/src/Primitive.ts +82 -82
- package/src/TypeGuardError.ts +36 -36
- package/src/factories/CommentFactory.ts +10 -10
- package/src/factories/ExpressionFactory.ts +52 -52
- package/src/factories/IdentifierFactory.ts +72 -72
- package/src/factories/LiteralFactory.ts +44 -44
- package/src/factories/MetadataCollection.ts +122 -122
- package/src/factories/MetadataFactory.ts +46 -46
- package/src/factories/StatementFactory.ts +60 -60
- package/src/factories/TemplateFactory.ts +56 -56
- package/src/factories/TypeFactory.ts +101 -101
- package/src/factories/ValueFactory.ts +12 -12
- package/src/factories/internal/MetadataHelper.ts +12 -12
- package/src/factories/internal/emplace_metadata_object.ts +140 -140
- package/src/factories/internal/explore_metadata.ts +91 -91
- package/src/factories/internal/iterate_metadata.ts +1 -2
- package/src/factories/internal/iterate_metadata_array.ts +29 -29
- package/src/factories/internal/iterate_metadata_atomic.ts +59 -59
- package/src/factories/internal/iterate_metadata_coalesce.ts +33 -33
- package/src/factories/internal/iterate_metadata_constant.ts +58 -58
- package/src/factories/internal/iterate_metadata_map.ts +41 -41
- package/src/factories/internal/iterate_metadata_object.ts +45 -45
- package/src/factories/internal/iterate_metadata_resolve.ts +27 -27
- package/src/factories/internal/iterate_metadata_set.ts +33 -33
- package/src/factories/internal/iterate_metadata_template.ts +38 -38
- package/src/factories/internal/iterate_metadata_tuple.ts +45 -51
- package/src/factories/internal/iterate_metadata_union.ts +59 -59
- package/src/functional/$every.ts +11 -11
- package/src/functional/$guard.ts +35 -35
- package/src/functional/$is_email.ts +5 -5
- package/src/functional/$is_ipv4.ts +5 -5
- package/src/functional/$is_ipv6.ts +5 -5
- package/src/functional/$is_url.ts +5 -5
- package/src/functional/$is_uuid.ts +5 -5
- package/src/functional/$join.ts +50 -50
- package/src/functional/$report.ts +15 -15
- package/src/functional/$rest.ts +3 -3
- package/src/functional/$string.ts +37 -37
- package/src/functional/$tail.ts +6 -6
- package/src/metadata/IJsDocTagInfo.ts +10 -10
- package/src/metadata/IMetadata.ts +25 -25
- package/src/metadata/IMetadataApplication.ts +7 -7
- package/src/metadata/IMetadataConstant.ts +16 -16
- package/src/metadata/IMetadataEntry.ts +6 -6
- package/src/metadata/IMetadataObject.ts +29 -29
- package/src/metadata/IMetadataProperty.ts +11 -11
- package/src/metadata/IMetadataTag.ts +122 -122
- package/src/metadata/Metadata.ts +477 -477
- package/src/metadata/MetadataConstant.ts +3 -3
- package/src/metadata/MetadataObject.ts +131 -131
- package/src/metadata/MetadataProperty.ts +64 -64
- package/src/programmers/AssertParseProgrammer.ts +45 -45
- package/src/programmers/AssertProgrammer.ts +444 -444
- package/src/programmers/AssertStringifyProgrammer.ts +45 -45
- package/src/programmers/CheckerProgrammer.ts +798 -798
- package/src/programmers/FeatureProgrammer.ts +327 -327
- package/src/programmers/IsParseProgrammer.ts +51 -51
- package/src/programmers/IsProgrammer.ts +169 -169
- package/src/programmers/IsStringifyProgrammer.ts +49 -49
- package/src/programmers/ValidateParseProgrammer.ts +49 -49
- package/src/programmers/ValidateProgrammer.ts +236 -236
- package/src/programmers/ValidateStringifyProgrammer.ts +60 -60
- package/src/programmers/helpers/AtomicPredicator.ts +15 -15
- package/src/programmers/helpers/FunctionImporeter.ts +31 -31
- package/src/programmers/helpers/IExpressionEntry.ts +10 -10
- package/src/programmers/helpers/OptionPredicator.ts +18 -18
- package/src/programmers/helpers/StringifyJoinder.ts +111 -111
- package/src/programmers/helpers/StringifyPredicator.ts +18 -18
- package/src/programmers/helpers/UnionExplorer.ts +437 -437
- package/src/programmers/helpers/UnionPredicator.ts +81 -81
- package/src/programmers/internal/application_boolean.ts +17 -17
- package/src/programmers/internal/application_constant.ts +29 -29
- package/src/programmers/internal/application_default_string.ts +32 -32
- package/src/programmers/internal/application_native.ts +29 -29
- package/src/programmers/internal/application_schema.ts +221 -221
- package/src/programmers/internal/application_templates.ts +27 -27
- package/src/programmers/internal/application_tuple.ts +25 -25
- package/src/programmers/internal/check_array.ts +44 -44
- package/src/programmers/internal/check_dynamic_properties.ts +146 -146
- package/src/programmers/internal/check_everything.ts +25 -25
- package/src/programmers/internal/check_length.ts +46 -46
- package/src/programmers/internal/check_native.ts +9 -9
- package/src/programmers/internal/check_number.ts +181 -181
- package/src/programmers/internal/check_object.ts +42 -42
- package/src/programmers/internal/check_string.ts +24 -24
- package/src/programmers/internal/check_string_tags.ts +63 -63
- package/src/programmers/internal/check_template.ts +50 -50
- package/src/programmers/internal/decode_union_object.ts +73 -73
- package/src/programmers/internal/feature_object_entries.ts +49 -49
- package/src/programmers/internal/metadata_to_pattern.ts +31 -31
- package/src/programmers/internal/stringify_dynamic_properties.ts +164 -164
- package/src/programmers/internal/stringify_native.ts +8 -8
- package/src/programmers/internal/stringify_regular_properties.ts +81 -81
- package/src/programmers/internal/template_to_pattern.ts +15 -15
- package/src/schemas/IJsonApplication.ts +9 -9
- package/src/transform.ts +20 -20
- package/src/transformers/ExpressionWithArgumentTransformer.ts +66 -66
- package/src/transformers/FileTransformer.ts +49 -49
- package/src/transformers/IProject.ts +11 -11
- package/src/transformers/ITransformOptions.ts +4 -4
- package/src/transformers/NodeTransformer.ts +19 -19
- package/src/typings/Atomic.ts +17 -17
- package/src/typings/ClassProperties.ts +5 -5
- package/src/typings/OmitNever.ts +3 -3
- package/src/typings/SpecialFields.ts +3 -3
- package/src/typings/Writable.ts +11 -11
- package/src/utils/ArrayUtil.ts +49 -49
- package/src/utils/Escaper.ts +50 -50
- package/src/utils/MapUtil.ts +14 -14
- package/src/utils/PatternUtil.ts +30 -30
- package/src/utils/Singleton.ts +17 -17
|
@@ -1,66 +1,66 @@
|
|
|
1
|
-
// import path from "path";
|
|
2
|
-
// import ts from "typescript";
|
|
3
|
-
// import { AssertProgrammer } from "../programmers/AssertProgrammer";
|
|
4
|
-
// import { IsProgrammer } from "../programmers/IsProgrammer";
|
|
5
|
-
// import { StringifyProgrammer } from "../programmers/StringifyProgrammer";
|
|
6
|
-
// import { IProject } from "../structures/IProject";
|
|
7
|
-
|
|
8
|
-
// export namespace ExpressionWithArgumentTransformer {
|
|
9
|
-
// export function transform(
|
|
10
|
-
// project: IProject,
|
|
11
|
-
// expression: ts.ExpressionWithTypeArguments,
|
|
12
|
-
// ): ts.Expression {
|
|
13
|
-
// //----
|
|
14
|
-
// // VALIDATIONS
|
|
15
|
-
// //----
|
|
16
|
-
// // SYMBOL DECLARATION
|
|
17
|
-
// const symbol: ts.Symbol | undefined =
|
|
18
|
-
// project.checker.getSymbolAtLocation(expression.expression);
|
|
19
|
-
// const declaration: ts.Declaration | undefined = symbol?.declarations
|
|
20
|
-
// ? symbol.declarations[0]
|
|
21
|
-
// : undefined;
|
|
22
|
-
// if (!declaration) return expression;
|
|
23
|
-
|
|
24
|
-
// // FILE PATH
|
|
25
|
-
// const file: string = path.resolve(declaration.getSourceFile().fileName);
|
|
26
|
-
// if (file !== LIB_PATH && file !== SRC_PATH) return expression;
|
|
27
|
-
|
|
28
|
-
// // ARGUMENTS
|
|
29
|
-
// if (expression.typeArguments?.length !== 1) return expression;
|
|
30
|
-
|
|
31
|
-
// //----
|
|
32
|
-
// // TRANSFORMATION
|
|
33
|
-
// //----
|
|
34
|
-
// // GET MODULO AND TYPE
|
|
35
|
-
// const modulo: ts.LeftHandSideExpression = expression.expression;
|
|
36
|
-
// const type: ts.Type = project.checker.getTypeFromTypeNode(
|
|
37
|
-
// expression.typeArguments[0]!,
|
|
38
|
-
// );
|
|
39
|
-
|
|
40
|
-
// // FUNCTION NAME
|
|
41
|
-
// const { name } = project.checker.getTypeAtLocation(declaration).symbol;
|
|
42
|
-
|
|
43
|
-
// // FIND TRANSFORMER
|
|
44
|
-
// const functor: (() => Task) | undefined = FUNCTORS[name];
|
|
45
|
-
// if (functor === undefined) return expression;
|
|
46
|
-
|
|
47
|
-
// // RETURNS WITH TRANSFORMATION
|
|
48
|
-
// return functor()(project, modulo, type);
|
|
49
|
-
// }
|
|
50
|
-
// }
|
|
51
|
-
|
|
52
|
-
// type Task = (
|
|
53
|
-
// project: IProject,
|
|
54
|
-
// modulo: ts.LeftHandSideExpression,
|
|
55
|
-
// type: ts.Type,
|
|
56
|
-
// ) => ts.ArrowFunction;
|
|
57
|
-
|
|
58
|
-
// const LIB_PATH = path.resolve(path.join(__dirname, "..", "module.d.ts"));
|
|
59
|
-
// const SRC_PATH = path.resolve(path.join(__dirname, "..", "module.ts"));
|
|
60
|
-
|
|
61
|
-
// const FUNCTORS: Record<string, () => Task> = {
|
|
62
|
-
// assert: () => AssertProgrammer.generate,
|
|
63
|
-
// is: () => (project, _modulo, type) => IsProgrammer.generate(project, type),
|
|
64
|
-
// stringify: () => (project, modulo, type) =>
|
|
65
|
-
// StringifyProgrammer.generate(modulo)(project, type),
|
|
66
|
-
// };
|
|
1
|
+
// import path from "path";
|
|
2
|
+
// import ts from "typescript";
|
|
3
|
+
// import { AssertProgrammer } from "../programmers/AssertProgrammer";
|
|
4
|
+
// import { IsProgrammer } from "../programmers/IsProgrammer";
|
|
5
|
+
// import { StringifyProgrammer } from "../programmers/StringifyProgrammer";
|
|
6
|
+
// import { IProject } from "../structures/IProject";
|
|
7
|
+
|
|
8
|
+
// export namespace ExpressionWithArgumentTransformer {
|
|
9
|
+
// export function transform(
|
|
10
|
+
// project: IProject,
|
|
11
|
+
// expression: ts.ExpressionWithTypeArguments,
|
|
12
|
+
// ): ts.Expression {
|
|
13
|
+
// //----
|
|
14
|
+
// // VALIDATIONS
|
|
15
|
+
// //----
|
|
16
|
+
// // SYMBOL DECLARATION
|
|
17
|
+
// const symbol: ts.Symbol | undefined =
|
|
18
|
+
// project.checker.getSymbolAtLocation(expression.expression);
|
|
19
|
+
// const declaration: ts.Declaration | undefined = symbol?.declarations
|
|
20
|
+
// ? symbol.declarations[0]
|
|
21
|
+
// : undefined;
|
|
22
|
+
// if (!declaration) return expression;
|
|
23
|
+
|
|
24
|
+
// // FILE PATH
|
|
25
|
+
// const file: string = path.resolve(declaration.getSourceFile().fileName);
|
|
26
|
+
// if (file !== LIB_PATH && file !== SRC_PATH) return expression;
|
|
27
|
+
|
|
28
|
+
// // ARGUMENTS
|
|
29
|
+
// if (expression.typeArguments?.length !== 1) return expression;
|
|
30
|
+
|
|
31
|
+
// //----
|
|
32
|
+
// // TRANSFORMATION
|
|
33
|
+
// //----
|
|
34
|
+
// // GET MODULO AND TYPE
|
|
35
|
+
// const modulo: ts.LeftHandSideExpression = expression.expression;
|
|
36
|
+
// const type: ts.Type = project.checker.getTypeFromTypeNode(
|
|
37
|
+
// expression.typeArguments[0]!,
|
|
38
|
+
// );
|
|
39
|
+
|
|
40
|
+
// // FUNCTION NAME
|
|
41
|
+
// const { name } = project.checker.getTypeAtLocation(declaration).symbol;
|
|
42
|
+
|
|
43
|
+
// // FIND TRANSFORMER
|
|
44
|
+
// const functor: (() => Task) | undefined = FUNCTORS[name];
|
|
45
|
+
// if (functor === undefined) return expression;
|
|
46
|
+
|
|
47
|
+
// // RETURNS WITH TRANSFORMATION
|
|
48
|
+
// return functor()(project, modulo, type);
|
|
49
|
+
// }
|
|
50
|
+
// }
|
|
51
|
+
|
|
52
|
+
// type Task = (
|
|
53
|
+
// project: IProject,
|
|
54
|
+
// modulo: ts.LeftHandSideExpression,
|
|
55
|
+
// type: ts.Type,
|
|
56
|
+
// ) => ts.ArrowFunction;
|
|
57
|
+
|
|
58
|
+
// const LIB_PATH = path.resolve(path.join(__dirname, "..", "module.d.ts"));
|
|
59
|
+
// const SRC_PATH = path.resolve(path.join(__dirname, "..", "module.ts"));
|
|
60
|
+
|
|
61
|
+
// const FUNCTORS: Record<string, () => Task> = {
|
|
62
|
+
// assert: () => AssertProgrammer.generate,
|
|
63
|
+
// is: () => (project, _modulo, type) => IsProgrammer.generate(project, type),
|
|
64
|
+
// stringify: () => (project, modulo, type) =>
|
|
65
|
+
// StringifyProgrammer.generate(modulo)(project, type),
|
|
66
|
+
// };
|
|
@@ -1,49 +1,49 @@
|
|
|
1
|
-
import ts from "typescript";
|
|
2
|
-
|
|
3
|
-
import { IProject } from "./IProject";
|
|
4
|
-
import { NodeTransformer } from "./NodeTransformer";
|
|
5
|
-
|
|
6
|
-
export namespace FileTransformer {
|
|
7
|
-
export function transform(
|
|
8
|
-
project: IProject,
|
|
9
|
-
context: ts.TransformationContext,
|
|
10
|
-
file: ts.SourceFile,
|
|
11
|
-
): ts.SourceFile {
|
|
12
|
-
// DO NOT TRANSFORM D.TS FILE
|
|
13
|
-
if (file.isDeclarationFile) return file;
|
|
14
|
-
|
|
15
|
-
// ITERATE NODES
|
|
16
|
-
return ts.visitEachChild(
|
|
17
|
-
file,
|
|
18
|
-
(node) => iterate_node(project, context, node),
|
|
19
|
-
context,
|
|
20
|
-
);
|
|
21
|
-
}
|
|
22
|
-
|
|
23
|
-
function iterate_node(
|
|
24
|
-
project: IProject,
|
|
25
|
-
context: ts.TransformationContext,
|
|
26
|
-
node: ts.Node,
|
|
27
|
-
): ts.Node {
|
|
28
|
-
return ts.visitEachChild(
|
|
29
|
-
try_transform_node(project, node),
|
|
30
|
-
(child) => iterate_node(project, context, child),
|
|
31
|
-
context,
|
|
32
|
-
);
|
|
33
|
-
}
|
|
34
|
-
|
|
35
|
-
function try_transform_node(project: IProject, node: ts.Node): ts.Node {
|
|
36
|
-
try {
|
|
37
|
-
return NodeTransformer.transform(project, node);
|
|
38
|
-
} catch (exp) {
|
|
39
|
-
if (!(exp instanceof Error)) throw exp;
|
|
40
|
-
|
|
41
|
-
const file: ts.SourceFile = node.getSourceFile();
|
|
42
|
-
const { line, character } = file.getLineAndCharacterOfPosition(
|
|
43
|
-
node.pos,
|
|
44
|
-
);
|
|
45
|
-
exp.message += ` - ${file.fileName}:${line + 1}:${character + 1}`;
|
|
46
|
-
throw exp;
|
|
47
|
-
}
|
|
48
|
-
}
|
|
49
|
-
}
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
|
|
3
|
+
import { IProject } from "./IProject";
|
|
4
|
+
import { NodeTransformer } from "./NodeTransformer";
|
|
5
|
+
|
|
6
|
+
export namespace FileTransformer {
|
|
7
|
+
export function transform(
|
|
8
|
+
project: IProject,
|
|
9
|
+
context: ts.TransformationContext,
|
|
10
|
+
file: ts.SourceFile,
|
|
11
|
+
): ts.SourceFile {
|
|
12
|
+
// DO NOT TRANSFORM D.TS FILE
|
|
13
|
+
if (file.isDeclarationFile) return file;
|
|
14
|
+
|
|
15
|
+
// ITERATE NODES
|
|
16
|
+
return ts.visitEachChild(
|
|
17
|
+
file,
|
|
18
|
+
(node) => iterate_node(project, context, node),
|
|
19
|
+
context,
|
|
20
|
+
);
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
function iterate_node(
|
|
24
|
+
project: IProject,
|
|
25
|
+
context: ts.TransformationContext,
|
|
26
|
+
node: ts.Node,
|
|
27
|
+
): ts.Node {
|
|
28
|
+
return ts.visitEachChild(
|
|
29
|
+
try_transform_node(project, node),
|
|
30
|
+
(child) => iterate_node(project, context, child),
|
|
31
|
+
context,
|
|
32
|
+
);
|
|
33
|
+
}
|
|
34
|
+
|
|
35
|
+
function try_transform_node(project: IProject, node: ts.Node): ts.Node {
|
|
36
|
+
try {
|
|
37
|
+
return NodeTransformer.transform(project, node);
|
|
38
|
+
} catch (exp) {
|
|
39
|
+
if (!(exp instanceof Error)) throw exp;
|
|
40
|
+
|
|
41
|
+
const file: ts.SourceFile = node.getSourceFile();
|
|
42
|
+
const { line, character } = file.getLineAndCharacterOfPosition(
|
|
43
|
+
node.pos,
|
|
44
|
+
);
|
|
45
|
+
exp.message += ` - ${file.fileName}:${line + 1}:${character + 1}`;
|
|
46
|
+
throw exp;
|
|
47
|
+
}
|
|
48
|
+
}
|
|
49
|
+
}
|
|
@@ -1,11 +1,11 @@
|
|
|
1
|
-
import ts from "typescript";
|
|
2
|
-
|
|
3
|
-
import { ITransformOptions } from "./ITransformOptions";
|
|
4
|
-
|
|
5
|
-
export interface IProject {
|
|
6
|
-
program: ts.Program;
|
|
7
|
-
compilerOptions: ts.CompilerOptions;
|
|
8
|
-
checker: ts.TypeChecker;
|
|
9
|
-
printer: ts.Printer;
|
|
10
|
-
options: ITransformOptions;
|
|
11
|
-
}
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
|
|
3
|
+
import { ITransformOptions } from "./ITransformOptions";
|
|
4
|
+
|
|
5
|
+
export interface IProject {
|
|
6
|
+
program: ts.Program;
|
|
7
|
+
compilerOptions: ts.CompilerOptions;
|
|
8
|
+
checker: ts.TypeChecker;
|
|
9
|
+
printer: ts.Printer;
|
|
10
|
+
options: ITransformOptions;
|
|
11
|
+
}
|
|
@@ -1,4 +1,4 @@
|
|
|
1
|
-
export interface ITransformOptions {
|
|
2
|
-
functional?: boolean | "checker" | "stringify";
|
|
3
|
-
numeric?: boolean | "checker" | "stringify";
|
|
4
|
-
}
|
|
1
|
+
export interface ITransformOptions {
|
|
2
|
+
functional?: boolean | "checker" | "stringify";
|
|
3
|
+
numeric?: boolean | "checker" | "stringify";
|
|
4
|
+
}
|
|
@@ -1,19 +1,19 @@
|
|
|
1
|
-
import ts from "typescript";
|
|
2
|
-
|
|
3
|
-
import { CallExpressionTransformer } from "./CallExpressionTransformer";
|
|
4
|
-
import { IProject } from "./IProject";
|
|
5
|
-
|
|
6
|
-
// import { ExpressionWithArgumentTransformer } from "./ExpressionWithArgumentTransformer";
|
|
7
|
-
|
|
8
|
-
export namespace NodeTransformer {
|
|
9
|
-
export function transform(project: IProject, expression: ts.Node): ts.Node {
|
|
10
|
-
if (ts.isCallExpression(expression))
|
|
11
|
-
return CallExpressionTransformer.transform(project, expression);
|
|
12
|
-
// else if (ts.isExpressionWithTypeArguments(expression))
|
|
13
|
-
// return ExpressionWithArgumentTransformer.transform(
|
|
14
|
-
// project,
|
|
15
|
-
// expression,
|
|
16
|
-
// );
|
|
17
|
-
return expression;
|
|
18
|
-
}
|
|
19
|
-
}
|
|
1
|
+
import ts from "typescript";
|
|
2
|
+
|
|
3
|
+
import { CallExpressionTransformer } from "./CallExpressionTransformer";
|
|
4
|
+
import { IProject } from "./IProject";
|
|
5
|
+
|
|
6
|
+
// import { ExpressionWithArgumentTransformer } from "./ExpressionWithArgumentTransformer";
|
|
7
|
+
|
|
8
|
+
export namespace NodeTransformer {
|
|
9
|
+
export function transform(project: IProject, expression: ts.Node): ts.Node {
|
|
10
|
+
if (ts.isCallExpression(expression))
|
|
11
|
+
return CallExpressionTransformer.transform(project, expression);
|
|
12
|
+
// else if (ts.isExpressionWithTypeArguments(expression))
|
|
13
|
+
// return ExpressionWithArgumentTransformer.transform(
|
|
14
|
+
// project,
|
|
15
|
+
// expression,
|
|
16
|
+
// );
|
|
17
|
+
return expression;
|
|
18
|
+
}
|
|
19
|
+
}
|
package/src/typings/Atomic.ts
CHANGED
|
@@ -1,17 +1,17 @@
|
|
|
1
|
-
export namespace Atomic {
|
|
2
|
-
export type Type = boolean | number | string | bigint;
|
|
3
|
-
export type Literal =
|
|
4
|
-
| "boolean"
|
|
5
|
-
| "integer"
|
|
6
|
-
| "number"
|
|
7
|
-
| "string"
|
|
8
|
-
| "bigint";
|
|
9
|
-
|
|
10
|
-
export type Mapper = {
|
|
11
|
-
boolean: boolean;
|
|
12
|
-
integer: number;
|
|
13
|
-
number: number;
|
|
14
|
-
string: string;
|
|
15
|
-
bigint: bigint;
|
|
16
|
-
};
|
|
17
|
-
}
|
|
1
|
+
export namespace Atomic {
|
|
2
|
+
export type Type = boolean | number | string | bigint;
|
|
3
|
+
export type Literal =
|
|
4
|
+
| "boolean"
|
|
5
|
+
| "integer"
|
|
6
|
+
| "number"
|
|
7
|
+
| "string"
|
|
8
|
+
| "bigint";
|
|
9
|
+
|
|
10
|
+
export type Mapper = {
|
|
11
|
+
boolean: boolean;
|
|
12
|
+
integer: number;
|
|
13
|
+
number: number;
|
|
14
|
+
string: string;
|
|
15
|
+
bigint: bigint;
|
|
16
|
+
};
|
|
17
|
+
}
|
|
@@ -1,5 +1,5 @@
|
|
|
1
|
-
import { OmitNever } from "./OmitNever";
|
|
2
|
-
|
|
3
|
-
export type ClassProperties<T extends object> = OmitNever<{
|
|
4
|
-
[K in keyof T]: T[K] extends Function ? never : T[K];
|
|
5
|
-
}>;
|
|
1
|
+
import { OmitNever } from "./OmitNever";
|
|
2
|
+
|
|
3
|
+
export type ClassProperties<T extends object> = OmitNever<{
|
|
4
|
+
[K in keyof T]: T[K] extends Function ? never : T[K];
|
|
5
|
+
}>;
|
package/src/typings/OmitNever.ts
CHANGED
|
@@ -1,3 +1,3 @@
|
|
|
1
|
-
import { SpecialFields } from "./SpecialFields";
|
|
2
|
-
|
|
3
|
-
export type OmitNever<T extends object> = Omit<T, SpecialFields<T, never>>;
|
|
1
|
+
import { SpecialFields } from "./SpecialFields";
|
|
2
|
+
|
|
3
|
+
export type OmitNever<T extends object> = Omit<T, SpecialFields<T, never>>;
|
|
@@ -1,3 +1,3 @@
|
|
|
1
|
-
export type SpecialFields<Instance extends object, Target> = {
|
|
2
|
-
[P in keyof Instance]: Instance[P] extends Target ? P : never;
|
|
3
|
-
}[keyof Instance & string];
|
|
1
|
+
export type SpecialFields<Instance extends object, Target> = {
|
|
2
|
+
[P in keyof Instance]: Instance[P] extends Target ? P : never;
|
|
3
|
+
}[keyof Instance & string];
|
package/src/typings/Writable.ts
CHANGED
|
@@ -1,11 +1,11 @@
|
|
|
1
|
-
import { ClassProperties } from "./ClassProperties";
|
|
2
|
-
|
|
3
|
-
export type Writable<T extends object> = {
|
|
4
|
-
-readonly [P in keyof T]: T[P];
|
|
5
|
-
};
|
|
6
|
-
|
|
7
|
-
export function Writable<T extends object>(
|
|
8
|
-
elem: T,
|
|
9
|
-
): Writable<ClassProperties<T>> {
|
|
10
|
-
return elem as any;
|
|
11
|
-
}
|
|
1
|
+
import { ClassProperties } from "./ClassProperties";
|
|
2
|
+
|
|
3
|
+
export type Writable<T extends object> = {
|
|
4
|
+
-readonly [P in keyof T]: T[P];
|
|
5
|
+
};
|
|
6
|
+
|
|
7
|
+
export function Writable<T extends object>(
|
|
8
|
+
elem: T,
|
|
9
|
+
): Writable<ClassProperties<T>> {
|
|
10
|
+
return elem as any;
|
|
11
|
+
}
|
package/src/utils/ArrayUtil.ts
CHANGED
|
@@ -1,49 +1,49 @@
|
|
|
1
|
-
export namespace ArrayUtil {
|
|
2
|
-
export function has<T>(array: T[], pred: (elem: T) => boolean): boolean {
|
|
3
|
-
return array.some(pred);
|
|
4
|
-
}
|
|
5
|
-
|
|
6
|
-
export function add<T>(
|
|
7
|
-
array: T[],
|
|
8
|
-
value: T,
|
|
9
|
-
pred: (x: T, y: T) => boolean = (x, y) => x === y,
|
|
10
|
-
): void {
|
|
11
|
-
if (array.some((elem) => pred(elem, value))) return;
|
|
12
|
-
array.push(value);
|
|
13
|
-
}
|
|
14
|
-
|
|
15
|
-
export function set<Key, T>(
|
|
16
|
-
array: T[],
|
|
17
|
-
value: T,
|
|
18
|
-
key: (elem: T) => Key,
|
|
19
|
-
): void {
|
|
20
|
-
if (array.some((elem) => key(elem) === key(value))) return;
|
|
21
|
-
array.push(value);
|
|
22
|
-
}
|
|
23
|
-
|
|
24
|
-
export function take<T>(
|
|
25
|
-
array: T[],
|
|
26
|
-
pred: (elem: T) => boolean,
|
|
27
|
-
init: () => T,
|
|
28
|
-
): T {
|
|
29
|
-
const index: number = array.findIndex(pred);
|
|
30
|
-
if (index !== -1) return array[index]!;
|
|
31
|
-
|
|
32
|
-
const elem: T = init();
|
|
33
|
-
array.push(elem);
|
|
34
|
-
return elem;
|
|
35
|
-
}
|
|
36
|
-
|
|
37
|
-
export function repeat<T>(
|
|
38
|
-
count: number,
|
|
39
|
-
closure: (index: number, count: number) => T,
|
|
40
|
-
): T[] {
|
|
41
|
-
return new Array(count)
|
|
42
|
-
.fill("")
|
|
43
|
-
.map((_, index) => closure(index, count));
|
|
44
|
-
}
|
|
45
|
-
|
|
46
|
-
export function flat<T>(matrix: T[][]): T[] {
|
|
47
|
-
return ([] as T[]).concat(...matrix);
|
|
48
|
-
}
|
|
49
|
-
}
|
|
1
|
+
export namespace ArrayUtil {
|
|
2
|
+
export function has<T>(array: T[], pred: (elem: T) => boolean): boolean {
|
|
3
|
+
return array.some(pred);
|
|
4
|
+
}
|
|
5
|
+
|
|
6
|
+
export function add<T>(
|
|
7
|
+
array: T[],
|
|
8
|
+
value: T,
|
|
9
|
+
pred: (x: T, y: T) => boolean = (x, y) => x === y,
|
|
10
|
+
): void {
|
|
11
|
+
if (array.some((elem) => pred(elem, value))) return;
|
|
12
|
+
array.push(value);
|
|
13
|
+
}
|
|
14
|
+
|
|
15
|
+
export function set<Key, T>(
|
|
16
|
+
array: T[],
|
|
17
|
+
value: T,
|
|
18
|
+
key: (elem: T) => Key,
|
|
19
|
+
): void {
|
|
20
|
+
if (array.some((elem) => key(elem) === key(value))) return;
|
|
21
|
+
array.push(value);
|
|
22
|
+
}
|
|
23
|
+
|
|
24
|
+
export function take<T>(
|
|
25
|
+
array: T[],
|
|
26
|
+
pred: (elem: T) => boolean,
|
|
27
|
+
init: () => T,
|
|
28
|
+
): T {
|
|
29
|
+
const index: number = array.findIndex(pred);
|
|
30
|
+
if (index !== -1) return array[index]!;
|
|
31
|
+
|
|
32
|
+
const elem: T = init();
|
|
33
|
+
array.push(elem);
|
|
34
|
+
return elem;
|
|
35
|
+
}
|
|
36
|
+
|
|
37
|
+
export function repeat<T>(
|
|
38
|
+
count: number,
|
|
39
|
+
closure: (index: number, count: number) => T,
|
|
40
|
+
): T[] {
|
|
41
|
+
return new Array(count)
|
|
42
|
+
.fill("")
|
|
43
|
+
.map((_, index) => closure(index, count));
|
|
44
|
+
}
|
|
45
|
+
|
|
46
|
+
export function flat<T>(matrix: T[][]): T[] {
|
|
47
|
+
return ([] as T[]).concat(...matrix);
|
|
48
|
+
}
|
|
49
|
+
}
|
package/src/utils/Escaper.ts
CHANGED
|
@@ -1,50 +1,50 @@
|
|
|
1
|
-
export namespace Escaper {
|
|
2
|
-
export function variable(str: string): boolean {
|
|
3
|
-
return (
|
|
4
|
-
reserved(str) === false && /^[a-zA-Z_$][a-zA-Z_$0-9]*$/g.test(str)
|
|
5
|
-
);
|
|
6
|
-
}
|
|
7
|
-
|
|
8
|
-
function reserved(str: string): boolean {
|
|
9
|
-
return RESERVED.has(str);
|
|
10
|
-
}
|
|
11
|
-
}
|
|
12
|
-
|
|
13
|
-
const RESERVED: Set<string> = new Set([
|
|
14
|
-
"break",
|
|
15
|
-
"case",
|
|
16
|
-
"catch",
|
|
17
|
-
"class",
|
|
18
|
-
"const",
|
|
19
|
-
"continue",
|
|
20
|
-
"debugger",
|
|
21
|
-
"default",
|
|
22
|
-
"delete",
|
|
23
|
-
"do",
|
|
24
|
-
"else",
|
|
25
|
-
"enum",
|
|
26
|
-
"export",
|
|
27
|
-
"extends",
|
|
28
|
-
"false",
|
|
29
|
-
"finally",
|
|
30
|
-
"for",
|
|
31
|
-
"function",
|
|
32
|
-
"if",
|
|
33
|
-
"import",
|
|
34
|
-
"in",
|
|
35
|
-
"instanceof",
|
|
36
|
-
"new",
|
|
37
|
-
"null",
|
|
38
|
-
"return",
|
|
39
|
-
"super",
|
|
40
|
-
"switch",
|
|
41
|
-
"this",
|
|
42
|
-
"throw",
|
|
43
|
-
"true",
|
|
44
|
-
"try",
|
|
45
|
-
"typeof",
|
|
46
|
-
"var",
|
|
47
|
-
"void",
|
|
48
|
-
"while",
|
|
49
|
-
"with",
|
|
50
|
-
]);
|
|
1
|
+
export namespace Escaper {
|
|
2
|
+
export function variable(str: string): boolean {
|
|
3
|
+
return (
|
|
4
|
+
reserved(str) === false && /^[a-zA-Z_$][a-zA-Z_$0-9]*$/g.test(str)
|
|
5
|
+
);
|
|
6
|
+
}
|
|
7
|
+
|
|
8
|
+
function reserved(str: string): boolean {
|
|
9
|
+
return RESERVED.has(str);
|
|
10
|
+
}
|
|
11
|
+
}
|
|
12
|
+
|
|
13
|
+
const RESERVED: Set<string> = new Set([
|
|
14
|
+
"break",
|
|
15
|
+
"case",
|
|
16
|
+
"catch",
|
|
17
|
+
"class",
|
|
18
|
+
"const",
|
|
19
|
+
"continue",
|
|
20
|
+
"debugger",
|
|
21
|
+
"default",
|
|
22
|
+
"delete",
|
|
23
|
+
"do",
|
|
24
|
+
"else",
|
|
25
|
+
"enum",
|
|
26
|
+
"export",
|
|
27
|
+
"extends",
|
|
28
|
+
"false",
|
|
29
|
+
"finally",
|
|
30
|
+
"for",
|
|
31
|
+
"function",
|
|
32
|
+
"if",
|
|
33
|
+
"import",
|
|
34
|
+
"in",
|
|
35
|
+
"instanceof",
|
|
36
|
+
"new",
|
|
37
|
+
"null",
|
|
38
|
+
"return",
|
|
39
|
+
"super",
|
|
40
|
+
"switch",
|
|
41
|
+
"this",
|
|
42
|
+
"throw",
|
|
43
|
+
"true",
|
|
44
|
+
"try",
|
|
45
|
+
"typeof",
|
|
46
|
+
"var",
|
|
47
|
+
"void",
|
|
48
|
+
"while",
|
|
49
|
+
"with",
|
|
50
|
+
]);
|
package/src/utils/MapUtil.ts
CHANGED
|
@@ -1,14 +1,14 @@
|
|
|
1
|
-
export namespace MapUtil {
|
|
2
|
-
export function take<Key, T>(
|
|
3
|
-
dict: Map<Key, T>,
|
|
4
|
-
key: Key,
|
|
5
|
-
generator: () => T,
|
|
6
|
-
): T {
|
|
7
|
-
const oldbie: T | undefined = dict.get(key);
|
|
8
|
-
if (oldbie) return oldbie;
|
|
9
|
-
|
|
10
|
-
const value: T = generator();
|
|
11
|
-
dict.set(key, value);
|
|
12
|
-
return value;
|
|
13
|
-
}
|
|
14
|
-
}
|
|
1
|
+
export namespace MapUtil {
|
|
2
|
+
export function take<Key, T>(
|
|
3
|
+
dict: Map<Key, T>,
|
|
4
|
+
key: Key,
|
|
5
|
+
generator: () => T,
|
|
6
|
+
): T {
|
|
7
|
+
const oldbie: T | undefined = dict.get(key);
|
|
8
|
+
if (oldbie) return oldbie;
|
|
9
|
+
|
|
10
|
+
const value: T = generator();
|
|
11
|
+
dict.set(key, value);
|
|
12
|
+
return value;
|
|
13
|
+
}
|
|
14
|
+
}
|