rtt 1.1.1 → 1.2.0

package/README.md

@@ -37,10 +37,14 @@ export type Animal = {$type: $Type; name: string};
 export type Dog  = Animal & { breed: string };
 export type Cat  = Animal & { lives: number };
 
-// 2️⃣ Create typed objects
+// 2️⃣ Create typed objects — manual
 const rover: Dog    = {$type: $Dog, name: 'Rover', breed: 'Labrador'};
 const whiskers: Cat = {$type: $Cat, name: 'Whiskers', lives: 9};
 
+// 2️⃣ Create typed objects — with factory (shorthand)
+const rover    = $Dog({ name: 'Rover', breed: 'Labrador' });
+const whiskers = $Cat({ name: 'Whiskers', lives: 9 });
+
 // 3️⃣ Check types at runtime
 is(rover, $Dog);       // ✅ true
 is(rover, $Animal);    // ✅ true — inheritance works!
@@ -129,6 +133,21 @@ const $Dog    = $type<Dog>('app.Dog', $Animal);
 | `parent?` | `$Type \| null` | Parent type for inheritance chains |
 | `generics?` | `$Type[]` | Generic type arguments to compare |
 
+### `$type(value)` → `T`
+
+Factory method on every `$Type` descriptor. Creates a new instance with the `$type` tag automatically attached — no need to manually spread `{ $type: type, ... }`:
+
+```ts
+const rover = $Dog({ name: 'Rover', breed: 'Labrador' });
+// ✅ { $type: $Dog, name: 'Rover', breed: 'Labrador' }
+```
+
+| Param | Type | Description |
+|---|---|---|
+| `value` | `Omit<T, '$type'>` | Object without the `$type` property |
+
+**Returns**: A new object of type `T` with `$type` automatically set to the descriptor.
+
 ### `is<T>(value, type)` → `value is T`
 
 Runtime type guard. Returns `true` if `value.$type` matches `type` or any of its ancestors in the hierarchy.

package/dist/index.d.ts

@@ -0,0 +1,21 @@
+export declare interface $Type<T = any> {
+    (value: Omit<T, '$type'>): T;
+    typeName: string;
+    type?: T;
+    parent?: $Type | null | undefined;
+    generics?: $Type[] | null | undefined;
+}
+
+export declare function $type<T>(name: string, parent?: $Type | null | undefined, generics?: $Type[] | null | undefined): $Type<T>;
+
+export declare type Brand<T extends string> = {
+    [brand]?: T;
+};
+
+declare const brand: unique symbol;
+
+export declare function is<T extends $Type>(value: any, type: T): value is Exclude<T['type'], undefined>;
+
+export declare function isType(a: $Type, b: $Type): boolean;
+
+export { }

package/dist/index.js

@@ -8,18 +8,21 @@ function isType(a, b) {
 		if (a.generics && a.generics.length === b.generics.length) return a.generics.every((x, i) => isType(x, b.generics[i]));
 		return false;
 	}
