xanv 1.1.12 → 1.1.13

package/index.cjs

@@ -16,6 +16,8 @@ var String = require('./types/String.cjs');
 var Tuple = require('./types/Tuple.cjs');
 var Union = require('./types/Union.cjs');
 var Json = require('./types/Json.cjs');
+var Function = require('./types/Function.cjs');
+var Promise$1 = require('./types/Promise.cjs');
 
 const xv = {
     any: () => new Any(),
@@ -33,6 +35,8 @@ const xv = {
     tuple: (type) => new Tuple(type),
     union: (types) => new Union(types),
     json: () => new Json(),
+    function: (args, ret) => new Function(args, ret),
+    promise: (type) => new Promise$1(type),
 };
 
 exports.XanvType = XanvType;
@@ -51,5 +55,7 @@ exports.XVString = String;
 exports.XVTuple = Tuple;
 exports.XVUnion = Union;
 exports.XVJson = Json;
+exports.XVFunction = Function;
+exports.XVPromise = Promise$1;
 exports.xv = xv;
 //# sourceMappingURL=index.cjs.map

package/index.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.cjs","sources":["../src/index.ts"],"sourcesContent":["import XanvType from \"./XanvType\";\r\nimport XVAny from \"./types/Any\";\r\nimport XVArray from \"./types/Array\";\r\nimport XVBoolean from \"./types/Boolean\";\r\nimport XVDate from \"./types/Date\";\r\nimport XVEnum from \"./types/Enum\";\r\nimport XVFile from \"./types/File\";\r\nimport XVMap from \"./types/Map\";\r\nimport XVNumber from \"./types/Number\";\r\nimport XVObject, { XVObjectShape } from \"./types/Object\";\r\nimport XVRecord from \"./types/Record\";\r\nimport XVSet from \"./types/Set\";\r\nimport XVString from \"./types/String\";\r\nimport XVTuple from \"./types/Tuple\";\r\nimport XVUnion from \"./types/Union\";\r\nimport XVJson from \"./types/Json\";\r\n\r\nimport {\r\n   XVInstanceType,\r\n   XVCheckCallback,\r\n   Infer,\r\n} from \"./types\";\r\n\r\nexport type {\r\n   XVInstanceType,\r\n   XVCheckCallback,\r\n   Infer\r\n};\r\n\r\nexport {\r\n   XanvType,\r\n   XVAny,\r\n   XVArray,\r\n   XVBoolean,\r\n   XVDate,\r\n   XVEnum,\r\n   XVFile,\r\n   XVMap,\r\n   XVNumber,\r\n   XVObject,\r\n   XVRecord,\r\n   XVSet,\r\n   XVString,\r\n   XVTuple,\r\n   XVUnion,\r\n   XVJson,\r\n};\r\n\r\nexport const xv = {\r\n   any: () => new XVAny(),\r\n\r\n   array: <T extends XVInstanceType>(type: T, length?: number) =>\r\n      new XVArray<T>(type, length),\r\n\r\n   boolean: () => new XVBoolean(),\r\n   date: () => new XVDate(),\r\n\r\n   enum: <T extends readonly (string | number)[]>(...values: T) =>\r\n      new XVEnum<T>(values),\r\n\r\n   file: () => new XVFile(),\r\n   number: (length?: number) => new XVNumber(length),\r\n\r\n   object: <T extends XVObjectShape>(arg?: T) => new XVObject<T>(arg),\r\n\r\n   record: <K extends XVInstanceType, V extends XVInstanceType>(key: K, value: V) =>\r\n      new XVRecord<K, V>(key, value),\r\n\r\n   map: <K extends XVInstanceType, V extends XVInstanceType>(key: K, value: V) =>\r\n      new XVMap<K, V>(key, value),\r\n\r\n   set: <T extends XVInstanceType>(type: T) => new XVSet<T>(type),\r\n   string: (length?: number) => new XVString(length),\r\n\r\n   tuple: <T extends XVInstanceType[]>(type: T) => new XVTuple<T>(type),\r\n   union: <T extends XVInstanceType[]>(types: T) => new XVUnion<T>(types),\r\n\r\n   json: () => new XVJson(),\r\n};\r\n"],"names":["XVAny","XVArray","XVBoolean","XVDate","XVEnum","XVFile","XVNumber","XVObject","XVRecord","XVMap","XVSet","XVString","XVTuple","XVUnion","XVJson"],"mappings":";;;;;;;;;;;;;;;;;;;AAgDO,MAAM,EAAE,GAAG;AACf,IAAA,GAAG,EAAE,MAAM,IAAIA,GAAK,EAAE;AAEtB,IAAA,KAAK,EAAE,CAA2B,IAAO,EAAE,MAAe,KACvD,IAAIC,KAAO,CAAI,IAAI,EAAE,MAAM,CAAC;AAE/B,IAAA,OAAO,EAAE,MAAM,IAAIC,OAAS,EAAE;AAC9B,IAAA,IAAI,EAAE,MAAM,IAAIC,IAAM,EAAE;IAExB,IAAI,EAAE,CAAyC,GAAG,MAAS,KACxD,IAAIC,IAAM,CAAI,MAAM,CAAC;AAExB,IAAA,IAAI,EAAE,MAAM,IAAIC,IAAM,EAAE;IACxB,MAAM,EAAE,CAAC,MAAe,KAAK,IAAIC,MAAQ,CAAC,MAAM,CAAC;IAEjD,MAAM,EAAE,CAA0B,GAAO,KAAK,IAAIC,QAAQ,CAAI,GAAG,CAAC;AAElE,IAAA,MAAM,EAAE,CAAqD,GAAM,EAAE,KAAQ,KAC1E,IAAIC,MAAQ,CAAO,GAAG,EAAE,KAAK,CAAC;AAEjC,IAAA,GAAG,EAAE,CAAqD,GAAM,EAAE,KAAQ,KACvE,IAAIC,GAAK,CAAO,GAAG,EAAE,KAAK,CAAC;IAE9B,GAAG,EAAE,CAA2B,IAAO,KAAK,IAAIC,GAAK,CAAI,IAAI,CAAC;IAC9D,MAAM,EAAE,CAAC,MAAe,KAAK,IAAIC,MAAQ,CAAC,MAAM,CAAC;IAEjD,KAAK,EAAE,CAA6B,IAAO,KAAK,IAAIC,KAAO,CAAI,IAAI,CAAC;IACpE,KAAK,EAAE,CAA6B,KAAQ,KAAK,IAAIC,KAAO,CAAI,KAAK,CAAC;AAEtE,IAAA,IAAI,EAAE,MAAM,IAAIC,IAAM,EAAE;;;;;;;;;;;;;;;;;;;;;"}
+{"version":3,"file":"index.cjs","sources":["../src/index.ts"],"sourcesContent":["import XanvType from \"./XanvType\";\r\nimport XVAny from \"./types/Any\";\r\nimport XVArray from \"./types/Array\";\r\nimport XVBoolean from \"./types/Boolean\";\r\nimport XVDate from \"./types/Date\";\r\nimport XVEnum from \"./types/Enum\";\r\nimport XVFile from \"./types/File\";\r\nimport XVMap from \"./types/Map\";\r\nimport XVNumber from \"./types/Number\";\r\nimport XVObject, { XVObjectShape } from \"./types/Object\";\r\nimport XVRecord from \"./types/Record\";\r\nimport XVSet from \"./types/Set\";\r\nimport XVString from \"./types/String\";\r\nimport XVTuple from \"./types/Tuple\";\r\nimport XVUnion from \"./types/Union\";\r\nimport XVJson from \"./types/Json\";\r\nimport XVFunction from \"./types/Function\";\r\n\r\nimport {\r\n   XVInstanceType,\r\n   XVCheckCallback,\r\n   Infer,\r\n} from \"./types\";\r\nimport XVPromise from \"./types/Promise\";\r\n\r\nexport type {\r\n   XVInstanceType,\r\n   XVCheckCallback,\r\n   Infer\r\n};\r\n\r\nexport {\r\n   XanvType,\r\n   XVAny,\r\n   XVArray,\r\n   XVBoolean,\r\n   XVFunction,\r\n   XVPromise,\r\n   XVDate,\r\n   XVEnum,\r\n   XVFile,\r\n   XVMap,\r\n   XVNumber,\r\n   XVObject,\r\n   XVRecord,\r\n   XVSet,\r\n   XVString,\r\n   XVTuple,\r\n   XVUnion,\r\n   XVJson,\r\n};\r\n\r\nexport const xv = {\r\n   any: () => new XVAny(),\r\n   array: <T extends XVInstanceType>(type: T, length?: number) => new XVArray<T>(type, length),\r\n   boolean: () => new XVBoolean(),\r\n   date: () => new XVDate(),\r\n   enum: <T extends readonly (string | number)[]>(...values: T) => new XVEnum<T>(values),\r\n   file: () => new XVFile(),\r\n   number: (length?: number) => new XVNumber(length),\r\n   object: <T extends XVObjectShape>(arg?: T) => new XVObject<T>(arg),\r\n   record: <K extends XVInstanceType, V extends XVInstanceType>(key: K, value: V) => new XVRecord<K, V>(key, value),\r\n   map: <K extends XVInstanceType, V extends XVInstanceType>(key: K, value: V) => new XVMap<K, V>(key, value),\r\n   set: <T extends XVInstanceType>(type: T) => new XVSet<T>(type),\r\n   string: (length?: number) => new XVString(length),\r\n   tuple: <T extends XVInstanceType[]>(type: T) => new XVTuple<T>(type),\r\n   union: <T extends XVInstanceType[]>(types: T) => new XVUnion<T>(types),\r\n   json: () => new XVJson(),\r\n   function: <A extends XVInstanceType[], R extends XVInstanceType>(args: A, ret: R) => new XVFunction<A, R>(args, ret),\r\n   promise: <T extends XVInstanceType>(type: T) => new XVPromise(type),\r\n};\r\n\r\n"],"names":["XVAny","XVArray","XVBoolean","XVDate","XVEnum","XVFile","XVNumber","XVObject","XVRecord","XVMap","XVSet","XVString","XVTuple","XVUnion","XVJson","XVFunction","XVPromise"],"mappings":";;;;;;;;;;;;;;;;;;;;;AAoDO,MAAM,EAAE,GAAG;AACf,IAAA,GAAG,EAAE,MAAM,IAAIA,GAAK,EAAE;AACtB,IAAA,KAAK,EAAE,CAA2B,IAAO,EAAE,MAAe,KAAK,IAAIC,KAAO,CAAI,IAAI,EAAE,MAAM,CAAC;AAC3F,IAAA,OAAO,EAAE,MAAM,IAAIC,OAAS,EAAE;AAC9B,IAAA,IAAI,EAAE,MAAM,IAAIC,IAAM,EAAE;IACxB,IAAI,EAAE,CAAyC,GAAG,MAAS,KAAK,IAAIC,IAAM,CAAI,MAAM,CAAC;AACrF,IAAA,IAAI,EAAE,MAAM,IAAIC,IAAM,EAAE;IACxB,MAAM,EAAE,CAAC,MAAe,KAAK,IAAIC,MAAQ,CAAC,MAAM,CAAC;IACjD,MAAM,EAAE,CAA0B,GAAO,KAAK,IAAIC,QAAQ,CAAI,GAAG,CAAC;AAClE,IAAA,MAAM,EAAE,CAAqD,GAAM,EAAE,KAAQ,KAAK,IAAIC,MAAQ,CAAO,GAAG,EAAE,KAAK,CAAC;AAChH,IAAA,GAAG,EAAE,CAAqD,GAAM,EAAE,KAAQ,KAAK,IAAIC,GAAK,CAAO,GAAG,EAAE,KAAK,CAAC;IAC1G,GAAG,EAAE,CAA2B,IAAO,KAAK,IAAIC,GAAK,CAAI,IAAI,CAAC;IAC9D,MAAM,EAAE,CAAC,MAAe,KAAK,IAAIC,MAAQ,CAAC,MAAM,CAAC;IACjD,KAAK,EAAE,CAA6B,IAAO,KAAK,IAAIC,KAAO,CAAI,IAAI,CAAC;IACpE,KAAK,EAAE,CAA6B,KAAQ,KAAK,IAAIC,KAAO,CAAI,KAAK,CAAC;AACtE,IAAA,IAAI,EAAE,MAAM,IAAIC,IAAM,EAAE;AACxB,IAAA,QAAQ,EAAE,CAAuD,IAAO,EAAE,GAAM,KAAK,IAAIC,QAAU,CAAO,IAAI,EAAE,GAAG,CAAC;IACpH,OAAO,EAAE,CAA2B,IAAO,KAAK,IAAIC,SAAS,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;;;;;;;;"}

