Revision 0.32.18 (#801)

- Explicit Return on TypeSystem Type
sinclairzx81 · Mar 21, 2024 · 8a6018d · 8a6018d
1 parent ec27004
commit 8a6018d
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 5 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@sinclair/typebox",
-  "version": "0.32.17",
+  "version": "0.32.18",
   "description": "Json Schema Type Builder with Static Type Resolution for TypeScript",
   "keywords": [
     "typescript",

diff --git a/src/system/system.ts b/src/system/system.ts
@@ -27,7 +27,7 @@ THE SOFTWARE.
 ---------------------------------------------------------------------------*/
 
 import { TypeRegistry, FormatRegistry } from '../type/registry/index'
-import { Unsafe } from '../type/unsafe/index'
+import { Unsafe, type TUnsafe } from '../type/unsafe/index'
 import { Kind } from '../type/symbols/index'
 import { TypeBoxError } from '../type/error/index'
 
@@ -47,10 +47,12 @@ export class TypeSystemDuplicateFormat extends TypeBoxError {
 // ------------------------------------------------------------------
 // TypeSystem
 // ------------------------------------------------------------------
+export type TypeFactoryFunction<Type, Options = Record<PropertyKey, unknown>> = (options?: Partial<Options>) => TUnsafe<Type>
+
 /** Creates user defined types and formats and provides overrides for value checking behaviours */
 export namespace TypeSystem {
   /** Creates a new type */
-  export function Type<Type, Options = Record<PropertyKey, unknown>>(kind: string, check: (options: Options, value: unknown) => boolean) {
+  export function Type<Type, Options = Record<PropertyKey, unknown>>(kind: string, check: (options: Options, value: unknown) => boolean): TypeFactoryFunction<Type, Options> {
     if (TypeRegistry.Has(kind)) throw new TypeSystemDuplicateTypeKind(kind)
     TypeRegistry.Set(kind, check)
     return (options: Partial<Options> = {}) => Unsafe<Type>({ ...options, [Kind]: kind })