@eslinted/core 12.0.1 → 13.0.0-rc.1

package/src/objects/rule/index.ts

@@ -1,8 +0,0 @@
-import type { RuleRecord } from "./record";
-
-export type { RuleRecord };
-export type RuleEntry = readonly [
-  string,
-  RuleRecord,
-];
-export type { RuleState } from "./record";

package/src/objects/rule/record/index.ts

@@ -1,7 +0,0 @@
-import type { RuleState } from "./state";
-
-export type { RuleState };
-export type RuleRecord = Table<
-  | RuleState
-  | readonly [RuleState, ...unknown[]]
->;

package/src/objects/rule/record/state.ts

@@ -1,5 +0,0 @@
-export type RuleState = (
-  | "error"
-  | "warn"
-  | "off"
-);

package/typings/common/literals/chars/alpha.d.ts

@@ -1,4 +0,0 @@
-declare type alpha =
-  | lower
-  | upper
-;

package/typings/common/literals/chars/digit.d.ts

@@ -1,12 +0,0 @@
-declare type digit =
-  | "0"
-  | "1"
-  | "2"
-  | "3"
-  | "4"
-  | "5"
-  | "6"
-  | "7"
-  | "8"
-  | "9"
-;

package/typings/common/literals/chars/digits/base64.d.ts

@@ -1,13 +0,0 @@
-declare type base64char =
-  | alpha
-  | digit
-  | "+"
-  | "/"
-;
-
-declare type base64pad = "=";
-
-declare type base64paddedchar =
-  | base64char
-  | base64pad
-;

package/typings/common/literals/chars/digits/hexchar.d.ts

@@ -1,9 +0,0 @@
-declare type hexchar =
-  | digit
-  | "A"
-  | "B"
-  | "C"
-  | "D"
-  | "E"
-  | "F"
-;

package/typings/common/literals/chars/lower.d.ts

@@ -1 +0,0 @@
-declare type lower = Lowercase<upper>;

package/typings/common/literals/chars/upper.d.ts

@@ -1,28 +0,0 @@
-declare type upper =
-  | "A"
-  | "B"
-  | "C"
-  | "D"
-  | "E"
-  | "F"
-  | "G"
-  | "H"
-  | "I"
-  | "J"
-  | "K"
-  | "L"
-  | "M"
-  | "N"
-  | "O"
-  | "P"
-  | "Q"
-  | "R"
-  | "S"
-  | "T"
-  | "U"
-  | "V"
-  | "W"
-  | "X"
-  | "Y"
-  | "Z"
-;

package/typings/common/literals/numbers/base32.d.ts

@@ -1,19 +0,0 @@
-declare type base32 =
-  | hexadecimal
-  | 16
-  | 17
-  | 18
-  | 19
-  | 20
-  | 21
-  | 22
-  | 23
-  | 24
-  | 25
-  | 26
-  | 27
-  | 28
-  | 29
-  | 30
-  | 31
-;

package/typings/common/literals/numbers/base64.d.ts

@@ -1,35 +0,0 @@
-declare type base64 =
-  | base32
-  | 32
-  | 33
-  | 34
-  | 35
-  | 36
-  | 37
-  | 38
-  | 39
-  | 40
-  | 41
-  | 42
-  | 43
-  | 44
-  | 45
-  | 46
-  | 47
-  | 48
-  | 49
-  | 50
-  | 51
-  | 52
-  | 53
-  | 54
-  | 55
-  | 56
-  | 57
-  | 58
-  | 59
-  | 60
-  | 61
-  | 62
-  | 63
-;

package/typings/common/literals/numbers/binary.d.ts

@@ -1,4 +0,0 @@
-declare type binary =
-  | 0
-  | 1
-;

package/typings/common/literals/numbers/decimal.d.ts

@@ -1,5 +0,0 @@
-declare type decimal =
-  | octal
-  | 8
-  | 9
-;

package/typings/common/literals/numbers/hexadecimal.d.ts

@@ -1,10 +0,0 @@
-declare type hexadecimal =
-  | decimal
-  | 9
-  | 10
-  | 11
-  | 12
-  | 13
-  | 14
-  | 15
-;

package/typings/common/literals/numbers/octal.d.ts

@@ -1,7 +0,0 @@
-declare type octal =
-  | quatral
-  | 4
-  | 5
-  | 6
-  | 7
-;

package/typings/common/literals/numbers/quatral.d.ts

@@ -1,4 +0,0 @@
-declare type quatral =
-  | ternary
-  | 3
-;

package/typings/common/literals/numbers/ternary.d.ts