package/index.d.ts

@@ -14,8 +14,10 @@ import XVString from './types/String.js';
 import XVTuple from './types/Tuple.js';
 import XVUnion from './types/Union.js';
 import XVJson from './types/Json.js';
+import XVFunction from './types/Function.js';
 import { XVInstanceType } from './types.js';
 export { Infer, XVCheckCallback } from './types.js';
+import XVPromise from './types/Promise.js';
 
 declare const xv: {
     any: () => XVAny;
@@ -33,6 +35,8 @@ declare const xv: {
     tuple: <T_4 extends XVInstanceType[]>(type: T_4) => XVTuple<T_4>;
     union: <T_5 extends XVInstanceType[]>(types: T_5) => XVUnion<T_5>;
     json: () => XVJson<Record<string, any>>;
+    function: <A extends XVInstanceType[], R extends XVInstanceType>(args: A, ret: R) => XVFunction<A, R>;
+    promise: <T_6 extends XVInstanceType>(type: T_6) => XVPromise<T_6>;
 };
 
-export { XVAny, XVArray, XVBoolean, XVDate, XVEnum, XVFile, XVInstanceType, XVJson, XVMap, XVNumber, XVObject, XVRecord, XVSet, XVString, XVTuple, XVUnion, xv };
+export { XVAny, XVArray, XVBoolean, XVDate, XVEnum, XVFile, XVFunction, XVInstanceType, XVJson, XVMap, XVNumber, XVObject, XVPromise, XVRecord, XVSet, XVString, XVTuple, XVUnion, xv };

package/index.js

@@ -14,6 +14,8 @@ import XVString from './types/String.js';
 import XVTuple from './types/Tuple.js';
 import XVUnion from './types/Union.js';
 import XVJson from './types/Json.js';
+import XVFunction from './types/Function.js';
+import XVPromise from './types/Promise.js';
 
 const xv = {
     any: () => new XVAny(),
@@ -31,7 +33,9 @@ const xv = {
     tuple: (type) => new XVTuple(type),
     union: (types) => new XVUnion(types),
     json: () => new XVJson(),
+    function: (args, ret) => new XVFunction(args, ret),
+    promise: (type) => new XVPromise(type),
 };
 
-export { XVAny, XVArray, XVBoolean, XVDate, XVEnum, XVFile, XVJson, XVMap, XVNumber, XVObject, XVRecord, XVSet, XVString, XVTuple, XVUnion, xv };
+export { XVAny, XVArray, XVBoolean, XVDate, XVEnum, XVFile, XVFunction, XVJson, XVMap, XVNumber, XVObject, XVPromise, XVRecord, XVSet, XVString, XVTuple, XVUnion, xv };
 //# sourceMappingURL=index.js.map

package/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sources":["../src/index.ts"],"sourcesContent":["import XanvType from \"./XanvType\";\r\nimport XVAny from \"./types/Any\";\r\nimport XVArray from \"./types/Array\";\r\nimport XVBoolean from \"./types/Boolean\";\r\nimport XVDate from \"./types/Date\";\r\nimport XVEnum from \"./types/Enum\";\r\nimport XVFile from \"./types/File\";\r\nimport XVMap from \"./types/Map\";\r\nimport XVNumber from \"./types/Number\";\r\nimport XVObject, { XVObjectShape } from \"./types/Object\";\r\nimport XVRecord from \"./types/Record\";\r\nimport XVSet from \"./types/Set\";\r\nimport XVString from \"./types/String\";\r\nimport XVTuple from \"./types/Tuple\";\r\nimport XVUnion from \"./types/Union\";\r\nimport XVJson from \"./types/Json\";\r\n\r\nimport {\r\n   XVInstanceType,\r\n   XVCheckCallback,\r\n   Infer,\r\n} from \"./types\";\r\n\r\nexport type {\r\n   XVInstanceType,\r\n   XVCheckCallback,\r\n   Infer\r\n};\r\n\r\nexport {\r\n   XanvType,\r\n   XVAny,\r\n   XVArray,\r\n   XVBoolean,\r\n   XVDate,\r\n   XVEnum,\r\n   XVFile,\r\n   XVMap,\r\n   XVNumber,\r\n   XVObject,\r\n   XVRecord,\r\n   XVSet,\r\n   XVString,\r\n   XVTuple,\r\n   XVUnion,\r\n   XVJson,\r\n};\r\n\r\nexport const xv = {\r\n   any: () => new XVAny(),\r\n\r\n   array: <T extends XVInstanceType>(type: T, length?: number) =>\r\n      new XVArray<T>(type, length),\r\n\r\n   boolean: () => new XVBoolean(),\r\n   date: () => new XVDate(),\r\n\r\n   enum: <T extends readonly (string | number)[]>(...values: T) =>\r\n      new XVEnum<T>(values),\r\n\r\n   file: () => new XVFile(),\r\n   number: (length?: number) => new XVNumber(length),\r\n\r\n   object: <T extends XVObjectShape>(arg?: T) => new XVObject<T>(arg),\r\n\r\n   record: <K extends XVInstanceType, V extends XVInstanceType>(key: K, value: V) =>\r\n      new XVRecord<K, V>(key, value),\r\n\r\n   map: <K extends XVInstanceType, V extends XVInstanceType>(key: K, value: V) =>\r\n      new XVMap<K, V>(key, value),\r\n\r\n   set: <T extends XVInstanceType>(type: T) => new XVSet<T>(type),\r\n   string: (length?: number) => new XVString(length),\r\n\r\n   tuple: <T extends XVInstanceType[]>(type: T) => new XVTuple<T>(type),\r\n   union: <T extends XVInstanceType[]>(types: T) => new XVUnion<T>(types),\r\n\r\n   json: () => new XVJson(),\r\n};\r\n"],"names":[],"mappings":";;;;;;;;;;;;;;;;;AAgDO,MAAM,EAAE,GAAG;AACf,IAAA,GAAG,EAAE,MAAM,IAAI,KAAK,EAAE;AAEtB,IAAA,KAAK,EAAE,CAA2B,IAAO,EAAE,MAAe,KACvD,IAAI,OAAO,CAAI,IAAI,EAAE,MAAM,CAAC;AAE/B,IAAA,OAAO,EAAE,MAAM,IAAI,SAAS,EAAE;AAC9B,IAAA,IAAI,EAAE,MAAM,IAAI,MAAM,EAAE;IAExB,IAAI,EAAE,CAAyC,GAAG,MAAS,KACxD,IAAI,MAAM,CAAI,MAAM,CAAC;AAExB,IAAA,IAAI,EAAE,MAAM,IAAI,MAAM,EAAE;IACxB,MAAM,EAAE,CAAC,MAAe,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC;IAEjD,MAAM,EAAE,CAA0B,GAAO,KAAK,IAAI,QAAQ,CAAI,GAAG,CAAC;AAElE,IAAA,MAAM,EAAE,CAAqD,GAAM,EAAE,KAAQ,KAC1E,IAAI,QAAQ,CAAO,GAAG,EAAE,KAAK,CAAC;AAEjC,IAAA,GAAG,EAAE,CAAqD,GAAM,EAAE,KAAQ,KACvE,IAAI,KAAK,CAAO,GAAG,EAAE,KAAK,CAAC;IAE9B,GAAG,EAAE,CAA2B,IAAO,KAAK,IAAI,KAAK,CAAI,IAAI,CAAC;IAC9D,MAAM,EAAE,CAAC,MAAe,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC;IAEjD,KAAK,EAAE,CAA6B,IAAO,KAAK,IAAI,OAAO,CAAI,IAAI,CAAC;IACpE,KAAK,EAAE,CAA6B,KAAQ,KAAK,IAAI,OAAO,CAAI,KAAK,CAAC;AAEtE,IAAA,IAAI,EAAE,MAAM,IAAI,MAAM,EAAE;;;;;"}
+{"version":3,"file":"index.js","sources":["../src/index.ts"],"sourcesContent":["import XanvType from \"./XanvType\";\r\nimport XVAny from \"./types/Any\";\r\nimport XVArray from \"./types/Array\";\r\nimport XVBoolean from \"./types/Boolean\";\r\nimport XVDate from \"./types/Date\";\r\nimport XVEnum from \"./types/Enum\";\r\nimport XVFile from \"./types/File\";\r\nimport XVMap from \"./types/Map\";\r\nimport XVNumber from \"./types/Number\";\r\nimport XVObject, { XVObjectShape } from \"./types/Object\";\r\nimport XVRecord from \"./types/Record\";\r\nimport XVSet from \"./types/Set\";\r\nimport XVString from \"./types/String\";\r\nimport XVTuple from \"./types/Tuple\";\r\nimport XVUnion from \"./types/Union\";\r\nimport XVJson from \"./types/Json\";\r\nimport XVFunction from \"./types/Function\";\r\n\r\nimport {\r\n   XVInstanceType,\r\n   XVCheckCallback,\r\n   Infer,\r\n} from \"./types\";\r\nimport XVPromise from \"./types/Promise\";\r\n\r\nexport type {\r\n   XVInstanceType,\r\n   XVCheckCallback,\r\n   Infer\r\n};\r\n\r\nexport {\r\n   XanvType,\r\n   XVAny,\r\n   XVArray,\r\n   XVBoolean,\r\n   XVFunction,\r\n   XVPromise,\r\n   XVDate,\r\n   XVEnum,\r\n   XVFile,\r\n   XVMap,\r\n   XVNumber,\r\n   XVObject,\r\n   XVRecord,\r\n   XVSet,\r\n   XVString,\r\n   XVTuple,\r\n   XVUnion,\r\n   XVJson,\r\n};\r\n\r\nexport const xv = {\r\n   any: () => new XVAny(),\r\n   array: <T extends XVInstanceType>(type: T, length?: number) => new XVArray<T>(type, length),\r\n   boolean: () => new XVBoolean(),\r\n   date: () => new XVDate(),\r\n   enum: <T extends readonly (string | number)[]>(...values: T) => new XVEnum<T>(values),\r\n   file: () => new XVFile(),\r\n   number: (length?: number) => new XVNumber(length),\r\n   object: <T extends XVObjectShape>(arg?: T) => new XVObject<T>(arg),\r\n   record: <K extends XVInstanceType, V extends XVInstanceType>(key: K, value: V) => new XVRecord<K, V>(key, value),\r\n   map: <K extends XVInstanceType, V extends XVInstanceType>(key: K, value: V) => new XVMap<K, V>(key, value),\r\n   set: <T extends XVInstanceType>(type: T) => new XVSet<T>(type),\r\n   string: (length?: number) => new XVString(length),\r\n   tuple: <T extends XVInstanceType[]>(type: T) => new XVTuple<T>(type),\r\n   union: <T extends XVInstanceType[]>(types: T) => new XVUnion<T>(types),\r\n   json: () => new XVJson(),\r\n   function: <A extends XVInstanceType[], R extends XVInstanceType>(args: A, ret: R) => new XVFunction<A, R>(args, ret),\r\n   promise: <T extends XVInstanceType>(type: T) => new XVPromise(type),\r\n};\r\n\r\n"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;AAoDO,MAAM,EAAE,GAAG;AACf,IAAA,GAAG,EAAE,MAAM,IAAI,KAAK,EAAE;AACtB,IAAA,KAAK,EAAE,CAA2B,IAAO,EAAE,MAAe,KAAK,IAAI,OAAO,CAAI,IAAI,EAAE,MAAM,CAAC;AAC3F,IAAA,OAAO,EAAE,MAAM,IAAI,SAAS,EAAE;AAC9B,IAAA,IAAI,EAAE,MAAM,IAAI,MAAM,EAAE;IACxB,IAAI,EAAE,CAAyC,GAAG,MAAS,KAAK,IAAI,MAAM,CAAI,MAAM,CAAC;AACrF,IAAA,IAAI,EAAE,MAAM,IAAI,MAAM,EAAE;IACxB,MAAM,EAAE,CAAC,MAAe,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC;IACjD,MAAM,EAAE,CAA0B,GAAO,KAAK,IAAI,QAAQ,CAAI,GAAG,CAAC;AAClE,IAAA,MAAM,EAAE,CAAqD,GAAM,EAAE,KAAQ,KAAK,IAAI,QAAQ,CAAO,GAAG,EAAE,KAAK,CAAC;AAChH,IAAA,GAAG,EAAE,CAAqD,GAAM,EAAE,KAAQ,KAAK,IAAI,KAAK,CAAO,GAAG,EAAE,KAAK,CAAC;IAC1G,GAAG,EAAE,CAA2B,IAAO,KAAK,IAAI,KAAK,CAAI,IAAI,CAAC;IAC9D,MAAM,EAAE,CAAC,MAAe,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC;IACjD,KAAK,EAAE,CAA6B,IAAO,KAAK,IAAI,OAAO,CAAI,IAAI,CAAC;IACpE,KAAK,EAAE,CAA6B,KAAQ,KAAK,IAAI,OAAO,CAAI,KAAK,CAAC;AACtE,IAAA,IAAI,EAAE,MAAM,IAAI,MAAM,EAAE;AACxB,IAAA,QAAQ,EAAE,CAAuD,IAAO,EAAE,GAAM,KAAK,IAAI,UAAU,CAAO,IAAI,EAAE,GAAG,CAAC;IACpH,OAAO,EAAE,CAA2B,IAAO,KAAK,IAAI,SAAS,CAAC,IAAI,CAAC;;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "xanv",
-  "version": "1.1.12",
+  "version": "1.1.13",
   "types": "./index.d.ts",
   "main": "./index.cjs",
   "module": "./index.js",

package/types/Function.cjs

@@ -0,0 +1,33 @@
+'use strict';
+
+var XanvType = require('../XanvType.cjs');
+
+class XVFunction extends XanvType {
+    constructor(args, ret) {
+        super();
+        this._args = args;
+        this._return = ret;
+    }
+    check(value) {
+        if (typeof value !== "function") {
+            throw new Error(`Value should be a function, received ${typeof value}`);
+        }
+        return value;
+    }
+    parse(fn) {
+        super.parse(fn);
+        return ((...args) => {
+            // Validate each argument
+            this._args.forEach((argValidator, i) => {
+                argValidator.parse(args[i]);
+            });
+            const result = fn(...args);
+            // Validate return value
+            this._return.parse(result);
+            return result;
+        });
+    }
+}
+
+module.exports = XVFunction;
+//# sourceMappingURL=Function.cjs.map

package/types/Function.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Function.cjs","sources":["../../src/types/Function.ts"],"sourcesContent":["import { Infer, XVInstanceType } from \"../types\";\r\nimport XanvType from \"../XanvType\";\r\n\r\ntype Func<A extends XVInstanceType[], R extends XVInstanceType> =\r\n   (...args: { [K in keyof A]: Infer<A[K]> }) => Infer<R>;\r\n\r\nclass XVFunction<A extends XVInstanceType[], R extends XVInstanceType>\r\n   extends XanvType<Func<A, R>, unknown> {\r\n\r\n   private _args: A;\r\n   private _return: R;\r\n\r\n   constructor(args: A, ret: R) {\r\n      super();\r\n      this._args = args;\r\n      this._return = ret;\r\n   }\r\n\r\n   protected check(value: any): Func<A, R> {\r\n      if (typeof value !== \"function\") {\r\n         throw new Error(`Value should be a function, received ${typeof value}`);\r\n      }\r\n      return value;\r\n   }\r\n\r\n   parse(fn: any): Func<A, R> {\r\n      super.parse(fn);\r\n\r\n      return ((...args: any[]) => {\r\n         // Validate each argument\r\n         this._args.forEach((argValidator, i) => {\r\n            argValidator.parse(args[i]);\r\n         });\r\n\r\n         const result = fn(...args);\r\n\r\n         // Validate return value\r\n         this._return.parse(result);\r\n\r\n         return result;\r\n      }) as Func<A, R>;\r\n   }\r\n}\r\n\r\nexport default XVFunction;\r\n"],"names":[],"mappings":";;;;AAMA,MAAM,UACH,SAAQ,QAA6B,CAAA;IAKrC,WAAA,CAAY,IAAO,EAAE,GAAM,EAAA;AACxB,QAAA,KAAK,EAAE,CAAC;AACR,QAAA,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;AAClB,QAAA,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC;IACtB,CAAC;AAES,IAAA,KAAK,CAAC,KAAU,EAAA;AACvB,QAAA,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE;YAC9B,MAAM,IAAI,KAAK,CAAC,CAAA,qCAAA,EAAwC,OAAO,KAAK,CAAA,CAAE,CAAC,CAAC;AAC1E,QAAA,CAAA;AACD,QAAA,OAAO,KAAK,CAAC;IAChB,CAAC;AAED,IAAA,KAAK,CAAC,EAAO,EAAA;AACV,QAAA,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAEhB,QAAA,QAAQ,CAAC,GAAG,IAAW,KAAI;;YAExB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,CAAC,KAAI;gBACpC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/B,YAAA,CAAC,CAAC,CAAC;AAEH,YAAA,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;;AAG3B,YAAA,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAE3B,YAAA,OAAO,MAAM,CAAC;AACjB,QAAA,CAAC,EAAgB;IACpB,CAAC;AACH;;;;"}

