linted 14.4.6-rc.6 → 14.4.6-rc.8

package/dependency/module/markdownlint/index.d.ts

@@ -1,21 +0,0 @@
-declare module "eslint-plugin-markdownlint" {
-  export const configs: Record<
-    "flat/recommended"
-    ,
-    Record<
-      "rules"
-      ,
-      IRule
-    >
-  >;
-}
-
-declare module "eslint-plugin-markdownlint/parser" {
-  export const parseForESLint: (
-    code: string
-  )=> {
-    ast: unknown;
-    parserServices: unknown;
-    visitorKeys: unknown;
-  };
-}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -1,35 +0,0 @@
-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/dependency/types/safe/Safe.d.ts

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

package/dependency/types/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/dependency/types/safe/numbers/finite.d.ts

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

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

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

package/dependency/types/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/dependency/types/safe/numbers/int.d.ts

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

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

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

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

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

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

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

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

@@ -1,18 +0,0 @@
-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/dependency/types/safe/primitive.d.ts

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

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

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

package/dependency/types/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/dependency/types/safe/strings/stringful.d.ts

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

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

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

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

@@ -1,8 +0,0 @@
-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/dependency/types/utility/interface/construct/Recordful.d.ts

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

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

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

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

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

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

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

package/dependency/types/utility/interface/construct/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/dependency/types/utility/interface/construct/properties/List.d.ts

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -1,80 +0,0 @@
-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[]>;

package/dependency/types/utility/interface/identity/Keys.d.ts

@@ -1,71 +0,0 @@
-declare type Keys<R extends object> = Interface<R> extends never
-  ? never
-  : keyof Interface<R>;
-
-declare namespace Keys {
-  const RESULT: {
-    positive: typeof POSITIVE | 1;
-    negative: typeof NEGATIVE | 0;
-  };
-
-  export const POSITIVE: {
-    T: Keys<{ a: 5 }>;
-    T0: Keys<{
-      a: 1;
-      b?: 2;
-    }>;
-    T1: Keys<{
-      a: 1;
-      b: 2;
-    }>;
-  } extends Record<string, string> ? "PASS" : never;
-  const s: unique symbol;
-
-  export const NEGATIVE: {
-    N: Keys<never>;
-    N0: Keys<{ [s]: 1 }>;
-    N1: Keys<Record<string, 1>>;
-    N1b: Keys<Record<stringful, 1>>;
-    N1c: Keys<Record<"", 1>>;
-    N1d: Keys<Record<number, 1>>;
-    N2: Keys<Record<stringful | "30", 1>>;
-    N2b: Keys<Record<stringful | "", 1>>;
-    N2c: Keys<Record<number | "", 1>>;
-    N2d: Keys<Record<number | "c", 1>>;
-    N2e: Keys<object>;
-    N2f: Keys<{
-      a: 1;
-      [min]: 1;
-    }>;
-    N3: Keys<[]>;
-    N3a: Keys<readonly [1, 1]>;
-    N4: Keys<
-      | {
-        a: 1;
-        b: 1;
-      }
-      | object
-    >;
-    N5: Keys<[1] | { a: 1 }>;
-    N5a: Keys<
-      | {
-        a: 1;
-        b: 1;
-      }
-      | { c: 1 }
-    >;
-    N5b: Keys<
-      | {
-        a: 1;
-        b: 1;
-      }
-      | { c?: 1 }
-    >;
-
-    // N10: Keys<null>;
-    // N10a: Keys<undefined>;
-    // N10b: Keys<void>;
-    // N10c: Keys<unknown>;
-    // N11c: Keys<Record<string | "30", 1>>;
-  } extends Record<string, never> ? "PASS" : never;
-}

package/dependency/types/utility/interface/transform/Unrequire.d.ts