@@ -1,4 +0,0 @@
-declare type ternary =
-  | binary
-  | 2
-;

package/typings/common/primitive.d.ts

@@ -1,5 +0,0 @@
-declare type primitive =
-  | string
-  | number
-  | boolean
-;

package/typings/common/tester.d.ts

@@ -1,8 +0,0 @@
-declare type Tester<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);
-declare type OmitNever<R> = { [
-  K in keyof R as R[K] extends never
-    ? never
-    : K
-  ]: R[K] };

package/typings/common/utility/constructor.d.ts

@@ -1,3 +0,0 @@
-declare type Constructor<C> = C extends abstract new (...args: infer A) => infer O
-  ? new (...args: A) => O
-  : never;

package/typings/common/utility/interface/identity.d.ts

@@ -1,11 +0,0 @@
-declare type Interface<R extends object> = [R] extends [object]
-  ? [Extract<R, readonly unknown[]>] extends [never]
-      ? Required<R> extends Record<infer K, unknown>
-        ? Exclude<K, string> extends never
-          ? literalful<K & string> extends never
-            ? never
-            : R
-          : never
-        : never
-      : never
-  : never;

package/typings/common/utility/interface/identity.spec.d.ts

@@ -1,63 +0,0 @@
-declare namespace Interface {
-  export type T = Interface<{ a: 5 }>;
-  export type T0 = Interface<{
-    a: 1;
-    b?: 2;
-  }>;
-  export type T1 = Interface<{
-    a: 1;
-    b: 2;
-  }>;
-  export type T2 = Interface<Record<"a", unknown>>;
-  export type T3 = Interface<Record<"a" | "b", unknown>>;
-  export type N = Interface<never>;
-  export type N0 = Interface<object>;
-  export type N0a = Interface<Record<"a" | "b" | 5, unknown>>;
-  export type N0b = Interface<Record<"a" | "b" | number, unknown>>;
-  export type N0c = Interface<Record<string, unknown>>;
-  export type N0d = Interface<Record<string | number, unknown>>;
-  export type N0e = Interface<Record<stringful, string>>;
-  export type N0f = Interface<Record<stringful | "5", string>>;
-  export type N1 = Interface<[]>;
-  export type N1b = Interface<[1]>;
-  export type N1c = Interface<[1, 1]>;
-  export type N1d = Interface<number[]>;
-  export type N1e = Interface<readonly []>;
-  export type N1f = Interface<readonly [1]>;
-  export type N1g = Interface<readonly [1, 1]>;
-  export type N1h = Interface<readonly number[]>;
-  export type N2 = Interface<() => void>;
-  export type N2a = Interface<(a: string) => boolean>;
-  export type N2b = Interface<(a: string) => string[]>;
-  export type N2c = Interface<(a: string) => object>;
-  export type N5 = Interface<[] | { a: 1 }>;
-  export type N5a = Interface<[30] | { a: 1 }>;
-  export type N5b = Interface<object | []>;
-  export type N5c = Interface<
-    | {
-      a: 1;
-      b: 2;
-    }
-    | {
-      a: 1;
-      b: 2;
-      c: 2;
-    }
-  >;
-
-  // export type N3 = Interface<stringful>;
-  // export type N3b = Interface<numberful>;
-  // export type N13c = Interface<string>;
-  // export type N13d = Interface<"cool">;
-  // export type N13e = Interface<number>;
-  // export type N13f = Interface<0>;
-  // export type N13g = Interface<1>;
-  // export type N13h = Interface<true>;
-  // export type N13i = Interface<false>;
-  // export type N13j = Interface<boolean>;
-  // export type N14 = Interface<null>;
-  // export type N14a = Interface<undefined>;
-  // export type N14c = Interface<unknown>;
-  // export type N15 = Interface<string | { a: cool }>;
-  // export type N15b = Interface<Record<"a" | "b" | string, unknown>>;
-}

package/typings/common/utility/interface/index.d.ts

@@ -1,5 +0,0 @@
-declare type Recordful<K extends string, V> = [V] extends [never]
-  ? never
-  : literalful<K> extends never
-    ? never
-    : Record<literalful<K>, V>;

package/typings/common/utility/interface/keys.d.ts

@@ -1,3 +0,0 @@
-declare type Keys<R extends object> = Interface<R> extends never
-  ? never
-  : keyof Interface<R>;

package/typings/common/utility/interface/keys.spec.d.ts

