@eslinted/core 5.0.0-rc.3 → 5.0.0-rc.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/factory/options/option/index.d.ts +2 -2
- package/dist/factory/options/option/index.d.ts.map +1 -1
- package/dist/output.d.ts +1 -1
- package/dist/output.d.ts.map +1 -1
- package/package.json +1 -1
- package/src/factory/options/option/index.ts +1 -1
- package/src/output.ts +1 -1
- package/typings/{typioca → common}/utility/interface/build/properties/property/index.d.ts +1 -1
- package/typings/common/utility/iterable/build/arrays/array/index.d.ts +11 -0
- package/typings/common/utility/iterable/build/arrays/index.d.ts +2 -0
- package/typings/common/utility/iterable/build/tuples/index.d.ts +10 -0
- package/typings/common/utility/iterable/build/tuples/tuple/index.d.ts +26 -0
- package/typings/{typioca → common}/utility/iterable/identity/array/length/index.d.ts +2 -2
- package/typings/{typioca → common}/utility/iterable/identity/monad.d.ts +5 -5
- package/typings/common/utility/iterable/transform/string/stringify/index.d.ts +27 -0
- package/typings/common/utility/nullable/index.spec.d.ts +13 -0
- package/typings/common/utility/nullable/null/index.spec.d.ts +13 -0
- package/typings/common/utility/test.d.ts +2 -0
- package/typings/common/valid/index.d.ts +7 -0
- package/typings/common/valid/string/index.d.ts +1 -0
- package/typings/typioca/utility/iterable/build/arrays/array/index.d.ts +0 -12
- package/typings/typioca/utility/iterable/build/arrays/index.d.ts +0 -1
- package/typings/typioca/utility/iterable/build/tuples/index.d.ts +0 -9
- package/typings/typioca/utility/iterable/build/tuples/tuple/index.d.ts +0 -27
- package/typings/typioca/utility/iterable/transform/string/stringify/index.d.ts +0 -13
- /package/typings/{typioca → common}/literals/number/bases/base32.d.ts +0 -0
- /package/typings/{typioca → common}/literals/number/bases/base64.d.ts +0 -0
- /package/typings/{typioca → common}/literals/number/bases/binary.d.ts +0 -0
- /package/typings/{typioca → common}/literals/number/bases/decimal.d.ts +0 -0
- /package/typings/{typioca → common}/literals/number/bases/hex.d.ts +0 -0
- /package/typings/{typioca → common}/literals/number/bases/octal.d.ts +0 -0
- /package/typings/{typioca → common}/literals/number/bases/quatral.d.ts +0 -0
- /package/typings/{typioca → common}/literals/number/bases/ternary.d.ts +0 -0
- /package/typings/{typioca → common}/literals/string/letter/digit/extended/base64/index.d.ts +0 -0
- /package/typings/{typioca → common}/literals/string/letter/digit/extended/hex/index.d.ts +0 -0
- /package/typings/{typioca → common}/literals/string/letter/digit/index.d.ts +0 -0
- /package/typings/{typioca → common}/literals/string/letter/index.d.ts +0 -0
- /package/typings/{typioca → common}/primitive/index.d.ts +0 -0
- /package/typings/{typioca → common}/safe/index.d.ts +0 -0
- /package/typings/{typioca → common}/safe/numbers/finite/index.d.ts +0 -0
- /package/typings/{typioca → common}/safe/numbers/fint.d.ts +0 -0
- /package/typings/{typioca → common}/safe/numbers/integer/index.d.ts +0 -0
- /package/typings/{typioca → common}/safe/numbers/integer/numberful/index.d.ts +0 -0
- /package/typings/{typioca/safe/numbers/polarity/Negative.d.ts → common/safe/numbers/polarity/negative.d.ts} +0 -0
- /package/typings/{typioca → common}/safe/numbers/polarity/pole/index.d.ts +0 -0
- /package/typings/{typioca/safe/numbers/polarity/Positive.d.ts → common/safe/numbers/polarity/positive.d.ts} +0 -0
- /package/typings/{typioca → common}/safe/strings/char.d.ts +0 -0
- /package/typings/{typioca → common}/safe/strings/stringful/index.d.ts +0 -0
- /package/typings/{typioca → common}/safe/strings/stringful/length/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/particord/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/properties/Field.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/properties/Flag.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/properties/Limit.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/properties/List.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/properties/Listish.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/properties/Scalar.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/recordful/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/tables/FieldTable.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/tables/FlagTable.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/tables/ListTable.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/tables/ListishTable.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/tables/ScalarTable.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/build/tables/table/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/identity/interface/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/identity/keys/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/interface/transform/partial/unrequire/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/iterable/identity/array/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/iterable/identity/dyad.d.ts +0 -0
- /package/typings/{typioca → common}/utility/iterable/identity/triad.d.ts +0 -0
- /package/typings/{typioca → common}/utility/iterable/transform/flat/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/iterable/transform/flat/unflat/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/iterable/transform/string/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/nullable/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/nullable/null/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/object/build/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/primitive/boolean/true/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/primitive/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/primitive/number/length/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/primitive/number/length/numbered/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/primitive/string/fake/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/primitive/string/literalful/index.d.ts +0 -0
- /package/typings/{typioca → common}/utility/primitive/string/literalful/literal/index.d.ts +0 -0
|
@@ -2,13 +2,13 @@ import type { Ruleset } from "../../rulesets/ruleset.js";
|
|
|
2
2
|
import type { Scope, Input, Output, LanguageOptions, Plugins, Globals } from "./template/index.js";
|
|
3
3
|
export default abstract class Option<S extends Scope, Plugin extends keyof Input["plugins"], IsEcma extends boolean = true, ParserOptions extends object | boolean = false, ParserCount extends 0 | 1 | 2 = 0, Global extends Globals = never, Processor extends object = never> {
|
|
4
4
|
readonly plugins: Plugins<Plugin>;
|
|
5
|
-
readonly parser: Tuple<
|
|
5
|
+
readonly parser: Tuple<ParserCount, unknown>;
|
|
6
6
|
readonly files: string[];
|
|
7
7
|
readonly ruleset: Ruleset;
|
|
8
8
|
private readonly linterOptions;
|
|
9
9
|
abstract readonly scope: literalful<S>;
|
|
10
10
|
abstract readonly processor: Interface<Processor> extends never ? object : Interface<Processor> extends Readonly<Record<"processor", string>> ? Interface<Processor> : object;
|
|
11
|
-
constructor(plugins: Plugins<Plugin>, parser: Tuple<
|
|
11
|
+
constructor(plugins: Plugins<Plugin>, parser: Tuple<ParserCount, unknown>, files: string[], ruleset: Ruleset);
|
|
12
12
|
get configs(): Output;
|
|
13
13
|
private get option();
|
|
14
14
|
protected abstract get languageOptions(): LanguageOptions<IsEcma, ParserOptions, Global>;
|
|
@@ -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,
|
|
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"}
|
package/dist/output.d.ts
CHANGED
package/dist/output.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../src/output.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC;AAE/B,MAAM,MAAM,MAAM,GAAG,CACnB;IACE,IAAI,EAAE,UAAU,MAAM,EAAE,CAAC;IACzB,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,aAAa,EAAE;QACb,cAAc,EAAE,IAAI,CAAC;QACrB,6BAA6B,EAAE,OAAO,CAAC;KACxC,CAAC;IACF,eAAe,EAAE;QACf,UAAU,CAAC,EACP,QAAQ,GACR,QAAQ,CAAC;QACb,WAAW,CAAC,EAAE,QAAQ,CAAC;QACvB,OAAO,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACtB,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,aAAa,CAAC,EAAE,
|
|
1
|
+
{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../src/output.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC;AAE/B,MAAM,MAAM,MAAM,GAAG,CACnB;IACE,IAAI,EAAE,UAAU,MAAM,EAAE,CAAC;IACzB,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,aAAa,EAAE;QACb,cAAc,EAAE,IAAI,CAAC;QACrB,6BAA6B,EAAE,OAAO,CAAC;KACxC,CAAC;IACF,eAAe,EAAE;QACf,UAAU,CAAC,EACP,QAAQ,GACR,QAAQ,CAAC;QACb,WAAW,CAAC,EAAE,QAAQ,CAAC;QACvB,OAAO,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACtB,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,aAAa,CAAC,EAAE,KAAK,CAAC;KACvB,CAAC;IACF,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3C,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CACF,EAAE,CAAC"}
|
package/package.json
CHANGED
|
@@ -30,7 +30,7 @@ export default abstract class Option<
|
|
|
30
30
|
|
|
31
31
|
constructor(
|
|
32
32
|
public readonly plugins: Plugins<Plugin>,
|
|
33
|
-
public readonly parser: Tuple<
|
|
33
|
+
public readonly parser: Tuple<ParserCount, unknown>,
|
|
34
34
|
public readonly files: string[],
|
|
35
35
|
public readonly ruleset: Ruleset,
|
|
36
36
|
) {}
|
package/src/output.ts
CHANGED
|
@@ -16,7 +16,7 @@ export type Output = (
|
|
|
16
16
|
ecmaVersion?: "latest";
|
|
17
17
|
globals?: Table<true>;
|
|
18
18
|
parser?: unknown;
|
|
19
|
-
parserOptions?:
|
|
19
|
+
parserOptions?: Table;
|
|
20
20
|
};
|
|
21
21
|
plugins: Table<Record<"configs", unknown>>;
|
|
22
22
|
processor?: string;
|
|
@@ -0,0 +1,11 @@
|
|
|
1
|
+
declare type ArrayN<N extends number = 0, I = string> = [I] extends [never]
|
|
2
|
+
? never
|
|
3
|
+
: N extends number
|
|
4
|
+
? N extends 0 /* TODO: constrain posint */
|
|
5
|
+
? [...I[]]
|
|
6
|
+
: ArrayBuilder<N, I>
|
|
7
|
+
: never;
|
|
8
|
+
|
|
9
|
+
type ArrayBuilder<N extends number, I, H extends I[] = []> = H["length"] extends N
|
|
10
|
+
? [...H, ...I[]]
|
|
11
|
+
: ArrayBuilder<N, I, [...H, I]>;
|
|
@@ -0,0 +1,10 @@
|
|
|
1
|
+
declare type Monad<I = string> = Tuple<1, I>;
|
|
2
|
+
declare type Dyad<I = string> = Tuple<2, I>;
|
|
3
|
+
declare type Triad<I = string> = Tuple<3, I>;
|
|
4
|
+
declare type Quad<I = string> = Tuple<4, I>;
|
|
5
|
+
declare type Pentad<I = string> = Tuple<5, I>;
|
|
6
|
+
declare type Hexad<I = string> = Tuple<6, I>;
|
|
7
|
+
declare type Heptad<I = string> = Tuple<7, I>;
|
|
8
|
+
declare type Octad<I = string> = Tuple<8, I>;
|
|
9
|
+
declare type Nonad<I = string> = Tuple<9, I>;
|
|
10
|
+
declare type Decad<I = string> = Tuple<10, I>;
|
|
@@ -0,0 +1,26 @@
|
|
|
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
|
+
declare namespace Tuple {
|
|
14
|
+
export type T = Tuple;
|
|
15
|
+
export type T0 = Tuple<0>;
|
|
16
|
+
export type T0a = Tuple<1>;
|
|
17
|
+
export type T0b = Tuple<3>;
|
|
18
|
+
export type T1 = Tuple<2, string | number>;
|
|
19
|
+
export type T2 = Tuple<2 | 3>;
|
|
20
|
+
export type T3 = Tuple<2 | 3, string | number>;
|
|
21
|
+
export type T4 = Tuple<never>;
|
|
22
|
+
export type T4a = Tuple<0>;
|
|
23
|
+
export type T4b = Tuple<0 | 1>;
|
|
24
|
+
export type T4c = Tuple<1, never>;
|
|
25
|
+
export type T4d = Tuple<never, never>;
|
|
26
|
+
}
|
|
@@ -7,8 +7,8 @@ declare namespace ArrayLength {
|
|
|
7
7
|
export type T0d = ArrayLength<readonly string[]>;
|
|
8
8
|
export type T0c = ArrayLength<[string?, string?]>;
|
|
9
9
|
export type T1 = ArrayLength<[string] | [string, string?, string?]>;
|
|
10
|
-
export type T1b = ArrayLength<[string] | [string?, string?, string?]>; // 0 | 1 | 2 | 3 -- empty
|
|
11
|
-
export type T1c = ArrayLength<string[] | [string, string, string]>; // 0 --
|
|
10
|
+
export type T1b = ArrayLength<[string] | [string?, string?, string?]>; // 0 | 1 | 2 | 3 -- empty tuple -> length: 0 is just 0, so does not consume other possible lengths
|
|
11
|
+
export type T1c = ArrayLength<string[] | [string, string, string]>; // 0 -- array -> length: number coerced to length 0 but consumes all other possible lengths
|
|
12
12
|
}
|
|
13
13
|
|
|
14
14
|
declare namespace NotArrayLength {
|
|
@@ -12,11 +12,11 @@ declare namespace MonadType {
|
|
|
12
12
|
export type T6 = MonadType<string[] | int[]>;
|
|
13
13
|
export type T7 = MonadType<(string | int)[]>;
|
|
14
14
|
export type T18 = MonadType<[string] | [5, 10]>;
|
|
15
|
-
export type T8a = MonadType<Tuple
|
|
16
|
-
export type T8b = MonadType<ArrayN<
|
|
15
|
+
export type T8a = MonadType<Tuple>;
|
|
16
|
+
export type T8b = MonadType<ArrayN<3>>;
|
|
17
17
|
export type T8c = MonadType<
|
|
18
|
-
| ArrayN<
|
|
19
|
-
| Tuple
|
|
18
|
+
| ArrayN<3>
|
|
19
|
+
| Tuple
|
|
20
20
|
| [string]
|
|
21
21
|
| [5, 10]
|
|
22
22
|
| [5, 13]
|
|
@@ -42,7 +42,7 @@ declare namespace NotMonadType {
|
|
|
42
42
|
| readonly [5, 10]
|
|
43
43
|
| readonly string[]
|
|
44
44
|
>;
|
|
45
|
-
export type N31 = MonadType<ArrayN
|
|
45
|
+
export type N31 = MonadType<ArrayN>;
|
|
46
46
|
export type N32 = MonadType<[string?]>;
|
|
47
47
|
export type N33 = MonadType<readonly [string?]>;
|
|
48
48
|
}
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
declare type Stringify<C> = C extends abstract new (...args: infer A) => infer O
|
|
2
|
+
? O extends { string: infer S extends string }
|
|
3
|
+
? S
|
|
4
|
+
: O extends { toString: () => infer S extends string }
|
|
5
|
+
? S
|
|
6
|
+
: never
|
|
7
|
+
: C extends ((...args: infer A) => infer S extends string)
|
|
8
|
+
? S
|
|
9
|
+
: C extends { string: infer S extends string }
|
|
10
|
+
? S
|
|
11
|
+
: C extends { toString: () => infer S extends string }
|
|
12
|
+
? S
|
|
13
|
+
: never;
|
|
14
|
+
|
|
15
|
+
declare namespace Stringify {
|
|
16
|
+
export type T = Stringify<CharString<"OK-Instance">>;
|
|
17
|
+
export type T0 = Stringify<CharStringCtor>;
|
|
18
|
+
export type T1 = Stringify<charstringfunc<"OK-Function">>;
|
|
19
|
+
|
|
20
|
+
type CharStringCtor = abstract new () => CharString<"OK-Constructor">;
|
|
21
|
+
|
|
22
|
+
interface CharString<Validator extends string> {
|
|
23
|
+
readonly string: valid<stringful, [Validator, "string"]>;
|
|
24
|
+
}
|
|
25
|
+
|
|
26
|
+
type charstringfunc<Validator extends string> = () => valid<stringful, [Validator, "string"]>;
|
|
27
|
+
}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
declare namespace Nullable {
|
|
2
|
+
type OK = Test<TF> | 0;
|
|
3
|
+
type TF = {
|
|
4
|
+
T: {
|
|
5
|
+
T0: Nullable<string>;
|
|
6
|
+
T1: Nullable<string | null>;
|
|
7
|
+
T2: Nullable<string | undefined>;
|
|
8
|
+
T3: Nullable<string | null | undefined>;
|
|
9
|
+
T4: Nullable<string | int | null>;
|
|
10
|
+
T6: Nullable<NonNullable<undefined | string>>;
|
|
11
|
+
};
|
|
12
|
+
};
|
|
13
|
+
}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
declare namespace _Null {
|
|
2
|
+
type OK = Test<TF> | 0;
|
|
3
|
+
type TF = {
|
|
4
|
+
T: {
|
|
5
|
+
T0: Null<string>;
|
|
6
|
+
T1: Null<string | null>;
|
|
7
|
+
T2: Null<string | undefined>;
|
|
8
|
+
T3: Null<string | null | undefined>;
|
|
9
|
+
T4: Null<string | int | null>;
|
|
10
|
+
T6: Null<NonNullable<undefined | string>>;
|
|
11
|
+
};
|
|
12
|
+
};
|
|
13
|
+
}
|
|
@@ -0,0 +1,2 @@
|
|
|
1
|
+
declare type Test<TF extends { T: unknown; F?: unknown }> = (OmitNever<TF["T"]> extends TF["T"] ? true : never) & (object extends OmitNever<TF["F"]> ? true : undefined extends OmitNever<TF["F"]> ? true : never);
|
|
2
|
+
declare type OmitNever<R> = { [K in keyof R as R[K] extends never ? never : K]: R[K] };
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
declare type vstring<V extends string> = valid<stringful, [V, "string"]>;
|
|
@@ -1,12 +0,0 @@
|
|
|
1
|
-
// TODO: constrain to positive integer
|
|
2
|
-
declare type ArrayN<I, N extends number = 0> = [I] extends [never]
|
|
3
|
-
? never
|
|
4
|
-
: N extends number
|
|
5
|
-
? N extends 0
|
|
6
|
-
? [...I[]]
|
|
7
|
-
: ArrayBuilder<I, N>
|
|
8
|
-
: never;
|
|
9
|
-
|
|
10
|
-
type ArrayBuilder<I, N extends number, H extends I[] = []> = H["length"] extends N
|
|
11
|
-
? [...H, ...I[]]
|
|
12
|
-
: ArrayBuilder<I, N, [...H, I]>;
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
declare type Arrayful<I> = ArrayN<I, 1>;
|
|
@@ -1,9 +0,0 @@
|
|
|
1
|
-
declare type Monad<I> = Tuple<I, 1>;
|
|
2
|
-
declare type Triad<I> = Tuple<I, 3>;
|
|
3
|
-
declare type Quad<I> = Tuple<I, 4>;
|
|
4
|
-
declare type Pentad<I> = Tuple<I, 5>;
|
|
5
|
-
declare type Hexad<I> = Tuple<I, 6>;
|
|
6
|
-
declare type Heptad<I> = Tuple<I, 7>;
|
|
7
|
-
declare type Octad<I> = Tuple<I, 8>;
|
|
8
|
-
declare type Nonad<I> = Tuple<I, 9>;
|
|
9
|
-
declare type Decad<I> = Tuple<I, 10>;
|
|
@@ -1,27 +0,0 @@
|
|
|
1
|
-
// TODO: constrain to positive integer
|
|
2
|
-
declare type Tuple<I, N extends number = 2> = [I] extends [never]
|
|
3
|
-
? never
|
|
4
|
-
: N extends number
|
|
5
|
-
? N extends 0
|
|
6
|
-
? readonly []
|
|
7
|
-
: TupleBuilder<I, Numbered<N>>
|
|
8
|
-
: never;
|
|
9
|
-
|
|
10
|
-
type TupleBuilder<I, N, H extends readonly I[] = readonly []> = H["length"] extends N
|
|
11
|
-
? H
|
|
12
|
-
: TupleBuilder<I, N, readonly [...H, I]>;
|
|
13
|
-
|
|
14
|
-
declare namespace Tuple {
|
|
15
|
-
export type T = Tuple<string>;
|
|
16
|
-
export type T0 = Tuple<string, 0>;
|
|
17
|
-
export type T0a = Tuple<string, 1>;
|
|
18
|
-
export type T0b = Tuple<string, 3>;
|
|
19
|
-
export type T1 = Tuple<string | number>;
|
|
20
|
-
export type T2 = Tuple<string, 2 | 3>;
|
|
21
|
-
export type T3 = Tuple<string | number, 2 | 3>;
|
|
22
|
-
export type T4 = Tuple<string, never>;
|
|
23
|
-
export type T4a = Tuple<string, 0>;
|
|
24
|
-
export type T4b = Tuple<string, 0 | 1>;
|
|
25
|
-
}
|
|
26
|
-
|
|
27
|
-
type NN = Numbered<5 | 10>;
|
|
@@ -1,13 +0,0 @@
|
|
|
1
|
-
declare type Stringify<C> = C extends abstract new (...args: infer A) => infer O
|
|
2
|
-
? O extends { string: infer S extends string }
|
|
3
|
-
? S
|
|
4
|
-
: O extends { toString: () => infer S extends string }
|
|
5
|
-
? S
|
|
6
|
-
: never
|
|
7
|
-
: C extends ((...args: infer A) => infer S extends string)
|
|
8
|
-
? S
|
|
9
|
-
: C extends { string: infer S extends string }
|
|
10
|
-
? S
|
|
11
|
-
: C extends { toString: () => infer S extends string }
|
|
12
|
-
? S
|
|
13
|
-
: never;
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
/package/typings/{typioca → common}/utility/interface/transform/partial/unrequire/index.d.ts
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|
|
File without changes
|