type-plus 3.15.0 → 4.0.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 -55
- package/cjs/array/index.d.ts +17 -17
- package/cjs/array/index.js +5 -18
- package/cjs/array/index.js.map +1 -1
- package/cjs/assertion/index.js +5 -1
- package/cjs/assertion/index.js.map +1 -1
- package/cjs/class/index.d.ts +1 -1
- package/cjs/class/index.js +5 -2
- package/cjs/class/index.js.map +1 -1
- package/cjs/function/index.d.ts +1 -1
- package/cjs/function/index.js +0 -11
- package/cjs/function/index.js.map +1 -1
- package/cjs/functional/index.d.ts +1 -1
- package/cjs/functional/index.js +0 -12
- package/cjs/functional/index.js.map +1 -1
- package/cjs/index.d.ts +3 -7
- package/cjs/index.js +8 -22
- package/cjs/index.js.map +1 -1
- package/cjs/math/index.d.ts +7 -7
- package/cjs/math/index.js +0 -17
- package/cjs/math/index.js.map +1 -1
- package/cjs/nodejs/index.js +5 -1
- package/cjs/nodejs/index.js.map +1 -1
- package/cjs/nominal-types/index.js +5 -1
- package/cjs/nominal-types/index.js.map +1 -1
- package/cjs/object/index.d.ts +18 -18
- package/cjs/object/index.js +5 -19
- package/cjs/object/index.js.map +1 -1
- package/cjs/predicates/CanAssign.d.ts +1 -1
- package/cjs/predicates/{isEmptyObject.d.ts → IsEmptyObject.d.ts} +0 -0
- package/cjs/{types/AllType.js → predicates/IsEmptyObject.js} +1 -1
- package/cjs/predicates/IsEmptyObject.js.map +1 -0
- package/cjs/predicates/index.d.ts +5 -5
- package/cjs/predicates/index.js +5 -6
- package/cjs/predicates/index.js.map +1 -1
- package/cjs/promise/index.d.ts +2 -2
- package/cjs/promise/index.js +5 -3
- package/cjs/promise/index.js.map +1 -1
- package/cjs/utils/index.d.ts +1 -1
- package/cjs/utils/index.js +5 -2
- package/cjs/utils/index.js.map +1 -1
- package/esm/array/index.js +0 -17
- package/esm/array/index.js.map +1 -1
- package/esm/class/index.js +0 -1
- package/esm/class/index.js.map +1 -1
- package/esm/function/index.js +1 -1
- package/esm/function/index.js.map +1 -1
- package/esm/functional/index.js +1 -2
- package/esm/functional/index.js.map +1 -1
- package/esm/index.js +2 -7
- package/esm/index.js.map +1 -1
- package/esm/math/index.js +1 -7
- package/esm/math/index.js.map +1 -1
- package/esm/object/index.js +0 -18
- package/esm/object/index.js.map +1 -1
- package/esm/predicates/IsEmptyObject.js +2 -0
- package/esm/predicates/IsEmptyObject.js.map +1 -0
- package/esm/predicates/index.js +0 -5
- package/esm/predicates/index.js.map +1 -1
- package/esm/promise/index.js +0 -2
- package/esm/promise/index.js.map +1 -1
- package/esm/utils/index.js +0 -1
- package/esm/utils/index.js.map +1 -1
- package/package.json +20 -18
- package/ts/array/index.ts +19 -19
- package/ts/binary/_binary.ts +1 -1
- package/ts/class/index.ts +1 -1
- package/ts/function/index.ts +1 -1
- package/ts/functional/ChainFn.ts +6 -6
- package/ts/functional/index.ts +2 -2
- package/ts/index.spec.ts +6 -4
- package/ts/index.ts +7 -7
- package/ts/math/index.ts +7 -7
- package/ts/object/Partial.spec.ts +49 -49
- package/ts/object/index.ts +35 -35
- package/ts/predicates/CanAssign.ts +1 -1
- package/ts/predicates/{isEmptyObject.spec.ts → IsEmptyObject.spec.ts} +0 -0
- package/ts/predicates/{isEmptyObject.ts → IsEmptyObject.ts} +0 -0
- package/ts/predicates/index.ts +17 -17
- package/ts/promise/index.ts +2 -2
- package/ts/type-checker/typeChecker.spec.ts +2 -1
- package/ts/types/check.spec.ts +1 -1
- package/ts/types/conform.spec.ts +1 -1
- package/ts/types/index.ts +28 -28
- package/ts/types/satisfy.accept.ts +39 -38
- package/ts/types/satisfy.spec.ts +2 -1
- package/ts/utils/index.ts +2 -2
- package/cjs/predicates/isEmptyObject.js +0 -3
- package/cjs/predicates/isEmptyObject.js.map +0 -1
- package/cjs/types/AllType.d.ts +0 -18
- package/cjs/types/AllType.js.map +0 -1
- package/cjs/types/Any.d.ts +0 -6
- package/cjs/types/Any.js +0 -5
- package/cjs/types/Any.js.map +0 -1
- package/cjs/types/Array.d.ts +0 -28
- package/cjs/types/Array.js +0 -30
- package/cjs/types/Array.js.map +0 -1
- package/cjs/types/Boolean.d.ts +0 -29
- package/cjs/types/Boolean.js +0 -28
- package/cjs/types/Boolean.js.map +0 -1
- package/cjs/types/Generate.d.ts +0 -32
- package/cjs/types/Generate.js +0 -3
- package/cjs/types/Generate.js.map +0 -1
- package/cjs/types/Null.d.ts +0 -8
- package/cjs/types/Null.js +0 -10
- package/cjs/types/Null.js.map +0 -1
- package/cjs/types/Number.d.ts +0 -36
- package/cjs/types/Number.js +0 -50
- package/cjs/types/Number.js.map +0 -1
- package/cjs/types/Object.d.ts +0 -313
- package/cjs/types/Object.js +0 -35
- package/cjs/types/Object.js.map +0 -1
- package/cjs/types/Record.d.ts +0 -16
- package/cjs/types/Record.js +0 -17
- package/cjs/types/Record.js.map +0 -1
- package/cjs/types/String.d.ts +0 -36
- package/cjs/types/String.js +0 -51
- package/cjs/types/String.js.map +0 -1
- package/cjs/types/Symbol.d.ts +0 -8
- package/cjs/types/Symbol.js +0 -13
- package/cjs/types/Symbol.js.map +0 -1
- package/cjs/types/Tuple.d.ts +0 -35
- package/cjs/types/Tuple.js +0 -43
- package/cjs/types/Tuple.js.map +0 -1
- package/cjs/types/Undefined.d.ts +0 -6
- package/cjs/types/Undefined.js +0 -5
- package/cjs/types/Undefined.js.map +0 -1
- package/cjs/types/Union.d.ts +0 -20
- package/cjs/types/Union.js +0 -52
- package/cjs/types/Union.js.map +0 -1
- package/cjs/types/Unknown.d.ts +0 -6
- package/cjs/types/Unknown.js +0 -5
- package/cjs/types/Unknown.js.map +0 -1
- package/cjs/types/analyze.d.ts +0 -13
- package/cjs/types/analyze.js +0 -159
- package/cjs/types/analyze.js.map +0 -1
- package/cjs/types/check.d.ts +0 -14
- package/cjs/types/check.js +0 -25
- package/cjs/types/check.js.map +0 -1
- package/cjs/types/conform.d.ts +0 -15
- package/cjs/types/conform.js +0 -26
- package/cjs/types/conform.js.map +0 -1
- package/cjs/types/getPlainAnalysisReport.d.ts +0 -2
- package/cjs/types/getPlainAnalysisReport.js +0 -120
- package/cjs/types/getPlainAnalysisReport.js.map +0 -1
- package/cjs/types/index.d.ts +0 -26
- package/cjs/types/index.js +0 -45
- package/cjs/types/index.js.map +0 -1
- package/cjs/types/optional.d.ts +0 -328
- package/cjs/types/optional.js +0 -33
- package/cjs/types/optional.js.map +0 -1
- package/cjs/types/required.d.ts +0 -664
- package/cjs/types/required.js +0 -33
- package/cjs/types/required.js.map +0 -1
- package/cjs/types/satisfy.d.ts +0 -15
- package/cjs/types/satisfy.js +0 -26
- package/cjs/types/satisfy.js.map +0 -1
- package/cjs/types/types.d.ts +0 -9
- package/cjs/types/types.js +0 -3
- package/cjs/types/types.js.map +0 -1
- package/esm/predicates/isEmptyObject.js +0 -2
- package/esm/predicates/isEmptyObject.js.map +0 -1
- package/esm/types/AllType.js +0 -2
- package/esm/types/AllType.js.map +0 -1
- package/esm/types/Any.js +0 -2
- package/esm/types/Any.js.map +0 -1
- package/esm/types/Array.js +0 -27
- package/esm/types/Array.js.map +0 -1
- package/esm/types/Boolean.js +0 -25
- package/esm/types/Boolean.js.map +0 -1
- package/esm/types/Generate.js +0 -2
- package/esm/types/Generate.js.map +0 -1
- package/esm/types/Null.js +0 -7
- package/esm/types/Null.js.map +0 -1
- package/esm/types/Number.js +0 -30
- package/esm/types/Number.js.map +0 -1
- package/esm/types/Object.js +0 -31
- package/esm/types/Object.js.map +0 -1
- package/esm/types/Record.js +0 -14
- package/esm/types/Record.js.map +0 -1
- package/esm/types/String.js +0 -31
- package/esm/types/String.js.map +0 -1
- package/esm/types/Symbol.js +0 -10
- package/esm/types/Symbol.js.map +0 -1
- package/esm/types/Tuple.js +0 -23
- package/esm/types/Tuple.js.map +0 -1
- package/esm/types/Undefined.js +0 -2
- package/esm/types/Undefined.js.map +0 -1
- package/esm/types/Union.js +0 -32
- package/esm/types/Union.js.map +0 -1
- package/esm/types/Unknown.js +0 -2
- package/esm/types/Unknown.js.map +0 -1
- package/esm/types/analyze.js +0 -142
- package/esm/types/analyze.js.map +0 -1
- package/esm/types/check.js +0 -21
- package/esm/types/check.js.map +0 -1
- package/esm/types/conform.js +0 -22
- package/esm/types/conform.js.map +0 -1
- package/esm/types/getPlainAnalysisReport.js +0 -106
- package/esm/types/getPlainAnalysisReport.js.map +0 -1
- package/esm/types/index.js +0 -28
- package/esm/types/index.js.map +0 -1
- package/esm/types/optional.js +0 -30
- package/esm/types/optional.js.map +0 -1
- package/esm/types/required.js +0 -30
- package/esm/types/required.js.map +0 -1
- package/esm/types/satisfy.js +0 -22
- package/esm/types/satisfy.js.map +0 -1
- package/esm/types/types.js +0 -2
- package/esm/types/types.js.map +0 -1
package/esm/types/conform.js
DELETED
|
@@ -1,22 +0,0 @@
|
|
|
1
|
-
import { analyze } from './analyze';
|
|
2
|
-
import { getPlainAnalysisReport } from './getPlainAnalysisReport';
|
|
3
|
-
/**
|
|
4
|
-
* Checks if the specified `subject` conforms to the `type`.
|
|
5
|
-
* `conform()` is the shortcut of `check({ strict: true }, ...)`.
|
|
6
|
-
* @return type guard (boolean). If the subject does not conform to the type,
|
|
7
|
-
* the detail report is available in `conform.result`,
|
|
8
|
-
* and you can get a string report using `conform.getReport()`
|
|
9
|
-
*/
|
|
10
|
-
export function conform(type, subject) {
|
|
11
|
-
const result = conform.result = analyze({ strict: true }, type, subject);
|
|
12
|
-
return !result.analysis.fail;
|
|
13
|
-
}
|
|
14
|
-
/**
|
|
15
|
-
* Analysis report.
|
|
16
|
-
*/
|
|
17
|
-
conform.result = { analysis: {}, actual: undefined };
|
|
18
|
-
/**
|
|
19
|
-
* Gets a simple report of the analysis.
|
|
20
|
-
*/
|
|
21
|
-
conform.getReport = () => getPlainAnalysisReport(conform.result);
|
|
22
|
-
//# sourceMappingURL=conform.js.map
|
package/esm/types/conform.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"conform.js","sourceRoot":"","sources":["../../ts/types/conform.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AAEjE;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAoB,IAAO,EAAE,OAAgB;IAClE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IACxE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAA;AAC9B,CAAC;AAED;;GAEG;AACH,OAAO,CAAC,MAAM,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAoB,CAAA;AAEtE;;GAEG;AACH,OAAO,CAAC,SAAS,GAAG,GAAG,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA"}
|
|
@@ -1,106 +0,0 @@
|
|
|
1
|
-
import { tersify } from 'tersify';
|
|
2
|
-
import { reduceByKey } from '../object';
|
|
3
|
-
export function getPlainAnalysisReport(analysisResult) {
|
|
4
|
-
if (!analysisResult.analysis.fail) {
|
|
5
|
-
return `The subject${analysisResult.options.strict ? ' strictly' : ''} satisfies type ${formatAnalysis(analysisResult.analysis)}`;
|
|
6
|
-
}
|
|
7
|
-
return toViolations(analysisResult.options, [], analysisResult.actual, analysisResult.analysis).join('\n');
|
|
8
|
-
}
|
|
9
|
-
function formatAnalysis(a) {
|
|
10
|
-
return a.type;
|
|
11
|
-
}
|
|
12
|
-
function toViolations(options, path, actual, analysis) {
|
|
13
|
-
const clause = options.strict ? `expects to be strictly` : `expects to be`;
|
|
14
|
-
const violations = [`${formatPath(path)} ${clause} ${formatType(analysis)} but is actually ${tersify(actual)}`];
|
|
15
|
-
switch (analysis.type) {
|
|
16
|
-
case 'tuple': {
|
|
17
|
-
if (options.strict && analysis.value.length < actual.length) {
|
|
18
|
-
const index = actual.length - analysis.value.length === 1 ? 'index' : 'indices';
|
|
19
|
-
violations.push(`${index} ${range(analysis.value.length, actual.length)} should not contain any value`);
|
|
20
|
-
}
|
|
21
|
-
const v2 = analysis.value.reduce((p, a, i) => {
|
|
22
|
-
if (a.fail)
|
|
23
|
-
p.push(...toViolations(options, [...path, i], actual[i], a));
|
|
24
|
-
return p;
|
|
25
|
-
}, []);
|
|
26
|
-
if (v2.length > 0)
|
|
27
|
-
violations.push(...v2);
|
|
28
|
-
break;
|
|
29
|
-
}
|
|
30
|
-
case 'object':
|
|
31
|
-
if (analysis.value) {
|
|
32
|
-
const typeKeys = Object.keys(analysis.value);
|
|
33
|
-
const actualKeys = Object.keys(actual);
|
|
34
|
-
if (options.strict) {
|
|
35
|
-
const extraKeys = actualKeys.filter(k => typeKeys.indexOf(k) === -1);
|
|
36
|
-
const index = extraKeys.length === 1 ? 'property' : 'properties';
|
|
37
|
-
violations.push(`${index} ${extraKeys.join(',')} should not contain any value`);
|
|
38
|
-
}
|
|
39
|
-
const propViolations = typeKeys.reduce((p, k) => {
|
|
40
|
-
const a = analysis.value[k];
|
|
41
|
-
if (a.fail)
|
|
42
|
-
p.push(...toViolations(options, [...path, k], actual[k], a));
|
|
43
|
-
return p;
|
|
44
|
-
}, []);
|
|
45
|
-
if (propViolations.length > 0)
|
|
46
|
-
violations.push(...propViolations);
|
|
47
|
-
}
|
|
48
|
-
break;
|
|
49
|
-
}
|
|
50
|
-
return violations;
|
|
51
|
-
}
|
|
52
|
-
function formatPath(path) {
|
|
53
|
-
return path.length === 0 ? 'subject' : `subject${path.map(p => toAccessor(p)).join('')}`;
|
|
54
|
-
}
|
|
55
|
-
function toAccessor(p) {
|
|
56
|
-
if (typeof p === 'number')
|
|
57
|
-
return `[${p}]`;
|
|
58
|
-
if (p.indexOf('-') >= 0)
|
|
59
|
-
return `['${p}']`;
|
|
60
|
-
return `.${p}`;
|
|
61
|
-
}
|
|
62
|
-
function toProp(p) {
|
|
63
|
-
return p.indexOf('-') >= 0 ? `'${p}'` : p;
|
|
64
|
-
}
|
|
65
|
-
function formatType(e) {
|
|
66
|
-
switch (e.type) {
|
|
67
|
-
case 'undefined':
|
|
68
|
-
case 'null':
|
|
69
|
-
case 'symbol':
|
|
70
|
-
// case 'never':
|
|
71
|
-
return e.type;
|
|
72
|
-
case 'boolean':
|
|
73
|
-
case 'number':
|
|
74
|
-
// case 'bigint':
|
|
75
|
-
return e.value === undefined ? e.type : String(e.value);
|
|
76
|
-
case 'string':
|
|
77
|
-
return e.value === undefined ? e.type : `'${e.value}'`;
|
|
78
|
-
case 'array':
|
|
79
|
-
return e.value === undefined ? 'Array<any>' : `Array<${formatType(e.value)}>`;
|
|
80
|
-
case 'tuple':
|
|
81
|
-
return `[${formatExpectations(e.value)}]`;
|
|
82
|
-
case 'object':
|
|
83
|
-
return e.value === undefined ? e.type
|
|
84
|
-
: `{ ${reduceByKey(e.value, (p, k) => {
|
|
85
|
-
p.push(`${toProp(k)}: ${formatType(e.value[k])}`);
|
|
86
|
-
return p;
|
|
87
|
-
}, []).join(', ')} }`;
|
|
88
|
-
case 'record':
|
|
89
|
-
return `Record<string, ${formatType(e.value)}>`;
|
|
90
|
-
case 'union':
|
|
91
|
-
return `(${formatExpectations(e.value, ' | ')})`;
|
|
92
|
-
// istanbul ignore next
|
|
93
|
-
default:
|
|
94
|
-
return `report not expected: ${e.value}`;
|
|
95
|
-
}
|
|
96
|
-
}
|
|
97
|
-
function formatExpectations(es, sep = ',') {
|
|
98
|
-
return es.map(formatType).join(sep);
|
|
99
|
-
}
|
|
100
|
-
function range(start, end) {
|
|
101
|
-
const r = [];
|
|
102
|
-
while (start < end)
|
|
103
|
-
r.push(start++);
|
|
104
|
-
return r;
|
|
105
|
-
}
|
|
106
|
-
//# sourceMappingURL=getPlainAnalysisReport.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"getPlainAnalysisReport.js","sourceRoot":"","sources":["../../ts/types/getPlainAnalysisReport.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAA;AACjC,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAIvC,MAAM,UAAU,sBAAsB,CAAC,cAA8B;IACnE,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE;QACjC,OAAO,cAAc,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,mBAAmB,cAAc,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAA;KAClI;IAED,OAAO,YAAY,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,EAAE,cAAc,CAAC,MAAM,EAAE,cAAc,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC5G,CAAC;AAED,SAAS,cAAc,CAAC,CAAmB;IACzC,OAAO,CAAC,CAAC,IAAI,CAAA;AACf,CAAC;AAED,SAAS,YAAY,CAAC,OAAwB,EAAE,IAA4B,EAAE,MAAW,EAAE,QAA0B;IACnH,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,eAAe,CAAA;IAC1E,MAAM,UAAU,GAAG,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,IAAI,MAAM,IAAI,UAAU,CAAC,QAAQ,CAAC,oBAAoB,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IAE/G,QAAQ,QAAQ,CAAC,IAAI,EAAE;QACrB,KAAK,OAAO,CAAC,CAAC;YACZ,IAAI,OAAO,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE;gBAC5D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAC,KAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;gBAChF,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,+BAA+B,CAAC,CAAA;aACzG;YACD,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE;gBAC5C,IAAI,CAAC,CAAC,IAAI;oBAAE,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;gBACxE,OAAO,CAAC,CAAA;YACV,CAAC,EAAE,EAAc,CAAC,CAAA;YAClB,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;gBAAE,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAA;YACzC,MAAK;SACN;QACD,KAAK,QAAQ;YACX,IAAI,QAAQ,CAAC,KAAK,EAAE;gBAClB,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;gBAC5C,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACtC,IAAI,OAAO,CAAC,MAAM,EAAE;oBAClB,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;oBACpE,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAA;oBAChE,UAAU,CAAC,IAAI,CAAC,GAAG,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAA;iBAChF;gBACD,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAM,CAAC,CAAC,CAAC,CAAA;oBAC5B,IAAI,CAAC,CAAC,IAAI;wBAAE,CAAC,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;oBACxE,OAAO,CAAC,CAAA;gBACV,CAAC,EAAE,EAAc,CAAC,CAAA;gBAClB,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC;oBAAE,UAAU,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,CAAA;aAClE;YACD,MAAK;KACR;IACD,OAAO,UAAU,CAAA;AACnB,CAAC;AAED,SAAS,UAAU,CAAC,IAA4B;IAC9C,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAA;AAC1F,CAAC;AAED,SAAS,UAAU,CAAC,CAAkB;IACpC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,GAAG,CAAA;IAC1C,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC,IAAI,CAAA;IAC1C,OAAO,IAAI,CAAC,EAAE,CAAA;AAChB,CAAC;AAED,SAAS,MAAM,CAAC,CAAS;IACvB,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAC3C,CAAC;AAED,SAAS,UAAU,CAAC,CAAmB;IACrC,QAAQ,CAAC,CAAC,IAAI,EAAE;QACd,KAAK,WAAW,CAAC;QACjB,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ;YACX,gBAAgB;YAChB,OAAO,CAAC,CAAC,IAAI,CAAA;QACf,KAAK,SAAS,CAAC;QACf,KAAK,QAAQ;YACX,iBAAiB;YACjB,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;QACzD,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAA;QACxD,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,KAAY,CAAC,GAAG,CAAA;QACtF,KAAK,OAAO;YACV,OAAO,IAAI,kBAAkB,CAAC,CAAC,CAAC,KAA2B,CAAC,GAAG,CAAA;QACjE,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;gBACnC,CAAC,CAAC,KAAK,WAAW,CAChB,CAAC,CAAC,KAA4B,EAC9B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBACP,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,UAAU,CAAE,CAAC,CAAC,KAAa,CAAC,CAAC,CAAQ,CAAC,EAAE,CAAC,CAAA;oBACjE,OAAO,CAAC,CAAA;gBACV,CAAC,EACD,EAAc,CACf,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;QACpB,KAAK,QAAQ;YACX,OAAO,kBAAkB,UAAU,CAAC,CAAC,CAAC,KAAY,CAAC,GAAG,CAAA;QACxD,KAAK,OAAO;YACV,OAAO,IAAI,kBAAkB,CAAC,CAAC,CAAC,KAA2B,EAAE,KAAK,CAAC,GAAG,CAAA;QACxE,uBAAuB;QACvB;YACE,OAAO,wBAAwB,CAAC,CAAC,KAAK,EAAE,CAAA;KAC3C;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,EAAsB,EAAE,GAAG,GAAG,GAAG;IAC3D,OAAO,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACrC,CAAC;AAED,SAAS,KAAK,CAAC,KAAa,EAAE,GAAW;IACvC,MAAM,CAAC,GAAa,EAAE,CAAA;IACtB,OAAO,KAAK,GAAG,GAAG;QAAE,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;IACnC,OAAO,CAAC,CAAA;AACV,CAAC"}
|
package/esm/types/index.js
DELETED
|
@@ -1,28 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* A turing complete solution inspired by many.
|
|
3
|
-
* The types is in Pascal Cases
|
|
4
|
-
* because lower case type names (e.g. true) is a reserved keyword.
|
|
5
|
-
* https://github.com/microsoft/TypeScript/issues/14833
|
|
6
|
-
* https://github.com/tycho01/typical
|
|
7
|
-
*/
|
|
8
|
-
// export * from './BigInt'
|
|
9
|
-
export * from './AllType';
|
|
10
|
-
export * from './Any';
|
|
11
|
-
export * from './Array';
|
|
12
|
-
export * from './Boolean';
|
|
13
|
-
export * from './check';
|
|
14
|
-
export * from './conform';
|
|
15
|
-
export * from './Generate';
|
|
16
|
-
export { nil as null } from './Null';
|
|
17
|
-
export * from './Number';
|
|
18
|
-
export { keys, object } from './Object';
|
|
19
|
-
export * from './Record';
|
|
20
|
-
export * from './satisfy';
|
|
21
|
-
export * from './String';
|
|
22
|
-
export * from './Symbol';
|
|
23
|
-
export * from './Tuple';
|
|
24
|
-
export * from './types';
|
|
25
|
-
export { undef as undefined } from './Undefined';
|
|
26
|
-
export * from './Union';
|
|
27
|
-
export * from './Unknown';
|
|
28
|
-
//# sourceMappingURL=index.js.map
|
package/esm/types/index.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../ts/types/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,2BAA2B;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,OAAO,CAAA;AACrB,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA;AACzB,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,OAAO,EAAE,GAAG,IAAI,IAAI,EAAQ,MAAM,QAAQ,CAAA;AAC1C,cAAc,UAAU,CAAA;AACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAwB,MAAM,UAAU,CAAA;AAC7D,cAAc,UAAU,CAAA;AACxB,cAAc,WAAW,CAAA;AACzB,cAAc,UAAU,CAAA;AACxB,cAAc,UAAU,CAAA;AACxB,cAAc,SAAS,CAAA;AACvB,cAAc,SAAS,CAAA;AACvB,OAAO,EAAE,KAAK,IAAI,SAAS,EAAa,MAAM,aAAa,CAAA;AAC3D,cAAc,SAAS,CAAA;AACvB,cAAc,WAAW,CAAA"}
|
package/esm/types/optional.js
DELETED
|
@@ -1,30 +0,0 @@
|
|
|
1
|
-
import { object } from './Object';
|
|
2
|
-
import { any } from './Any';
|
|
3
|
-
import { array } from './Array';
|
|
4
|
-
import { boolean } from './Boolean';
|
|
5
|
-
import { nil } from './Null';
|
|
6
|
-
import { number } from './Number';
|
|
7
|
-
import { string } from './String';
|
|
8
|
-
import { symbol } from './Symbol';
|
|
9
|
-
import { tuple } from './Tuple';
|
|
10
|
-
import { undef } from './Undefined';
|
|
11
|
-
import { unknown } from './Unknown';
|
|
12
|
-
import { record } from './Record';
|
|
13
|
-
// import { bigint } from './types/BigInt'
|
|
14
|
-
export const optional = {
|
|
15
|
-
any,
|
|
16
|
-
array: array.optional,
|
|
17
|
-
// bigint: bigint.optional,
|
|
18
|
-
boolean: boolean.optional,
|
|
19
|
-
null: nil.optional,
|
|
20
|
-
number: number.optional,
|
|
21
|
-
object: object.optional,
|
|
22
|
-
record: record.optional,
|
|
23
|
-
string: string.optional,
|
|
24
|
-
symbol: symbol.optional,
|
|
25
|
-
tuple: tuple.optional,
|
|
26
|
-
undefined: undef,
|
|
27
|
-
unknown
|
|
28
|
-
};
|
|
29
|
-
export const O = optional;
|
|
30
|
-
//# sourceMappingURL=optional.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"optional.js","sourceRoot":"","sources":["../../ts/types/optional.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,GAAG,EAAE,MAAM,OAAO,CAAA;AAC3B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAA;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,0CAA0C;AAE1C,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,GAAG;IACH,KAAK,EAAE,KAAK,CAAC,QAAQ;IACrB,2BAA2B;IAC3B,OAAO,EAAE,OAAO,CAAC,QAAQ;IACzB,IAAI,EAAE,GAAG,CAAC,QAAQ;IAClB,MAAM,EAAE,MAAM,CAAC,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC,QAAQ;IACvB,MAAM,EAAE,MAAM,CAAC,QAAQ;IACvB,KAAK,EAAE,KAAK,CAAC,QAAQ;IACrB,SAAS,EAAE,KAAK;IAChB,OAAO;CACR,CAAA;AACD,MAAM,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAA"}
|
package/esm/types/required.js
DELETED
|
@@ -1,30 +0,0 @@
|
|
|
1
|
-
import { object } from './Object';
|
|
2
|
-
import { any } from './Any';
|
|
3
|
-
import { array } from './Array';
|
|
4
|
-
import { boolean } from './Boolean';
|
|
5
|
-
import { nil } from './Null';
|
|
6
|
-
import { number } from './Number';
|
|
7
|
-
import { string } from './String';
|
|
8
|
-
import { symbol } from './Symbol';
|
|
9
|
-
import { tuple } from './Tuple';
|
|
10
|
-
import { undef } from './Undefined';
|
|
11
|
-
import { unknown } from './Unknown';
|
|
12
|
-
import { record } from './Record';
|
|
13
|
-
// import { bigint } from './types/BigInt'
|
|
14
|
-
export const required = {
|
|
15
|
-
any,
|
|
16
|
-
array: array,
|
|
17
|
-
// bigint: bigint,
|
|
18
|
-
boolean: boolean,
|
|
19
|
-
null: nil,
|
|
20
|
-
number: number,
|
|
21
|
-
object: object,
|
|
22
|
-
record: record,
|
|
23
|
-
string: string,
|
|
24
|
-
symbol: symbol,
|
|
25
|
-
tuple: tuple,
|
|
26
|
-
undefined: undef,
|
|
27
|
-
unknown
|
|
28
|
-
};
|
|
29
|
-
export const R = required;
|
|
30
|
-
//# sourceMappingURL=required.js.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"required.js","sourceRoot":"","sources":["../../ts/types/required.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,GAAG,EAAE,MAAM,OAAO,CAAA;AAC3B,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,GAAG,EAAE,MAAM,QAAQ,CAAA;AAC5B,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,OAAO,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AAC/B,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAA;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AACjC,0CAA0C;AAE1C,MAAM,CAAC,MAAM,QAAQ,GAAG;IACtB,GAAG;IACH,KAAK,EAAE,KAAK;IACZ,kBAAkB;IAClB,OAAO,EAAE,OAAO;IAChB,IAAI,EAAE,GAAG;IACT,MAAM,EAAE,MAAM;IACd,MAAM,EAAE,MAAM;IACd,MAAM,EAAE,MAAM;IACd,MAAM,EAAE,MAAM;IACd,MAAM,EAAE,MAAM;IACd,KAAK,EAAE,KAAK;IACZ,SAAS,EAAE,KAAK;IAChB,OAAO;CACR,CAAA;AACD,MAAM,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAA"}
|
package/esm/types/satisfy.js
DELETED
|
@@ -1,22 +0,0 @@
|
|
|
1
|
-
import { analyze } from './analyze';
|
|
2
|
-
import { getPlainAnalysisReport } from './getPlainAnalysisReport';
|
|
3
|
-
/**
|
|
4
|
-
* Checks if the specified `subject` satisfies the `type`.
|
|
5
|
-
* `satisfy()` is the shortcut of `check({ strict: false }, ...)`.
|
|
6
|
-
* @return type guard (boolean). If the subject does not satisfies the type,
|
|
7
|
-
* the detail report is available in `satisfy.result`,
|
|
8
|
-
* and you can get a string report using `satisfy.getReport()`
|
|
9
|
-
*/
|
|
10
|
-
export function satisfy(type, subject) {
|
|
11
|
-
const result = satisfy.result = analyze({ strict: false }, type, subject);
|
|
12
|
-
return !result.analysis.fail;
|
|
13
|
-
}
|
|
14
|
-
/**
|
|
15
|
-
* Analysis report.
|
|
16
|
-
*/
|
|
17
|
-
satisfy.result = { analysis: {} };
|
|
18
|
-
/**
|
|
19
|
-
* Gets a simple report of the analysis.
|
|
20
|
-
*/
|
|
21
|
-
satisfy.getReport = () => getPlainAnalysisReport(satisfy.result);
|
|
22
|
-
//# sourceMappingURL=satisfy.js.map
|
package/esm/types/satisfy.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"satisfy.js","sourceRoot":"","sources":["../../ts/types/satisfy.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,OAAO,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAA;AAEjE;;;;;;GAMG;AACH,MAAM,UAAU,OAAO,CAAoB,IAAO,EAAE,OAAgB;IAClE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;IACzE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAA;AAC9B,CAAC;AAED;;GAEG;AACH,OAAO,CAAC,MAAM,GAAG,EAAE,QAAQ,EAAE,EAAE,EAAoB,CAAA;AAEnD;;GAEG;AACH,OAAO,CAAC,SAAS,GAAG,GAAG,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA"}
|
package/esm/types/types.js
DELETED
package/esm/types/types.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"types.js","sourceRoot":"","sources":["../../ts/types/types.ts"],"names":[],"mappings":""}
|