linted 14.4.4 → 14.4.6-rc.10

package/types/shared/utility/iterable/transform/Join.d.ts

@@ -1,19 +0,0 @@
-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/shared/utility/iterable/transform/Unflat.d.ts

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

package/types/shared/utility/iterable/transform/stringarray/Chain.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/types/shared/utility/iterable/transform/stringarray/PathN.d.ts

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

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

@@ -1,5 +0,0 @@
-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/shared/utility/length/Length.d.ts

@@ -1,35 +0,0 @@
-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/shared/utility/null/null.d.ts

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

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

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

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

@@ -1,42 +0,0 @@
-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/shared/utility/primitive/boolean/True.d.ts

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

@@ -1,22 +0,0 @@
-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/shared/utility/primitive/string/literalful.d.ts

@@ -1,28 +0,0 @@
-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>;
-}