@eslinted/core 10.0.2 → 10.1.0

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 (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