-	return a.name === b.name;
+	return a.typeName === b.typeName;
 }
 //#endregion
 //#region src/type/type.ts
 function $type(name, parent, generics) {
-	return {
-		name,
-		parent,
-		generics
+	const type = function(value) {
+		return {
+			$type: type,
+			...value
+		};
 	};
+	type.typeName = name;
+	type.parent = parent;
+	type.generics = generics;
+	return type;
 }
 //#endregion
 export { $type, is, isType };
-
-//# sourceMappingURL=index.js.map

package/package.json

@@ -1,17 +1,13 @@
 {
-  "author": "Nizami",
-  "bugs": {
-    "url": "https://github.com/nizami/rtt/issues"
-  },
+  "name": "rtt",
+  "version": "1.2.0",
   "description": "Runtime Typescript Types",
-  "devDependencies": {
-    "@types/node": "^25.9.3",
-    "barrelize": "^1.8.1",
-    "typescript": "~6.0.3",
-    "vite": "^8.0.16",
-    "vite-plugin-dts": "^5.0.2",
-    "vitest": "^4.1.8"
-  },
+  "author": "Nizami",
+  "license": "MIT",
+  "type": "module",
+  "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
   "exports": {
     ".": {
       "import": "./dist/index.js",
@@ -21,26 +17,31 @@
   "files": [
     "dist"
   ],
-  "homepage": "https://github.com/nizami/rtt#readme",
+  "scripts": {
+    "build": "barrelize && vite build",
+    "test": "barrelize && vitest run"
+  },
   "keywords": [
     "Typescript",
     "Runtime Types"
   ],
-  "license": "MIT",
-  "main": "index.js",
-  "name": "rtt",
+  "homepage": "https://github.com/nizami/rtt#readme",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/nizami/rtt.git"
   },
-  "scripts": {
-    "build": "barrelize && vite build",
-    "test": "vitest run"
+  "bugs": {
+    "url": "https://github.com/nizami/rtt/issues"
+  },
+  "devDependencies": {
+    "@microsoft/api-extractor": "^7.58.9",
+    "@types/node": "^25.9.3",
+    "barrelize": "^1.8.1",
+    "typescript": "~6.0.3",
+    "unplugin-dts": "^1.0.2",
+    "vite": "^8.0.16",
+    "vitest": "^4.1.8"
   },
-  "sideEffects": false,
-  "type": "module",
-  "types": "./dist/index.d.ts",
-  "version": "1.1.1",
   "allowScripts": {
     "fsevents@2.3.3": true
   }

package/dist/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","names":[],"sources":["../src/is/is.ts","../src/type/type.ts"],"sourcesContent":["import {$Type} from '../type/type';\n\nexport function is<T extends $Type>(value: any, type: T): value is Exclude<T['type'], undefined> {\n  return '$type' in value && isType(value?.$type, type);\n}\n\nexport function isType(a: $Type, b: $Type): boolean {\n  if (a.parent && isType(a.parent, b)) {\n    return true;\n  }\n\n  if (b.generics && b.generics.length > 0) {\n    if (a.generics && a.generics.length === b.generics.length) {\n      // todo Covariance and Contravariance ???\n      return a.generics.every((x, i) => isType(x, b.generics![i]));\n    }\n\n    return false;\n  }\n\n  return a.name === b.name;\n}\n","export interface $Type<T = unknown> {\n  name: string;\n  type?: T;\n  parent?: $Type | null | undefined;\n  generics?: $Type[] | null | undefined;\n}\n\nexport function $type<T = unknown>(\n  name: string,\n  parent?: $Type | null | undefined,\n  generics?: $Type[] | null | undefined,\n): $Type<T> {\n  return {name, parent, generics};\n}\n"],"mappings":";AAEA,SAAgB,GAAoB,OAAY,MAAiD;CAC/F,OAAO,WAAW,SAAS,OAAO,OAAO,OAAO,IAAI;AACtD;AAEA,SAAgB,OAAO,GAAU,GAAmB;CAClD,IAAI,EAAE,UAAU,OAAO,EAAE,QAAQ,CAAC,GAChC,OAAO;CAGT,IAAI,EAAE,YAAY,EAAE,SAAS,SAAS,GAAG;EACvC,IAAI,EAAE,YAAY,EAAE,SAAS,WAAW,EAAE,SAAS,QAEjD,OAAO,EAAE,SAAS,OAAO,GAAG,MAAM,OAAO,GAAG,EAAE,SAAU,EAAE,CAAC;EAG7D,OAAO;CACT;CAEA,OAAO,EAAE,SAAS,EAAE;AACtB;;;ACdA,SAAgB,MACd,MACA,QACA,UACU;CACV,OAAO;EAAC;EAAM;EAAQ;CAAQ;AAChC"}

package/dist/src/brand.d.ts

@@ -1,5 +0,0 @@
-declare const brand: unique symbol;
-export type Brand<T extends string> = {
-    [brand]?: T;
-};
-export {};

package/dist/src/index.d.ts

@@ -1,3 +0,0 @@
-export * from './brand';
-export * from './is/is';
-export * from './type/type';

package/dist/src/is/is.d.ts

@@ -1,3 +0,0 @@
-import { $Type } from '../type/type';
-export declare function is<T extends $Type>(value: any, type: T): value is Exclude<T['type'], undefined>;
-export declare function isType(a: $Type, b: $Type): boolean;

package/dist/src/is/is.test.d.ts

@@ -1 +0,0 @@
-export {};

package/dist/src/type/type.d.ts

@@ -1,7 +0,0 @@
-export interface $Type<T = unknown> {
-    name: string;
-    type?: T;
-    parent?: $Type | null | undefined;
-    generics?: $Type[] | null | undefined;
-}
-export declare function $type<T = unknown>(name: string, parent?: $Type | null | undefined, generics?: $Type[] | null | undefined): $Type<T>;

package/dist/src/type/type.test.d.ts

@@ -1 +0,0 @@
-export {};