@eslinted/core 10.0.2 → 10.1.0

Sign up to get free protection for your applications and to get access to all the features.
Files changed (103) hide show
  1. package/dist/factory/options/option/index.d.ts +7 -5
  2. package/dist/factory/options/option/index.d.ts.map +1 -1
  3. package/dist/factory/options/option/template/language/index.d.ts +2 -2
  4. package/dist/factory/options/option/template/language/index.d.ts.map +1 -1
  5. package/package.json +2 -2
  6. package/src/factory/options/option/template/language/index.ts +2 -2
  7. package/typings/common/literals/chars/alpha.d.ts +4 -0
  8. package/typings/common/literals/{string/letter/digit/extended/base64/index.d.ts → chars/digits/base64.d.ts} +1 -1
  9. package/typings/common/literals/chars/lower.d.ts +1 -0
  10. package/typings/common/literals/{string/letter/index.d.ts → chars/upper.d.ts} +0 -7
  11. package/typings/common/literals/{number/bases → numbers}/base32.d.ts +1 -1
  12. package/typings/common/literals/{number/bases/hex.d.ts → numbers/hexadecimal.d.ts} +1 -1
  13. package/typings/common/tester.d.ts +8 -0
  14. package/typings/common/utility/interface/identity.d.ts +11 -0
  15. package/typings/common/utility/interface/{identity/interface/index.d.ts → identity.spec.d.ts} +1 -18
  16. package/typings/common/utility/interface/keys.d.ts +3 -0
  17. package/typings/common/utility/interface/{identity/keys/index.d.ts → keys.spec.d.ts} +1 -5
  18. package/typings/common/utility/interface/optional.d.ts +7 -0
  19. package/typings/common/utility/interface/{transform/partial/unrequire/index.d.ts → optional.spec.d.ts} +4 -15
  20. package/typings/common/utility/interface/partially.d.ts +1 -0
  21. package/typings/common/utility/interface/{build/properties/property → property}/index.d.ts +2 -2
  22. package/typings/common/utility/interface/property/properties.d.ts +6 -0
  23. package/typings/common/utility/interface/table/tables.d.ts +5 -0
  24. package/typings/common/utility/iterable/arrayful.d.ts +1 -0
  25. package/typings/common/utility/iterable/{transform/flat/unflat/index.d.ts → flat/unflat.d.ts} +1 -1
  26. package/typings/common/utility/iterable/identity.d.ts +1 -0
  27. package/typings/common/utility/iterable/identity.spec.d.ts +59 -0
  28. package/typings/common/utility/iterable/{build/arrays/array/index.d.ts → index.d.ts} +7 -3
  29. package/typings/common/utility/iterable/index.spec.d.ts +18 -0
  30. package/typings/common/utility/iterable/tuple.d.ts +11 -0
  31. package/typings/common/utility/iterable/{build/tuples/tuple/index.d.ts → tuple.spec.d.ts} +0 -12
  32. package/typings/common/utility/{nullable/null → null}/index.spec.d.ts +2 -2
  33. package/typings/common/utility/{nullable/index.spec.d.ts → null/nullable.spec.d.ts} +1 -1
  34. package/typings/common/utility/primitive/index.d.ts +1 -32
  35. package/typings/common/utility/primitive/index.spec.d.ts +27 -0
  36. package/typings/common/utility/primitive/length.d.ts +5 -0
  37. package/typings/common/utility/primitive/{number/length/index.d.ts → length.spec.d.ts} +1 -10
  38. package/typings/common/utility/primitive/literal.d.ts +1 -0
  39. package/typings/common/utility/primitive/{string/literalful/literal/index.d.ts → literal.spec.d.ts} +0 -5
  40. package/typings/common/utility/primitive/literalful.d.ts +3 -0
  41. package/typings/common/utility/primitive/{string/literalful/index.d.ts → literalful.spec.d.ts} +0 -8
  42. package/typings/common/utility/primitive/numeric.d.ts +1 -0
  43. package/typings/common/utility/primitive/numeric.spec.d.ts +30 -0
  44. package/typings/common/utility/primitive/truth.d.ts +3 -0
  45. package/typings/common/utility/primitive/{boolean/true/index.d.ts → truth.spec.d.ts} +6 -14
  46. package/typings/common/validated/index.d.ts +2 -0
  47. package/typings/common/validated/numberful.d.ts +1 -0
  48. package/typings/common/validated/properties/finite.d.ts +2 -0
  49. package/typings/common/validated/properties/length.d.ts +3 -0
  50. package/typings/common/validated/properties/polarity.d.ts +5 -0
  51. package/typings/common/validated/stringful.d.ts +1 -0
  52. package/typings/common/safe/index.d.ts +0 -2
  53. package/typings/common/safe/numbers/finite/index.d.ts +0 -2
  54. package/typings/common/safe/numbers/fint.d.ts +0 -1
  55. package/typings/common/safe/numbers/integer/numberful/index.d.ts +0 -1
  56. package/typings/common/safe/numbers/polarity/negative.d.ts +0 -4
  57. package/typings/common/safe/numbers/polarity/pole/index.d.ts +0 -18
  58. package/typings/common/safe/numbers/polarity/positive.d.ts +0 -4
  59. package/typings/common/safe/strings/stringful/index.d.ts +0 -1
  60. package/typings/common/safe/strings/stringful/length/index.d.ts +0 -3
  61. package/typings/common/utility/interface/build/particord/index.d.ts +0 -1
  62. package/typings/common/utility/interface/build/properties/Field.d.ts +0 -1
  63. package/typings/common/utility/interface/build/properties/Flag.d.ts +0 -1
  64. package/typings/common/utility/interface/build/properties/Limit.d.ts +0 -8
  65. package/typings/common/utility/interface/build/properties/List.d.ts +0 -1
  66. package/typings/common/utility/interface/build/properties/Listish.d.ts +0 -1
  67. package/typings/common/utility/interface/build/properties/Scalar.d.ts +0 -1
  68. package/typings/common/utility/interface/build/tables/FieldTable.d.ts +0 -1
  69. package/typings/common/utility/interface/build/tables/FlagTable.d.ts +0 -1
  70. package/typings/common/utility/interface/build/tables/ListTable.d.ts +0 -1
  71. package/typings/common/utility/interface/build/tables/ListishTable.d.ts +0 -1
  72. package/typings/common/utility/interface/build/tables/ScalarTable.d.ts +0 -1
  73. package/typings/common/utility/iterable/build/arrays/index.d.ts +0 -2
  74. package/typings/common/utility/iterable/identity/array/index.d.ts +0 -65
  75. package/typings/common/utility/iterable/identity/array/length/index.d.ts +0 -16
  76. package/typings/common/utility/iterable/identity/dyad.d.ts +0 -3
  77. package/typings/common/utility/iterable/identity/monad.d.ts +0 -48
  78. package/typings/common/utility/iterable/identity/triad.d.ts +0 -3
  79. package/typings/common/utility/iterable/transform/string/index.d.ts +0 -30
  80. package/typings/common/utility/iterable/transform/string/stringify/index.d.ts +0 -27
  81. package/typings/common/utility/primitive/number/length/numbered/index.d.ts +0 -35
  82. package/typings/common/utility/primitive/string/fake/index.d.ts +0 -1
  83. package/typings/common/utility/test.d.ts +0 -2
  84. package/typings/common/valid/index.d.ts +0 -7
  85. package/typings/common/valid/string/index.d.ts +0 -1
  86. /package/typings/common/literals/{string/letter/digit/index.d.ts → chars/digit.d.ts} +0 -0
  87. /package/typings/common/literals/{string/letter/digit/extended/hex/index.d.ts → chars/digits/hexchar.d.ts} +0 -0
  88. /package/typings/common/literals/{number/bases → numbers}/base64.d.ts +0 -0
  89. /package/typings/common/literals/{number/bases → numbers}/binary.d.ts +0 -0
  90. /package/typings/common/literals/{number/bases → numbers}/decimal.d.ts +0 -0
  91. /package/typings/common/literals/{number/bases → numbers}/octal.d.ts +0 -0
  92. /package/typings/common/literals/{number/bases → numbers}/quatral.d.ts +0 -0
  93. /package/typings/common/literals/{number/bases → numbers}/ternary.d.ts +0 -0
  94. /package/typings/common/{primitive/index.d.ts → primitive.d.ts} +0 -0
  95. /package/typings/common/utility/{object/build/index.d.ts → constructor.d.ts} +0 -0
  96. /package/typings/common/utility/interface/{build/recordful/index.d.ts → index.d.ts} +0 -0
  97. /package/typings/common/utility/interface/{build/tables/table → table}/index.d.ts +0 -0
  98. /package/typings/common/utility/iterable/{transform/flat → flat}/index.d.ts +0 -0
  99. /package/typings/common/utility/iterable/{build/tuples/index.d.ts → tuples.d.ts} +0 -0
  100. /package/typings/common/utility/{nullable/null → null}/index.d.ts +0 -0
  101. /package/typings/common/utility/{nullable/index.d.ts → null/nullable.d.ts} +0 -0
  102. /package/typings/common/{safe/strings → validated}/char.d.ts +0 -0
  103. /package/typings/common/{safe/numbers/integer/index.d.ts → validated/properties/int.d.ts} +0 -0
