rtt 1.1.2 → 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

@@ -1,11 +1,12 @@
-export declare interface $Type<T = unknown> {
-    name: string;
+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 = unknown>(name: string, parent?: $Type | null | undefined, generics?: $Type[] | null | undefined): $Type<T>;
+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;

package/dist/index.js

@@ -8,16 +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 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "rtt",
-  "version": "1.1.2",
+  "version": "1.2.0",
   "description": "Runtime Typescript Types",
   "author": "Nizami",
   "license": "MIT",