From c03fb39a3bb07adb2377567c12706d5f76c4172c Mon Sep 17 00:00:00 2001
From: sinclairzx81 <haydn.developer@gmail.com>
Date: Sat, 1 Feb 2025 04:19:06 +0900
Subject: [PATCH] Revision 0.8.9 (#19)

* String Projection | Formatting

* Version
---
 package-lock.json                 |  4 ++--
 package.json                      |  2 +-
 src/syntax/syntax-from-typebox.ts | 13 +++++++++++--
 3 files changed, 14 insertions(+), 5 deletions(-)

diff --git a/package-lock.json b/package-lock.json
index c2fc949..d0b15f8 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "@sinclair/typemap",
-  "version": "0.8.8",
+  "version": "0.8.9",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "@sinclair/typemap",
-      "version": "0.8.8",
+      "version": "0.8.9",
       "license": "MIT",
       "devDependencies": {
         "@arethetypeswrong/cli": "^0.17.2",
diff --git a/package.json b/package.json
index e20fce7..6f702ce 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@sinclair/typemap",
-  "version": "0.8.8",
+  "version": "0.8.9",
   "description": "Syntax, Compiler and Translation System for Runtime Types",
   "author": "sinclairzx81",
   "license": "MIT",
diff --git a/src/syntax/syntax-from-typebox.ts b/src/syntax/syntax-from-typebox.ts
index 9a02379..f8087e8 100644
--- a/src/syntax/syntax-from-typebox.ts
+++ b/src/syntax/syntax-from-typebox.ts
@@ -171,7 +171,7 @@ type TFromObject<Properties extends t.TProperties,
 function FromObject(properties: t.TProperties): string {
   const propertyKeys = globalThis.Object.getOwnPropertyNames(properties)
   const delimited = FromProperties(propertyKeys, properties)
-  const result = FromDelimited(delimited, Comma)
+  const result = FromDelimited(delimited, `${Comma} `)
   return `{ ${result} }`
 }
 // ------------------------------------------------------------------
@@ -185,7 +185,7 @@ type TFromParameters<Parameters extends t.TSchema[], Index extends string = '0',
 )
 function FromParameters(parameters: t.TSchema[]): string {
   const result = parameters.map((parameter, index) => `arg${index}: ${FromType(parameter)}`)
-  return `(${FromDelimited(result, Comma)})`
+  return `(${FromDelimited(result, `${Comma} `)})`
 }
 // ------------------------------------------------------------------
 // Property
@@ -241,6 +241,13 @@ function FromProperties(propertyKeys: PropertyKey[], properties: t.TProperties):
   }, [] as string[])
 }
 // ------------------------------------------------------------------
+// Promise
+// ------------------------------------------------------------------
+type TFromPromise<Type extends t.TSchema, Result extends string = `Promise<${TFromType<Type>}>`> = Result
+function FromPromise(type: t.TSchema): string {
+  return `Promise<${FromType(type)}>`
+}
+// ------------------------------------------------------------------
 // String
 // ------------------------------------------------------------------
 type TFromString<_Type extends t.TString> = 'string'
@@ -318,6 +325,7 @@ type TFromType<Type extends t.TSchema> = (
   Type extends t.TNumber ? TFromNumber<Type> :
   Type extends t.TNull ? TFromNull<Type> :
   Type extends t.TObject<infer Properties extends t.TProperties> ? TFromObject<Properties> :
+  Type extends t.TPromise<infer Type extends t.TSchema> ? TFromPromise<Type> :
   Type extends t.TString ? TFromString<Type> :
   Type extends t.TSymbol ? TFromSymbol<Type> :
   Type extends t.TTuple<infer Types extends t.TSchema[]> ? TFromTuple<Types> :
@@ -342,6 +350,7 @@ function FromType<Type extends t.TSchema>(type: Type): TFromType<Type> {
     t.KindGuard.IsNumber(type) ? FromNumber(type) :
     t.KindGuard.IsNull(type) ? FromNull(type) :
     t.KindGuard.IsObject(type) ? FromObject(type.properties) :
+    t.KindGuard.IsPromise(type) ? FromPromise(type.item) :
     t.KindGuard.IsString(type) ? FromString(type) :
     t.KindGuard.IsSymbol(type) ? FromSymbol(type) :
     t.KindGuard.IsTuple(type) ? FromTuple(type.items || []) :