@eslinted/core 0.0.1-rc.0 → 0.0.1-rc.1

package/interface/IConfig.d.ts

@@ -0,0 +1,21 @@
+declare interface IConfig {
+  rules: IRule;
+  files: string[];
+  name: `linted/scope:${string}`;
+  linterOptions: {
+    noInlineConfig: true;
+    reportUnusedDisableDirectives: "error";
+  };
+  languageOptions: {
+    sourceType?:
+      | "module"
+      | "script"
+    ;
+    ecmaVersion?: "latest";
+    globals?: Record<string, true>;
+    parser?: unknown;
+    parserOptions?: Record<string, unknown>;
+  };
+  plugins: Record<string, Record<"configs", unknown>>;
+  processor?: string;
+}

package/interface/files/IFiles.d.ts

@@ -0,0 +1 @@
+declare interface IFiles { files: string[] }

package/interface/option/IOption.d.ts

@@ -0,0 +1,25 @@
+declare type IOption<
+  Name extends string,
+  NoInline extends boolean,
+  ReportUnused extends boolean | IOLinter.States,
+  PluginId extends string,
+  Ecma extends number | IOLanguageEcma.Ecma,
+  Source extends IOLanguageSource.Source,
+  UseParser extends boolean,
+  ParserOptions extends object,
+  GlobalTypes extends string,
+  ProcessorId extends string,
+> =
+  & IFiles
+  & IOName<Name>
+  & IOLinter<NoInline, ReportUnused>
+  & IOPlugins<PluginId>
+  & IOLanguage<
+    Ecma,
+    Source,
+    UseParser,
+    ParserOptions,
+    GlobalTypes
+  >
+  & IOProcessor<ProcessorId>
+;

package/interface/option/language/IOLanguage.d.ts

@@ -0,0 +1,15 @@
+declare type IOLanguage<
+  Ecma extends number | IOLanguageEcma.Ecma,
+  Source extends IOLanguageSource.Source,
+  UseParser extends boolean,
+  ParserOptions extends object,
+  GlobalTypes extends string,
+> = {
+  languageOptions:
+    & IOLanguageEcma<Ecma>
+    & IOLanguageSource<Source>
+    & IOLanguageGlobals<GlobalTypes>
+    & IOLanguageParser<UseParser>
+    & IOLanguageParserOptions<ParserOptions>
+  ;
+};

package/interface/option/language/ecma/IOLanguageEcma.d.ts

@@ -0,0 +1,20 @@
+declare type IOLanguageEcma<Ecma extends number | IOLanguageEcma.Ecma> = [Ecma] extends [number]
+  ? Numbered<Ecma> extends never
+    ? object
+    : { ecmaVersion: Numbered<Ecma> }
+
+  : [Ecma] extends [string]
+      ? literalful<Ecma> extends never
+        ? object
+        : literalful<Ecma> extends IOLanguageEcma.Ecma
+          ? { ecmaVersion: literalful<Ecma> }
+          : object
+      : object;
+
+declare namespace IOLanguageEcma {
+  export type Ecma =
+    | `${number}`
+    | `ES${number}`
+    | `es${number}`
+    | "latest";
+}

package/interface/option/language/globals/IOLanguageGlobals.d.ts

@@ -0,0 +1,3 @@
+declare type IOLanguageGlobals<GlobalTypes extends string> = literalful<GlobalTypes> extends never
+  ? object
+  : { globals: Record<literalful<GlobalTypes>, true> };

package/interface/option/language/parser/IOLanguageParser.d.ts

@@ -0,0 +1,3 @@
+declare type IOLanguageParser<UseParser extends boolean> = True<UseParser> extends never
+  ? object
+  : { parser: unknown };

package/interface/option/language/parserOptions/IOLanguageParserOptions.d.ts

@@ -0,0 +1,5 @@
+declare type IOLanguageParserOptions<ParserOptions extends object> = Interface<ParserOptions> extends never
+  ? object
+  : Keys<ParserOptions> extends never
+    ? object
+    : { parserOptions: Interface<ParserOptions> };

package/interface/option/language/source/IOLanguageSource.d.ts

@@ -0,0 +1,12 @@
+declare type IOLanguageSource<Source extends IOLanguageSource.Source> = literalful<Source> extends never
+  ? object
+  : literalful<Source> extends IOLanguageSource.Source
+    ? { sourceType: literalful<Source> }
+    : object;
+
+declare namespace IOLanguageSource {
+  export type Source =
+    | "module"
+    | "script"
+    | "commonjs";
+}