@@ -183,6 +183,7 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
183
183
  readonly CSSMatrixComponent: false;
184
184
  readonly CSSMediaRule: false;
185
185
  readonly CSSNamespaceRule: false;
186
+ readonly CSSNestedDeclarations: false;
186
187
  readonly CSSNumericArray: false;
187
188
  readonly CSSNumericValue: false;
188
189
  readonly CSSPageDescriptors: false;
@@ -483,7 +484,6 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
483
484
  readonly IntersectionObserver: false;
484
485
  readonly IntersectionObserverEntry: false;
485
486
  readonly isSecureContext: false;
486
- readonly Iterator: false;
487
487
  readonly Keyboard: false;
488
488
  readonly KeyboardEvent: false;
489
489
  readonly KeyboardLayoutMap: false;
@@ -1197,6 +1197,7 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
1197
1197
  readonly Intl: false;
1198
1198
  readonly isFinite: false;
1199
1199
  readonly isNaN: false;
1200
+ readonly Iterator: false;
1200
1201
  readonly JSON: false;
1201
1202
  readonly Map: false;
1202
1203
  readonly Math: false;
@@ -1908,6 +1909,7 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
1908
1909
  readonly Intl: false;
1909
1910
  readonly isFinite: false;
1910
1911
  readonly isNaN: false;