@@ -1,67 +0,0 @@
-declare namespace Keys {
-  const RESULT: {
-    positive: typeof POSITIVE | 1;
-    negative: typeof NEGATIVE | 0;
-  };
-
-  export const POSITIVE: {
-    T: Keys<{ a: 5 }>;
-    T0: Keys<{
-      a: 1;
-      b?: 2;
-    }>;
-    T1: Keys<{
-      a: 1;
-      b: 2;
-    }>;
-  } extends Record<string, string> ? "PASS" : never;
-  const s: unique symbol;
-
-  export const NEGATIVE: {
-    N: Keys<never>;
-    N0: Keys<{ [s]: 1 }>;
-    N1: Keys<Record<string, 1>>;
-    N1b: Keys<Record<stringful, 1>>;
-    N1c: Keys<Record<"", 1>>;
-    N1d: Keys<Record<number, 1>>;
-    N2: Keys<Record<stringful | "30", 1>>;
-    N2b: Keys<Record<stringful | "", 1>>;
-    N2c: Keys<Record<number | "", 1>>;
-    N2d: Keys<Record<number | "c", 1>>;
-    N2e: Keys<object>;
-    N2f: Keys<{
-      a: 1;
-      [ful]: "cool";
-    }>;
-    N3: Keys<[]>;
-    N3a: Keys<readonly [1, 1]>;
-    N4: Keys<
-      | {
-        a: 1;
-        b: 1;
-      }
-      | object
-    >;
-    N5: Keys<[1] | { a: 1 }>;
-    N5a: Keys<
-      | {
-        a: 1;
-        b: 1;
-      }
-      | { c: 1 }
-    >;
-    N5b: Keys<
-      | {
-        a: 1;
-        b: 1;
-      }
-      | { c?: 1 }
-    >;
-
-    // N10: Keys<null>;
-    // N10a: Keys<undefined>;
-    // N10b: Keys<void>;
-    // N10c: Keys<unknown>;
-    // N11c: Keys<Record<string | "30", 1>>;
-  } extends Record<string, never> ? "PASS" : never;
-}

package/typings/common/utility/interface/optional.d.ts

@@ -1,7 +0,0 @@
-declare type Optional<R extends object, OK extends string> = Interface<R> extends never
-  ? never
-  : literalful<OK> extends never
-    ? never
-    : OK extends keyof R
-      ? Omit<Interface<R>, literalful<OK>> & Partial<Pick<Interface<R>, literalful<OK>>>
-      : never;

package/typings/common/utility/interface/optional.spec.d.ts

@@ -1,34 +0,0 @@
-declare namespace Optional {
-  export type T = Optional<{
-    a: 1;
-    b: 1;
-    c: 1;
-  }, "c">;
-  export type T1c = "a" extends keyof T ? true : false; // true
-  export type T1b = "b" extends keyof T ? true : false; // true
-  export type T1 = "c" extends keyof T ? true : false; // true
-  export type T2 = {
-    a: 1;
-    b: 1;
-  } extends T ? true : false; // true
-  export type T2b = {
-    a: 1;
-    b: 1;
-    c: 1;
-  } extends T ? true : false; // true
-  export type T2c = {
-    a: 1;
-    b: 1;
-    c: 1;
-    z: 9001;
-  } extends T ? true : false; // true
-  export type N_null = {
-    a: 1;
-    b: 1;
-    c: 1;
-  } extends T ? true : false; // true
-  export type N = {
-    b: 1;
-    c: 1;
-  } extends T ? true : false; // false
-}

package/typings/common/utility/interface/partially.d.ts

@@ -1 +0,0 @@
-declare type Partially<K extends string, V> = Partial<Recordful<K, V>>;

package/typings/common/utility/interface/property/index.d.ts

@@ -1,8 +0,0 @@
-declare type Property<K extends string, OK extends string, V> = literalful<K> extends never
-  ? Partially<OK, V>
-  : Recordful<K, V>
-    & (
-    literalful<OK> extends never
-      ? Recordful<K, V>
-      : Partially<OK, V>
-  );

package/typings/common/utility/interface/property/properties.d.ts

@@ -1,6 +0,0 @@
-declare type Field<K extends string, OK extends string = never> = Property<K, OK, string>;
-declare type Flag<OK extends string, K extends string = never> = Property<K, OK, boolean>;
-declare type Limit<K extends string, OK extends string = never> = Property<K, OK, Record<"min" | "max", number>>;
-declare type List<K extends string, OK extends string = never> = Property<K, OK, readonly string[]>;
-declare type Listish<K extends string, OK extends string = never> = Property<K, OK, Unflat>;
-declare type Scalar<K extends string, OK extends string = never> = Property<K, OK, number>;

