@eslinted/core 3.1.12 → 3.1.13-rc.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.
- package/.github/workflows/PROD.main.yml +37 -0
- package/.github/workflows/dev.yml +37 -0
- package/LICENSE +21 -21
- package/README.md +3 -3
- package/SECURITY.md +9 -9
- package/eslint.config.js +3 -3
- package/package.json +54 -54
- package/src/boundary/index.ts +6 -6
- package/src/boundary/input/files/base/index.ts +5 -5
- package/src/boundary/input/files/includes/index.ts +5 -5
- package/src/boundary/input/files/index.ts +11 -11
- package/src/boundary/input/index.ts +23 -23
- package/src/boundary/input/parsers/index.ts +5 -5
- package/src/boundary/input/plugins/index.ts +5 -5
- package/src/boundary/input/rules/index.ts +11 -11
- package/src/boundary/input/rules/overrides/index.ts +6 -6
- package/src/boundary/input/rules/preset/entry/index.ts +5 -5
- package/src/boundary/input/rules/preset/entry/object/index.ts +9 -9
- package/src/boundary/input/rules/preset/entry/object/state/index.ts +6 -6
- package/src/boundary/input/rules/preset/index.ts +6 -6
- package/src/boundary/output/config/index.ts +25 -25
- package/src/boundary/output/config/option/index.ts +24 -24
- package/src/boundary/output/config/option/language/ecma/index.ts +3 -3
- package/src/boundary/output/config/option/language/index.ts +23 -23
- package/src/boundary/output/config/option/language/source/index.ts +3 -3
- package/src/boundary/output/config/option/linter/index.ts +4 -4
- package/src/boundary/output/config/option/plugins/index.ts +3 -3
- package/src/boundary/output/index.ts +3 -3
- package/src/dependency/globals/index.ts +8 -8
- package/src/dependency/index.ts +5 -5
- package/src/dependency/parsers/index.ts +13 -13
- package/src/dependency/plugins/index.ts +12 -12
- package/src/factory/files/index.ts +15 -15
- package/src/factory/index.ts +8 -8
- package/src/factory/options/index.ts +21 -21
- package/src/factory/options/option/html/index.ts +18 -18
- package/src/factory/options/option/index.ts +93 -93
- package/src/factory/options/option/js/index.ts +13 -13
- package/src/factory/options/option/json/index.ts +18 -18
- package/src/factory/options/option/jsonc/index.ts +18 -18
- package/src/factory/options/option/md/index.ts +18 -18
- package/src/factory/options/option/mocha/index.ts +28 -28
- package/src/factory/options/option/svelte/index.ts +32 -32
- package/src/factory/options/option/ts/index.ts +24 -24
- package/src/factory/options/option/yml/index.ts +18 -18
- package/src/factory/rulesets/index.ts +16 -16
- package/src/factory/rulesets/ruleset/index.ts +40 -40
- package/src/factory/rulesets/ruleset/rule/index.ts +8 -8
- package/src/index.ts +95 -95
- package/src/scopes/index.ts +14 -14
- package/tsconfig.json +161 -161
- package/types/typioca/literal/number/base32.d.ts +19 -19
- package/types/typioca/literal/number/base64.d.ts +35 -35
- package/types/typioca/literal/number/binary.d.ts +4 -4
- package/types/typioca/literal/number/decimal.d.ts +5 -5
- package/types/typioca/literal/number/hex.d.ts +10 -10
- package/types/typioca/literal/number/octal.d.ts +7 -7
- package/types/typioca/literal/number/quatral.d.ts +4 -4
- package/types/typioca/literal/number/ternary.d.ts +4 -4
- package/types/typioca/literal/string/base64char.d.ts +13 -13
- package/types/typioca/literal/string/digit.d.ts +12 -12
- package/types/typioca/literal/string/hexchar.d.ts +9 -9
- package/types/typioca/literal/string/letter.d.ts +35 -35
- package/types/typioca/safe/Safe.d.ts +2 -2
- package/types/typioca/safe/numbers/finite/Finite.d.ts +2 -2
- package/types/typioca/safe/numbers/finite.d.ts +1 -1
- package/types/typioca/safe/numbers/fint.d.ts +1 -1
- package/types/typioca/safe/numbers/int/Int.d.ts +2 -2
- package/types/typioca/safe/numbers/int.d.ts +1 -1
- package/types/typioca/safe/numbers/numberful.d.ts +1 -1
- package/types/typioca/safe/numbers/polarity/Negative.d.ts +4 -4
- package/types/typioca/safe/numbers/polarity/Positive.d.ts +4 -4
- package/types/typioca/safe/numbers/polarity/pole/Pole.d.ts +18 -18
- package/types/typioca/safe/primitive.d.ts +5 -5
- package/types/typioca/safe/strings/char.d.ts +1 -1
- package/types/typioca/safe/strings/length/PropLength.d.ts +3 -3
- package/types/typioca/safe/strings/stringful.d.ts +1 -1
- package/types/typioca/utility/interface/construct/Particord.d.ts +1 -1
- package/types/typioca/utility/interface/construct/Property.d.ts +8 -8
- package/types/typioca/utility/interface/construct/Recordful.d.ts +5 -5
- package/types/typioca/utility/interface/construct/Table.d.ts +3 -3
- package/types/typioca/utility/interface/construct/properties/Field.d.ts +1 -1
- package/types/typioca/utility/interface/construct/properties/Flag.d.ts +1 -1
- package/types/typioca/utility/interface/construct/properties/Limit.d.ts +8 -8
- package/types/typioca/utility/interface/construct/properties/List.d.ts +1 -1
- package/types/typioca/utility/interface/construct/properties/Listish.d.ts +1 -1
- package/types/typioca/utility/interface/construct/properties/Scalar.d.ts +1 -1
- package/types/typioca/utility/interface/construct/tables/FieldTable.d.ts +1 -1
- package/types/typioca/utility/interface/construct/tables/FlagTable.d.ts +1 -1
- package/types/typioca/utility/interface/construct/tables/ListTable.d.ts +1 -1
- package/types/typioca/utility/interface/construct/tables/ListishTable.d.ts +1 -1
- package/types/typioca/utility/interface/construct/tables/ScalarTable.d.ts +1 -1
- package/types/typioca/utility/interface/identity/Interface.d.ts +80 -80
- package/types/typioca/utility/interface/identity/Keys.d.ts +71 -71
- package/types/typioca/utility/interface/transform/Unrequire.d.ts +45 -45
- package/types/typioca/utility/iterable/construct/ArrayN.d.ts +12 -12
- package/types/typioca/utility/iterable/construct/Tuple.d.ts +27 -27
- package/types/typioca/utility/iterable/construct/arrays/Arrays.d.ts +1 -1
- package/types/typioca/utility/iterable/construct/tuples/Tuples.d.ts +9 -9
- package/types/typioca/utility/iterable/identity/DyadType.d.ts +3 -3
- package/types/typioca/utility/iterable/identity/MonadType.d.ts +48 -48
- package/types/typioca/utility/iterable/identity/TriadType.d.ts +3 -3
- package/types/typioca/utility/iterable/identity/array/ArrayType.d.ts +65 -65
- package/types/typioca/utility/iterable/identity/array/length/ArrayLength.d.ts +16 -16
- package/types/typioca/utility/iterable/transform/Join.d.ts +19 -19
- package/types/typioca/utility/iterable/transform/Unflat.d.ts +3 -3
- package/types/typioca/utility/iterable/transform/stringarray/Chain.d.ts +30 -30
- package/types/typioca/utility/iterable/transform/stringarray/PathN.d.ts +3 -3
- package/types/typioca/utility/iterable/transform/stringarray/stringify/Stringify.d.ts +5 -5
- package/types/typioca/utility/length/Length.d.ts +35 -35
- package/types/typioca/utility/null/null.d.ts +1 -1
- package/types/typioca/utility/null/nullable.d.ts +1 -1
- package/types/typioca/utility/primitive/Primeval.d.ts +42 -42
- package/types/typioca/utility/primitive/boolean/True.d.ts +30 -30
- package/types/typioca/utility/primitive/number/Numbered.d.ts +35 -35
- package/types/typioca/utility/primitive/string/literal.d.ts +22 -22
- package/types/typioca/utility/primitive/string/literalful.d.ts +28 -28
|
@@ -1,42 +1,42 @@
|
|
|
1
|
-
declare type Primeval<P extends T, T extends primitive> = [T] extends [primitive]
|
|
2
|
-
? [P] extends [T]
|
|
3
|
-
? Extract<P, object> extends never
|
|
4
|
-
? Exclude<P, T> extends never
|
|
5
|
-
? T extends P
|
|
6
|
-
? never
|
|
7
|
-
: P
|
|
8
|
-
: never
|
|
9
|
-
: never
|
|
10
|
-
: never
|
|
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
|
-
}
|
|
1
|
+
declare type Primeval<P extends T, T extends primitive> = [T] extends [primitive]
|
|
2
|
+
? [P] extends [T]
|
|
3
|
+
? Extract<P, object> extends never
|
|
4
|
+
? Exclude<P, T> extends never
|
|
5
|
+
? T extends P
|
|
6
|
+
? never
|
|
7
|
+
: P
|
|
8
|
+
: never
|
|
9
|
+
: never
|
|
10
|
+
: never
|
|
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
|
+
}
|
|
@@ -1,30 +1,30 @@
|
|
|
1
|
-
declare type True<B extends boolean> = true extends Primeval<B, boolean>
|
|
2
|
-
? Primeval<B, boolean>
|
|
3
|
-
: never;
|
|
4
|
-
|
|
5
|
-
declare namespace True {
|
|
6
|
-
export type T0 = True<true>;
|
|
7
|
-
}
|
|
8
|
-
|
|
9
|
-
declare namespace NotTrue {
|
|
10
|
-
|
|
11
|
-
export type N0 = True<never>;
|
|
12
|
-
export type N1 = True<false>;
|
|
13
|
-
export type N1a = True<false | true>;
|
|
14
|
-
export type N1b = True<boolean>;
|
|
15
|
-
|
|
16
|
-
// export type N2 = True<true | 10>;
|
|
17
|
-
// export type N2a = True<true | object>;
|
|
18
|
-
// export type N2b = True<true | undefined>;
|
|
19
|
-
// export type N2c = True<true | null>;
|
|
20
|
-
// export type N2d = True<0>;
|
|
21
|
-
// export type N2e = True<1>;
|
|
22
|
-
// export type N2f = True<number>;
|
|
23
|
-
// export type N2g = True<"">;
|
|
24
|
-
// export type N2h = True<"true">;
|
|
25
|
-
// export type N2i = True<"foo">;
|
|
26
|
-
// export type N2j = True<null>;
|
|
27
|
-
// export type N2k = True<undefined>;
|
|
28
|
-
// export type N2l = True<[]>;
|
|
29
|
-
// export type N2m = True<object>;
|
|
30
|
-
}
|
|
1
|
+
declare type True<B extends boolean> = true extends Primeval<B, boolean>
|
|
2
|
+
? Primeval<B, boolean>
|
|
3
|
+
: never;
|
|
4
|
+
|
|
5
|
+
declare namespace True {
|
|
6
|
+
export type T0 = True<true>;
|
|
7
|
+
}
|
|
8
|
+
|
|
9
|
+
declare namespace NotTrue {
|
|
10
|
+
|
|
11
|
+
export type N0 = True<never>;
|
|
12
|
+
export type N1 = True<false>;
|
|
13
|
+
export type N1a = True<false | true>;
|
|
14
|
+
export type N1b = True<boolean>;
|
|
15
|
+
|
|
16
|
+
// export type N2 = True<true | 10>;
|
|
17
|
+
// export type N2a = True<true | object>;
|
|
18
|
+
// export type N2b = True<true | undefined>;
|
|
19
|
+
// export type N2c = True<true | null>;
|
|
20
|
+
// export type N2d = True<0>;
|
|
21
|
+
// export type N2e = True<1>;
|
|
22
|
+
// export type N2f = True<number>;
|
|
23
|
+
// export type N2g = True<"">;
|
|
24
|
+
// export type N2h = True<"true">;
|
|
25
|
+
// export type N2i = True<"foo">;
|
|
26
|
+
// export type N2j = True<null>;
|
|
27
|
+
// export type N2k = True<undefined>;
|
|
28
|
+
// export type N2l = True<[]>;
|
|
29
|
+
// export type N2m = True<object>;
|
|
30
|
+
}
|
|
@@ -1,35 +1,35 @@
|
|
|
1
|
-
declare type Numbered<N extends number> = Primeval<N, number>;
|
|
2
|
-
|
|
3
|
-
declare namespace Numbered {
|
|
4
|
-
export type T0 = Numbered<0>;
|
|
5
|
-
export type T1 = Numbered<0.0>;
|
|
6
|
-
export type T2 = Numbered<1>;
|
|
7
|
-
export type T3 = Numbered<1.0>;
|
|
8
|
-
export type T4 = Numbered<1.1>;
|
|
9
|
-
export type T5 = Numbered<1 | 5>;
|
|
10
|
-
}
|
|
11
|
-
|
|
12
|
-
declare namespace NumberedNever {
|
|
13
|
-
export type N0 = Numbered<number>;
|
|
14
|
-
export type N0b = Numbered<numberful>;
|
|
15
|
-
export type N0c = Numbered<number | numberful>;
|
|
16
|
-
export type N0d = Numbered<1 | numberful>;
|
|
17
|
-
export type N1 = Numbered<never>;
|
|
18
|
-
|
|
19
|
-
// export type N0e = Numbered<1 | number>;
|
|
20
|
-
// export type N2 = Numbered<"cool">;
|
|
21
|
-
// export type N3 = Numbered<"NaN">;
|
|
22
|
-
// export type N4 = Numbered<"5">;
|
|
23
|
-
// export type N5 = Numbered<string>;
|
|
24
|
-
// export type N6 = Numbered<boolean>;
|
|
25
|
-
// export type N6a = Numbered<true>;
|
|
26
|
-
// export type N6b = Numbered<false>;
|
|
27
|
-
// export type N7 = Numbered<null>;
|
|
28
|
-
// export type N8 = Numbered<undefined>;
|
|
29
|
-
// export type N9 = Numbered<void>;
|
|
30
|
-
// export type N10 = Numbered<object>;
|
|
31
|
-
// export type N11 = Numbered<[]>;
|
|
32
|
-
// export type N12 = Numbered<5 | true>;
|
|
33
|
-
// export type N13 = Numbered<()=> 5>;
|
|
34
|
-
// export type N14 = Numbered<symbol>;
|
|
35
|
-
}
|
|
1
|
+
declare type Numbered<N extends number> = Primeval<N, number>;
|
|
2
|
+
|
|
3
|
+
declare namespace Numbered {
|
|
4
|
+
export type T0 = Numbered<0>;
|
|
5
|
+
export type T1 = Numbered<0.0>;
|
|
6
|
+
export type T2 = Numbered<1>;
|
|
7
|
+
export type T3 = Numbered<1.0>;
|
|
8
|
+
export type T4 = Numbered<1.1>;
|
|
9
|
+
export type T5 = Numbered<1 | 5>;
|
|
10
|
+
}
|
|
11
|
+
|
|
12
|
+
declare namespace NumberedNever {
|
|
13
|
+
export type N0 = Numbered<number>;
|
|
14
|
+
export type N0b = Numbered<numberful>;
|
|
15
|
+
export type N0c = Numbered<number | numberful>;
|
|
16
|
+
export type N0d = Numbered<1 | numberful>;
|
|
17
|
+
export type N1 = Numbered<never>;
|
|
18
|
+
|
|
19
|
+
// export type N0e = Numbered<1 | number>;
|
|
20
|
+
// export type N2 = Numbered<"cool">;
|
|
21
|
+
// export type N3 = Numbered<"NaN">;
|
|
22
|
+
// export type N4 = Numbered<"5">;
|
|
23
|
+
// export type N5 = Numbered<string>;
|
|
24
|
+
// export type N6 = Numbered<boolean>;
|
|
25
|
+
// export type N6a = Numbered<true>;
|
|
26
|
+
// export type N6b = Numbered<false>;
|
|
27
|
+
// export type N7 = Numbered<null>;
|
|
28
|
+
// export type N8 = Numbered<undefined>;
|
|
29
|
+
// export type N9 = Numbered<void>;
|
|
30
|
+
// export type N10 = Numbered<object>;
|
|
31
|
+
// export type N11 = Numbered<[]>;
|
|
32
|
+
// export type N12 = Numbered<5 | true>;
|
|
33
|
+
// export type N13 = Numbered<()=> 5>;
|
|
34
|
+
// export type N14 = Numbered<symbol>;
|
|
35
|
+
}
|
|
@@ -1,22 +1,22 @@
|
|
|
1
|
-
declare type literal<S extends string> = Primeval<S, string>;
|
|
2
|
-
|
|
3
|
-
declare namespace literal {
|
|
4
|
-
export type T = literal<"">;
|
|
5
|
-
export type T0 = literal<"a">;
|
|
6
|
-
export type T1 = literal<"a" | "b">;
|
|
7
|
-
export type T1b = literal<"a" | "">;
|
|
8
|
-
}
|
|
9
|
-
|
|
10
|
-
declare namespace Notliteral {
|
|
11
|
-
export type N = literal<never>;
|
|
12
|
-
export type N0 = literal<string>;
|
|
13
|
-
|
|
14
|
-
// export type N1 = literal<unknown>;
|
|
15
|
-
// export type N2 = literal<null>;
|
|
16
|
-
// export type N3 = literal<undefined>;
|
|
17
|
-
// export type N4 = literal<void>;
|
|
18
|
-
// export type N5 = literal<object>;
|
|
19
|
-
// export type N6 = literal<()=> "a">;
|
|
20
|
-
// export type N7 = literal<symbol>;
|
|
21
|
-
// export type N8 = literal<"a" | 5>;
|
|
22
|
-
}
|
|
1
|
+
declare type literal<S extends string> = Primeval<S, string>;
|
|
2
|
+
|
|
3
|
+
declare namespace literal {
|
|
4
|
+
export type T = literal<"">;
|
|
5
|
+
export type T0 = literal<"a">;
|
|
6
|
+
export type T1 = literal<"a" | "b">;
|
|
7
|
+
export type T1b = literal<"a" | "">;
|
|
8
|
+
}
|
|
9
|
+
|
|
10
|
+
declare namespace Notliteral {
|
|
11
|
+
export type N = literal<never>;
|
|
12
|
+
export type N0 = literal<string>;
|
|
13
|
+
|
|
14
|
+
// export type N1 = literal<unknown>;
|
|
15
|
+
// export type N2 = literal<null>;
|
|
16
|
+
// export type N3 = literal<undefined>;
|
|
17
|
+
// export type N4 = literal<void>;
|
|
18
|
+
// export type N5 = literal<object>;
|
|
19
|
+
// export type N6 = literal<()=> "a">;
|
|
20
|
+
// export type N7 = literal<symbol>;
|
|
21
|
+
// export type N8 = literal<"a" | 5>;
|
|
22
|
+
}
|
|
@@ -1,28 +1,28 @@
|
|
|
1
|
-
declare type literalful<S extends string> = "" extends literal<S>
|
|
2
|
-
? never
|
|
3
|
-
: literal<S>;
|
|
4
|
-
|
|
5
|
-
declare namespace literalful {
|
|
6
|
-
export type T0 = literalful<"a">;
|
|
7
|
-
export type T1 = literalful<"a" | "b">;
|
|
8
|
-
}
|
|
9
|
-
|
|
10
|
-
declare namespace Notliteralful {
|
|
11
|
-
|
|
12
|
-
export type N0 = literalful<never>;
|
|
13
|
-
export type N1 = literalful<"">;
|
|
14
|
-
export type N2 = literalful<string>;
|
|
15
|
-
export type N2b = literalful<stringful>;
|
|
16
|
-
export type N3 = literalful<"" | "a">;
|
|
17
|
-
|
|
18
|
-
// export type N5 = literalful<"a" | string>;
|
|
19
|
-
// export type N5a = literalful<unknown>;
|
|
20
|
-
// export type N5b = literalful<null>;
|
|
21
|
-
// export type N5c = literalful<undefined>;
|
|
22
|
-
// export type N5d = literalful<void>;
|
|
23
|
-
// export type N5e = literalful<[]>;
|
|
24
|
-
// export type N5f = literalful<object>;
|
|
25
|
-
// export type N5g = literalful<()=> "a">;
|
|
26
|
-
// export type N5h = literalful<symbol>;
|
|
27
|
-
// export type N5i = literalful<"a" | 5>;
|
|
28
|
-
}
|
|
1
|
+
declare type literalful<S extends string> = "" extends literal<S>
|
|
2
|
+
? never
|
|
3
|
+
: literal<S>;
|
|
4
|
+
|
|
5
|
+
declare namespace literalful {
|
|
6
|
+
export type T0 = literalful<"a">;
|
|
7
|
+
export type T1 = literalful<"a" | "b">;
|
|
8
|
+
}
|
|
9
|
+
|
|
10
|
+
declare namespace Notliteralful {
|
|
11
|
+
|
|
12
|
+
export type N0 = literalful<never>;
|
|
13
|
+
export type N1 = literalful<"">;
|
|
14
|
+
export type N2 = literalful<string>;
|
|
15
|
+
export type N2b = literalful<stringful>;
|
|
16
|
+
export type N3 = literalful<"" | "a">;
|
|
17
|
+
|
|
18
|
+
// export type N5 = literalful<"a" | string>;
|
|
19
|
+
// export type N5a = literalful<unknown>;
|
|
20
|
+
// export type N5b = literalful<null>;
|
|
21
|
+
// export type N5c = literalful<undefined>;
|
|
22
|
+
// export type N5d = literalful<void>;
|
|
23
|
+
// export type N5e = literalful<[]>;
|
|
24
|
+
// export type N5f = literalful<object>;
|
|
25
|
+
// export type N5g = literalful<()=> "a">;
|
|
26
|
+
// export type N5h = literalful<symbol>;
|
|
27
|
+
// export type N5i = literalful<"a" | 5>;
|
|
28
|
+
}
|