typia 5.0.4 → 5.0.5-dev.20230921-2
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/README.md +1 -1
- package/lib/programmers/TypiaProgrammer.js +6 -1
- package/lib/programmers/TypiaProgrammer.js.map +1 -1
- package/package.json +1 -1
- package/src/IRandomGenerator.ts +35 -35
- package/src/IValidation.ts +21 -21
- package/src/Primitive.ts +135 -135
- package/src/Resolved.ts +116 -116
- package/src/TypeGuardError.ts +36 -36
- package/src/executable/TypiaGenerateWizard.ts +85 -85
- package/src/executable/TypiaSetupWizard.ts +153 -153
- package/src/executable/setup/ArgumentParser.ts +45 -45
- package/src/executable/setup/CommandExecutor.ts +8 -8
- package/src/executable/setup/FileRetriever.ts +22 -22
- package/src/executable/setup/PackageManager.ts +71 -71
- package/src/executable/setup/PluginConfigurator.ts +70 -70
- package/src/executable/typia.ts +52 -52
- package/src/factories/CommentFactory.ts +84 -84
- package/src/factories/ExpressionFactory.ts +159 -159
- package/src/factories/IdentifierFactory.ts +74 -74
- package/src/factories/JsonMetadataFactory.ts +43 -43
- package/src/factories/LiteralFactory.ts +47 -47
- package/src/factories/MetadataCollection.ts +269 -269
- package/src/factories/MetadataCommentTagFactory.ts +629 -629
- package/src/factories/MetadataFactory.ts +214 -214
- package/src/factories/MetadataTypeTagFactory.ts +313 -313
- package/src/factories/NumericRangeFactory.ts +33 -33
- package/src/factories/ProtobufFactory.ts +272 -272
- package/src/factories/StatementFactory.ts +72 -72
- package/src/factories/TemplateFactory.ts +58 -58
- package/src/factories/TypeFactory.ts +119 -119
- package/src/factories/ValueFactory.ts +12 -12
- package/src/factories/internal/metadata/MetadataHelper.ts +12 -12
- package/src/factories/internal/metadata/emend_metadata_atomics.ts +40 -40
- package/src/factories/internal/metadata/emplace_metadata_alias.ts +41 -41
- package/src/factories/internal/metadata/emplace_metadata_array_type.ts +41 -41
- package/src/factories/internal/metadata/emplace_metadata_object.ts +150 -150
- package/src/factories/internal/metadata/emplace_metadata_tuple.ts +60 -60
- package/src/factories/internal/metadata/explore_metadata.ts +32 -32
- package/src/factories/internal/metadata/iterate_metadata.ts +101 -101
- package/src/factories/internal/metadata/iterate_metadata_alias.ts +35 -35
- package/src/factories/internal/metadata/iterate_metadata_array.ts +37 -37
- package/src/factories/internal/metadata/iterate_metadata_atomic.ts +62 -62
- package/src/factories/internal/metadata/iterate_metadata_coalesce.ts +33 -33
- package/src/factories/internal/metadata/iterate_metadata_collection.ts +141 -141
- package/src/factories/internal/metadata/iterate_metadata_comment_tags.ts +26 -26
- package/src/factories/internal/metadata/iterate_metadata_constant.ts +58 -58
- package/src/factories/internal/metadata/iterate_metadata_intersection.ts +197 -197
- package/src/factories/internal/metadata/iterate_metadata_map.ts +57 -57
- package/src/factories/internal/metadata/iterate_metadata_native.ts +210 -210
- package/src/factories/internal/metadata/iterate_metadata_object.ts +44 -44
- package/src/factories/internal/metadata/iterate_metadata_resolve.ts +52 -52
- package/src/factories/internal/metadata/iterate_metadata_set.ts +42 -42
- package/src/factories/internal/metadata/iterate_metadata_sort.ts +69 -69
- package/src/factories/internal/metadata/iterate_metadata_template.ts +47 -47
- package/src/factories/internal/metadata/iterate_metadata_tuple.ts +37 -37
- package/src/factories/internal/metadata/iterate_metadata_union.ts +27 -27
- package/src/functional/$ProtobufReader.ts +201 -201
- package/src/functional/$ProtobufSizer.ts +147 -147
- package/src/functional/$ProtobufWriter.ts +151 -151
- package/src/functional/$any.ts +4 -4
- package/src/functional/$clone.ts +4 -4
- package/src/functional/$dictionary.ts +25 -25
- package/src/functional/$every.ts +11 -11
- package/src/functional/$guard.ts +35 -35
- package/src/functional/$is_between.ts +2 -2
- package/src/functional/$join.ts +46 -46
- package/src/functional/$number.ts +13 -13
- package/src/functional/$report.ts +15 -15
- package/src/functional/$rest.ts +3 -3
- package/src/functional/$string.ts +50 -50
- package/src/functional/$strlen.ts +7 -7
- package/src/functional/$tail.ts +5 -5
- package/src/functional/$varint.ts +130 -130
- package/src/functional/$zigzag.ts +39 -39
- package/src/functional/IProtobufWriter.ts +18 -18
- package/src/functional/Namespace.ts +133 -133
- package/src/index.ts +4 -4
- package/src/json.ts +648 -648
- package/src/misc.ts +651 -651
- package/src/module.ts +656 -656
- package/src/programmers/AssertProgrammer.ts +317 -317
- package/src/programmers/CheckerProgrammer.ts +1137 -1137
- package/src/programmers/FeatureProgrammer.ts +478 -478
- package/src/programmers/IsProgrammer.ts +252 -252
- package/src/programmers/RandomProgrammer.ts +878 -878
- package/src/programmers/TypiaProgrammer.ts +170 -163
- package/src/programmers/ValidateProgrammer.ts +346 -346
- package/src/programmers/helpers/AtomicPredicator.ts +31 -31
- package/src/programmers/helpers/CloneJoiner.ts +144 -144
- package/src/programmers/helpers/FunctionImporeter.ts +91 -91
- package/src/programmers/helpers/ICheckEntry.ts +13 -13
- package/src/programmers/helpers/IExpressionEntry.ts +12 -12
- package/src/programmers/helpers/OptionPredicator.ts +15 -15
- package/src/programmers/helpers/ProtobufUtil.ts +125 -125
- package/src/programmers/helpers/ProtobufWire.ts +34 -34
- package/src/programmers/helpers/PruneJoiner.ts +143 -143
- package/src/programmers/helpers/RandomJoiner.ts +151 -151
- package/src/programmers/helpers/RandomRanger.ts +173 -173
- package/src/programmers/helpers/StringifyJoinder.ts +113 -113
- package/src/programmers/helpers/StringifyPredicator.ts +12 -12
- package/src/programmers/helpers/UnionExplorer.ts +305 -305
- package/src/programmers/helpers/UnionPredicator.ts +81 -81
- package/src/programmers/helpers/disable_function_importer_declare.ts +32 -32
- package/src/programmers/internal/JSON_SCHEMA_PREFIX.ts +1 -1
- package/src/programmers/internal/application_alias.ts +65 -65
- package/src/programmers/internal/application_array.ts +53 -53
- package/src/programmers/internal/application_boolean.ts +15 -15
- package/src/programmers/internal/application_constant.ts +26 -26
- package/src/programmers/internal/application_default.ts +17 -17
- package/src/programmers/internal/application_default_string.ts +37 -37
- package/src/programmers/internal/application_escaped.ts +55 -55
- package/src/programmers/internal/application_native.ts +39 -39
- package/src/programmers/internal/application_number.ts +88 -88
- package/src/programmers/internal/application_object.ts +162 -162
- package/src/programmers/internal/application_schema.ts +175 -175
- package/src/programmers/internal/application_string.ts +51 -51
- package/src/programmers/internal/application_templates.ts +25 -25
- package/src/programmers/internal/application_tuple.ts +58 -58
- package/src/programmers/internal/check_array_length.ts +41 -41
- package/src/programmers/internal/check_bigint.ts +45 -45
- package/src/programmers/internal/check_dynamic_properties.ts +194 -194
- package/src/programmers/internal/check_everything.ts +28 -28
- package/src/programmers/internal/check_native.ts +21 -21
- package/src/programmers/internal/check_number.ts +105 -105
- package/src/programmers/internal/check_object.ts +55 -55
- package/src/programmers/internal/check_string.ts +45 -45
- package/src/programmers/internal/check_template.ts +61 -61
- package/src/programmers/internal/check_union_array_like.ts +323 -323
- package/src/programmers/internal/decode_union_object.ts +84 -84
- package/src/programmers/internal/feature_object_entries.ts +58 -58
- package/src/programmers/internal/metadata_to_pattern.ts +34 -34
- package/src/programmers/internal/prune_object_properties.ts +60 -60
- package/src/programmers/internal/random_custom.ts +37 -37
- package/src/programmers/internal/stringify_dynamic_properties.ts +171 -171
- package/src/programmers/internal/stringify_native.ts +7 -7
- package/src/programmers/internal/stringify_regular_properties.ts +83 -83
- package/src/programmers/internal/template_to_pattern.ts +15 -15
- package/src/programmers/internal/wrap_metadata_rest_tuple.ts +20 -20
- package/src/programmers/json/JsonApplicationProgrammer.ts +50 -50
- package/src/programmers/json/JsonAssertParseProgrammer.ts +71 -71
- package/src/programmers/json/JsonAssertStringifyProgrammer.ts +66 -66
- package/src/programmers/json/JsonIsParseProgrammer.ts +77 -77
- package/src/programmers/json/JsonIsStringifyProgrammer.ts +76 -76
- package/src/programmers/json/JsonStringifyProgrammer.ts +964 -964
- package/src/programmers/json/JsonValidateParseProgrammer.ts +68 -68
- package/src/programmers/json/JsonValidateStringifyProgrammer.ts +84 -84
- package/src/programmers/misc/MiscAssertCloneProgrammer.ts +71 -71
- package/src/programmers/misc/MiscAssertPruneProgrammer.ts +68 -68
- package/src/programmers/misc/MiscCloneProgrammer.ts +774 -774
- package/src/programmers/misc/MiscIsCloneProgrammer.ts +78 -78
- package/src/programmers/misc/MiscIsPruneProgrammer.ts +73 -73
- package/src/programmers/misc/MiscLiteralsProgrammer.ts +69 -69
- package/src/programmers/misc/MiscPruneProgrammer.ts +550 -550
- package/src/programmers/misc/MiscValidateCloneProgrammer.ts +85 -85
- package/src/programmers/misc/MiscValidatePruneProgrammer.ts +78 -78
- package/src/programmers/protobuf/ProtobufAssertDecodeProgrammer.ts +75 -75
- package/src/programmers/protobuf/ProtobufAssertEncodeProgrammer.ts +66 -66
- package/src/programmers/protobuf/ProtobufDecodeProgrammer.ts +655 -655
- package/src/programmers/protobuf/ProtobufEncodeProgrammer.ts +883 -883
- package/src/programmers/protobuf/ProtobufIsDecodeProgrammer.ts +85 -85
- package/src/programmers/protobuf/ProtobufIsEncodeProgrammer.ts +76 -76
- package/src/programmers/protobuf/ProtobufMessageProgrammer.ts +165 -165
- package/src/programmers/protobuf/ProtobufValidateDecodeProgrammer.ts +75 -75
- package/src/programmers/protobuf/ProtobufValidateEncodeProgrammer.ts +86 -86
- package/src/protobuf.ts +881 -881
- package/src/schemas/json/IJsonApplication.ts +8 -8
- package/src/schemas/json/IJsonComponents.ts +33 -33
- package/src/schemas/json/IJsonSchema.ts +110 -110
- package/src/schemas/metadata/IJsDocTagInfo.ts +10 -10
- package/src/schemas/metadata/IMetadata.ts +34 -34
- package/src/schemas/metadata/IMetadataAlias.ts +12 -12
- package/src/schemas/metadata/IMetadataApplication.ts +7 -7
- package/src/schemas/metadata/IMetadataArray.ts +7 -7
- package/src/schemas/metadata/IMetadataArrayType.ts +10 -10
- package/src/schemas/metadata/IMetadataAtomic.ts +6 -6
- package/src/schemas/metadata/IMetadataCollection.ts +11 -11
- package/src/schemas/metadata/IMetadataConstant.ts +16 -16
- package/src/schemas/metadata/IMetadataDictionary.ts +14 -14
- package/src/schemas/metadata/IMetadataEntry.ts +6 -6
- package/src/schemas/metadata/IMetadataEscaped.ts +6 -6
- package/src/schemas/metadata/IMetadataObject.ts +18 -18
- package/src/schemas/metadata/IMetadataProperty.ts +9 -9
- package/src/schemas/metadata/IMetadataTuple.ts +7 -7
- package/src/schemas/metadata/IMetadataTupleType.ts +10 -10
- package/src/schemas/metadata/IMetadataTypeTag.ts +8 -8
- package/src/schemas/metadata/Metadata.ts +685 -685
- package/src/schemas/metadata/MetadataAlias.ts +61 -61
- package/src/schemas/metadata/MetadataArray.ts +49 -49
- package/src/schemas/metadata/MetadataArrayType.ts +57 -57
- package/src/schemas/metadata/MetadataAtomic.ts +42 -42
- package/src/schemas/metadata/MetadataConstant.ts +3 -3
- package/src/schemas/metadata/MetadataEscaped.ts +51 -51
- package/src/schemas/metadata/MetadataObject.ts +139 -139
- package/src/schemas/metadata/MetadataProperty.ts +59 -59
- package/src/schemas/metadata/MetadataTuple.ts +32 -32
- package/src/schemas/metadata/MetadataTupleType.ts +67 -67
- package/src/tags/ExclusiveMaximum.ts +13 -13
- package/src/tags/ExclusiveMinimum.ts +13 -13
- package/src/tags/Format.ts +30 -30
- package/src/tags/MaxItems.ts +9 -9
- package/src/tags/MaxLength.ts +9 -9
- package/src/tags/Maximum.ts +13 -13
- package/src/tags/MinItems.ts +9 -9
- package/src/tags/MinLength.ts +9 -9
- package/src/tags/Minimum.ts +13 -13
- package/src/tags/MultipleOf.ts +15 -15
- package/src/tags/Pattern.ts +8 -8
- package/src/tags/TagBase.ts +68 -68
- package/src/tags/Type.ts +27 -27
- package/src/tags/index.ts +13 -13
- package/src/transform.ts +35 -35
- package/src/transformers/CallExpressionTransformer.ts +243 -243
- package/src/transformers/FileTransformer.ts +57 -57
- package/src/transformers/IProject.ts +15 -15
- package/src/transformers/ITransformOptions.ts +62 -62
- package/src/transformers/ImportTransformer.ts +66 -66
- package/src/transformers/NodeTransformer.ts +13 -13
- package/src/transformers/TransformerError.ts +55 -55
- package/src/transformers/features/AssertTransformer.ts +11 -11
- package/src/transformers/features/CreateAssertTransformer.ts +13 -13
- package/src/transformers/features/CreateIsTransformer.ts +11 -11
- package/src/transformers/features/CreateRandomTransformer.ts +43 -43
- package/src/transformers/features/CreateValidateTransformer.ts +13 -13
- package/src/transformers/features/IsTransformer.ts +11 -11
- package/src/transformers/features/RandomTransformer.ts +46 -46
- package/src/transformers/features/ValidateTransformer.ts +11 -11
- package/src/transformers/features/json/JsonApplicationTransformer.ts +118 -118
- package/src/transformers/features/json/JsonAssertParseTransformer.ts +10 -10
- package/src/transformers/features/json/JsonAssertStringifyTransformer.ts +10 -10
- package/src/transformers/features/json/JsonCreateAssertParseTransformer.ts +10 -10
- package/src/transformers/features/json/JsonCreateAssertStringifyTransformer.ts +12 -12
- package/src/transformers/features/json/JsonCreateIsParseTransformer.ts +9 -9
- package/src/transformers/features/json/JsonCreateIsStringifyTransformer.ts +10 -10
- package/src/transformers/features/json/JsonCreateStringifyTransformer.ts +9 -9
- package/src/transformers/features/json/JsonCreateValidateParseTransformer.ts +10 -10
- package/src/transformers/features/json/JsonCreateValidateStringifyProgrammer.ts +12 -12
- package/src/transformers/features/json/JsonIsParseTransformer.ts +9 -9
- package/src/transformers/features/json/JsonIsStringifyTransformer.ts +10 -10
- package/src/transformers/features/json/JsonStringifyTransformer.ts +9 -9
- package/src/transformers/features/json/JsonValidateParseTransformer.ts +10 -10
- package/src/transformers/features/json/JsonValidateStringifyTransformer.ts +10 -10
- package/src/transformers/features/misc/MetadataTransformer.ts +61 -61
- package/src/transformers/features/misc/MiscAssertCloneTransformer.ts +10 -10
- package/src/transformers/features/misc/MiscAssertPruneTransformer.ts +10 -10
- package/src/transformers/features/misc/MiscCloneTransformer.ts +9 -9
- package/src/transformers/features/misc/MiscCreateAssertCloneTransformer.ts +10 -10
- package/src/transformers/features/misc/MiscCreateAssertPruneTransformer.ts +10 -10
- package/src/transformers/features/misc/MiscCreateCloneTransformer.ts +9 -9
- package/src/transformers/features/misc/MiscCreateIsCloneTransformer.ts +9 -9
- package/src/transformers/features/misc/MiscCreateIsPruneTransformer.ts +9 -9
- package/src/transformers/features/misc/MiscCreatePruneTransformer.ts +9 -9
- package/src/transformers/features/misc/MiscCreateValidateCloneTransformer.ts +10 -10
- package/src/transformers/features/misc/MiscCreateValidatePruneTransformer.ts +10 -10
- package/src/transformers/features/misc/MiscIsCloneTransformer.ts +9 -9
- package/src/transformers/features/misc/MiscIsPruneTransformer.ts +9 -9
- package/src/transformers/features/misc/MiscLiteralsTransformer.ts +32 -32
- package/src/transformers/features/misc/MiscPruneTransformer.ts +9 -9
- package/src/transformers/features/misc/MiscValidateCloneTransformer.ts +10 -10
- package/src/transformers/features/misc/MiscValidatePruneTransformer.ts +10 -10
- package/src/transformers/features/protobuf/CreateProtobufAssertDecodeTransformer.ts +12 -12
- package/src/transformers/features/protobuf/CreateProtobufAssertEncodeTransformer.ts +12 -12
- package/src/transformers/features/protobuf/CreateProtobufDecodeTransformer.ts +9 -9
- package/src/transformers/features/protobuf/CreateProtobufEncodeTransformer.ts +9 -9
- package/src/transformers/features/protobuf/CreateProtobufIsDecodeTransformer.ts +12 -12
- package/src/transformers/features/protobuf/CreateProtobufIsEncodeTransformer.ts +12 -12
- package/src/transformers/features/protobuf/CreateProtobufValidateDecodeTransformer.ts +12 -12
- package/src/transformers/features/protobuf/CreateProtobufValidateEncodeTransformer.ts +12 -12
- package/src/transformers/features/protobuf/ProtobufAssertDecodeTransformer.ts +10 -10
- package/src/transformers/features/protobuf/ProtobufAssertEncodeTransformer.ts +10 -10
- package/src/transformers/features/protobuf/ProtobufDecodeTransformer.ts +10 -10
- package/src/transformers/features/protobuf/ProtobufEncodeTransformer.ts +10 -10
- package/src/transformers/features/protobuf/ProtobufIsDecodeTransformer.ts +10 -10
- package/src/transformers/features/protobuf/ProtobufIsEncodeTransformer.ts +10 -10
- package/src/transformers/features/protobuf/ProtobufMessageTransformer.ts +33 -33
- package/src/transformers/features/protobuf/ProtobufValidateDecodeTransformer.ts +12 -12
- package/src/transformers/features/protobuf/ProtobufValidateEncodeTransformer.ts +12 -12
- package/src/transformers/internal/GenericTransformer.ts +104 -104
- package/src/typings/Atomic.ts +18 -18
- package/src/typings/ClassProperties.ts +5 -5
- package/src/typings/Customizable.ts +5 -5
- package/src/typings/OmitNever.ts +3 -3
- package/src/typings/ProtobufAtomic.ts +19 -19
- package/src/typings/SpecialFields.ts +3 -3
- package/src/typings/ValidationPipe.ts +9 -9
- package/src/typings/Writable.ts +11 -11
- package/src/utils/ArrayUtil.ts +45 -45
- package/src/utils/Escaper.ts +46 -46
- package/src/utils/MapUtil.ts +12 -12
- package/src/utils/NameEncoder.ts +32 -32
- package/src/utils/PatternUtil.ts +33 -33
- package/src/utils/RandomGenerator.ts +83 -83
- package/src/utils/Singleton.ts +17 -17
package/README.md
CHANGED
|
@@ -23,7 +23,7 @@ export namespace json {
|
|
|
23
23
|
// PROTOCOL BUFFER
|
|
24
24
|
export namespace protobuf {
|
|
25
25
|
export function message<T>(): string; // Protocol Buffer message
|
|
26
|
-
export function assertDecode<T>(buffer:
|
|
26
|
+
export function assertDecode<T>(buffer: Uint8Array): T; // safe decoder
|
|
27
27
|
export function assertEncode<T>(input: T): Uint8Array; // safe encoder
|
|
28
28
|
}
|
|
29
29
|
|
|
@@ -75,6 +75,11 @@ var transform_1 = __importDefault(require("../transform"));
|
|
|
75
75
|
var TypiaProgrammer;
|
|
76
76
|
(function (TypiaProgrammer) {
|
|
77
77
|
var _this = this;
|
|
78
|
+
var is_supported_extension = function (filename) {
|
|
79
|
+
return (filename.endsWith(".ts") ||
|
|
80
|
+
filename.endsWith(".tsx") ||
|
|
81
|
+
filename.endsWith(".svelte"));
|
|
82
|
+
};
|
|
78
83
|
TypiaProgrammer.build = function (props) { return __awaiter(_this, void 0, void 0, function () {
|
|
79
84
|
var parent_1, compilerOptions, program, _a, _b, diagnostics, result, _loop_1, diagnostics_1, diagnostics_1_1, diag, printer, _c, _d, file, to, content, e_1_1;
|
|
80
85
|
var e_2, _e, e_1, _f;
|
|
@@ -276,7 +281,7 @@ var TypiaProgrammer;
|
|
|
276
281
|
_d.sent();
|
|
277
282
|
return [3, 9];
|
|
278
283
|
case 8:
|
|
279
|
-
if (
|
|
284
|
+
if (is_supported_extension(file))
|
|
280
285
|
container.push(next);
|
|
281
286
|
_d.label = 9;
|
|
282
287
|
case 9:
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"TypiaProgrammer.js","sourceRoot":"","sources":["../../src/programmers/TypiaProgrammer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0CAAoB;AACpB,8CAAwB;AACxB,0DAA4B;AAE5B,uEAAsE;AAEtE,2DAAqC;AAErC,IAAiB,eAAe,
|
|
1
|
+
{"version":3,"file":"TypiaProgrammer.js","sourceRoot":"","sources":["../../src/programmers/TypiaProgrammer.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,0CAAoB;AACpB,8CAAwB;AACxB,0DAA4B;AAE5B,uEAAsE;AAEtE,2DAAqC;AAErC,IAAiB,eAAe,CAiK/B;AAjKD,WAAiB,eAAe;;IAO5B,IAAM,sBAAsB,GAAG,UAAC,QAAgB;QAC5C,OAAO,CACH,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;YACxB,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YACzB,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAC/B,CAAC;IACN,CAAC,CAAC;IAEW,qBAAK,GAAG,UACjB,KAA6B;;;;;;;;oBAE7B,KAAK,CAAC,KAAK,GAAG,cAAI,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBACxC,KAAK,CAAC,MAAM,GAAG,cAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;oBAErC,WAAM,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,EAAA;;yBAAhC,CAAA,CAAC,SAA+B,CAAC,KAAK,KAAK,CAAA,EAA3C,cAA2C;oBAC3C,MAAM,IAAI,QAAQ,CACd,oEAAoE,CACvE,CAAC;;yBACG,CAAA,YAAE,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,CAAA,EAArC,cAAqC;oBAC1C,WAAM,YAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAA;;oBAA1D,SAA0D,CAAC;;wBACrD,WAAM,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,EAAA;;yBAAjC,CAAA,CAAC,SAAgC,CAAC,KAAK,KAAK,CAAA,EAA5C,cAA4C;oBAC3C,WAAiB,cAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;oBAChD,WAAM,YAAY,CAAC,QAAM,CAAC,EAAA;;oBAA/B,IAAI,CAAC,SAA0B,CAAC,KAAK,KAAK;wBACtC,MAAM,IAAI,QAAQ,CACd,qEAAqE,CACxE,CAAC;oBACN,WAAM,YAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,EAAA;;oBAArC,SAAqC,CAAC;;;oBAIzB,eAAe,GAAK,oBAAE,CAAC,0BAA0B,CAC9D,oBAAE,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,oBAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,EACxD;wBACI,UAAU,EAAE,oBAAE,CAAC,GAAG,CAAC,UAAU;wBAC7B,QAAQ,EAAE,oBAAE,CAAC,GAAG,CAAC,QAAQ;wBACzB,aAAa,EAAE,oBAAE,CAAC,GAAG,CAAC,aAAa;wBACnC,yBAAyB,EAAE,oBAAE,CAAC,GAAG,CAAC,yBAAyB;qBAC9D,EACD,cAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAC9B,QAT+B,CAS9B;oBAE0B,KAAA,CAAA,KAAA,oBAAE,CAAA,CAAC,aAAa,CAAA;oBACxC,WAAM,CAAC;;;;;wCACG,SAAS,GAAa,EAAE,CAAC;wCAC/B,WAAM,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,EAAA;;wCAAzD,SAAyD,CAAC;wCAC1D,WAAO,SAAS,EAAC;;;6BACpB,CAAC,EAAE,EAAA;;oBALF,OAAO,GAAe,cACxB,SAII,EACJ,eAAe,EAClB;oBAGK,WAAW,GAAoB,EAAE,CAAC;oBAClC,MAAM,GAA2C,oBAAE,CAAC,SAAS,CAC/D,OAAO;yBACF,cAAc,EAAE;yBAChB,MAAM,CACH,UAAC,IAAI;wBACD,OAAA,CAAC,IAAI,CAAC,iBAAiB;4BACvB,cAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;oBADvD,CACuD,CAC9D,EACL;wBACI,qCAAiB,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;wBACtD,IAAA,mBAAS,EACL,OAAO,EACP,MAAA,CAAC,MAAC,eAAe,CAAC,OAAiB,mCAAI,EAAE,CAAC,CAAC,IAAI,CAC3C,UAAC,CAAM;4BACH,OAAA,CAAC,CAAC,SAAS,KAAK,qBAAqB;gCACrC,CAAC,CAAC,SAAS,KAAK,qBAAqB;wBADrC,CACqC,CAC5C,mCAAI,EAAE,EACP;4BACI,aAAa,EAAE,UAAC,IAAI,IAAK,OAAA,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAtB,CAAsB;yBAClD,CACJ;qBACJ,EACD,OAAO,CAAC,kBAAkB,EAAE,CAC/B,CAAC;wCAGS,IAAI;wBACX,IAAM,IAAI,GAAW,IAAI,CAAC,IAAI;4BAC1B,CAAC,CAAC,cAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;4BAClD,CAAC,CAAC,gBAAgB,CAAC;wBACvB,IAAM,QAAQ,GACV,IAAI,CAAC,QAAQ,KAAK,oBAAE,CAAC,kBAAkB,CAAC,OAAO;4BAC3C,CAAC,CAAC,SAAS;4BACX,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,oBAAE,CAAC,kBAAkB,CAAC,KAAK;gCAC/C,CAAC,CAAC,OAAO;gCACT,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,oBAAE,CAAC,kBAAkB,CAAC,UAAU;oCACpD,CAAC,CAAC,YAAY;oCACd,CAAC,CAAC,IAAI,CAAC,QAAQ,KAAK,oBAAE,CAAC,kBAAkB,CAAC,OAAO;wCACjD,CAAC,CAAC,SAAS;wCACX,CAAC,CAAC,QAAQ,CAAC;wBACb,IAAA,KAAA,OAAc,IAAI,CAAC,IAAI;4BACzB,CAAC,CAAC,CAAC;gCACG,IAAM,KAAK,GAAa,IAAI;qCACvB,IAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC;qCACnC,KAAK,CAAC,IAAI,CAAC,CAAC;gCACjB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;oCAAE,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gCACtC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;4BACpD,CAAC,CAAC,EAAE;4BACN,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAA,EARL,IAAI,QAAA,EAAE,GAAG,QAQJ,CAAC;wBACb,OAAO,CAAC,KAAK,CACT,UAAG,IAAI,cAAI,IAAI,cAAI,GAAG,gBAAM,QAAQ,gBAAM,IAAI,CAAC,IAAI,eAAK,IAAI,CAAC,WAAW,CAAE,CAC7E,CAAC;;;wBAzBN,KAAmB,gBAAA,SAAA,WAAW,CAAA;4BAAnB,IAAI;oCAAJ,IAAI;yBA0Bd;;;;;;;;;oBACD,IAAI,WAAW,CAAC,MAAM;wBAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;oBAGnC,OAAO,GAAe,oBAAE,CAAC,aAAa,CAAC;wBACzC,OAAO,EAAE,oBAAE,CAAC,WAAW,CAAC,QAAQ;qBACnC,CAAC,CAAC;;;;oBACgB,KAAA,SAAA,MAAM,CAAC,WAAW,CAAA;;;;oBAA1B,IAAI;oBACL,EAAE,GAAW,cAAI;yBAClB,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;yBACtB,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;oBAElC,OAAO,GAAW,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;oBAChD,WAAM,YAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EAAA;;oBAAvD,SAAuD,CAAC;;;;;;;;;;;;;;;;;;;SAE/D,CAAC;IAEF,IAAM,KAAK,GAAG,UAAC,OAAe;QAC1B,IACI,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAChC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YACtC,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC;YAE3C,OAAO,OAAO,CAAC;QACnB,OAAO,0CAAiC,OAAO,CAAE,CAAC;IACtD,CAAC,CAAC;IAEF,IAAM,YAAY,GAAG,UAAO,OAAe;;;;wBAChB,WAAM,YAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,EAAA;;oBAAhD,IAAI,GAAa,SAA+B;oBACtD,WAAO,IAAI,CAAC,WAAW,EAAE,EAAC;;;SAC7B,CAAC;IAEF,IAAM,MAAM,GACR,UAAC,KAAa;QACd,OAAA,UAAC,SAAmB;YACpB,OAAA,UAAC,IAAY;gBACb,OAAA,UAAO,EAAU;;;;;;qCACT,CAAA,IAAI,KAAK,KAAK,CAAC,MAAM,CAAA,EAArB,cAAqB;gCAAE,WAAO;;qCACzB,CAAA,YAAE,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,KAAK,CAAA,EAA3B,cAA2B;gCAAE,WAAM,YAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAA;;gCAA3B,SAA2B,CAAC;;;;gCAE/C,WAAM,YAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAA;;gCAA/B,KAAA,wBAAA,SAA+B,EAAA;;;;gCAAvC,IAAI;gCACL,IAAI,GAAW,cAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gCACpB,WAAM,YAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAA;;gCAA7C,IAAI,GAAa,SAA4B;qCAE/C,IAAI,CAAC,WAAW,EAAE,EAAlB,cAAkB;gCAClB,WAAM,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,cAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,EAAA;;gCAAzD,SAAyD,CAAC;gCAC1D,cAAS;;gCACN,IAAI,sBAAsB,CAAC,IAAI,CAAC;oCAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;;;;;;;;;;;;;;;;;;;qBAErE;YAbD,CAaC;QAdD,CAcC;IAfD,CAeC,CAAC;AACV,CAAC,EAjKgB,eAAe,+BAAf,eAAe,QAiK/B"}
|
package/package.json
CHANGED
package/src/IRandomGenerator.ts
CHANGED
|
@@ -1,35 +1,35 @@
|
|
|
1
|
-
import { Customizable } from "./typings/Customizable";
|
|
2
|
-
|
|
3
|
-
export interface IRandomGenerator {
|
|
4
|
-
boolean(): boolean;
|
|
5
|
-
integer(minimum?: number, maximum?: number): number;
|
|
6
|
-
number(minimum?: number, maximum?: number): number;
|
|
7
|
-
bigint(minimum?: bigint, maximum?: bigint): bigint;
|
|
8
|
-
string(length?: number): string;
|
|
9
|
-
array<T>(closure: (index: number) => T, count?: number): T[];
|
|
10
|
-
length(): number;
|
|
11
|
-
|
|
12
|
-
uuid(): string;
|
|
13
|
-
email(): string;
|
|
14
|
-
url(): string;
|
|
15
|
-
ipv4(): string;
|
|
16
|
-
ipv6(): string;
|
|
17
|
-
pattern(regex: RegExp): string;
|
|
18
|
-
date(minimum?: number, maximum?: number): string;
|
|
19
|
-
datetime(minimum?: number, maximum?: number): string;
|
|
20
|
-
|
|
21
|
-
customs?: IRandomGenerator.CustomMap;
|
|
22
|
-
}
|
|
23
|
-
export namespace IRandomGenerator {
|
|
24
|
-
export type CustomMap = {
|
|
25
|
-
[Type in keyof Customizable]?: (
|
|
26
|
-
tags: ITypeTag[],
|
|
27
|
-
) => Customizable[Type] | undefined;
|
|
28
|
-
};
|
|
29
|
-
|
|
30
|
-
export interface ITypeTag {
|
|
31
|
-
name: string;
|
|
32
|
-
kind: string;
|
|
33
|
-
value: any;
|
|
34
|
-
}
|
|
35
|
-
}
|
|
1
|
+
import { Customizable } from "./typings/Customizable";
|
|
2
|
+
|
|
3
|
+
export interface IRandomGenerator {
|
|
4
|
+
boolean(): boolean;
|
|
5
|
+
integer(minimum?: number, maximum?: number): number;
|
|
6
|
+
number(minimum?: number, maximum?: number): number;
|
|
7
|
+
bigint(minimum?: bigint, maximum?: bigint): bigint;
|
|
8
|
+
string(length?: number): string;
|
|
9
|
+
array<T>(closure: (index: number) => T, count?: number): T[];
|
|
10
|
+
length(): number;
|
|
11
|
+
|
|
12
|
+
uuid(): string;
|
|
13
|
+
email(): string;
|
|
14
|
+
url(): string;
|
|
15
|
+
ipv4(): string;
|
|
16
|
+
ipv6(): string;
|
|
17
|
+
pattern(regex: RegExp): string;
|
|
18
|
+
date(minimum?: number, maximum?: number): string;
|
|
19
|
+
datetime(minimum?: number, maximum?: number): string;
|
|
20
|
+
|
|
21
|
+
customs?: IRandomGenerator.CustomMap;
|
|
22
|
+
}
|
|
23
|
+
export namespace IRandomGenerator {
|
|
24
|
+
export type CustomMap = {
|
|
25
|
+
[Type in keyof Customizable]?: (
|
|
26
|
+
tags: ITypeTag[],
|
|
27
|
+
) => Customizable[Type] | undefined;
|
|
28
|
+
};
|
|
29
|
+
|
|
30
|
+
export interface ITypeTag {
|
|
31
|
+
name: string;
|
|
32
|
+
kind: string;
|
|
33
|
+
value: any;
|
|
34
|
+
}
|
|
35
|
+
}
|
package/src/IValidation.ts
CHANGED
|
@@ -1,21 +1,21 @@
|
|
|
1
|
-
export type IValidation<T = unknown> =
|
|
2
|
-
| IValidation.ISuccess<T>
|
|
3
|
-
| IValidation.IFailure;
|
|
4
|
-
export namespace IValidation {
|
|
5
|
-
export interface ISuccess<T = unknown> {
|
|
6
|
-
success: true;
|
|
7
|
-
data: T;
|
|
8
|
-
errors: [];
|
|
9
|
-
}
|
|
10
|
-
|
|
11
|
-
export interface IFailure {
|
|
12
|
-
success: false;
|
|
13
|
-
errors: IError[];
|
|
14
|
-
}
|
|
15
|
-
|
|
16
|
-
export interface IError {
|
|
17
|
-
path: string;
|
|
18
|
-
expected: string;
|
|
19
|
-
value: any;
|
|
20
|
-
}
|
|
21
|
-
}
|
|
1
|
+
export type IValidation<T = unknown> =
|
|
2
|
+
| IValidation.ISuccess<T>
|
|
3
|
+
| IValidation.IFailure;
|
|
4
|
+
export namespace IValidation {
|
|
5
|
+
export interface ISuccess<T = unknown> {
|
|
6
|
+
success: true;
|
|
7
|
+
data: T;
|
|
8
|
+
errors: [];
|
|
9
|
+
}
|
|
10
|
+
|
|
11
|
+
export interface IFailure {
|
|
12
|
+
success: false;
|
|
13
|
+
errors: IError[];
|
|
14
|
+
}
|
|
15
|
+
|
|
16
|
+
export interface IError {
|
|
17
|
+
path: string;
|
|
18
|
+
expected: string;
|
|
19
|
+
value: any;
|
|
20
|
+
}
|
|
21
|
+
}
|
package/src/Primitive.ts
CHANGED
|
@@ -1,135 +1,135 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* Primitive type of JSON.
|
|
3
|
-
*
|
|
4
|
-
* `Primitive<T>` is a TMP (Type Meta Programming) type which converts
|
|
5
|
-
* its argument as a primitive type within framework JSON.
|
|
6
|
-
*
|
|
7
|
-
* If the target argument is a built-in class which returns its origin primitive type
|
|
8
|
-
* through the `valueOf()` method like the `String` or `Number`, its return type would
|
|
9
|
-
* be the `string` or `number`. Otherwise, the built-in class does not have the
|
|
10
|
-
* `valueOf()` method, the return type would be an empty object (`{}`).
|
|
11
|
-
*
|
|
12
|
-
* Otherwise, the target argument is a type of custom class, all of its custom method
|
|
13
|
-
* would be erased and its prototype would be changed to the primitive `object`.
|
|
14
|
-
* Therefore, return type of the TMP type finally be the primitive object.
|
|
15
|
-
*
|
|
16
|
-
* In addition, if the target argument is a type of custom class and it has a special
|
|
17
|
-
* method `toJSON()`, return type of this `Primitive` would be not `Primitive<Instance>`
|
|
18
|
-
* but `Primitive<ReturnType<Instance.toJSON>>`.
|
|
19
|
-
*
|
|
20
|
-
* Before | After
|
|
21
|
-
* ------------------------|----------------------------------------
|
|
22
|
-
* `Boolean` | `boolean`
|
|
23
|
-
* `Number` | `number`
|
|
24
|
-
* `String` | `string`
|
|
25
|
-
* `Class` | `object`
|
|
26
|
-
* `Class` with `toJSON()` | `Primitive<ReturnType<Class.toJSON>>`
|
|
27
|
-
* Native Class | `{}`
|
|
28
|
-
* Others | No change
|
|
29
|
-
*
|
|
30
|
-
* @template Instance Target argument type.
|
|
31
|
-
* @author Jeongho Nam - https://github.com/samchon
|
|
32
|
-
* @author Kyungsu Kang - https://github.com/kakasoo
|
|
33
|
-
* @author Michael - https://github.com/8471919
|
|
34
|
-
*/
|
|
35
|
-
export type Primitive<T> = Equal<T, PrimitiveMain<T>> extends true
|
|
36
|
-
? T
|
|
37
|
-
: PrimitiveMain<T>;
|
|
38
|
-
|
|
39
|
-
type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
|
|
40
|
-
|
|
41
|
-
type PrimitiveMain<Instance> = Instance extends [never]
|
|
42
|
-
? never // (special trick for jsonable | null) type
|
|
43
|
-
: ValueOf<Instance> extends bigint
|
|
44
|
-
? never
|
|
45
|
-
: ValueOf<Instance> extends boolean | number | string
|
|
46
|
-
? ValueOf<Instance>
|
|
47
|
-
: Instance extends Function
|
|
48
|
-
? never
|
|
49
|
-
: ValueOf<Instance> extends object
|
|
50
|
-
? Instance extends object
|
|
51
|
-
? Instance extends NativeClass
|
|
52
|
-
? {}
|
|
53
|
-
: Instance extends IJsonable<infer Raw>
|
|
54
|
-
? ValueOf<Raw> extends object
|
|
55
|
-
? Raw extends object
|
|
56
|
-
? PrimitiveObject<Raw> // object would be primitified
|
|
57
|
-
: never // cannot be
|
|
58
|
-
: ValueOf<Raw> // atomic value
|
|
59
|
-
: PrimitiveObject<Instance> // object would be primitified
|
|
60
|
-
: never // cannot be
|
|
61
|
-
: ValueOf<Instance>;
|
|
62
|
-
|
|
63
|
-
type PrimitiveObject<Instance extends object> = Instance extends Array<infer T>
|
|
64
|
-
? IsTuple<Instance> extends true
|
|
65
|
-
? PrimitiveTuple<Instance>
|
|
66
|
-
: PrimitiveMain<T>[]
|
|
67
|
-
: {
|
|
68
|
-
[P in keyof Instance]: PrimitiveMain<Instance[P]>;
|
|
69
|
-
};
|
|
70
|
-
|
|
71
|
-
type PrimitiveTuple<T extends readonly any[]> = T extends []
|
|
72
|
-
? []
|
|
73
|
-
: T extends [infer F]
|
|
74
|
-
? [PrimitiveMain<F>]
|
|
75
|
-
: T extends [infer F, ...infer Rest extends readonly any[]]
|
|
76
|
-
? [PrimitiveMain<F>, ...PrimitiveTuple<Rest>]
|
|
77
|
-
: T extends [(infer F)?]
|
|
78
|
-
? [PrimitiveMain<F>?]
|
|
79
|
-
: T extends [(infer F)?, ...infer Rest extends readonly any[]]
|
|
80
|
-
? [PrimitiveMain<F>?, ...PrimitiveTuple<Rest>]
|
|
81
|
-
: [];
|
|
82
|
-
|
|
83
|
-
type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
|
|
84
|
-
? boolean
|
|
85
|
-
: IsValueOf<Instance, Number> extends true
|
|
86
|
-
? number
|
|
87
|
-
: IsValueOf<Instance, String> extends true
|
|
88
|
-
? string
|
|
89
|
-
: Instance;
|
|
90
|
-
|
|
91
|
-
type NativeClass =
|
|
92
|
-
| Set<any>
|
|
93
|
-
| Map<any, any>
|
|
94
|
-
| WeakSet<any>
|
|
95
|
-
| WeakMap<any, any>
|
|
96
|
-
| Uint8Array
|
|
97
|
-
| Uint8ClampedArray
|
|
98
|
-
| Uint16Array
|
|
99
|
-
| Uint32Array
|
|
100
|
-
| BigUint64Array
|
|
101
|
-
| Int8Array
|
|
102
|
-
| Int16Array
|
|
103
|
-
| Int32Array
|
|
104
|
-
| BigInt64Array
|
|
105
|
-
| Float32Array
|
|
106
|
-
| Float64Array
|
|
107
|
-
| ArrayBuffer
|
|
108
|
-
| SharedArrayBuffer
|
|
109
|
-
| DataView;
|
|
110
|
-
|
|
111
|
-
type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
|
|
112
|
-
never,
|
|
113
|
-
]
|
|
114
|
-
? false
|
|
115
|
-
: T extends readonly any[]
|
|
116
|
-
? number extends T["length"]
|
|
117
|
-
? false
|
|
118
|
-
: true
|
|
119
|
-
: false;
|
|
120
|
-
|
|
121
|
-
type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
|
|
122
|
-
? Object extends IValueOf<infer U>
|
|
123
|
-
? Instance extends U
|
|
124
|
-
? false
|
|
125
|
-
: true // not Primitive, but Object
|
|
126
|
-
: false // cannot be
|
|
127
|
-
: false;
|
|
128
|
-
|
|
129
|
-
interface IValueOf<T> {
|
|
130
|
-
valueOf(): T;
|
|
131
|
-
}
|
|
132
|
-
|
|
133
|
-
interface IJsonable<T> {
|
|
134
|
-
toJSON(): T;
|
|
135
|
-
}
|
|
1
|
+
/**
|
|
2
|
+
* Primitive type of JSON.
|
|
3
|
+
*
|
|
4
|
+
* `Primitive<T>` is a TMP (Type Meta Programming) type which converts
|
|
5
|
+
* its argument as a primitive type within framework JSON.
|
|
6
|
+
*
|
|
7
|
+
* If the target argument is a built-in class which returns its origin primitive type
|
|
8
|
+
* through the `valueOf()` method like the `String` or `Number`, its return type would
|
|
9
|
+
* be the `string` or `number`. Otherwise, the built-in class does not have the
|
|
10
|
+
* `valueOf()` method, the return type would be an empty object (`{}`).
|
|
11
|
+
*
|
|
12
|
+
* Otherwise, the target argument is a type of custom class, all of its custom method
|
|
13
|
+
* would be erased and its prototype would be changed to the primitive `object`.
|
|
14
|
+
* Therefore, return type of the TMP type finally be the primitive object.
|
|
15
|
+
*
|
|
16
|
+
* In addition, if the target argument is a type of custom class and it has a special
|
|
17
|
+
* method `toJSON()`, return type of this `Primitive` would be not `Primitive<Instance>`
|
|
18
|
+
* but `Primitive<ReturnType<Instance.toJSON>>`.
|
|
19
|
+
*
|
|
20
|
+
* Before | After
|
|
21
|
+
* ------------------------|----------------------------------------
|
|
22
|
+
* `Boolean` | `boolean`
|
|
23
|
+
* `Number` | `number`
|
|
24
|
+
* `String` | `string`
|
|
25
|
+
* `Class` | `object`
|
|
26
|
+
* `Class` with `toJSON()` | `Primitive<ReturnType<Class.toJSON>>`
|
|
27
|
+
* Native Class | `{}`
|
|
28
|
+
* Others | No change
|
|
29
|
+
*
|
|
30
|
+
* @template Instance Target argument type.
|
|
31
|
+
* @author Jeongho Nam - https://github.com/samchon
|
|
32
|
+
* @author Kyungsu Kang - https://github.com/kakasoo
|
|
33
|
+
* @author Michael - https://github.com/8471919
|
|
34
|
+
*/
|
|
35
|
+
export type Primitive<T> = Equal<T, PrimitiveMain<T>> extends true
|
|
36
|
+
? T
|
|
37
|
+
: PrimitiveMain<T>;
|
|
38
|
+
|
|
39
|
+
type Equal<X, Y> = X extends Y ? (Y extends X ? true : false) : false;
|
|
40
|
+
|
|
41
|
+
type PrimitiveMain<Instance> = Instance extends [never]
|
|
42
|
+
? never // (special trick for jsonable | null) type
|
|
43
|
+
: ValueOf<Instance> extends bigint
|
|
44
|
+
? never
|
|
45
|
+
: ValueOf<Instance> extends boolean | number | string
|
|
46
|
+
? ValueOf<Instance>
|
|
47
|
+
: Instance extends Function
|
|
48
|
+
? never
|
|
49
|
+
: ValueOf<Instance> extends object
|
|
50
|
+
? Instance extends object
|
|
51
|
+
? Instance extends NativeClass
|
|
52
|
+
? {}
|
|
53
|
+
: Instance extends IJsonable<infer Raw>
|
|
54
|
+
? ValueOf<Raw> extends object
|
|
55
|
+
? Raw extends object
|
|
56
|
+
? PrimitiveObject<Raw> // object would be primitified
|
|
57
|
+
: never // cannot be
|
|
58
|
+
: ValueOf<Raw> // atomic value
|
|
59
|
+
: PrimitiveObject<Instance> // object would be primitified
|
|
60
|
+
: never // cannot be
|
|
61
|
+
: ValueOf<Instance>;
|
|
62
|
+
|
|
63
|
+
type PrimitiveObject<Instance extends object> = Instance extends Array<infer T>
|
|
64
|
+
? IsTuple<Instance> extends true
|
|
65
|
+
? PrimitiveTuple<Instance>
|
|
66
|
+
: PrimitiveMain<T>[]
|
|
67
|
+
: {
|
|
68
|
+
[P in keyof Instance]: PrimitiveMain<Instance[P]>;
|
|
69
|
+
};
|
|
70
|
+
|
|
71
|
+
type PrimitiveTuple<T extends readonly any[]> = T extends []
|
|
72
|
+
? []
|
|
73
|
+
: T extends [infer F]
|
|
74
|
+
? [PrimitiveMain<F>]
|
|
75
|
+
: T extends [infer F, ...infer Rest extends readonly any[]]
|
|
76
|
+
? [PrimitiveMain<F>, ...PrimitiveTuple<Rest>]
|
|
77
|
+
: T extends [(infer F)?]
|
|
78
|
+
? [PrimitiveMain<F>?]
|
|
79
|
+
: T extends [(infer F)?, ...infer Rest extends readonly any[]]
|
|
80
|
+
? [PrimitiveMain<F>?, ...PrimitiveTuple<Rest>]
|
|
81
|
+
: [];
|
|
82
|
+
|
|
83
|
+
type ValueOf<Instance> = IsValueOf<Instance, Boolean> extends true
|
|
84
|
+
? boolean
|
|
85
|
+
: IsValueOf<Instance, Number> extends true
|
|
86
|
+
? number
|
|
87
|
+
: IsValueOf<Instance, String> extends true
|
|
88
|
+
? string
|
|
89
|
+
: Instance;
|
|
90
|
+
|
|
91
|
+
type NativeClass =
|
|
92
|
+
| Set<any>
|
|
93
|
+
| Map<any, any>
|
|
94
|
+
| WeakSet<any>
|
|
95
|
+
| WeakMap<any, any>
|
|
96
|
+
| Uint8Array
|
|
97
|
+
| Uint8ClampedArray
|
|
98
|
+
| Uint16Array
|
|
99
|
+
| Uint32Array
|
|
100
|
+
| BigUint64Array
|
|
101
|
+
| Int8Array
|
|
102
|
+
| Int16Array
|
|
103
|
+
| Int32Array
|
|
104
|
+
| BigInt64Array
|
|
105
|
+
| Float32Array
|
|
106
|
+
| Float64Array
|
|
107
|
+
| ArrayBuffer
|
|
108
|
+
| SharedArrayBuffer
|
|
109
|
+
| DataView;
|
|
110
|
+
|
|
111
|
+
type IsTuple<T extends readonly any[] | { length: number }> = [T] extends [
|
|
112
|
+
never,
|
|
113
|
+
]
|
|
114
|
+
? false
|
|
115
|
+
: T extends readonly any[]
|
|
116
|
+
? number extends T["length"]
|
|
117
|
+
? false
|
|
118
|
+
: true
|
|
119
|
+
: false;
|
|
120
|
+
|
|
121
|
+
type IsValueOf<Instance, Object extends IValueOf<any>> = Instance extends Object
|
|
122
|
+
? Object extends IValueOf<infer U>
|
|
123
|
+
? Instance extends U
|
|
124
|
+
? false
|
|
125
|
+
: true // not Primitive, but Object
|
|
126
|
+
: false // cannot be
|
|
127
|
+
: false;
|
|
128
|
+
|
|
129
|
+
interface IValueOf<T> {
|
|
130
|
+
valueOf(): T;
|
|
131
|
+
}
|
|
132
|
+
|
|
133
|
+
interface IJsonable<T> {
|
|
134
|
+
toJSON(): T;
|
|
135
|
+
}
|