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.
Files changed (210) hide show
  1. package/README.md +1 -55
  2. package/cjs/array/index.d.ts +17 -17
  3. package/cjs/array/index.js +5 -18
  4. package/cjs/array/index.js.map +1 -1
  5. package/cjs/assertion/index.js +5 -1
  6. package/cjs/assertion/index.js.map +1 -1
  7. package/cjs/class/index.d.ts +1 -1
  8. package/cjs/class/index.js +5 -2
  9. package/cjs/class/index.js.map +1 -1
  10. package/cjs/function/index.d.ts +1 -1
  11. package/cjs/function/index.js +0 -11
  12. package/cjs/function/index.js.map +1 -1
  13. package/cjs/functional/index.d.ts +1 -1
  14. package/cjs/functional/index.js +0 -12
  15. package/cjs/functional/index.js.map +1 -1
  16. package/cjs/index.d.ts +3 -7
  17. package/cjs/index.js +8 -22
  18. package/cjs/index.js.map +1 -1
  19. package/cjs/math/index.d.ts +7 -7
  20. package/cjs/math/index.js +0 -17
  21. package/cjs/math/index.js.map +1 -1
  22. package/cjs/nodejs/index.js +5 -1
  23. package/cjs/nodejs/index.js.map +1 -1
  24. package/cjs/nominal-types/index.js +5 -1
  25. package/cjs/nominal-types/index.js.map +1 -1
  26. package/cjs/object/index.d.ts +18 -18
  27. package/cjs/object/index.js +5 -19
  28. package/cjs/object/index.js.map +1 -1
  29. package/cjs/predicates/CanAssign.d.ts +1 -1
  30. package/cjs/predicates/{isEmptyObject.d.ts → IsEmptyObject.d.ts} +0 -0
  31. package/cjs/{types/AllType.js → predicates/IsEmptyObject.js} +1 -1
  32. package/cjs/predicates/IsEmptyObject.js.map +1 -0
  33. package/cjs/predicates/index.d.ts +5 -5
  34. package/cjs/predicates/index.js +5 -6
  35. package/cjs/predicates/index.js.map +1 -1
  36. package/cjs/promise/index.d.ts +2 -2
  37. package/cjs/promise/index.js +5 -3
  38. package/cjs/promise/index.js.map +1 -1
  39. package/cjs/utils/index.d.ts +1 -1
  40. package/cjs/utils/index.js +5 -2
  41. package/cjs/utils/index.js.map +1 -1
  42. package/esm/array/index.js +0 -17
  43. package/esm/array/index.js.map +1 -1
  44. package/esm/class/index.js +0 -1
  45. package/esm/class/index.js.map +1 -1
  46. package/esm/function/index.js +1 -1
  47. package/esm/function/index.js.map +1 -1
  48. package/esm/functional/index.js +1 -2
  49. package/esm/functional/index.js.map +1 -1
  50. package/esm/index.js +2 -7
  51. package/esm/index.js.map +1 -1
  52. package/esm/math/index.js +1 -7
  53. package/esm/math/index.js.map +1 -1
  54. package/esm/object/index.js +0 -18
  55. package/esm/object/index.js.map +1 -1
  56. package/esm/predicates/IsEmptyObject.js +2 -0
  57. package/esm/predicates/IsEmptyObject.js.map +1 -0
  58. package/esm/predicates/index.js +0 -5
  59. package/esm/predicates/index.js.map +1 -1
  60. package/esm/promise/index.js +0 -2
  61. package/esm/promise/index.js.map +1 -1
  62. package/esm/utils/index.js +0 -1
  63. package/esm/utils/index.js.map +1 -1
  64. package/package.json +20 -18
  65. package/ts/array/index.ts +19 -19
  66. package/ts/binary/_binary.ts +1 -1
  67. package/ts/class/index.ts +1 -1
  68. package/ts/function/index.ts +1 -1
  69. package/ts/functional/ChainFn.ts +6 -6
  70. package/ts/functional/index.ts +2 -2
  71. package/ts/index.spec.ts +6 -4
  72. package/ts/index.ts +7 -7
  73. package/ts/math/index.ts +7 -7
  74. package/ts/object/Partial.spec.ts +49 -49
  75. package/ts/object/index.ts +35 -35
  76. package/ts/predicates/CanAssign.ts +1 -1
  77. package/ts/predicates/{isEmptyObject.spec.ts → IsEmptyObject.spec.ts} +0 -0
  78. package/ts/predicates/{isEmptyObject.ts → IsEmptyObject.ts} +0 -0
  79. package/ts/predicates/index.ts +17 -17
  80. package/ts/promise/index.ts +2 -2
  81. package/ts/type-checker/typeChecker.spec.ts +2 -1
  82. package/ts/types/check.spec.ts +1 -1
  83. package/ts/types/conform.spec.ts +1 -1
  84. package/ts/types/index.ts +28 -28
  85. package/ts/types/satisfy.accept.ts +39 -38
  86. package/ts/types/satisfy.spec.ts +2 -1
  87. package/ts/utils/index.ts +2 -2
  88. package/cjs/predicates/isEmptyObject.js +0 -3
  89. package/cjs/predicates/isEmptyObject.js.map +0 -1
  90. package/cjs/types/AllType.d.ts +0 -18
  91. package/cjs/types/AllType.js.map +0 -1
  92. package/cjs/types/Any.d.ts +0 -6
  93. package/cjs/types/Any.js +0 -5
  94. package/cjs/types/Any.js.map +0 -1
  95. package/cjs/types/Array.d.ts +0 -28
  96. package/cjs/types/Array.js +0 -30
  97. package/cjs/types/Array.js.map +0 -1
  98. package/cjs/types/Boolean.d.ts +0 -29
  99. package/cjs/types/Boolean.js +0 -28
  100. package/cjs/types/Boolean.js.map +0 -1
  101. package/cjs/types/Generate.d.ts +0 -32
  102. package/cjs/types/Generate.js +0 -3
  103. package/cjs/types/Generate.js.map +0 -1
  104. package/cjs/types/Null.d.ts +0 -8
  105. package/cjs/types/Null.js +0 -10
  106. package/cjs/types/Null.js.map +0 -1
  107. package/cjs/types/Number.d.ts +0 -36
  108. package/cjs/types/Number.js +0 -50
  109. package/cjs/types/Number.js.map +0 -1
  110. package/cjs/types/Object.d.ts +0 -313
  111. package/cjs/types/Object.js +0 -35
  112. package/cjs/types/Object.js.map +0 -1
  113. package/cjs/types/Record.d.ts +0 -16
  114. package/cjs/types/Record.js +0 -17
  115. package/cjs/types/Record.js.map +0 -1
  116. package/cjs/types/String.d.ts +0 -36
  117. package/cjs/types/String.js +0 -51
  118. package/cjs/types/String.js.map +0 -1
  119. package/cjs/types/Symbol.d.ts +0 -8
  120. package/cjs/types/Symbol.js +0 -13
  121. package/cjs/types/Symbol.js.map +0 -1
  122. package/cjs/types/Tuple.d.ts +0 -35
  123. package/cjs/types/Tuple.js +0 -43
  124. package/cjs/types/Tuple.js.map +0 -1
  125. package/cjs/types/Undefined.d.ts +0 -6
  126. package/cjs/types/Undefined.js +0 -5
  127. package/cjs/types/Undefined.js.map +0 -1
  128. package/cjs/types/Union.d.ts +0 -20
  129. package/cjs/types/Union.js +0 -52
  130. package/cjs/types/Union.js.map +0 -1
  131. package/cjs/types/Unknown.d.ts +0 -6
  132. package/cjs/types/Unknown.js +0 -5
  133. package/cjs/types/Unknown.js.map +0 -1
  134. package/cjs/types/analyze.d.ts +0 -13
  135. package/cjs/types/analyze.js +0 -159
  136. package/cjs/types/analyze.js.map +0 -1
  137. package/cjs/types/check.d.ts +0 -14
  138. package/cjs/types/check.js +0 -25
  139. package/cjs/types/check.js.map +0 -1
  140. package/cjs/types/conform.d.ts +0 -15
  141. package/cjs/types/conform.js +0 -26
  142. package/cjs/types/conform.js.map +0 -1
  143. package/cjs/types/getPlainAnalysisReport.d.ts +0 -2
  144. package/cjs/types/getPlainAnalysisReport.js +0 -120
  145. package/cjs/types/getPlainAnalysisReport.js.map +0 -1
  146. package/cjs/types/index.d.ts +0 -26
  147. package/cjs/types/index.js +0 -45
  148. package/cjs/types/index.js.map +0 -1
  149. package/cjs/types/optional.d.ts +0 -328
  150. package/cjs/types/optional.js +0 -33
  151. package/cjs/types/optional.js.map +0 -1
  152. package/cjs/types/required.d.ts +0 -664
  153. package/cjs/types/required.js +0 -33
  154. package/cjs/types/required.js.map +0 -1
  155. package/cjs/types/satisfy.d.ts +0 -15
  156. package/cjs/types/satisfy.js +0 -26
  157. package/cjs/types/satisfy.js.map +0 -1
  158. package/cjs/types/types.d.ts +0 -9
  159. package/cjs/types/types.js +0 -3
  160. package/cjs/types/types.js.map +0 -1
  161. package/esm/predicates/isEmptyObject.js +0 -2
  162. package/esm/predicates/isEmptyObject.js.map +0 -1
  163. package/esm/types/AllType.js +0 -2
  164. package/esm/types/AllType.js.map +0 -1
  165. package/esm/types/Any.js +0 -2
  166. package/esm/types/Any.js.map +0 -1
  167. package/esm/types/Array.js +0 -27
  168. package/esm/types/Array.js.map +0 -1
  169. package/esm/types/Boolean.js +0 -25
  170. package/esm/types/Boolean.js.map +0 -1
  171. package/esm/types/Generate.js +0 -2
  172. package/esm/types/Generate.js.map +0 -1
  173. package/esm/types/Null.js +0 -7
  174. package/esm/types/Null.js.map +0 -1
  175. package/esm/types/Number.js +0 -30
  176. package/esm/types/Number.js.map +0 -1
  177. package/esm/types/Object.js +0 -31
  178. package/esm/types/Object.js.map +0 -1
  179. package/esm/types/Record.js +0 -14
  180. package/esm/types/Record.js.map +0 -1
  181. package/esm/types/String.js +0 -31
  182. package/esm/types/String.js.map +0 -1
  183. package/esm/types/Symbol.js +0 -10
  184. package/esm/types/Symbol.js.map +0 -1
  185. package/esm/types/Tuple.js +0 -23
  186. package/esm/types/Tuple.js.map +0 -1
  187. package/esm/types/Undefined.js +0 -2
  188. package/esm/types/Undefined.js.map +0 -1
  189. package/esm/types/Union.js +0 -32
  190. package/esm/types/Union.js.map +0 -1
  191. package/esm/types/Unknown.js +0 -2
  192. package/esm/types/Unknown.js.map +0 -1
  193. package/esm/types/analyze.js +0 -142
  194. package/esm/types/analyze.js.map +0 -1
  195. package/esm/types/check.js +0 -21
  196. package/esm/types/check.js.map +0 -1
  197. package/esm/types/conform.js +0 -22
  198. package/esm/types/conform.js.map +0 -1
  199. package/esm/types/getPlainAnalysisReport.js +0 -106
  200. package/esm/types/getPlainAnalysisReport.js.map +0 -1
  201. package/esm/types/index.js +0 -28
  202. package/esm/types/index.js.map +0 -1
  203. package/esm/types/optional.js +0 -30
  204. package/esm/types/optional.js.map +0 -1
  205. package/esm/types/required.js +0 -30
  206. package/esm/types/required.js.map +0 -1
  207. package/esm/types/satisfy.js +0 -22
  208. package/esm/types/satisfy.js.map +0 -1
  209. package/esm/types/types.js +0 -2
  210. package/esm/types/types.js.map +0 -1
@@ -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
@@ -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"}
@@ -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
@@ -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"}
@@ -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"}
@@ -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"}
@@ -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
@@ -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"}
@@ -1,2 +0,0 @@
1
- export {};
2
- //# sourceMappingURL=types.js.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"types.js","sourceRoot":"","sources":["../../ts/types/types.ts"],"names":[],"mappings":""}