package/typings/common/utility/interface/table/index.d.ts

@@ -1,3 +0,0 @@
-declare type Table<V = unknown> = [V] extends [never]
-  ? never
-  : Record<string, V>;

package/typings/common/utility/interface/table/tables.d.ts

@@ -1,5 +0,0 @@
-declare type FieldTable = Table<string>;
-declare type FlagTable = Table<boolean>;
-declare type ListTable = Table<readonly string[]>;
-declare type ListishTable = Table<Unflat>;
-declare type ScalarTable = Table<number>;

package/typings/common/utility/iterable/arrayful.d.ts

@@ -1 +0,0 @@
-declare type Arrayful<I = string> = ArrayN<1, I>;

package/typings/common/utility/iterable/flat/index.d.ts

@@ -1,3 +0,0 @@
-declare type Flat<A extends readonly unknown[]> = A extends readonly (infer B)[]
-  ? B
-  : never;

package/typings/common/utility/iterable/flat/unflat.d.ts

@@ -1,3 +0,0 @@
-declare type Unflat<In = string, RO extends boolean = true> = [In] extends [never]
-  ? never
-  : In | (Truth<RO> extends never ? In[] : readonly In[]);

package/typings/common/utility/iterable/identity.d.ts

@@ -1 +0,0 @@
-declare type IsArray<A> = [A] extends [readonly unknown[]] ? A : never;

package/typings/common/utility/iterable/identity.spec.d.ts

@@ -1,59 +0,0 @@
-declare namespace ArrayType {
-  export type T0 = IsArray<[]>;
-  export type T1 = IsArray<[1, 1]>;
-  export type T2 = IsArray<string[]>;
-  export type T3 = IsArray<readonly []>;
-  export type T4 = IsArray<readonly [1, 1]>;
-  export type T5 = IsArray<readonly string[]>;
-  export type T6 = IsArray<[[]]>;
-  export type T7 = IsArray<string[] | int[]>;
-  export type T8 = IsArray<(string | int)[]>;
-  export type T9 = IsArray<
-    | []
-    | [5, 10]
-    | string []
-    | readonly []
-    | readonly [5, 10]
-    | readonly string[]
-  >;
-  export type T10 = IsArray<[1?, ...string[]]>;
-  export type T11 = IsArray<[1] | [1, 2?]>;
-  export type N0 = IsArray<"">;
-  export type N1 = IsArray<"test">;
-  export type N2 = IsArray<string>;
-  export type N3 = IsArray<boolean>;
-  export type N4 = IsArray<true>;
-  export type N5 = IsArray<false>;
-  export type N6 = IsArray<0>;
-  export type N7 = IsArray<1>;
-  export type N8 = IsArray<number>;
-  export type N9 = IsArray<null>;
-  export type N10 = IsArray<undefined>;
-  export type N11 = IsArray<unknown>;
-  export type N12 = IsArray<never>;
-  export type N13 = IsArray<void>;
-  export type N14 = IsArray<() => void>;
-  export type N15 = IsArray<(a: string) => []>;
-  export type N16 = IsArray<Record<string, unknown>>;
-  export type N17 = IsArray<Record<number, 5>>;
-  export type N18 = IsArray<stringful>;
-  export type N19 = IsArray<{ 0: string }>;
-  export type N20 = IsArray<{
-    0: string;
-    length: 1;
-  }>;
-  export type N21 = IsArray<symbol>;
-  export type N22 = IsArray<object>;
-  export type N23 = IsArray<
-    | []
-    | object
-  >;
-  export type N24 = IsArray<
-    | []
-    | string
-  >;
-  export type N25 = IsArray<
-    | []
-    | null
-  >;
-}

package/typings/common/utility/iterable/index.d.ts

@@ -1,15 +0,0 @@
-declare type ArrayN<N extends number = 0, I = string> = [I] extends [never]
-  ? never
-  : N extends number
-    ? `${N}` extends `-${string}`
-      ? never
-      : `${N}` extends `${string}.${string}`
-        ? never
-        : N extends 0 /* TODO: constrain to posint */
-          ? [...I[]]
-          : ArrayBuilder<N, I>
-    : never;
-
-type ArrayBuilder<N extends number, I, H extends I[] = []> = H["length"] extends N
-  ? [...H, ...I[]]
-  : ArrayBuilder<N, I, [...H, I]>;

package/typings/common/utility/iterable/index.spec.d.ts