package/types/Function.d.ts

@@ -0,0 +1,15 @@
+import { XVInstanceType, Infer } from '../types.js';
+import XanvType from '../XanvType.js';
+
+type Func<A extends XVInstanceType[], R extends XVInstanceType> = (...args: {
+    [K in keyof A]: Infer<A[K]>;
+}) => Infer<R>;
+declare class XVFunction<A extends XVInstanceType[], R extends XVInstanceType> extends XanvType<Func<A, R>, unknown> {
+    private _args;
+    private _return;
+    constructor(args: A, ret: R);
+    protected check(value: any): Func<A, R>;
+    parse(fn: any): Func<A, R>;
+}
+
+export { XVFunction as default };

package/types/Function.js

@@ -0,0 +1,31 @@
+import XanvType from '../XanvType.js';
+
+class XVFunction extends XanvType {
+    constructor(args, ret) {
+        super();
+        this._args = args;
+        this._return = ret;
+    }
+    check(value) {
+        if (typeof value !== "function") {
+            throw new Error(`Value should be a function, received ${typeof value}`);
+        }
+        return value;
+    }
+    parse(fn) {
+        super.parse(fn);
+        return ((...args) => {
+            // Validate each argument
+            this._args.forEach((argValidator, i) => {
+                argValidator.parse(args[i]);
+            });
+            const result = fn(...args);
+            // Validate return value
+            this._return.parse(result);
+            return result;
+        });
+    }
+}
+
+export { XVFunction as default };
+//# sourceMappingURL=Function.js.map

