strict-ts-lib-v5.7 0.4.0

package/libs/es2019/index.d.ts

@@ -0,0 +1,8 @@
+/// <reference no-default-lib="true"/>
+
+/// <reference lib="es2018" />
+/// <reference lib="es2019.array" />
+/// <reference lib="es2019.object" />
+/// <reference lib="es2019.string" />
+/// <reference lib="es2019.symbol" />
+/// <reference lib="es2019.intl" />

package/libs/es2019/intl/index.d.ts

@@ -0,0 +1,7 @@
+/// <reference no-default-lib="true"/>
+
+declare namespace Intl {
+  interface DateTimeFormatPartTypesRegistry {
+    readonly unknown: never;
+  }
+}

package/libs/es2019/object/index.d.ts

@@ -0,0 +1,143 @@
+/// <reference no-default-lib="true"/>
+/// <reference lib="es5" />
+
+/// <reference lib="es2015.iterable" />
+
+declare namespace StrictLibInternals {
+  type RecursionLimit = 20;
+
+  /**
+   * - `[['x', 1], ['y', 3]]` -> `{ x: 1, y: 3 }`
+   *
+   * @internal
+   */
+  export type EntriesToObject<
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+  > = import('ts-type-forge').MergeIntersection<
+    EntriesToObjectImpl<{}, Entries>
+  >;
+
+  /** @internal */
+  type EntriesToObjectImpl<
+    R,
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+  > = import('ts-type-forge').TypeEq<Entries['length'], 0> extends true
+    ? R
+    : EntriesToObjectImpl<
+        R & { [key in Entries[0][0]]: Entries[0][1] },
+        import('ts-type-forge').List.Tail<Entries>
+      >;
+
+  /**
+   * - `['x' | 'y' | 'z', number][]]` -> `'x' | 'y' | 'z'`
+   * - `[['a' | 'b' | 'c', number], ...['x' | 'y' | 'z', number][]]` -> `'a' | 'b' |
+   *   'c' | 'x' | 'y' | 'z'`
+   *
+   * @internal
+   *
+   * @note 上の2個目の例に対応するためには、無限長の Entries に対しても再帰を回す必要があるが、
+   * 止めるタイミングを決められないので再帰制限を設けている。
+   */
+  export type KeysOfEntries<
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+  > = KeysOfEntriesImpl<never, Entries, RecursionLimit>;
+
+  /** @internal */
+  type KeysOfEntriesImpl<
+    K,
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+    RemainingNumRecursions extends number,
+  > = import('ts-type-forge').TypeEq<RemainingNumRecursions, 0> extends true
+    ? K
+    : import('ts-type-forge').TypeEq<Entries['length'], 0> extends true
+      ? K
+      : KeysOfEntriesImpl<
+          K | Entries[0][0],
+          import('ts-type-forge').List.Tail<Entries>,
+          import('ts-type-forge').Decrement<RemainingNumRecursions>
+        >;
+
+  /** @internal */
+  export type ValuesOfEntries<
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+  > = ValuesOfEntriesImpl<never, Entries, RecursionLimit>;
+
+  /** @internal */
+  type ValuesOfEntriesImpl<
+    K,
+    Entries extends readonly (readonly [PropertyKey, unknown])[],
+    RemainingNumRecursions extends number,
+  > = import('ts-type-forge').TypeEq<RemainingNumRecursions, 0> extends true
+    ? K
+    : import('ts-type-forge').TypeEq<Entries['length'], 0> extends true
+      ? K
+      : ValuesOfEntriesImpl<
+          K | Entries[0][1],
+          import('ts-type-forge').List.Tail<Entries>,
+          import('ts-type-forge').Decrement<RemainingNumRecursions>
+        >;
+
+  /** @internal */
+  export type PartialIfKeyIsUnion<K, T> =
+    import('ts-type-forge').IsUnion<K> extends true ? Partial<T> : T;
+}
+
+interface ObjectConstructor {
+  /**
+   * Returns an object created by key-value entries for properties and methods
+   * @param entries An iterable object that contains key-value entries for properties and methods.
+   *
+   * @example
+   *   const entries = [
+   *     ['x', 1],
+   *     ['y', 3],
+   *   ] as const satisfies [['x', 1], ['y', 3]];
+   *
+   *   const obj = Object.fromEntries(entries) satisfies { x: 1; y: 3 };
+   *
+   * @note `entries` がタプル型の場合には key-value の組み合わせも反映した型にする。
+   * そうでない場合、 `K` が union 型の場合、`entries` がそのすべてを網羅しているとは限らないため、
+   * `fromEntries` の返り値型がその union 要素すべてを含む型になってしまわないように `Partial` を付けている。
+   *
+   * index signature の record では `Object.entries` の key が `string` そのものになり
+   * union ではなくなるため、`Partial` は付かない（`WithOpenString` 参照）。
+   */
+  fromEntries<
+    const Entries extends readonly (readonly [PropertyKey, unknown])[],
+  >(
+    entries: Entries,
+  ): import('ts-type-forge').IsFixedLengthList<Entries> extends true
+    ? StrictLibInternals.EntriesToObject<Entries>
+    : StrictLibInternals.PartialIfKeyIsUnion<
+        StrictLibInternals.KeysOfEntries<Entries>,
+        import('ts-type-forge').MutableRecord<
+          StrictLibInternals.KeysOfEntries<Entries>,
+          StrictLibInternals.ValuesOfEntries<Entries>
+        >
+      >;
+
+  /**
+   * Returns an object created by key-value entries for properties and methods
+   * @param entries An iterable object that contains key-value entries for properties and methods.
+   *
+   * @example
+   *   const entries: readonly (readonly ['x' | 'y' | 'z' | 4, 1 | 2 | 3])[] = [
+   *     ['x', 1],
+   *     ['y', 2],
+   *     ['z', 3],
+   *     [4, 3],
+   *   ] as const;
+   *
+   *   const obj = Object.fromEntries(entries); // Record<'x' | 'y' | 'z' | 4, 1 | 2 | 3>
+   *
+   */
+  fromEntries<K extends PropertyKey, V>(
+    entries: Iterable<readonly [K, V]>,
+  ): import('ts-type-forge').MutableRecord<K, V>;
+
+  /**
+   * Returns an object created by key-value entries for properties and methods
+   * @param entries An iterable object that contains key-value entries for properties and methods.
+   */
+  fromEntries(entries: Iterable<readonly unknown[]>): unknown;
+}

package/libs/es2019/string/index.d.ts

@@ -0,0 +1,21 @@
+/// <reference no-default-lib="true"/>
+
+interface String {
+  /** Removes the trailing white space and line terminator characters from a string. */
+  trimEnd(): string;
+
+  /** Removes the leading white space and line terminator characters from a string. */
+  trimStart(): string;
+
+  /**
+   * Removes the leading white space and line terminator characters from a string.
+   * @deprecated A legacy feature for browser compatibility. Use `trimStart` instead
+   */
+  trimLeft(): string;
+
+  /**
+   * Removes the trailing white space and line terminator characters from a string.
+   * @deprecated A legacy feature for browser compatibility. Use `trimEnd` instead
+   */
+  trimRight(): string;
+}

package/libs/es2019/symbol/index.d.ts

@@ -0,0 +1,8 @@
+/// <reference no-default-lib="true"/>
+
+interface Symbol {
+  /**
+   * Expose the [[Description]] internal slot of a symbol directly.
+   */
+  readonly description: string | undefined;
+}