@eslinted/core 10.0.2 → 10.1.0

package/typings/common/utility/primitive/literalful.d.ts

@@ -0,0 +1,3 @@
+declare type literalful<S extends string> = "" extends literal<S>
+  ? never
+  : literal<S>;

package/typings/common/utility/primitive/{string/literalful/index.d.ts → literalful.spec.d.ts}

@@ -1,14 +1,6 @@
-declare type literalful<S extends string> = "" extends literal<S>
-  ? never
-  : literal<S>;
-
 declare namespace literalful {
   export type T0 = literalful<"a">;
   export type T1 = literalful<"a" | "b">;
-}
-
-declare namespace Notliteralful {
-
   export type N0 = literalful<never>;
   export type N1 = literalful<"">;
   export type N2 = literalful<string>;

package/typings/common/utility/primitive/numeric.d.ts

@@ -0,0 +1 @@
+declare type Numeric<N extends number> = Primitive<N, number>;

package/typings/common/utility/primitive/numeric.spec.d.ts

@@ -0,0 +1,30 @@
+declare namespace Numeric {
+  export type T0 = Numeric<0>;
+  export type T1 = Numeric<0.0>;
+  export type T2 = Numeric<1>;
+  export type T3 = Numeric<1.0>;
+  export type T4 = Numeric<1.1>;
+  export type T5 = Numeric<1 | 5>;
+  export type N0 = Numeric<number>;
+  export type N0b = Numeric<numberful>;
+  export type N0c = Numeric<number | numberful>;
+  export type N0d = Numeric<1 | numberful>;
+  export type N1 = Numeric<never>;
+
+  // export type N0e = Numbered<1 | number>;
+  // export type N2 = Numbered<"cool">;
+  // export type N3 = Numbered<"NaN">;
+  // export type N4 = Numbered<"5">;
+  // export type N5 = Numbered<string>;
+  // export type N6 = Numbered<boolean>;
+  // export type N6a = Numbered<true>;
+  // export type N6b = Numbered<false>;
+  // export type N7 = Numbered<null>;
+  // export type N8 = Numbered<undefined>;
+  // export type N9 = Numbered<void>;
+  // export type N10 = Numbered<object>;
+  // export type N11 = Numbered<[]>;
+  // export type N12 = Numbered<5 | true>;
+  // export type N13 = Numbered<() => 5>;
+  // export type N14 = Numbered<symbol>;
+}

package/typings/common/utility/primitive/truth.d.ts

@@ -0,0 +1,3 @@
+declare type Truth<B extends boolean> = true extends Primitive<B, boolean>
+  ? Primitive<B, boolean>
+  : never;

package/typings/common/utility/primitive/{boolean/true/index.d.ts → truth.spec.d.ts}

@@ -1,17 +1,9 @@
-declare type True<B extends boolean> = true extends Primeval<B, boolean>
-  ? Primeval<B, boolean>
-  : never;
-
-declare namespace True {
-  export type T0 = True<true>;
-}
-
-declare namespace NotTrue {
-
-  export type N0 = True<never>;
-  export type N1 = True<false>;
-  export type N1a = True<false | true>;
-  export type N1b = True<boolean>;
+declare namespace Truth {
+  export type T0 = Truth<true>;
+  export type N0 = Truth<never>;
+  export type N1 = Truth<false>;
+  export type N1a = Truth<false | true>;
+  export type N1b = Truth<boolean>;
 
   // export type N2 = True<true | 10>;
   // export type N2a = True<true | object>;

package/typings/common/validated/index.d.ts

@@ -0,0 +1,2 @@
+declare const ful: unique symbol;
+declare type Full<Type extends primitive, Brand> = Type & { [ful]: Brand };

package/typings/common/validated/numberful.d.ts

@@ -0,0 +1 @@
+declare type numberful = Full<number, "!NaN">;

package/typings/common/validated/properties/finite.d.ts

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

package/typings/common/validated/properties/length.d.ts

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

package/typings/common/validated/properties/polarity.d.ts

@@ -0,0 +1,5 @@
+declare const polarity: unique symbol;
+declare type polarity<
+  P extends "-" | "+" = "+",
+  NumberType extends number = numberful,
+> = NumberType & { [polarity]: P };

package/typings/common/validated/stringful.d.ts

@@ -0,0 +1 @@
+declare type stringful = Full<string, "length > 0"> & { 0: char };

package/typings/common/safe/index.d.ts

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

package/typings/common/safe/numbers/finite/index.d.ts

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

package/typings/common/safe/numbers/fint.d.ts

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

package/typings/common/safe/numbers/integer/numberful/index.d.ts

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

package/typings/common/safe/numbers/polarity/negative.d.ts

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

package/typings/common/safe/numbers/polarity/pole/index.d.ts

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

package/typings/common/safe/numbers/polarity/positive.d.ts

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

package/typings/common/safe/strings/stringful/index.d.ts

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

package/typings/common/safe/strings/stringful/length/index.d.ts

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

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

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

package/typings/common/utility/interface/build/properties/Field.d.ts

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

package/typings/common/utility/interface/build/properties/Flag.d.ts

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

package/typings/common/utility/interface/build/properties/Limit.d.ts

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

package/typings/common/utility/interface/build/properties/List.d.ts

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

package/typings/common/utility/interface/build/properties/Listish.d.ts

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

package/typings/common/utility/interface/build/properties/Scalar.d.ts

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

package/typings/common/utility/interface/build/tables/FieldTable.d.ts

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

package/typings/common/utility/interface/build/tables/FlagTable.d.ts

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

package/typings/common/utility/interface/build/tables/ListTable.d.ts

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

package/typings/common/utility/interface/build/tables/ListishTable.d.ts

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

package/typings/common/utility/interface/build/tables/ScalarTable.d.ts

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

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

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

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

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

package/typings/common/utility/iterable/identity/array/length/index.d.ts

@@ -1,16 +0,0 @@
-declare type ArrayLength<A extends readonly unknown[]> = LengthValue<ArrayType<A>["length"]>;
-
-declare namespace ArrayLength {
-  export type T0 = ArrayLength<[]>;
-  export type T0a = ArrayLength<string[]>;
-  export type T0b = ArrayLength<readonly []>;
-  export type T0d = ArrayLength<readonly string[]>;
-  export type T0c = ArrayLength<[string?, string?]>;
-  export type T1 = ArrayLength<[string] | [string, string?, string?]>;
-  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
-  export type T1c = ArrayLength<string[] | [string, string, string]>; // 0 -- array -> length: number coerced to length 0 but consumes all other possible lengths
-}
-
-declare namespace NotArrayLength {
-  export type N = ArrayLength<never>;
-}

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

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

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

@@ -1,48 +0,0 @@
-declare type MonadType<A extends readonly unknown[]> = 0 extends ArrayLength<A>
-  ? never
-  : ArrayType<A>;
-
-declare namespace MonadType {
-  export type T0 = MonadType<[1, 1]>;
-  export type T1 = MonadType<readonly [1, 1]>;
-  export type T2 = MonadType<readonly [1, 1?]>;
-  export type T3 = MonadType<readonly [1?, 1?]>;
-  export type T4 = MonadType<readonly [1?, 1?]>;
-  export type T5 = MonadType<[[]]>;
-  export type T6 = MonadType<string[] | int[]>;
-  export type T7 = MonadType<(string | int)[]>;
-  export type T18 = MonadType<[string] | [5, 10]>;
-  export type T8a = MonadType<Tuple>;
-  export type T8b = MonadType<ArrayN<3>>;
-  export type T8c = MonadType<
-    | ArrayN<3>
-    | Tuple
-    | [string]
-    | [5, 10]
-    | [5, 13]
-    | readonly [5, 10]
-  >;
-}
-
-declare namespace NotMonadType {
-  export type N12 = MonadType<never>;
-  export type N26 = MonadType<[]>;
-  export type N27 = MonadType<string[]>;
-  export type N28 = MonadType<readonly []>;
-  export type N29 = MonadType<readonly string[]>;
-  export type N30 = MonadType<[5] | []>;
-  export type N30a = MonadType<[5] | string[]>;
-  export type N30b = MonadType<[5] | readonly []>;
-  export type N30c = MonadType<[5] | readonly string[]>;
-  export type N30d = MonadType<
-    | []
-    | [5, 10]
-    | string []
-    | readonly []
-    | readonly [5, 10]
-    | readonly string[]
-  >;
-  export type N31 = MonadType<ArrayN>;
-  export type N32 = MonadType<[string?]>;
-  export type N33 = MonadType<readonly [string?]>;
-}

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

@@ -1,3 +0,0 @@
-declare type TriadType<A extends readonly unknown[]> = 2 extends ArrayLength<A>
-  ? never
-  : DyadType<A>;

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

@@ -1,30 +0,0 @@
-declare type Chain<
-  A extends readonly string[],
-  D extends string = "/",
-  Reverse extends boolean = false,
-> = literal<D> extends never
-  ? never
-  : D extends D
-    ? ArrayType<A> extends never
-      ? never
-      : ArrayType<A> extends readonly [infer H extends string, ...infer T extends string[]]
-        ? ArrayType<T> extends readonly []
-          ? literalful<H>
-          : True<Reverse> extends never
-            ? `${literalful<H>}${literal<D>}${Chain<ArrayType<T>, literal<D>>}`
-            : `${Chain<ArrayType<T>, literal<D>, True<Reverse>>}${literal<D>}${literalful<H>}`
-        : never
-    : never;
-
-declare namespace Chain {
-  export type T = Chain<["a", "b", "c"]>;
-  export type T0 = Chain<["a", "b", "c"], "">;
-  export type T0a = Chain<["a", "b", "c"], "-">;
-  export type T1 = Chain<["a", "b", "c"], "/", true>;
-  export type T1a = Chain<["a", "b", "c"], ".", true>;
-  export type T2 = Chain<["a", "b" | "bar", "c"]>;
-  export type T2a = Chain<["a" | "foo", "b" | "bar", "c"]>; // 4
-  export type T3 = Chain<["a", "b", "c"], "." | "/">;
-  export type T4 = Chain<["a" | "foo", "b" | "bar", "c"], "." | "/">; // 8
-  export type T5 = Chain<["a" | "foo", "b" | "bar", "c"], "." | "/", true>; // 8
-}

package/typings/common/utility/iterable/transform/string/stringify/index.d.ts

@@ -1,27 +0,0 @@
-declare type Stringify<C> = C extends abstract new (...args: infer A) => infer O
-  ? O extends { string: infer S extends string }
-    ? S
-    : O extends { toString: () => infer S extends string }
-      ? S
-      : never
-  : C extends ((...args: infer A) => infer S extends string)
-    ? S
-    : C extends { string: infer S extends string }
-      ? S
-      : C extends { toString: () => infer S extends string }
-        ? S
-        : never;
-
-declare namespace Stringify {
-  export type T = Stringify<CharString<"OK-Instance">>;
-  export type T0 = Stringify<CharStringCtor>;
-  export type T1 = Stringify<charstringfunc<"OK-Function">>;
-
-  type CharStringCtor = abstract new () => CharString<"OK-Constructor">;
-
-  interface CharString<Validator extends string> {
-    readonly string: valid<stringful, [Validator, "string"]>;
-  }
-
-  type charstringfunc<Validator extends string> = () => valid<stringful, [Validator, "string"]>;
-}

package/typings/common/utility/primitive/number/length/numbered/index.d.ts

@@ -1,35 +0,0 @@
-declare type Numbered<N extends number> = Primeval<N, number>;
-
-declare namespace Numbered {
-  export type T0 = Numbered<0>;
-  export type T1 = Numbered<0.0>;
-  export type T2 = Numbered<1>;
-  export type T3 = Numbered<1.0>;
-  export type T4 = Numbered<1.1>;
-  export type T5 = Numbered<1 | 5>;
-}
-
-declare namespace NumberedNever {
-  export type N0 = Numbered<number>;
-  export type N0b = Numbered<numberful>;
-  export type N0c = Numbered<number | numberful>;
-  export type N0d = Numbered<1 | numberful>;
-  export type N1 = Numbered<never>;
-
-//   export type N0e = Numbered<1 | number>;
-//   export type N2 = Numbered<"cool">;
-//   export type N3 = Numbered<"NaN">;
-//   export type N4 = Numbered<"5">;
-//   export type N5 = Numbered<string>;
-//   export type N6 = Numbered<boolean>;
-//   export type N6a = Numbered<true>;
-//   export type N6b = Numbered<false>;
-//   export type N7 = Numbered<null>;
-//   export type N8 = Numbered<undefined>;
-//   export type N9 = Numbered<void>;
-//   export type N10 = Numbered<object>;
-//   export type N11 = Numbered<[]>;
-//   export type N12 = Numbered<5 | true>;
-//   export type N13 = Numbered<()=> 5>;
-//   export type N14 = Numbered<symbol>;
-}

package/typings/common/utility/primitive/string/fake/index.d.ts

@@ -1 +0,0 @@
-declare type Fake<T> = T extends string ? string : string;

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

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

package/typings/common/valid/index.d.ts

@@ -1,7 +0,0 @@
-declare const v: unique symbol;
-declare type valid<T, V extends readonly string[]> =
-  & T
-  & (Chain<V, ":", true> extends never
-    ? never
-    : { [v]: Chain<V, ":", true> })
-;

package/typings/common/valid/string/index.d.ts

@@ -1 +0,0 @@
-declare type vstring<V extends string> = valid<stringful, [V, "string"]>;