package/types/Function.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Function.js","sources":["../../src/types/Function.ts"],"sourcesContent":["import { Infer, XVInstanceType } from \"../types\";\r\nimport XanvType from \"../XanvType\";\r\n\r\ntype Func<A extends XVInstanceType[], R extends XVInstanceType> =\r\n   (...args: { [K in keyof A]: Infer<A[K]> }) => Infer<R>;\r\n\r\nclass XVFunction<A extends XVInstanceType[], R extends XVInstanceType>\r\n   extends XanvType<Func<A, R>, unknown> {\r\n\r\n   private _args: A;\r\n   private _return: R;\r\n\r\n   constructor(args: A, ret: R) {\r\n      super();\r\n      this._args = args;\r\n      this._return = ret;\r\n   }\r\n\r\n   protected check(value: any): Func<A, R> {\r\n      if (typeof value !== \"function\") {\r\n         throw new Error(`Value should be a function, received ${typeof value}`);\r\n      }\r\n      return value;\r\n   }\r\n\r\n   parse(fn: any): Func<A, R> {\r\n      super.parse(fn);\r\n\r\n      return ((...args: any[]) => {\r\n         // Validate each argument\r\n         this._args.forEach((argValidator, i) => {\r\n            argValidator.parse(args[i]);\r\n         });\r\n\r\n         const result = fn(...args);\r\n\r\n         // Validate return value\r\n         this._return.parse(result);\r\n\r\n         return result;\r\n      }) as Func<A, R>;\r\n   }\r\n}\r\n\r\nexport default XVFunction;\r\n"],"names":[],"mappings":";;AAMA,MAAM,UACH,SAAQ,QAA6B,CAAA;IAKrC,WAAA,CAAY,IAAO,EAAE,GAAM,EAAA;AACxB,QAAA,KAAK,EAAE,CAAC;AACR,QAAA,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;AAClB,QAAA,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC;IACtB,CAAC;AAES,IAAA,KAAK,CAAC,KAAU,EAAA;AACvB,QAAA,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE;YAC9B,MAAM,IAAI,KAAK,CAAC,CAAA,qCAAA,EAAwC,OAAO,KAAK,CAAA,CAAE,CAAC,CAAC;AAC1E,QAAA,CAAA;AACD,QAAA,OAAO,KAAK,CAAC;IAChB,CAAC;AAED,IAAA,KAAK,CAAC,EAAO,EAAA;AACV,QAAA,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAEhB,QAAA,QAAQ,CAAC,GAAG,IAAW,KAAI;;YAExB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,CAAC,KAAI;gBACpC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/B,YAAA,CAAC,CAAC,CAAC;AAEH,YAAA,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;;AAG3B,YAAA,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;AAE3B,YAAA,OAAO,MAAM,CAAC;AACjB,QAAA,CAAC,EAAgB;IACpB,CAAC;AACH;;;;"}

