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

package/types/utility/iterable/identity/array/ArrayType.d.ts

@@ -0,0 +1,65 @@
+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/types/utility/iterable/identity/array/length/ArrayLength.d.ts

@@ -0,0 +1,16 @@
+declare type ArrayLength<A extends readonly unknown[]> = Length<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/types/utility/iterable/transform/Join.d.ts

@@ -0,0 +1,19 @@
+declare type Join<A extends readonly unknown[], D extends string = string> = ArrayType<A> extends never
+  ? never
+  : MonadType<A> extends never
+    ? string
+    : MonadType<A> extends readonly (infer I extends string)[]
+      ? [I] extends [stringful]
+          ? stringful
+          : Extract<I, stringful> extends never
+            ? literalful<I> extends never
+              ? DyadType<MonadType<A>> extends never
+                ? string
+                : literalful<D> extends never
+                  ? [D] extends [stringful]
+                      ? stringful
+                      : string
+                  : stringful
+              : stringful
+            : stringful
+      : never;

package/types/utility/iterable/transform/Unflat.d.ts

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

package/types/utility/iterable/transform/stringarray/Chain.d.ts

@@ -0,0 +1,30 @@
+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/types/utility/iterable/transform/stringarray/PathN.d.ts

@@ -0,0 +1,3 @@
+declare type PathN<C, N extends number = 0> = Stringify<C> extends never
+  ? never
+  : ArrayN<Stringify<C>, N>;

package/types/utility/iterable/transform/stringarray/stringify/Stringify.d.ts

@@ -0,0 +1,5 @@
+declare type Stringify<C> = C extends Record<"string", infer S extends string>
+  ? S
+  : C extends Record<"toString", infer Fn extends ()=> string>
+    ? ReturnType<Fn>
+    : never;

package/types/utility/length/Length.d.ts

@@ -0,0 +1,35 @@
+declare type Length<N extends number> = [N] extends [number]
+  ? [number] extends [N]
+      ? 0
+      : Numbered<N>
+  : never;
+
+declare namespace Length {
+  export type T0 = Length<0>;
+  export type T0a = Length<0.0>; // 0
+  export type T0b = Length<number>; // 0
+  export type T1 = Length<1>;
+  export type T1a = Length<1.0>; // 1
+  export type T2 = Length<1.1>; // 1.1
+  export type T3 = Length<1 | 5>; // 1 | 5
+  export type T3b = Length<0 | 1 | 5>; // 0 | 1 | 5
+}
+
+declare namespace NotLength {
+  export type N = Length<never>;
+
+  // export type N0 = Length<unknown>;
+  // export type N0a = Length<undefined>;
+  // export type N0b = Length<null>;
+  // export type N0c = Length<void>;
+  // export type N0d = Length<undefined>;
+  // export type N0e = Length<undefined>;
+  // export type N1 = Length<"1">;
+  // export type N1a = Length<true>;
+  // export type N1b = Length<[5, 5]>;
+  // export type N1c = Length<()=> void>;
+  // export type N1d = Length<object>;
+  // export type N2 = Length<null | 1>;
+  // export type N2a = Length<true | 1>;
+  // export type N2b = Length<number | 1>; // 0
+}

package/types/utility/null/null.d.ts

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

package/types/utility/null/nullable.d.ts

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

package/types/utility/primitive/Primeval.d.ts

@@ -0,0 +1,42 @@
+declare type Primeval<P extends T, T extends primitive> = [T] extends [primitive]
+  ? [P] extends [T]
+      ? Extract<P, object> extends never
+        ? Exclude<P, T> extends never
+          ? T extends P
+            ? never
+            : P
+          : never
+        : never
+      : never
+  : never;
+
+declare namespace Primeval {
+  export type T0 = Primeval<"fast", string>;
+  export type T0a = Primeval<"", string>;
+  export type T0b = Primeval<"fast" | "good", string>;
+  export type T0c = Primeval<"fast" | "", string>;
+  export type T1 = Primeval<5, number>;
+  export type T1a = Primeval<0, number>;
+  export type T2 = Primeval<true, boolean>;
+  export type T2a = Primeval<false, boolean>;
+}
+
+declare namespace NotPrimeval {
+  export type N0 = Primeval<string, string>;
+  export type N0a = Primeval<number, number>;
+  export type N0b = Primeval<boolean, boolean>;
+  export type N1 = Primeval<stringful, string>;
+  export type N1b = Primeval<numberful, number>;
+
+  // export type N2 = Primeval<number | 5, number>;
+  // export type N2a = Primeval<string | "good", string>;
+  // export type N2b = Primeval<boolean | true, boolean>;
+  // export type N3 = Primeval<5, number | object>;
+  // export type N3a = Primeval<symbol, symbol>;
+  // export type N3b = Primeval<object, object>;
+  // export type N3c = Primeval<[], readonly unknown[]>;
+  // export type N3d = Primeval<()=> 5, Function>;
+  // export type N3e = Primeval<5, unknown>;
+  // export type N3f = Primeval<true | 10, boolean>;
+  // export type N3g = Primeval<string | "good", string>;
+}

package/types/utility/primitive/boolean/True.d.ts

@@ -0,0 +1,30 @@
+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>;
+
+  // export type N2 = True<true | 10>;
+  // export type N2a = True<true | object>;
+  // export type N2b = True<true | undefined>;
+  // export type N2c = True<true | null>;
+  // export type N2d = True<0>;
+  // export type N2e = True<1>;
+  // export type N2f = True<number>;
+  // export type N2g = True<"">;
+  // export type N2h = True<"true">;
+  // export type N2i = True<"foo">;
+  // export type N2j = True<null>;
+  // export type N2k = True<undefined>;
+  // export type N2l = True<[]>;
+  // export type N2m = True<object>;
+}

package/types/utility/primitive/number/Numbered.d.ts

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

@@ -0,0 +1,22 @@
+declare type literal<S extends string> = Primeval<S, string>;
+
+declare namespace literal {
+  export type T = literal<"">;
+  export type T0 = literal<"a">;
+  export type T1 = literal<"a" | "b">;
+  export type T1b = literal<"a" | "">;
+}
+
+declare namespace Notliteral {
+  export type N = literal<never>;
+  export type N0 = literal<string>;
+
+  // export type N1 = literal<unknown>;
+  // export type N2 = literal<null>;
+  // export type N3 = literal<undefined>;
+  // export type N4 = literal<void>;
+  // export type N5 = literal<object>;
+  // export type N6 = literal<()=> "a">;
+  // export type N7 = literal<symbol>;
+  // export type N8 = literal<"a" | 5>;
+}

package/types/utility/primitive/string/literalful.d.ts

@@ -0,0 +1,28 @@
+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>;
+  export type N2b = literalful<stringful>;
+  export type N3 = literalful<"" | "a">;
+
+//   export type N5 = literalful<"a" | string>;
+//   export type N5a = literalful<unknown>;
+//   export type N5b = literalful<null>;
+//   export type N5c = literalful<undefined>;
+//   export type N5d = literalful<void>;
+//   export type N5e = literalful<[]>;
+//   export type N5f = literalful<object>;
+//   export type N5g = literalful<()=> "a">;
+//   export type N5h = literalful<symbol>;
+//   export type N5i = literalful<"a" | 5>;
+}