Pure types

Author: slowcheetah

packages/core-js-types/src/52/web/url-parse.d.ts

@@ -1,5 +1,5 @@
 declare global {
-  interface URLConstructor {
+  interface URLConstructor extends URL {
     parse(url: string | URL, base?: string | URL): URL | null;
   }
 }

packages/core-js-types/src/56/common/pure/parse-float.d.ts

@@ -0,0 +1,3 @@
+declare namespace CoreJS {
+  export function CoreJSparseFloat(string: string): number;
+}

packages/core-js-types/src/56/common/pure/parse-int.d.ts

@@ -0,0 +1,3 @@
+declare namespace CoreJS {
+  export function CoreJSparseInt(string: string): number;
+}

packages/core-js-types/src/56/core-js-types/core-js-types.d.ts

@@ -17,6 +17,17 @@ declare global {
 
   interface PromiseRejectedResult { status: "rejected"; reason: any; }
 
+  interface AsyncIterator<T, TReturn = any, TNext = any> {
+    // NOTE: 'next' is defined using a tuple to ensure we report the correct assignability errors in all places.
+    next(...[value]: [] | [TNext]): Promise<IteratorResult<T, TReturn>>;
+    return?(value?: TReturn | PromiseLike<TReturn>): Promise<IteratorResult<T, TReturn>>;
+    throw?(e?: any): Promise<IteratorResult<T, TReturn>>;
+  }
+
+  interface AsyncIteratorConstructor {}
+
+  var AsyncIterator: AsyncIteratorConstructor;
+
   interface AsyncIterable<T, TReturn = any, TNext = any> {
     [Symbol.asyncIterator](): AsyncIterator<T, TReturn, TNext>;
   }
@@ -28,14 +39,14 @@ export type CoreJSDecoratorMetadataObject = typeof globalThis extends { Decorato
 
 export type CoreJSIteratorObject<T, TReturn = any, TNext = undefined> = IteratorObject<T, TReturn, TNext>;
 
+export type CoreJSPromiseSettledResult<T> = typeof globalThis extends { PromiseSettledResult: infer O }  // from ts 3.8 and es2020
+  ? O
+  : PromiseFulfilledResult<T> | PromiseRejectedResult;
+
 export type CoreJSFlatArray<Arr, Depth extends number> = typeof globalThis extends { FlatArray: infer O } // from ts 4.4
   ? O
   : {
     done: Arr;
     recur: Arr extends ReadonlyArray<infer InnerArr> ? CoreJSFlatArray<InnerArr, [-1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20][Depth]>
       : Arr;
   }[Depth extends -1 ? "done" : "recur"];
-
-export type CoreJSPromiseSettledResult<T> = typeof globalThis extends { PromiseSettledResult: infer O }  // from ts 3.8 and es2020
-  ? O
-  : PromiseFulfilledResult<T> | PromiseRejectedResult;

packages/core-js-types/src/56/core-js-types/core-js-types.pure.d.ts

@@ -0,0 +1,28 @@
+/// <reference types="../proposals/pure/symbol.d.ts" />
+/// <reference types="../proposals/pure/iterator.d.ts" />
+
+// For ensuring compatibility with TypeScript standard types, this code is based on:
+// https://github.com/microsoft/TypeScript/blob/2a90a739c1c1e87e3c3d0c93e16f7e5baadf8035/src/lib/es2019.array.d.ts
+// License: https://github.com/microsoft/TypeScript/blob/v5.9.3/LICENSE.txt
+
+declare namespace CoreJS {
+  export type CoreJSDecoratorMetadataObject = typeof globalThis extends { DecoratorMetadataObject: infer O } // from ts 5.2
+    ? O
+    : Record<PropertyKey, unknown> & object;
+
+  interface PromiseFulfilledResult<T> { status: "fulfilled"; value: T; }
+
+  interface PromiseRejectedResult { status: "rejected"; reason: any; }
+
+  export type CoreJSPromiseSettledResult<T> = typeof globalThis extends { PromiseSettledResult: infer O }  // from ts 3.8 and es2020
+    ? O
+    : PromiseFulfilledResult<T> | PromiseRejectedResult;
+
+  export type CoreJSFlatArray<Arr, Depth extends number> = typeof globalThis extends { FlatArray: infer O } // from ts 4.4
+    ? O
+    : {
+      done: Arr;
+      recur: Arr extends ReadonlyArray<infer InnerArr> ? CoreJSFlatArray<InnerArr, [-1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20][Depth]>
+        : Arr;
+    }[Depth extends -1 ? "done" : "recur"];
+}

packages/core-js-types/src/56/proposals/accessible-object-hasownproperty.d.ts

@@ -4,6 +4,7 @@
 // For ensuring compatibility with TypeScript standard types, this code is based on:
 // https://github.com/microsoft/TypeScript/blob/069de743dbd17b47cc2fc58e1d16da5410911284/src/lib/es2022.object.d.ts
 // License: https://github.com/microsoft/TypeScript/blob/v5.9.3/LICENSE.txt
+
 interface ObjectConstructor {
   /**
    * Determines whether an object has a property with the specified name.

packages/core-js-types/src/56/proposals/array-buffer-base64.d.ts

@@ -42,7 +42,7 @@ interface Uint8ArrayConstructor {
   fromHex(str: string): Uint8Array;
 }
 
-interface Uint8Array {
+interface Uint8Array { // @type-options no-redefine
   /**
    * Sets the `Uint8Array` from a base64-encoded string.
    * @param string The base64-encoded string.

packages/core-js-types/src/56/proposals/array-buffer-transfer.d.ts

@@ -5,7 +5,7 @@
 // https://github.com/microsoft/TypeScript/blob/4a957b74ea4d716356181644d23f6ad5f10824d6/src/lib/es2024.arraybuffer.d.ts
 // License: https://github.com/microsoft/TypeScript/blob/v5.9.3/LICENSE.txt
 
-interface ArrayBuffer {
+interface ArrayBuffer { // @type-options export-base-constructor
   // todo hack for modern ts
   // get detached(): boolean;
 

packages/core-js-types/src/56/proposals/array-filtering.d.ts

@@ -1,7 +1,7 @@
 // proposal stage: 1
 // https://github.com/tc39/proposal-array-filtering
 
-interface Array<T> {
+interface Array<T> { // @type-options no-redefine
   /**
    * Removes the items that return true
    * @param callbackFn A function that accepts up to three arguments. The filterReject method calls the
@@ -12,7 +12,7 @@ interface Array<T> {
   filterReject(callbackFn: (value: T, index: number, target: T[]) => boolean, thisArg?: any): T[];
 }
 
-interface Int8Array {
+interface Int8Array { // @type-options no-redefine
   /**
    * Removes the items that return true
    * @param callbackFn A function that accepts up to three arguments. The filterReject method calls the
@@ -23,7 +23,7 @@ interface Int8Array {
   filterReject(callbackFn: (value: number, index: number, target: Int8Array) => boolean, thisArg?: any): Int8Array;
 }
 
-interface Uint8Array {
+interface Uint8Array { // @type-options no-redefine
   /**
    * Removes the items that return true
    * @param callbackFn A function that accepts up to three arguments. The filterReject method calls the
@@ -34,7 +34,7 @@ interface Uint8Array {
   filterReject(callbackFn: (value: number, index: number, target: Uint8Array) => boolean, thisArg?: any): Uint8Array;
 }
 
-interface Uint8ClampedArray {
+interface Uint8ClampedArray { // @type-options no-redefine
   /**
    * Removes the items that return true
    * @param callbackFn A function that accepts up to three arguments. The filterReject method calls the
@@ -45,7 +45,7 @@ interface Uint8ClampedArray {
   filterReject(callbackFn: (value: number, index: number, target: Uint8ClampedArray) => boolean, thisArg?: any): Uint8ClampedArray;
 }
 
-interface Int16Array {
+interface Int16Array { // @type-options no-redefine
   /**
    * Removes the items that return true
    * @param callbackFn A function that accepts up to three arguments. The filterReject method calls the
@@ -56,7 +56,7 @@ interface Int16Array {
   filterReject(callbackFn: (value: number, index: number, target: Int16Array) => boolean, thisArg?: any): Int16Array;
 }
 
-interface Uint16Array {
+interface Uint16Array { // @type-options no-redefine
   /**
    * Removes the items that return true
    * @param callbackFn A function that accepts up to three arguments. The filterReject method calls the
@@ -67,7 +67,7 @@ interface Uint16Array {
   filterReject(callbackFn: (value: number, index: number, target: Uint16Array) => boolean, thisArg?: any): Uint16Array;
 }
 
-interface Int32Array {
+interface Int32Array { // @type-options no-redefine
   /**
    * Removes the items that return true
    * @param callbackFn A function that accepts up to three arguments. The filterReject method calls the
@@ -78,7 +78,7 @@ interface Int32Array {
   filterReject(callbackFn: (value: number, index: number, target: Int32Array) => boolean, thisArg?: any): Int32Array;
 }
 
-interface Uint32Array {
+interface Uint32Array { // @type-options no-redefine
   /**
    * Removes the items that return true
    * @param callbackFn A function that accepts up to three arguments. The filterReject method calls the
@@ -89,7 +89,7 @@ interface Uint32Array {
   filterReject(callbackFn: (value: number, index: number, target: Uint32Array) => boolean, thisArg?: any): Uint32Array;
 }
 
-interface Float32Array {
+interface Float32Array { // @type-options no-redefine
   /**
    * Removes the items that return true
    * @param callbackFn A function that accepts up to three arguments. The filterReject method calls the
@@ -100,11 +100,11 @@ interface Float32Array {
   filterReject(callbackFn: (value: number, index: number, target: Float32Array) => boolean, thisArg?: any): Float32Array;
 }
 
-interface Float64Array {
+interface Float64Array { // @type-options no-redefine
   filterReject(callbackFn: (value: number, index: number, target: Float64Array) => boolean, thisArg?: any): Float64Array;
 }
 
-interface BigInt64Array {
+interface BigInt64Array { // @type-options no-redefine
   /**
    * Removes the items that return true
    * @param callbackFn A function that accepts up to three arguments. The filterReject method calls the
@@ -115,7 +115,7 @@ interface BigInt64Array {
   filterReject(callbackFn: (value: bigint, index: number, target: BigInt64Array) => boolean, thisArg?: any): BigInt64Array;
 }
 
-interface BigUint64Array {
+interface BigUint64Array { // @type-options no-redefine
   /**
    * Removes the items that return true
    * @param callbackFn A function that accepts up to three arguments. The filterReject method calls the

packages/core-js-types/src/56/proposals/array-find-from-last.d.ts

@@ -5,7 +5,7 @@
 // https://github.com/microsoft/TypeScript/blob/069de743dbd17b47cc2fc58e1d16da5410911284/src/lib/es2023.array.d.ts
 // License: https://github.com/microsoft/TypeScript/blob/v5.9.3/LICENSE.txt
 
-interface Array<T> {
+interface Array<T> { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.
@@ -30,7 +30,7 @@ interface Array<T> {
   findLastIndex(predicate: (value: T, index: number, array: T[]) => unknown, thisArg?: any): number;
 }
 
-interface Int8Array {
+interface Int8Array { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.
@@ -55,7 +55,7 @@ interface Int8Array {
   findLastIndex(predicate: (value: number, index: number, array: this) => unknown, thisArg?: any): number;
 }
 
-interface Uint8Array {
+interface Uint8Array { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.
@@ -80,7 +80,7 @@ interface Uint8Array {
   findLastIndex(predicate: (value: number, index: number, array: this) => unknown, thisArg?: any): number;
 }
 
-interface Uint8ClampedArray {
+interface Uint8ClampedArray { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.
@@ -105,7 +105,7 @@ interface Uint8ClampedArray {
   findLastIndex(predicate: (value: number, index: number, array: this) => unknown, thisArg?: any): number;
 }
 
-interface Int16Array {
+interface Int16Array { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.
@@ -130,7 +130,7 @@ interface Int16Array {
   findLastIndex(predicate: (value: number, index: number, array: this) => unknown, thisArg?: any): number;
 }
 
-interface Uint16Array {
+interface Uint16Array { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.
@@ -155,7 +155,7 @@ interface Uint16Array {
   findLastIndex(predicate: (value: number, index: number, array: this) => unknown, thisArg?: any): number;
 }
 
-interface Int32Array {
+interface Int32Array { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.
@@ -180,7 +180,7 @@ interface Int32Array {
   findLastIndex(predicate: (value: number, index: number, array: this) => unknown, thisArg?: any): number;
 }
 
-interface Uint32Array {
+interface Uint32Array { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.
@@ -205,7 +205,7 @@ interface Uint32Array {
   findLastIndex(predicate: (value: number, index: number, array: this) => unknown, thisArg?: any): number;
 }
 
-interface Float32Array {
+interface Float32Array { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.
@@ -230,7 +230,7 @@ interface Float32Array {
   findLastIndex(predicate: (value: number, index: number, array: this) => unknown, thisArg?: any): number;
 }
 
-interface Float64Array {
+interface Float64Array { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.
@@ -246,7 +246,7 @@ interface Float64Array {
   findLastIndex(predicate: (value: number, index: number, array: this) => unknown, thisArg?: any): number;
 }
 
-interface BigInt64Array {
+interface BigInt64Array { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.
@@ -271,7 +271,7 @@ interface BigInt64Array {
   findLastIndex(predicate: (value: bigint, index: number, array: this) => unknown, thisArg?: any): number;
 }
 
-interface BigUint64Array {
+interface BigUint64Array { // @type-options no-redefine
   /**
    * Returns the value of the last element in the array where predicate is true, and undefined
    * otherwise.