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

package/package.json

@@ -1,7 +1,7 @@
 {
   "_schemaVersion": "20.17.8",
   "name": "@eslinted/core",
-  "version": "3.4.2-rc.0",
+  "version": "3.4.2-rc.1",
   "description": "Core ESLint flat config factory npm package `linted`.",
   "keywords": [],
   "license": "MIT",

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

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

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

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

package/types/typioca/safe/numbers/integer/index.d.ts

@@ -0,0 +1,2 @@
+declare const int: unique symbol;
+declare type int = numberful & { [int]: true };

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

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

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

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

package/types/typioca/safe/numbers/polarity/pole/{Pole.d.ts → index.d.ts}

@@ -1,11 +1,11 @@
-declare const pole: unique symbol;
-declare const min: unique symbol;
-declare type Pole<
-  N extends number,
+declare const pole: unique symbol,
+min: unique symbol;
+declare type pole<
   P extends
   | "-"
   | "+"
   ,
+  N extends number,
   Zero,
 > =
   & N

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

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

package/types/typioca/safe/strings/{stringful.d.ts → stringful/index.d.ts}

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

package/types/typioca/safe/strings/stringful/length/index.d.ts

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

package/types/typioca/utility/interface/{construct/Property.d.ts → build/properties/property/index.d.ts}

@@ -1,7 +1,7 @@
 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/typioca/utility/interface/identity/{Interface.d.ts → interface/index.d.ts}

@@ -41,10 +41,10 @@ declare namespace NotInterface {
   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 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 | []>;

package/types/typioca/utility/iterable/identity/array/{ArrayType.d.ts → index.d.ts}

@@ -38,8 +38,8 @@ declare namespace NotArrayType {
   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 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>;

package/types/typioca/utility/iterable/identity/array/length/{ArrayLength.d.ts → index.d.ts}

@@ -1,4 +1,4 @@
-declare type ArrayLength<A extends readonly unknown[]> = Length<ArrayType<A>["length"]>;
+declare type ArrayLength<A extends readonly unknown[]> = LengthValue<ArrayType<A>["length"]>;
 
 declare namespace ArrayLength {
   export type T0 = ArrayLength<[]>;

package/types/typioca/utility/iterable/transform/flat/index.d.ts

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

package/types/typioca/utility/iterable/transform/string/stringify/index.d.ts

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

package/types/typioca/utility/object/build/index.d.ts

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

package/types/typioca/utility/{length/Length.d.ts → primitive/number/length/index.d.ts}

@@ -1,22 +1,22 @@
-declare type Length<N extends number> = [N] extends [number]
+declare type LengthValue<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
+  export type T0 = LengthValue<0>;
+  export type T0a = LengthValue<0.0>; // 0
+  export type T0b = LengthValue<number>; // 0
+  export type T1 = LengthValue<1>;
+  export type T1a = LengthValue<1.0>; // 1
+  export type T2 = LengthValue<1.1>; // 1.1
+  export type T3 = LengthValue<1 | 5>; // 1 | 5
+  export type T3b = LengthValue<0 | 1 | 5>; // 0 | 1 | 5
 }
 
 declare namespace NotLength {
-  export type N = Length<never>;
+  export type N = LengthValue<never>;
 
   // export type N0 = Length<unknown>;
   // export type N0a = Length<undefined>;

package/types/typioca/utility/primitive/string/fake/index.d.ts

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

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

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

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

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

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

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

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

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

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

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

package/types/typioca/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/typioca/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/typioca/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;