1912
+ readonly Iterator: false;
1911
1913
  readonly JSON: false;
1912
1914
  readonly Map: false;
1913
1915
  readonly Math: false;
@@ -2207,6 +2209,7 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
2207
2209
  readonly clearImmediate: false;
2208
2210
  readonly clearInterval: false;
2209
2211
  readonly clearTimeout: false;
2212
+ readonly CloseEvent: false;
2210
2213
  readonly CompressionStream: false;
2211
2214
  readonly console: false;
2212
2215
  readonly CountQueuingStrategy: false;
@@ -2224,7 +2227,6 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
2224
2227
  readonly FormData: false;
2225
2228
  readonly global: false;
2226
2229
  readonly Headers: false;
2227
- readonly Iterator: false;
2228
2230
  readonly MessageChannel: false;
2229
2231
  readonly MessageEvent: false;
2230
2232
  readonly MessagePort: false;
@@ -2281,6 +2283,7 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
2281
2283
  readonly clearImmediate: false;
2282
2284
  readonly clearInterval: false;
2283
2285
  readonly clearTimeout: false;
2286
+ readonly CloseEvent: false;
2284
2287
  readonly CompressionStream: false;
2285
2288
  readonly console: false;
2286
2289
  readonly CountQueuingStrategy: false;
@@ -2297,7 +2300,6 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
2297
2300
  readonly FormData: false;
2298
2301
  readonly global: false;
2299
2302
  readonly Headers: false;
2300
- readonly Iterator: false;
2301
2303
  readonly MessageChannel: false;
2302
2304
  readonly MessageEvent: false;
2303
2305
  readonly MessagePort: false;
@@ -2574,6 +2576,7 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
2574
2576
  readonly ByteLengthQueuingStrategy: false;
2575
2577
  readonly clearInterval: false;
2576
2578
  readonly clearTimeout: false;
2579
+ readonly CloseEvent: false;
2577
2580
  readonly CompressionStream: false;
2578
2581
  readonly console: false;
2579
2582
  readonly CountQueuingStrategy: false;
@@ -2589,7 +2592,6 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
2589
2592
  readonly File: false;
2590
2593
  readonly FormData: false;
2591
2594
  readonly Headers: false;
2592
- readonly Iterator: false;
2593
2595
  readonly MessageChannel: false;
2594
2596
  readonly MessageEvent: false;
2595
2597
  readonly MessagePort: false;
@@ -2801,7 +2803,6 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
2801
2803
  readonly importScripts: false;
2802
2804
  readonly indexedDB: false;
2803
2805
  readonly isSecureContext: false;
2804
- readonly Iterator: false;
2805
2806
  readonly location: false;
2806
2807
  readonly Lock: false;
2807
2808
  readonly LockManager: false;
@@ -2861,6 +2862,7 @@ export default abstract class Option<S extends Scope, Plugin extends keyof Input
2861
2862
  readonly Request: false;
2862
2863
  readonly requestAnimationFrame: false;
2863
2864
  readonly Response: false;
2865
+ readonly RTCDataChannel: false;
2864
2866
  readonly RTCEncodedAudioFrame: false;
2865
2867
  readonly RTCEncodedVideoFrame: false;