package/types/Promise.cjs

@@ -0,0 +1,29 @@
+'use strict';
+
+var XanvType = require('../XanvType.cjs');
+
+class XVPromise extends XanvType {
+    constructor(inner) {
+        super();
+        this._inner = inner;
+    }
+    check(value) {
+        if (!(value instanceof Promise)) {
+            throw new Error(`Value should be a Promise, received ${typeof value}`);
+        }
+        return value;
+    }
+    parse(value) {
+        super.parse(value);
+        // Wrap the promise so the resolved value is validated
+        return value.then((res) => {
+            if (this._inner) {
+                this._inner.parse(res);
+            }
+            return res;
+        });
+    }
+}
+
+module.exports = XVPromise;
+//# sourceMappingURL=Promise.cjs.map

package/types/Promise.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Promise.cjs","sources":["../../src/types/Promise.ts"],"sourcesContent":["import XanvType from \"../XanvType\";\r\nimport { XVInstanceType, Infer } from \"../types\";\r\n\r\nclass XVPromise<T extends XVInstanceType> extends XanvType<Promise<Infer<T>>, unknown> {\r\n   private _inner: T;\r\n\r\n   constructor(inner: T) {\r\n      super();\r\n      this._inner = inner;\r\n   }\r\n\r\n   protected check(value: any): Promise<Infer<T>> {\r\n      if (!(value instanceof Promise)) {\r\n         throw new Error(`Value should be a Promise, received ${typeof value}`);\r\n      }\r\n      return value;\r\n   }\r\n\r\n   parse(value: any): Promise<Infer<T>> {\r\n      super.parse(value);\r\n\r\n      // Wrap the promise so the resolved value is validated\r\n      return (value as Promise<any>).then((res) => {\r\n         if (this._inner) {\r\n            this._inner.parse(res);\r\n         }\r\n         return res;\r\n      });\r\n   }\r\n}\r\n\r\nexport default XVPromise;\r\n"],"names":[],"mappings":";;;;AAGA,MAAM,SAAoC,SAAQ,QAAoC,CAAA;AAGnF,IAAA,WAAA,CAAY,KAAQ,EAAA;AACjB,QAAA,KAAK,EAAE,CAAC;AACR,QAAA,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACvB,CAAC;AAES,IAAA,KAAK,CAAC,KAAU,EAAA;AACvB,QAAA,IAAI,EAAE,KAAK,YAAY,OAAO,CAAC,EAAE;YAC9B,MAAM,IAAI,KAAK,CAAC,CAAA,oCAAA,EAAuC,OAAO,KAAK,CAAA,CAAE,CAAC,CAAC;AACzE,QAAA,CAAA;AACD,QAAA,OAAO,KAAK,CAAC;IAChB,CAAC;AAED,IAAA,KAAK,CAAC,KAAU,EAAA;AACb,QAAA,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;;AAGnB,QAAA,OAAQ,KAAsB,CAAC,IAAI,CAAC,CAAC,GAAG,KAAI;YACzC,IAAI,IAAI,CAAC,MAAM,EAAE;AACd,gBAAA,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACzB,YAAA,CAAA;AACD,YAAA,OAAO,GAAG,CAAC;AACd,QAAA,CAAC,CAAC,CAAC;IACN,CAAC;AACH;;;;"}

