@tsonic/js-globals 0.1.0 → 0.2.0

package/index.d.ts

@@ -8,24 +8,14 @@
  *
  * Key principle: Array<T> HAS JS members like .length and .map
  * This enables JS-style programming while compiling to C# with Tsonic.JSRuntime
+ *
+ * Index-space values (length, indexOf, etc.) use branded `int` type from
+ * @tsonic/types to enable numeric proof validation for array indexing.
  */
 
-declare global {
-  /**
-   * Primitive types (required by TypeScript compiler)
-   */
-  type string = string;
-  type number = number;
-  type boolean = boolean;
-  type symbol = symbol;
-  type bigint = bigint;
-  type undefined = undefined;
-  type null = null;
-  type any = any;
-  type unknown = unknown;
-  type never = never;
-  type void = void;
+import { int } from "@tsonic/types";
 
+declare global {
   /**
    * Array type with full JavaScript API
    * In JS mode, these compile to Tsonic.JSRuntime extension methods
@@ -34,7 +24,7 @@ declare global {
     /**
      * Gets or sets the length of the array.
      */
-    length: number;
+    length: int;
 
     /**
      * Returns the item located at the specified index.
@@ -44,7 +34,7 @@ declare global {
     /**
      * Appends new elements to the end of an array, and returns the new length.
      */
-    push(...items: T[]): number;
+    push(...items: T[]): int;
 
     /**
      * Removes the last element from an array and returns it.
@@ -59,7 +49,7 @@ declare global {
     /**
      * Inserts new elements at the start of an array, and returns the new length.
      */
-    unshift(...items: T[]): number;
+    unshift(...items: T[]): int;
 
     /**
      * Returns a copy of a section of an array.
@@ -74,12 +64,12 @@ declare global {
     /**
      * Returns the index of the first occurrence of a value in an array, or -1 if it is not present.
      */
-    indexOf(searchElement: T, fromIndex?: number): number;
+    indexOf(searchElement: T, fromIndex?: number): int;
 
     /**
      * Returns the index of the last occurrence of a specified value in an array, or -1 if it is not present.
      */
-    lastIndexOf(searchElement: T, fromIndex?: number): number;
+    lastIndexOf(searchElement: T, fromIndex?: number): int;
 
     /**
      * Determines whether all the members of an array satisfy the specified test.
@@ -119,7 +109,7 @@ declare global {
     /**
      * Returns the index of the first element in the array where predicate is true, and -1 otherwise.
      */
-    findIndex(predicate: (value: T, index: number, array: T[]) => unknown): number;
+    findIndex(predicate: (value: T, index: number, array: T[]) => unknown): int;
 
     /**
      * Determines whether an array includes a certain element.
@@ -163,11 +153,11 @@ declare global {
   }
 
   interface ReadonlyArray<T> {
-    readonly length: number;
+    readonly length: int;
     readonly [n: number]: T;
     slice(start?: number, end?: number): T[];
-    indexOf(searchElement: T, fromIndex?: number): number;
-    lastIndexOf(searchElement: T, fromIndex?: number): number;
+    indexOf(searchElement: T, fromIndex?: number): int;
+    lastIndexOf(searchElement: T, fromIndex?: number): int;
     every(predicate: (value: T, index: number, array: readonly T[]) => unknown): boolean;
     some(predicate: (value: T, index: number, array: readonly T[]) => unknown): boolean;
     forEach(callbackfn: (value: T, index: number, array: readonly T[]) => void): void;
@@ -175,7 +165,7 @@ declare global {
     filter(predicate: (value: T, index: number, array: readonly T[]) => unknown): T[];
     reduce<U>(callbackfn: (previousValue: U, currentValue: T, currentIndex: number, array: readonly T[]) => U, initialValue: U): U;
     find(predicate: (value: T, index: number, array: readonly T[]) => unknown): T | undefined;
-    findIndex(predicate: (value: T, index: number, array: readonly T[]) => unknown): number;
+    findIndex(predicate: (value: T, index: number, array: readonly T[]) => unknown): int;
     includes(searchElement: T, fromIndex?: number): boolean;
     concat(...items: (T | readonly T[])[]): T[];
     join(separator?: string): string;
@@ -199,7 +189,7 @@ declare global {
     /**
      * Returns the length of a String object.
      */
-    readonly length: number;
+    readonly length: int;
 
     /**
      * Returns the character at the specified index.
@@ -219,12 +209,12 @@ declare global {
     /**
      * Returns the position of the first occurrence of a substring.
      */
-    indexOf(searchString: string, position?: number): number;
+    indexOf(searchString: string, position?: number): int;
 
     /**
      * Returns the last occurrence of a substring in the string.
      */
-    lastIndexOf(searchString: string, position?: number): number;
+    lastIndexOf(searchString: string, position?: number): int;
 
     /**
      * Determines whether a string contains another string.
@@ -314,7 +304,7 @@ declare global {
     /**
      * Searches for a match in a string, and returns the index.
      */
-    search(regexp: RegExp): number;
+    search(regexp: RegExp): int;
   }
 
   interface StringConstructor {
@@ -391,7 +381,7 @@ declare global {
    */
   interface Function {
     prototype: any;
-    readonly length: number;
+    readonly length: int;
     call(thisArg: any, ...argArray: any[]): any;
     apply(thisArg: any, argArray?: any): any;
     bind(thisArg: any, ...argArray: any[]): any;
@@ -612,12 +602,12 @@ declare global {
    */
   interface IArguments {
     [index: number]: any;
-    length: number;
+    length: int;
     callee: Function;
   }
 
   interface ArrayLike<T> {
-    readonly length: number;
+    readonly length: int;
     readonly [n: number]: T;
   }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tsonic/js-globals",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "description": "Global type definitions for Tsonic JS mode (noLib: true, JavaScript semantics)",
   "main": "index.d.ts",
   "types": "index.d.ts",
@@ -8,6 +8,15 @@
     "index.d.ts",
     "README.md"
   ],
+  "scripts": {
+    "typecheck": "tsc --noEmit"
+  },
+  "dependencies": {
+    "@tsonic/types": "^0.3.0"
+  },
+  "devDependencies": {
+    "typescript": "^5.0.0"
+  },
   "keywords": [
     "tsonic",
     "typescript",