2866
2868
  readonly scheduler: false;
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/factory/options/option/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,EACV,KAAK,EACL,KAAK,EACL,MAAM,EAEN,eAAe,EACf,OAAO,EACP,OAAO,EACR,MAAM,YAAY,CAAC;AAEpB,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,MAAM,CAClC,CAAC,SAAS,KAAK,EACf,MAAM,SAAS,MAAM,KAAK,CAAC,SAAS,CAAC,EACrC,MAAM,SAAS,OAAO,GAAG,IAAI,EAC7B,aAAa,SAAS,MAAM,GAAG,OAAO,GAAG,KAAK,EAC9C,WAAW,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EACjC,MAAM,SAAS,OAAO,GAAG,KAAK,EAC9B,SAAS,SAAS,MAAM,GAAG,KAAK;aAYd,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC;aACxB,MAAM,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC;aACnC,KAAK,EAAE,MAAM,EAAE;aACf,OAAO,EAAE,OAAO;IAblC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA6E;IAE3G,kBAAyB,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9C,kBAAyB,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,SAAS,KAAK,GAClE,MAAM,GACN,SAAS,CAAC,SAAS,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,GAChE,SAAS,CAAC,SAAS,CAAC,GACpB,MAAM,CAAC;gBAGK,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,EACxB,MAAM,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC,EACnC,KAAK,EAAE,MAAM,EAAE,EACf,OAAO,EAAE,OAAO;IAGlC,IAAW,OAAO,IAAI,MAAM,CAqB3B;IAED,OAAO,KAAK,MAAM,GAuBjB;IAED,SAAS,CAAC,QAAQ,KAAK,eAAe,IAAI,eAAe,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IAEzF,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAG/B"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/factory/options/option/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,EACV,KAAK,EACL,KAAK,EACL,MAAM,EAEN,eAAe,EACf,OAAO,EACP,OAAO,EACR,MAAM,YAAY,CAAC;AAEpB,MAAM,CAAC,OAAO,CAAC,QAAQ,OAAO,MAAM,CAClC,CAAC,SAAS,KAAK,EACf,MAAM,SAAS,MAAM,KAAK,CAAC,SAAS,CAAC,EACrC,MAAM,SAAS,OAAO,GAAG,IAAI,EAC7B,aAAa,SAAS,MAAM,GAAG,OAAO,GAAG,KAAK,EAC9C,WAAW,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EACjC,MAAM,SAAS,OAAO,GAAG,KAAK,EAC9B,SAAS,SAAS,MAAM,GAAG,KAAK;aAYd,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC;aACxB,MAAM,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC;aACnC,KAAK,EAAE,MAAM,EAAE;aACf,OAAO,EAAE,OAAO;IAblC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAA6E;IAE3G,kBAAyB,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IAC9C,kBAAyB,SAAS,EAAE,SAAS,CAAC,SAAS,CAAC,SAAS,KAAK,GAClE,MAAM,GACN,SAAS,CAAC,SAAS,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,GAChE,SAAS,CAAC,SAAS,CAAC,GACpB,MAAM,CAAC;gBAGK,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,EACxB,MAAM,EAAE,KAAK,CAAC,WAAW,EAAE,OAAO,CAAC,EACnC,KAAK,EAAE,MAAM,EAAE,EACf,OAAO,EAAE,OAAO;IAGlC,IAAW,OAAO,IAAI,MAAM,CAqB3B;IAED,OAAO,KAAK,MAAM,GAuBjB;IAED,SAAS,CAAC,QAAQ,KAAK,eAAe,IAAI,eAAe,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC;IAEzF,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAG/B"}
@@ -1,11 +1,11 @@
1
1
  import type { EcmaVersion } from "./ecma.js";
2
2
  import type { SourceType } from "./source.js";