package/types/Promise.d.ts

@@ -0,0 +1,11 @@
+import XanvType from '../XanvType.js';
+import { XVInstanceType, Infer } from '../types.js';
+
+declare class XVPromise<T extends XVInstanceType> extends XanvType<Promise<Infer<T>>, unknown> {
+    private _inner;
+    constructor(inner: T);
+    protected check(value: any): Promise<Infer<T>>;
+    parse(value: any): Promise<Infer<T>>;
+}
+
+export { XVPromise as default };

package/types/Promise.js

@@ -0,0 +1,27 @@
+import XanvType from '../XanvType.js';
+
+class XVPromise extends XanvType {
+    constructor(inner) {
+        super();
+        this._inner = inner;
+    }
+    check(value) {
+        if (!(value instanceof Promise)) {
+            throw new Error(`Value should be a Promise, received ${typeof value}`);
+        }
+        return value;
+    }
+    parse(value) {
+        super.parse(value);
+        // Wrap the promise so the resolved value is validated
+        return value.then((res) => {
+            if (this._inner) {
+                this._inner.parse(res);
+            }
+            return res;
+        });
+    }
+}
+
+export { XVPromise as default };
+//# sourceMappingURL=Promise.js.map

package/types/Promise.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Promise.js","sources":["../../src/types/Promise.ts"],"sourcesContent":["import XanvType from \"../XanvType\";\r\nimport { XVInstanceType, Infer } from \"../types\";\r\n\r\nclass XVPromise<T extends XVInstanceType> extends XanvType<Promise<Infer<T>>, unknown> {\r\n   private _inner: T;\r\n\r\n   constructor(inner: T) {\r\n      super();\r\n      this._inner = inner;\r\n   }\r\n\r\n   protected check(value: any): Promise<Infer<T>> {\r\n      if (!(value instanceof Promise)) {\r\n         throw new Error(`Value should be a Promise, received ${typeof value}`);\r\n      }\r\n      return value;\r\n   }\r\n\r\n   parse(value: any): Promise<Infer<T>> {\r\n      super.parse(value);\r\n\r\n      // Wrap the promise so the resolved value is validated\r\n      return (value as Promise<any>).then((res) => {\r\n         if (this._inner) {\r\n            this._inner.parse(res);\r\n         }\r\n         return res;\r\n      });\r\n   }\r\n}\r\n\r\nexport default XVPromise;\r\n"],"names":[],"mappings":";;AAGA,MAAM,SAAoC,SAAQ,QAAoC,CAAA;AAGnF,IAAA,WAAA,CAAY,KAAQ,EAAA;AACjB,QAAA,KAAK,EAAE,CAAC;AACR,QAAA,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC;IACvB,CAAC;AAES,IAAA,KAAK,CAAC,KAAU,EAAA;AACvB,QAAA,IAAI,EAAE,KAAK,YAAY,OAAO,CAAC,EAAE;YAC9B,MAAM,IAAI,KAAK,CAAC,CAAA,oCAAA,EAAuC,OAAO,KAAK,CAAA,CAAE,CAAC,CAAC;AACzE,QAAA,CAAA;AACD,QAAA,OAAO,KAAK,CAAC;IAChB,CAAC;AAED,IAAA,KAAK,CAAC,KAAU,EAAA;AACb,QAAA,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;;AAGnB,QAAA,OAAQ,KAAsB,CAAC,IAAI,CAAC,CAAC,GAAG,KAAI;YACzC,IAAI,IAAI,CAAC,MAAM,EAAE;AACd,gBAAA,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACzB,YAAA,CAAA;AACD,YAAA,OAAO,GAAG,CAAC;AACd,QAAA,CAAC,CAAC,CAAC;IACN,CAAC;AACH;;;;"}