@@ -1,45 +0,0 @@
-declare type Unrequire<R extends object, OK extends string> = Interface<R> extends never
-  ? never
-  : literalful<OK> extends never
-    ? never
-    : OK extends keyof R
-      ? Omit<Interface<R>, literalful<OK>> & Partial<Pick<Interface<R>, literalful<OK>>>
-      : never;
-
-declare namespace Unrequire {
-  export type T = Unrequire<{
-    a: 1;
-    b: 1;
-    c: 1;
-  }, "c">;
-  export type T1c = "a" extends keyof T ? true : false; // true
-  export type T1b = "b" extends keyof T ? true : false; // true
-  export type T1 = "c" extends keyof T ? true : false; // true
-  export type T2 = {
-    a: 1;
-    b: 1;
-  } extends T ? true : false; // true
-  export type T2b = {
-    a: 1;
-    b: 1;
-    c: 1;
-  } extends T ? true : false; // true
-  export type T2c = {
-    a: 1;
-    b: 1;
-    c: 1;
-    z: 9001;
-  } extends T ? true : false; // true
-}
-
-declare namespace NotUnrequire {
-  export type N_null = {
-    a: 1;
-    b: 1;
-    c: 1;
-  } extends Unrequire.T ? true : false; // true
-  export type N = {
-    b: 1;
-    c: 1;
-  } extends Unrequire.T ? true : false; // false
-}

package/dependency/types/utility/iterable/construct/ArrayN.d.ts

@@ -1,12 +0,0 @@
-// TODO: constrain to positive integer
-declare type ArrayN<I, N extends number = 0> = [I] extends [never]
-  ? never
-  : N extends number
-    ? N extends 0
-      ? [...I[]]
-      : ArrayBuilder<I, N>
-    : never;
-
-type ArrayBuilder<I, N extends number, H extends I[] = []> = H["length"] extends N
-  ? [...H, ...I[]]
-  : ArrayBuilder<I, N, [...H, I]>;

package/dependency/types/utility/iterable/construct/Tuple.d.ts

@@ -1,27 +0,0 @@
-// TODO: constrain to positive integer
-declare type Tuple<I, N extends number = 2> = [I] extends [never]
-  ? never
-  : N extends number
-    ? N extends 0
-      ? readonly []
-      : TupleBuilder<I, Numbered<N>>
-    : never;
-
-type TupleBuilder<I, N, H extends readonly I[] = readonly []> = H["length"] extends N
-  ? H
-  : TupleBuilder<I, N, readonly [...H, I]>;
-
-declare namespace Tuple {
-  export type T = Tuple<string>;
-  export type T0 = Tuple<string, 0>;
-  export type T0a = Tuple<string, 1>;
-  export type T0b = Tuple<string, 3>;
-  export type T1 = Tuple<string | number>;
-  export type T2 = Tuple<string, 2 | 3>;
-  export type T3 = Tuple<string | number, 2 | 3>;
-  export type T4 = Tuple<string, never>;
-  export type T4a = Tuple<string, 0>;
-  export type T4b = Tuple<string, 0 | 1>;
-}
-
-type NN = Numbered<5 | 10>;

package/dependency/types/utility/iterable/construct/arrays/Arrays.d.ts

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

package/dependency/types/utility/iterable/construct/tuples/Tuples.d.ts

@@ -1,9 +0,0 @@
-declare type Monad<I> = Tuple<I, 1>;
-declare type Triad<I> = Tuple<I, 3>;
-declare type Quad<I> = Tuple<I, 4>;
-declare type Pentad<I> = Tuple<I, 5>;
-declare type Hexad<I> = Tuple<I, 6>;
-declare type Heptad<I> = Tuple<I, 7>;
-declare type Octad<I> = Tuple<I, 8>;
-declare type Nonad<I> = Tuple<I, 9>;
-declare type Decad<I> = Tuple<I, 10>;

package/dependency/types/utility/iterable/identity/DyadType.d.ts

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

package/dependency/types/utility/iterable/identity/MonadType.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<boolean>>;
-  export type T8b = MonadType<ArrayN<string, 3>>;
-  export type T8c = MonadType<
-    | ArrayN<string, 3>
-    | Tuple<boolean>
-    | [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<string>>;
-  export type N32 = MonadType<[string?]>;
-  export type N33 = MonadType<readonly [string?]>;
-}

package/dependency/types/utility/iterable/identity/TriadType.d.ts

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