3
- export type LanguageOptions<IsEcma extends boolean, ParserOptions extends object | boolean, GlobalTypes extends string> = (True<IsEcma> extends never ? object : {
3
+ export type LanguageOptions<IsEcma extends boolean, ParserOptions extends object | boolean, GlobalTypes extends string> = (Truth<IsEcma> extends never ? object : {
4
4
  ecmaVersion: EcmaVersion;
5
5
  sourceType: SourceType;
6
6
  }) & (literalful<GlobalTypes> extends never ? object : {
7
7
  globals: Record<string, unknown>;
8
- }) & (ParserOptions extends boolean ? True<ParserOptions> extends never ? object : {
8
+ }) & (ParserOptions extends boolean ? Truth<ParserOptions> extends never ? object : {
9
9
  parser: unknown;
10
10
  } : ParserOptions extends object ? Interface<ParserOptions> extends never ? object : {
11
11
  parser: unknown;
@@ -1 +1 @@
1
- {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/factory/options/option/template/language/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE3C,MAAM,MAAM,eAAe,CACzB,MAAM,SAAS,OAAO,EACtB,aAAa,SAAS,MAAM,GAAG,OAAO,EACtC,WAAW,SAAS,MAAM,IAEzB,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,KAAK,GAAG,MAAM,GAAG;IAAE,WAAW,EAAE,WAAW,CAAC;IAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC,GAC5F,CAAC,UAAU,CAAC,WAAW,CAAC,SAAS,KAAK,GAAG,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAC,GACvF,CACC,aAAa,SAAS,OAAO,GACzB,IAAI,CAAC,aAAa,CAAC,SAAS,KAAK,GAC/B,MAAM,GACN;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,GACrB,aAAa,SAAS,MAAM,GAC1B,SAAS,CAAC,aAAa,CAAC,SAAS,KAAK,GACpC,MAAM,GACN;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,aAAa,EAAE,aAAa,CAAA;CAAE,GACnD,MAAM,CACb,CAAC"}
1
+ {"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../../../src/factory/options/option/template/language/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE3C,MAAM,MAAM,eAAe,CACzB,MAAM,SAAS,OAAO,EACtB,aAAa,SAAS,MAAM,GAAG,OAAO,EACtC,WAAW,SAAS,MAAM,IAEzB,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,KAAK,GAAG,MAAM,GAAG;IAAE,WAAW,EAAE,WAAW,CAAC;IAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC,GAC7F,CAAC,UAAU,CAAC,WAAW,CAAC,SAAS,KAAK,GAAG,MAAM,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,CAAC,GACvF,CACC,aAAa,SAAS,OAAO,GACzB,KAAK,CAAC,aAAa,CAAC,SAAS,KAAK,GAChC,MAAM,GACN;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,GACrB,aAAa,SAAS,MAAM,GAC1B,SAAS,CAAC,aAAa,CAAC,SAAS,KAAK,GACpC,MAAM,GACN;IAAE,MAAM,EAAE,OAAO,CAAC;IAAC,aAAa,EAAE,aAAa,CAAA;CAAE,GACnD,MAAM,CACb,CAAC"}
package/package.json CHANGED
@@ -1,7 +1,7 @@
1
1
  {
2
2
  "_schemaVersion": "22.10.2",
3
3
  "name": "@eslinted/core",
4
- "version": "10.0.2",
4
+ "version": "10.1.0",
5
5
  "description": "Core ESLint flat config factory npm package `linted`.",
6
6
  "keywords": [],
7
7
  "repository": "github:jimmy-zhening-luo/linted-core",
@@ -28,7 +28,7 @@
28
28
  },
29
29
  "peerDependenciesMeta": {},
30
30
  "dependencies": {
31
- "globals": "^15.11.0"
31
+ "globals": "^15.12.0"
32
32
  },
33
33
  "devDependencies": {
34
34
  "@types/chai": "^5.0.1",
@@ -6,11 +6,11 @@ export type LanguageOptions<
6
6
  ParserOptions extends object | boolean,
7
7
  GlobalTypes extends string,
8
8
  > =
9
- & (True<IsEcma> extends never ? object : { ecmaVersion: EcmaVersion; sourceType: SourceType })
9
+ & (Truth<IsEcma> extends never ? object : { ecmaVersion: EcmaVersion; sourceType: SourceType })
10
10
  & (literalful<GlobalTypes> extends never ? object : { globals: Record<string, unknown> })
11
11
  & (
12
12
  ParserOptions extends boolean
13
- ? True<ParserOptions> extends never
13
+ ? Truth<ParserOptions> extends never
14
14
  ? object
15
15
  : { parser: unknown }
16
16
  : ParserOptions extends object
@@ -0,0 +1,4 @@
1
+ declare type alpha =
2
+ | lower
3
+ | upper
4
+ ;
@@ -1,5 +1,5 @@
1
1
  declare type base64char =
2
- | letter
2
+ | alpha
3
3
  | digit
4
4
  | "+"
5
5
  | "/"
@@ -0,0 +1 @@
1
+ declare type lower = Lowercase<upper>;
@@ -1,10 +1,3 @@
1
- declare type letter =
2
- | lower
3
- | upper
4
- ;
5
-
6
- declare type lower = Lowercase<upper>;
7
-
8
1
  declare type upper =
9
2
  | "A"
10
3
  | "B"
@@ -1,5 +1,5 @@
1
1
  declare type base32 =
2
- | hex
2
+ | hexadecimal
3
3
  | 16
4
4
  | 17
5
5
  | 18
@@ -1,4 +1,4 @@
1
- declare type hex =
1
+ declare type hexadecimal =
2
2
  | decimal
3
3
  | 9
4
4
  | 10
@@ -0,0 +1,8 @@
1
+ declare type Tester<TF extends { T: unknown; F?: unknown }> =
2
+ & (OmitNever<TF["T"]> extends TF["T"] ? true : never)
3
+ & (object extends OmitNever<TF["F"]> ? true : undefined extends OmitNever<TF["F"]> ? true : never);
4
+ declare type OmitNever<R> = { [
5
+ K in keyof R as R[K] extends never
6
+ ? never
7
+ : K
8
+ ]: R[K] };
@@ -0,0 +1,11 @@
1
+ declare type Interface<R extends object> = [R] extends [object]
2
+ ? [Extract<R, readonly unknown[]>] extends [never]
3
+ ? Required<R> extends Record<infer K, unknown>
4
+ ? Exclude<K, string> extends never
5
+ ? literalful<K & string> extends never
6
+ ? never
7
+ : R
8
+ : never
9
+ : never
10
+ : never
11
+ : never;
@@ -1,16 +1,4 @@
1
- declare type Interface<R extends object> = [R] extends [object]
2
- ? [Extract<R, readonly unknown[]>] extends [never]
3
- ? Required<R> extends Record<infer K, unknown>
4
- ? Exclude<K, string> extends never
5
- ? literalful<K & string> extends never
6
- ? never
7
- : R
8
- : never
9
- : never
10
- : never
11
- : never;
12
-
13
- declare namespace InterfaceTest {
1
+ declare namespace Interface {
14
2
  export type T = Interface<{ a: 5 }>;
15
3
  export type T0 = Interface<{
16
4
  a: 1;
@@ -22,9 +10,6 @@ declare namespace InterfaceTest {
22
10
  }>;
23
11
  export type T2 = Interface<Record<"a", unknown>>;
24
12
  export type T3 = Interface<Record<"a" | "b", unknown>>;
25
- }
26
-
27
- declare namespace NotInterface {
28
13
  export type N = Interface<never>;
29
14
  export type N0 = Interface<object>;
30
15
  export type N0a = Interface<Record<"a" | "b" | 5, unknown>>;
@@ -76,5 +61,3 @@ declare namespace NotInterface {
76
61
  // export type N15 = Interface<string | { a: cool }>;
77
62
  // export type N15b = Interface<Record<"a" | "b" | string, unknown>>;
78
63
  }
79
-
80
- type gg = Extract<{ a: 5 }, readonly unknown[]>;
@@ -0,0 +1,3 @@
1
+ declare type Keys<R extends object> = Interface<R> extends never
2
+ ? never
3
+ : keyof Interface<R>;
@@ -1,7 +1,3 @@
1
- declare type Keys<R extends object> = Interface<R> extends never
2
- ? never
3
- : keyof Interface<R>;
4
-
5
1
  declare namespace Keys {
6
2
  const RESULT: {
7
3
  positive: typeof POSITIVE | 1;
@@ -35,7 +31,7 @@ declare namespace Keys {
35
31
  N2e: Keys<object>;
36
32
  N2f: Keys<{
37
33
  a: 1;
38
- [min]: 1;
34
+ [ful]: "cool";
39
35
  }>;
40
36
  N3: Keys<[]>;
41
37
  N3a: Keys<readonly [1, 1]>;
@@ -0,0 +1,7 @@
1
+ declare type Optional<R extends object, OK extends string> = Interface<R> extends never
2
+ ? never
3
+ : literalful<OK> extends never
4
+ ? never
5
+ : OK extends keyof R
6
+ ? Omit<Interface<R>, literalful<OK>> & Partial<Pick<Interface<R>, literalful<OK>>>
7
+ : never;
@@ -1,13 +1,5 @@
1
- declare type Unrequire<R extends object, OK extends string> = Interface<R> extends never
2
- ? never
3
- : literalful<OK> extends never
4
- ? never
5
- : OK extends keyof R
6
- ? Omit<Interface<R>, literalful<OK>> & Partial<Pick<Interface<R>, literalful<OK>>>
7
- : never;
8
-
9
- declare namespace Unrequire {
10
- export type T = Unrequire<{
1
+ declare namespace Optional {
2
+ export type T = Optional<{
11
3
  a: 1;
12
4
  b: 1;
13
5
  c: 1;
@@ -30,16 +22,13 @@ declare namespace Unrequire {
30
22
  c: 1;
31
23
  z: 9001;
32
24
  } extends T ? true : false; // true
33
- }
34
-
35
- declare namespace NotUnrequire {
36
25
  export type N_null = {
37
26
  a: 1;
38
27
  b: 1;
39
28
  c: 1;
40
- } extends Unrequire.T ? true : false; // true
29
+ } extends T ? true : false; // true
41
30
  export type N = {
42
31
  b: 1;
43
32
  c: 1;
44
- } extends Unrequire.T ? true : false; // false
33
+ } extends T ? true : false; // false
45
34
  }
@@ -0,0 +1 @@
1
+ declare type Partially<K extends string, V> = Partial<Recordful<K, V>>;
@@ -1,8 +1,8 @@
1
1
  declare type Property<K extends string, OK extends string, V> = literalful<K> extends never
2
- ? Particord<OK, V>
2
+ ? Partially<OK, V>
3
3
  : Recordful<K, V>
4
4
  & (
5
5
  literalful<OK> extends never
6
6
  ? Recordful<K, V>
7
- : Particord<OK, V>
7
+ : Partially<OK, V>
8
8
  );
@@ -0,0 +1,6 @@
1
+ declare type Field<K extends string, OK extends string = never> = Property<K, OK, string>;
2
+ declare type Flag<OK extends string, K extends string = never> = Property<K, OK, boolean>;
3
+ declare type Limit<K extends string, OK extends string = never> = Property<K, OK, Record<"min" | "max", number>>;
4
+ declare type List<K extends string, OK extends string = never> = Property<K, OK, readonly string[]>;
5
+ declare type Listish<K extends string, OK extends string = never> = Property<K, OK, Unflat>;
6
+ declare type Scalar<K extends string, OK extends string = never> = Property<K, OK, number>;
@@ -0,0 +1,5 @@
1
+ declare type FieldTable = Table<string>;
2
+ declare type FlagTable = Table<boolean>;
3
+ declare type ListTable = Table<readonly string[]>;
4
+ declare type ListishTable = Table<Unflat>;
5
+ declare type ScalarTable = Table<number>;
@@ -0,0 +1 @@
1
+ declare type Arrayful<I = string> = ArrayN<1, I>;
@@ -1,3 +1,3 @@
1
1
  declare type Unflat<In = string, RO extends boolean = true> = [In] extends [never]
2
2
  ? never
3
- : In | (True<RO> extends never ? In[] : readonly In[]);
3
+ : In | (Truth<RO> extends never ? In[] : readonly In[]);
@@ -0,0 +1 @@
1
+ declare type IsArray<A> = [A] extends [readonly unknown[]] ? A : never;
@@ -0,0 +1,59 @@
1
+ declare namespace ArrayType {
2
+ export type T0 = IsArray<[]>;
3
+ export type T1 = IsArray<[1, 1]>;
4
+ export type T2 = IsArray<string[]>;
5
+ export type T3 = IsArray<readonly []>;
6
+ export type T4 = IsArray<readonly [1, 1]>;
7
+ export type T5 = IsArray<readonly string[]>;
8
+ export type T6 = IsArray<[[]]>;
9
+ export type T7 = IsArray<string[] | int[]>;
10
+ export type T8 = IsArray<(string | int)[]>;
11
+ export type T9 = IsArray<
12
+ | []
13
+ | [5, 10]
14
+ | string []
15
+ | readonly []
16
+ | readonly [5, 10]
17
+ | readonly string[]
18
+ >;
19
+ export type T10 = IsArray<[1?, ...string[]]>;
20
+ export type T11 = IsArray<[1] | [1, 2?]>;
21
+ export type N0 = IsArray<"">;
22
+ export type N1 = IsArray<"test">;
23
+ export type N2 = IsArray<string>;
24
+ export type N3 = IsArray<boolean>;
25
+ export type N4 = IsArray<true>;
26
+ export type N5 = IsArray<false>;
27
+ export type N6 = IsArray<0>;
28
+ export type N7 = IsArray<1>;
29
+ export type N8 = IsArray<number>;
30
+ export type N9 = IsArray<null>;
31
+ export type N10 = IsArray<undefined>;
32
+ export type N11 = IsArray<unknown>;
33
+ export type N12 = IsArray<never>;
34
+ export type N13 = IsArray<void>;
35
+ export type N14 = IsArray<() => void>;
36
+ export type N15 = IsArray<(a: string) => []>;
37
+ export type N16 = IsArray<Record<string, unknown>>;
38
+ export type N17 = IsArray<Record<number, 5>>;
39
+ export type N18 = IsArray<stringful>;
40
+ export type N19 = IsArray<{ 0: string }>;
41
+ export type N20 = IsArray<{
42
+ 0: string;
43
+ length: 1;
44
+ }>;
45
+ export type N21 = IsArray<symbol>;
46
+ export type N22 = IsArray<object>;
47
+ export type N23 = IsArray<
48
+ | []
49
+ | object
50
+ >;
51
+ export type N24 = IsArray<
52
+ | []
53
+ | string
54
+ >;
55
+ export type N25 = IsArray<
56
+ | []
57
+ | null
58
+ >;
59
+ }
@@ -1,9 +1,13 @@
1
1
  declare type ArrayN<N extends number = 0, I = string> = [I] extends [never]
2
2
  ? never
3
3
  : N extends number
4
- ? N extends 0 /* TODO: constrain posint */
5
- ? [...I[]]
6
- : ArrayBuilder<N, I>
4
+ ? `${N}` extends `-${string}`
5
+ ? never
6
+ : `${N}` extends `${string}.${string}`
7
+ ? never
8
+ : N extends 0 /* TODO: constrain to posint */
9
+ ? [...I[]]
10
+ : ArrayBuilder<N, I>
7
11
  : never;
8
12
 
9
13
  type ArrayBuilder<N extends number, I, H extends I[] = []> = H["length"] extends N
@@ -0,0 +1,18 @@
1
+ declare namespace ArrayN {
2
+ type T = ArrayN;
3
+
4
+ // type T0 = ArrayN<0>; // string[]
5
+ // type T0a = ArrayN<-0>; // string[]
6
+ export type T1 = ArrayN<1>;
7
+ type T2 = ArrayN<2>;
8
+ type T3 = ArrayN<1.00000>;
9
+ type Tn = ArrayN<number>; // string[]
10
+ type Tna = ArrayN<typeof NaN>; // string[]
11
+ type Tnb = ArrayN<typeof Infinity>; // string[]
12
+ type F = ArrayN<never>;
13
+ type F1 = ArrayN<-1>;
14
+ type F2 = ArrayN<1.1>;
15
+ type F3 = ArrayN<-1.1>;
16
+ type F4 = ArrayN<-1.00000>;
17
+ type F4a = ArrayN<9.999999999>;
18
+ }
@@ -0,0 +1,11 @@
1
+ declare type Tuple<N extends number = 2, I = string> = [I] extends [never]
2
+ ? never
3
+ : N extends number
4
+ ? N extends 0 /* TODO: constrain posint */
5
+ ? readonly []
6
+ : TupleBuilder<N, I>
7
+ : never;
8
+
9
+ type TupleBuilder<N extends number, I, H extends readonly I[] = readonly []> = H["length"] extends N
10
+ ? H
11
+ : TupleBuilder<N, I, readonly [...H, I]>;
@@ -1,15 +1,3 @@
1
- declare type Tuple<N extends number = 2, I = string> = [I] extends [never]
2
- ? never
3
- : N extends number
4
- ? N extends 0 /* TODO: constrain posint */
5
- ? readonly []
6
- : TupleBuilder<N, I>
7
- : never;
8
-
9
- type TupleBuilder<N extends number, I, H extends readonly I[] = readonly []> = H["length"] extends N
10
- ? H
11
- : TupleBuilder<N, I, readonly [...H, I]>;
12
-
13
1
  declare namespace Tuple {
14
2
  export type T = Tuple;
15
3
  export type T0 = Tuple<0>;
@@ -1,5 +1,5 @@
1
- declare namespace _Null {
2
- type OK = Test<TF> | 0;
1
+ declare namespace Null {
2
+ type OK = Tester<TF> | 0;
3
3
  type TF = {
4
4
  T: {
5
5
  T0: Null<string>;
@@ -1,5 +1,5 @@
1
1
  declare namespace Nullable {
2
- type OK = Test<TF> | 0;
2
+ type OK = Tester<TF> | 0;
3
3
  type TF = {
4
4
  T: {
5
5
  T0: Nullable<string>;
@@ -1,4 +1,4 @@
1
- declare type Primeval<P extends T, T extends primitive> = [T] extends [primitive]
1
+ declare type Primitive<P extends T, T extends primitive> = [T] extends [primitive]
2
2
  ? [P] extends [T]
3
3
  ? Extract<P, object> extends never
4
4
  ? Exclude<P, T> extends never
@@ -9,34 +9,3 @@ declare type Primeval<P extends T, T extends primitive> = [T] extends [primitive
9
9
  : never
10
10
  : never
11
11
  : never;
12
-
13
- declare namespace Primeval {
14
- export type T0 = Primeval<"fast", string>;
15
- export type T0a = Primeval<"", string>;
16
- export type T0b = Primeval<"fast" | "good", string>;
17
- export type T0c = Primeval<"fast" | "", string>;
18
- export type T1 = Primeval<5, number>;
19
- export type T1a = Primeval<0, number>;
20
- export type T2 = Primeval<true, boolean>;
21
- export type T2a = Primeval<false, boolean>;
22
- }
23
-
24
- declare namespace NotPrimeval {
25
- export type N0 = Primeval<string, string>;
26
- export type N0a = Primeval<number, number>;
27
- export type N0b = Primeval<boolean, boolean>;
28
- export type N1 = Primeval<stringful, string>;
29
- export type N1b = Primeval<numberful, number>;
30
-
31
- // export type N2 = Primeval<number | 5, number>;
32
- // export type N2a = Primeval<string | "good", string>;
33
- // export type N2b = Primeval<boolean | true, boolean>;
34
- // export type N3 = Primeval<5, number | object>;
35
- // export type N3a = Primeval<symbol, symbol>;
36
- // export type N3b = Primeval<object, object>;
37
- // export type N3c = Primeval<[], readonly unknown[]>;
38
- // export type N3d = Primeval<()=> 5, Function>;
39
- // export type N3e = Primeval<5, unknown>;
40
- // export type N3f = Primeval<true | 10, boolean>;
41
- // export type N3g = Primeval<string | "good", string>;
42
- }
@@ -0,0 +1,27 @@
1
+ declare namespace Primitive {
2
+ export type T0 = Primitive<"fast", string>;
3
+ export type T0a = Primitive<"", string>;
4
+ export type T0b = Primitive<"fast" | "good", string>;
5
+ export type T0c = Primitive<"fast" | "", string>;
6
+ export type T1 = Primitive<5, number>;
7
+ export type T1a = Primitive<0, number>;
8
+ export type T2 = Primitive<true, boolean>;
9
+ export type T2a = Primitive<false, boolean>;
10
+ export type N0 = Primitive<string, string>;
11
+ export type N0a = Primitive<number, number>;
12
+ export type N0b = Primitive<boolean, boolean>;
13
+ export type N1 = Primitive<stringful, string>;
14
+ export type N1b = Primitive<numberful, number>;
15
+
16
+ // export type N2 = Primeval<number | 5, number>;
17
+ // export type N2a = Primeval<string | "good", string>;
18
+ // export type N2b = Primeval<boolean | true, boolean>;
19
+ // export type N3 = Primeval<5, number | object>;
20
+ // export type N3a = Primeval<symbol, symbol>;
21
+ // export type N3b = Primeval<object, object>;
22
+ // export type N3c = Primeval<[], readonly unknown[]>;
23
+ // export type N3d = Primeval<()=> 5, Function>;
24
+ // export type N3e = Primeval<5, unknown>;
25
+ // export type N3f = Primeval<true | 10, boolean>;
26
+ // export type N3g = Primeval<string | "good", string>;
27
+ }
@@ -0,0 +1,5 @@
1
+ declare type LengthValue<N extends number> = [N] extends [number]
2
+ ? [number] extends [N]
3
+ ? 0
4
+ : Numeric<N>
5
+ : never;
@@ -1,10 +1,4 @@
1
- declare type LengthValue<N extends number> = [N] extends [number]
2
- ? [number] extends [N]
3
- ? 0
4
- : Numbered<N>
5
- : never;
6
-
7
- declare namespace Length {
1
+ declare namespace LengthValue {
8
2
  export type T0 = LengthValue<0>;
9
3
  export type T0a = LengthValue<0.0>; // 0
10
4
  export type T0b = LengthValue<number>; // 0
@@ -13,9 +7,6 @@ declare namespace Length {
13
7
  export type T2 = LengthValue<1.1>; // 1.1
14
8
  export type T3 = LengthValue<1 | 5>; // 1 | 5
15
9
  export type T3b = LengthValue<0 | 1 | 5>; // 0 | 1 | 5
16
- }
17
-
18
- declare namespace NotLength {
19
10
  export type N = LengthValue<never>;
20
11
 
21
12
  // export type N0 = Length<unknown>;
@@ -0,0 +1 @@
1
+ declare type literal<S extends string> = Primitive<S, string>;
@@ -1,13 +1,8 @@
1
- declare type literal<S extends string> = Primeval<S, string>;
2
-
3
1
  declare namespace literal {
4
2
  export type T = literal<"">;
5
3
  export type T0 = literal<"a">;
6
4
  export type T1 = literal<"a" | "b">;
7
5
  export type T1b = literal<"a" | "">;
8
- }
9
-
10
- declare namespace Notliteral {
11
6
  export type N = literal<never>;
12
7
  export type N0 = literal<string>;
13
8