package/interface/option/linter/IOLinter.d.ts

@@ -0,0 +1,30 @@
+declare type IOLinter<
+  NoInline extends boolean,
+  ReportUnused extends
+  | boolean
+  | IOLinter.States,
+> = {
+  linterOptions: {
+    noInlineConfig: True<NoInline> extends never
+      ? false
+      : True<NoInline>;
+    reportUnusedDisableDirectives: [ReportUnused] extends [boolean]
+      ? True<ReportUnused> extends never
+        ? false
+        : True<ReportUnused>
+      : [ReportUnused] extends [string]
+          ? literalful<ReportUnused> extends never
+            ? false
+            : literalful<ReportUnused> extends IOLinter.States
+              ? literalful<ReportUnused>
+              : false
+          : false;
+  };
+};
+
+declare namespace IOLinter {
+  export type States =
+    | "error"
+    | "warn"
+    | "off";
+}

package/interface/option/name/IOName.d.ts

@@ -0,0 +1,3 @@
+declare type IOName<Name extends string> = literalful<Name> extends never
+  ? never
+  : { name: literalful<Name> };

package/interface/option/plugins/IOPlugins.d.ts

@@ -0,0 +1,3 @@
+declare type IOPlugins<PluginId extends string> = literalful<PluginId> extends never
+  ? never
+  : { plugins: Record<literalful<PluginId>, { configs: unknown }> };

package/interface/option/processor/IOProcessor.d.ts

@@ -0,0 +1,3 @@
+declare type IOProcessor<ProcessorId extends string> = literalful<ProcessorId> extends never
+  ? object
+  : { processor: literalful<ProcessorId> };

package/interface/rules/IRules.d.ts

@@ -0,0 +1 @@
+declare interface IRules { rules: IRule }

package/interface/rules/rule/IRule.d.ts

@@ -0,0 +1 @@
+type IRule = Record<string, RuleSeverity | [RuleSeverity, ...unknown[]]>;

package/interface/rules/rule/state/RuleSeverity.d.ts

@@ -0,0 +1,5 @@
+declare type RuleSeverity =
+  | "error"
+  | "warn"
+  | "off"
+;

package/package.json

