@tsonic/core 10.0.1 → 10.0.5

package/lang.d.ts

@@ -169,6 +169,84 @@ export declare function nameof(expression: unknown): string;
  */
 export declare function trycast<T>(value: unknown): T | null;
 
+/**
+ * Compile-time-only interface view.
+ *
+ * This is NOT a runtime cast. The compiler must erase this call before emitting C#.
+ *
+ * Primary use: treat a value as a CLR interface/nominal type for TypeScript type checking,
+ * without introducing runtime casts in emitted C# (important for EF Core precompilation).
+ *
+ * @example
+ * ```ts
+ * import { asinterface } from "@tsonic/core/lang.js";
+ * import type { IQueryable } from "@tsonic/dotnet/System.Linq.js";
+ *
+ * const q = asinterface<IQueryable<User>>(db.Users);
+ * // q is typed as IQueryable<User> in TS, but emits without a cast in C#.
+ * ```
+ */
+export declare function asinterface<T>(value: unknown): T;
+
+/**
+ * Parameter passing modifiers (call-site markers).
+ *
+ * These are compile-time-only intrinsics. The compiler must erase them and emit
+ * the corresponding C# argument modifiers: `out`, `ref`, `in`.
+ *
+ * These are *not* runtime functions.
+ *
+ * @example
+ * ```ts
+ * import { defaultof, out } from "@tsonic/core/lang.js";
+ *
+ * let value = defaultof<int>();
+ * if (dict.TryGetValue("key", out(value))) {
+ *   // value is assigned by the call
+ * }
+ * ```
+ */
+export declare function out<T>(value: T): T;
+
+/**
+ * Compile-time-only `ref` argument marker (emits `ref x`).
+ */
+export declare function ref<T>(value: T): T;
+
+/**
+ * Compile-time-only `in` argument marker (emits `in x`).
+ *
+ * Named `inref` because `in` is a TypeScript reserved keyword.
+ */
+export declare function inref<T>(value: T): T;
+
+/**
+ * Compile-time-only type selection marker.
+ *
+ * This is NOT a runtime type test. The compiler must erase this call before emitting C#.
+ *
+ * Primary use: specialize a single TypeScript overload implementation into one CLR method
+ * per signature (e.g., overriding a protected virtual overload family).
+ *
+ * @example
+ * ```ts
+ * import { istype } from "@tsonic/core/lang.js";
+ * import type { int } from "@tsonic/core/types.js";
+ *
+ * // Overload signatures
+ * Foo(x: int): int;
+ * Foo(x: string): int;
+ *
+ * // Single implementation (compile-time specialized)
+ * Foo(p0: unknown): unknown {
+ *   if (istype<int>(p0)) return p0 + 1;
+ *   if (istype<string>(p0)) return p0.length;
+ *   throw new Error("unreachable");
+ * }
+ * ```
+ */
+export declare function istype<T>(value: unknown): value is T;
+
 // ============================================================================
 // Extension Method Intrinsics
 // ============================================================================

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@tsonic/core",
-  "version": "10.0.1",
+  "version": "10.0.5",
   "description": "Core type definitions for Tsonic (versioned by .NET major)",
   "type": "module",
   "keywords": [