package/types.d.ts

@@ -4,17 +4,19 @@ import XVBoolean from './types/Boolean.js';
 import XVDate from './types/Date.js';
 import XVEnum from './types/Enum.js';
 import XVFile from './types/File.js';
+import XVFunction from './types/Function.js';
 import XVJson from './types/Json.js';
 import XVMap from './types/Map.js';
 import XVNumber from './types/Number.js';
 import XVObject, { XVObjectShape } from './types/Object.js';
+import XVPromise from './types/Promise.js';
 import XVRecord from './types/Record.js';
 import XVSet from './types/Set.js';
 import XVString from './types/String.js';
 import XVTuple from './types/Tuple.js';
 import XVUnion from './types/Union.js';
 
-type XVInstanceType = XVAny | XVArray<any> | XVBoolean | XVDate | XVEnum<any> | XVFile | XVMap<any, any> | XVNumber | XVObject<XVObjectShape> | XVRecord<XVInstanceType, XVInstanceType> | XVSet<any> | XVString | XVTuple<any> | XVUnion<any> | XVJson<Record<string, any>>;
+type XVInstanceType = XVAny | XVArray<any> | XVBoolean | XVDate | XVEnum<any> | XVFile | XVMap<any, any> | XVNumber | XVObject<XVObjectShape> | XVRecord<XVInstanceType, XVInstanceType> | XVSet<any> | XVString | XVTuple<any> | XVUnion<any> | XVJson<Record<string, any>> | XVFunction<any[], any> | XVPromise<any>;
 type XVCheckCallback<T> = (value: T) => void;
 type Dec<N extends number> = N extends 5 ? 4 : N extends 4 ? 3 : N extends 3 ? 2 : N extends 2 ? 1 : N extends 1 ? 0 : 0;
 type Infer<T, Depth extends number = 5> = Depth extends 0 ? any : T extends {
@@ -31,7 +33,9 @@ type Infer<T, Depth extends number = 5> = Depth extends 0 ? any : T extends {
         nullable: true;
     };
 } ? InferType<T, Dec<Depth>> | null : InferType<T, Dec<Depth>>;