@@ -1,18 +0,0 @@
-declare namespace ArrayN {
-  type T = ArrayN;
-
-  // type T0 = ArrayN<0>; // string[]
-  // type T0a = ArrayN<-0>; // string[]
-  export type T1 = ArrayN<1>;
-  type T2 = ArrayN<2>;
-  type T3 = ArrayN<1.00000>;
-  type Tn = ArrayN<number>; // string[]
-  type Tna = ArrayN<typeof NaN>; // string[]
-  type Tnb = ArrayN<typeof Infinity>; // string[]
-  type F = ArrayN<never>;
-  type F1 = ArrayN<-1>;
-  type F2 = ArrayN<1.1>;
-  type F3 = ArrayN<-1.1>;
-  type F4 = ArrayN<-1.00000>;
-  type F4a = ArrayN<9.999999999>;
-}

package/typings/common/utility/iterable/tuple.d.ts

@@ -1,11 +0,0 @@
-declare type Tuple<N extends number = 2, I = string> = [I] extends [never]
-  ? never
-  : N extends number
-    ? N extends 0 /* TODO: constrain posint */
-      ? readonly []
-      : TupleBuilder<N, I>
-    : never;
-
-type TupleBuilder<N extends number, I, H extends readonly I[] = readonly []> = H["length"] extends N
-  ? H
-  : TupleBuilder<N, I, readonly [...H, I]>;

package/typings/common/utility/iterable/tuple.spec.d.ts

@@ -1,14 +0,0 @@
-declare namespace Tuple {
-  export type T = Tuple;
-  export type T0 = Tuple<0>;
-  export type T0a = Tuple<1>;
-  export type T0b = Tuple<3>;
-  export type T1 = Tuple<2, string | number>;
-  export type T2 = Tuple<2 | 3>;
-  export type T3 = Tuple<2 | 3, string | number>;
-  export type T4 = Tuple<never>;
-  export type T4a = Tuple<0>;
-  export type T4b = Tuple<0 | 1>;
-  export type T4c = Tuple<1, never>;
-  export type T4d = Tuple<never, never>;
-}

package/typings/common/utility/iterable/tuples.d.ts

@@ -1,10 +0,0 @@
-declare type Monad<I = string> = Tuple<1, I>;
-declare type Dyad<I = string> = Tuple<2, I>;
-declare type Triad<I = string> = Tuple<3, I>;
-declare type Quad<I = string> = Tuple<4, I>;
-declare type Pentad<I = string> = Tuple<5, I>;
-declare type Hexad<I = string> = Tuple<6, I>;
-declare type Heptad<I = string> = Tuple<7, I>;
-declare type Octad<I = string> = Tuple<8, I>;
-declare type Nonad<I = string> = Tuple<9, I>;
-declare type Decad<I = string> = Tuple<10, I>;

package/typings/common/utility/null/index.d.ts

@@ -1 +0,0 @@
-declare type Null<T> = null | T;

package/typings/common/utility/null/index.spec.d.ts

@@ -1,13 +0,0 @@
-declare namespace Null {
-  type OK = Tester<TF> | 0;
-  type TF = {
-    T: {
-      T0: Null<string>;
-      T1: Null<string | null>;
-      T2: Null<string | undefined>;
-      T3: Null<string | null | undefined>;
-      T4: Null<string | int | null>;
-      T6: Null<NonNullable<undefined | string>>;
-    };
-  };
-}

package/typings/common/utility/null/nullable.d.ts

@@ -1 +0,0 @@
-declare type Nullable<T> = Null<NonNullable<T>>;

package/typings/common/utility/null/nullable.spec.d.ts

@@ -1,13 +0,0 @@
-declare namespace Nullable {
-  type OK = Tester<TF> | 0;
-  type TF = {
-    T: {
-      T0: Nullable<string>;
-      T1: Nullable<string | null>;
-      T2: Nullable<string | undefined>;
-      T3: Nullable<string | null | undefined>;
-      T4: Nullable<string | int | null>;
-      T6: Nullable<NonNullable<undefined | string>>;
-    };
-  };
-}

package/typings/common/utility/primitive/cast/number.d.ts

@@ -1,13 +0,0 @@
-declare type ToNumber<Value extends string> = literalful<Value> extends never
-  ? never
-  : literalful<Value> extends literalful<Exclude<literalful<Value>, "0" | "-0" >>
-    ? literalful<Value> extends `${infer Number extends number}`
-      ? number extends Number
-        ? never
-        : Number
-      : never
-    : literalful<Exclude<literalful<Value>, "0" | "-0" >> extends `${infer Number extends number}`
-      ? number extends Number
-        ? never
-        : 0 | Number
-      : never;