@@ -1,13 +1,13 @@
 {
   "name": "@eslinted/core",
-  "version": "0.0.1-rc.0",
+  "version": "0.0.1-rc.1",
   "description": "",
   "keywords": [],
   "license": "MIT",
   "type": "module",
   "private": false,
   "config": {
-    "PACKAGE_JSON_VERSION": "20.9.0"
+    "PACKAGE_JSON_VERSION": "20.9.1"
   },
   "repository": {
     "type": "git",

package/tsconfig.json

@@ -1,10 +1,12 @@
 {
   "display": "@jimbojet/tsc",
-  "_version": "5.5.7",
+  "_version": "5.5.8",
   "$schema": "https://json.schemastore.org/tsconfig",
   "include": [
-    "src/**/*.ts",
     "*.config.ts",
+    "src/**/*.ts",
+    "interface/**/*.d.ts",
+    "types/**/*.d.ts",
   ],
   "compilerOptions": {
     /* Visit https://aka.ms/tsconfig to read more about this file */

package/types/literal/number/base32.d.ts

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

package/types/literal/number/base64.d.ts

@@ -0,0 +1,35 @@
+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/types/literal/number/binary.d.ts

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

package/types/literal/number/decimal.d.ts

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

package/types/literal/number/hex.d.ts

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

package/types/literal/number/octal.d.ts

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

package/types/literal/number/quatral.d.ts

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

package/types/literal/number/ternary.d.ts

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

package/types/literal/string/base64char.d.ts

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

package/types/literal/string/digit.d.ts

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

package/types/literal/string/hexchar.d.ts

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

package/types/literal/string/letter.d.ts

@@ -0,0 +1,35 @@
+declare type letter =
+  | lower
+  | upper
+;
+
+declare type lower = Lowercase<upper>;
+
+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/types/safe/Safe.d.ts

@@ -0,0 +1,2 @@
+declare const p: unique symbol;
+declare type Safe<P extends primitive, Check> = P & { [p]: Check };

package/types/safe/numbers/finite/Finite.d.ts

@@ -0,0 +1,2 @@
+declare const finite: unique symbol;
+declare type Finite<N extends number> = N & { [finite]: 1 };

package/types/safe/numbers/finite.d.ts

@@ -0,0 +1 @@
+declare type finite = Finite<numberful>;

package/types/safe/numbers/fint.d.ts

@@ -0,0 +1 @@
+declare type fint = Finite<int>;

package/types/safe/numbers/int/Int.d.ts

@@ -0,0 +1,2 @@
+declare const int: unique symbol;
+declare type Int<N extends number> = N & { [int]: 1 };

package/types/safe/numbers/int.d.ts

@@ -0,0 +1 @@
+declare type int = Int<numberful>;

package/types/safe/numbers/numberful.d.ts

@@ -0,0 +1 @@
+declare type numberful = Safe<number, "numberful">;

package/types/safe/numbers/polarity/Negative.d.ts

@@ -0,0 +1,4 @@
+declare type Negative<
+  N extends number,
+  Zero = true,
+> = Pole<N, "-", Zero>;

package/types/safe/numbers/polarity/Positive.d.ts

@@ -0,0 +1,4 @@
+declare type Positive<
+  N extends number,
+  Zero = true,
+> = Pole<N, "+", Zero>;

package/types/safe/numbers/polarity/pole/Pole.d.ts

@@ -0,0 +1,18 @@
+declare const pole: unique symbol;
+declare const min: unique symbol;
+declare type Pole<
+  N extends number,
+  P extends
+  | "-"
+  | "+"
+  ,
+  Zero,
+> =
+  & N
+  & {
+    [pole]: P;
+    [min]: Zero extends false
+      ? P extends "+" ? 1 : -1
+      : 0;
+  }
+;

package/types/safe/primitive.d.ts

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

package/types/safe/strings/char.d.ts

@@ -0,0 +1 @@
+declare type char = stringful & PropLength<1>;

package/types/safe/strings/length/PropLength.d.ts

@@ -0,0 +1,3 @@
+declare type PropLength<L extends number> = Length<L> extends never
+  ? never
+  : { length: Length<L> };

package/types/safe/strings/stringful.d.ts

@@ -0,0 +1 @@
+declare type stringful = Safe<string, "stringful"> & { 0: stringful & PropLength<1> };

package/types/utility/interface/construct/Particord.d.ts

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

package/types/utility/interface/construct/Property.d.ts

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

package/types/utility/interface/construct/Recordful.d.ts

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

package/types/utility/interface/construct/Table.d.ts

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

package/types/utility/interface/construct/properties/Field.d.ts

@@ -0,0 +1 @@
+declare type Field<K extends string, OK extends string = never> = Property<K, OK, string>;

package/types/utility/interface/construct/properties/Flag.d.ts

@@ -0,0 +1 @@
+declare type Flag<OK extends string, K extends string = never> = Property<K, OK, boolean>;

package/types/utility/interface/construct/properties/Limit.d.ts

@@ -0,0 +1,8 @@
+declare type Limit<K extends string, OK extends string = never> = Property<K, OK, Boundary>;
+
+type Boundary = Recordful<
+  | "min"
+  | "max"
+  ,
+  number
+>;

package/types/utility/interface/construct/properties/List.d.ts

@@ -0,0 +1 @@
+declare type List<K extends string, OK extends string = never> = Property<K, OK, readonly string[]>;

package/types/utility/interface/construct/properties/Listish.d.ts

@@ -0,0 +1 @@
+declare type Listish<K extends string, OK extends string = never> = Property<K, OK, Unflat>;

package/types/utility/interface/construct/properties/Scalar.d.ts

@@ -0,0 +1 @@
+declare type Scalar<K extends string, OK extends string = never> = Property<K, OK, number>;

package/types/utility/interface/construct/tables/FieldTable.d.ts

@@ -0,0 +1 @@
+declare type FieldTable = Table<string>;

package/types/utility/interface/construct/tables/FlagTable.d.ts

@@ -0,0 +1 @@
+declare type FlagTable = Table<boolean>;

package/types/utility/interface/construct/tables/ListTable.d.ts

@@ -0,0 +1 @@
+declare type ListTable = Table<readonly string[]>;

package/types/utility/interface/construct/tables/ListishTable.d.ts

@@ -0,0 +1 @@
+declare type ListishTable = Table<Unflat>;

package/types/utility/interface/construct/tables/ScalarTable.d.ts

@@ -0,0 +1 @@
+declare type ScalarTable = Table<number>;

package/types/utility/interface/identity/Interface.d.ts

@@ -0,0 +1,80 @@
+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;
+
+declare namespace InterfaceTest {
+  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>>;
+}
+
+declare namespace NotInterface {
+  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>>;
+}
+
+type gg = Extract<{ a: 5 }, readonly unknown[]>;