@eslinted/core 5.0.0-rc.3 → 5.0.0-rc.4
Sign up to get free protection for your applications and to get access to all the features.
- 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
|