-type InferType<T, Depth extends number> = T extends XVString ? string : T extends XVNumber ? number : T extends XVBoolean ? boolean : T extends XVDate ? Date : T extends XVAny ? any : T extends XVFile ? File | Blob : T extends XVEnum<infer U> ? U[number] : T extends XVArray<infer U> ? Infer<U, Depth>[] : T extends XVTuple<infer U extends XVInstanceType[]> ? {
+type InferType<T, Depth extends number> = T extends XVFunction<infer A extends XVInstanceType[], infer R> ? (...args: {
+    [K in keyof A]: Infer<A[K], Depth>;
+}) => Infer<R, Depth> : T extends XVPromise<infer U> ? Promise<Infer<U, Depth>> : T extends XVString ? string : T extends XVNumber ? number : T extends XVBoolean ? boolean : T extends XVDate ? Date : T extends XVAny ? any : T extends XVFile ? File | Blob : T extends XVEnum<infer U> ? U[number] : T extends XVArray<infer U> ? Infer<U, Depth>[] : T extends XVTuple<infer U extends XVInstanceType[]> ? {
     [K in keyof U]: Infer<U[K], Depth>;
 } : T extends XVUnion<infer U extends XVInstanceType[]> ? Infer<U[number], Depth> : T extends XVMap<infer K, infer V> ? Map<Infer<K, Depth>, Infer<V, Depth>> : T extends XVSet<infer U> ? Set<Infer<U, Depth>> : T extends XVRecord<infer K, infer V> ? Record<Infer<K, Depth>, Infer<V, Depth>> : T extends XVJson ? Record<string, any> : T extends XVObject<infer O> ? {
     [K in keyof O]: Infer<O[K], Depth>;