@kontor/kontor-sdk 1.0.0-alpha.39 → 1.0.0-alpha.40

package/dist/types/wit/utils.d.ts

@@ -1,7 +1,8 @@
 import type { Error_ } from "./error.js";
-import type { WitStateMutability, Wit, MBits, WitInt, WitList, WitType, TypedDataParameter, TypedData, WitParameterKind, WitParameter, WitTuple, TypedDataType, WitOption, WitResult } from "./wit.js";
+import type { WitStateMutability, Wit, MBits, WitInt, WitList, WitType, TypedDataParameter, TypedData, WitParameterKind, WitParameter, WitRecord, TypedDataType, WitOption, WitResult, WitVariant, WitEnum } from "./wit.js";
 import type { ResolvedRegister } from "./register.js";
 import type { Merge, Pretty } from "./type-utils.js";
+import type { WitError } from "./built-ins.js";
 export type IsWit<wit> = wit extends Wit ? true : false;
 export type ExtractWitFunctions<wit extends Wit, witFuncContext extends WitStateMutability = WitStateMutability> = Extract<wit[number], {
     type: "function";
@@ -14,25 +15,16 @@ export type ExtractWitFunction<wit extends Wit, functionName extends ExtractWitF
 type NoBits = "";
 type GreaterThan48Bits = Exclude<MBits, 8 | 16 | 32 | NoBits>;
 type LessThanOrEqualTo48Bits = Exclude<MBits, GreaterThan48Bits | NoBits>;
-export type Option<T> = {
-    kind: "none";
-} | {
-    kind: "some";
-    value: T;
-};
-export type Result<T, E> = {
-    ok: true;
-    value: T;
-} | {
-    ok: false;
-    error: E;
-};
+export type Option<T> = ["none"] | ["some", T];
+export type Result<T, E> = ["ok", T] | ["err", E];
 export type WitTypeToPrimitiveType<witType extends WitType> = PrimitiveTypeLookup[witType];
 interface PrimitiveTypeLookup extends WitIntMap, WitListMap, WitOptionMap, WitResultMap {
     bool: boolean;
     address: string;
     string: string;
-    tuple: Record<string, unknown>;
+    record: Record<string, unknown>;
+    variant: [string, unknown];
+    enum: string;
     error: unknown;
     integer: ResolvedRegister["bigIntType"];
     decimal: ResolvedRegister["decimalType"];
@@ -49,27 +41,15 @@ type WitOptionMap = {
     [_ in WitOption]: Option<unknown>;
 };
 type WitResultMap = {
-    [_ in WitResult]: Result<unknown, string>;
+    [_ in WitResult]: Result<unknown, WitError.T>;
 };
 type BitsTypeLookup = {
     [key in MBits]: ResolvedRegister[key extends LessThanOrEqualTo48Bits ? "intType" : "bigIntType"];
 };
-type WitBasicType = Exclude<WitType, WitTuple | WitList | WitResult | WitOption>;
+type WitBasicType = Exclude<WitType, WitRecord | WitList | WitResult | WitOption | WitVariant | WitEnum>;
 export type WitParametersToPrimitiveTypes<witParameters extends readonly WitParameter[], witParameterKind extends WitParameterKind = WitParameterKind> = Pretty<{
     [key in keyof witParameters]: WitParameterToPrimitiveType<witParameters[key], witParameterKind>;
 }>;
-export type WitParameterToPrimitiveType<witParameter extends WitParameter | {
-    name: string;
-    type: unknown;
-}, witParameterKind extends WitParameterKind = WitParameterKind> = witParameter["type"] extends WitBasicType ? WitTypeToPrimitiveType<witParameter["type"]> : witParameter extends {
-    type: WitTuple;
-    components: infer components extends readonly WitParameter[];
-} ? WitComponentsToPrimitiveType<components, witParameterKind> : MaybeExtractListParameterType<witParameter["type"]> extends infer head extends string ? WitListToPrimitiveType<witParameter, witParameterKind, head> : MaybeExtractOptionParameterType<witParameter["type"]> extends infer inner extends string ? WitOptionToPrimitiveType<witParameter, witParameterKind, inner> : MaybeExtractResultParameterType<witParameter["type"]> extends [
-    infer ok extends string,
-    infer _err extends string
-] ? WitResultToPrimitiveType<witParameter, witParameterKind, ok> : ResolvedRegister["strictWitType"] extends true ? Error_<`Unknown type '${witParameter["type"] & string}'.`> : witParameter extends {
-    components: Error_<string>;
-} ? witParameter["components"] : unknown;
 type MaybeExtractListParameterType<T> = T extends `list<${infer Inner}>` ? Inner : undefined;
 type MaybeExtractOptionParameterType<T> = T extends `option<${infer Inner}>` ? Inner : undefined;
 type MaybeExtractResultParameterType<T> = T extends `result<${infer Ok}, ${infer Err}>` ? [Ok, Err] : undefined;
@@ -90,7 +70,47 @@ type WitResultToPrimitiveType<witParameter extends WitParameter | {
     type: unknown;
 }, witParameterKind extends WitParameterKind, ok extends string> = Result<WitParameterToPrimitiveType<Merge<witParameter, {
     type: ok;
-}>, witParameterKind>, string>;
+}>, witParameterKind>, WitError.T> extends infer R ? R : never;
+export type WitParameterToPrimitiveType<witParameter extends WitParameter | {
+    name: string;
+    type: unknown;
+}, witParameterKind extends WitParameterKind = WitParameterKind> = witParameter["type"] extends WitBasicType ? WitTypeToPrimitiveType<witParameter["type"]> : witParameter extends {
+    type: "variant";
+    components?: infer components extends readonly WitParameter[];
+} ? WitVariantToPrimitiveType<components, witParameterKind> : witParameter extends {
+    type: "enum";
+} ? witParameter extends {
+    components?: infer components extends readonly WitParameter[];
+} ? WitEnumToPrimitiveType<components> : never : witParameter extends {
+    type: WitRecord;
+    components: infer components extends readonly WitParameter[];
+} ? WitComponentsToPrimitiveType<components, witParameterKind> : MaybeExtractListParameterType<witParameter["type"]> extends infer head extends string ? WitListToPrimitiveType<witParameter, witParameterKind, head> : MaybeExtractOptionParameterType<witParameter["type"]> extends infer inner extends string ? WitOptionToPrimitiveType<witParameter, witParameterKind, inner> : MaybeExtractResultParameterType<witParameter["type"]> extends [
+    infer ok extends string,
+    infer _err extends "error"
+] ? WitResultToPrimitiveType<witParameter, witParameterKind, ok> : ResolvedRegister["strictWitType"] extends true ? Error_<`Unknown type '${witParameter["type"] & string}'.`> : witParameter extends {
+    components: Error_<string>;
+} ? witParameter["components"] : unknown;
+type WitVariantToPrimitiveType<components extends readonly WitParameter[], witParameterKind extends WitParameterKind> = {
+    [K in keyof components]: components[K] extends {
+        name: infer CaseName extends string;
+    } ? components[K] extends {
+        type: "_";
+    } ? [CaseName] : components[K] extends {
+        type: WitRecord;
+        name: string;
+        components?: infer components extends readonly WitParameter[];
+    } ? [CaseName, WitComponentsToPrimitiveType<components, witParameterKind>] : [
+        CaseName,
+        WitParameterToPrimitiveType<components[K], witParameterKind>
+    ] : never;
+}[number];
+type WitEnumToPrimitiveType<components extends readonly WitParameter[]> = Readonly<{
+    [K in keyof components]: components[K] extends {
+        name: infer CaseName extends string;
+    } ? components[K] extends {
+        type: "_";
+    } ? CaseName : never : never;
+}>[number];
 type WitComponentsToPrimitiveType<components extends readonly WitParameter[], witParameterKind extends WitParameterKind> = components extends readonly [] ? [] : components[number]["name"] extends Exclude<components[number]["name"] & string, undefined | ""> ? {
     [component in components[number] as component["name"] & {}]: WitParameterToPrimitiveType<component, witParameterKind>;
 } : {
@@ -104,7 +124,7 @@ export type TypedDataToPrimitiveTypes<typedData extends TypedData, witParameterK
             [_ in key2["type"] | key]: true;
         }>[key2["type"]] : key2["type"] extends `${infer type extends keyof typedData & string}[${infer tail}]` ? WitParameterToPrimitiveType<{
             name: key2["name"];
-            type: `tuple[${tail}]`;
+            type: `record[${tail}]`;
             components: _TypedDataParametersToWitParameters<typedData[type], typedData, keyReferences & {
                 [_ in type | key]: true;
             }>;
@@ -119,13 +139,13 @@ type _TypedDataParametersToWitParameters<typedDataParameters extends readonly Ty
         type: unknown;
     } ? typedDataParameter["type"] extends keyof typedData & string ? {
         name: typedDataParameter["name"];
-        type: "tuple";
+        type: "record";
         components: typedDataParameter["type"] extends keyof keyReferences ? Error_<`Circular reference detected. '${typedDataParameter["type"]}' is a circular reference.`> : _TypedDataParametersToWitParameters<typedData[typedDataParameter["type"]], typedData, keyReferences & {
             [_ in typedDataParameter["type"]]: true;
         }>;
     } : typedDataParameter["type"] extends `${infer type extends keyof typedData & string}[${infer tail}]` ? {
         name: typedDataParameter["name"];
-        type: `tuple[${tail}]`;
+        type: `record[${tail}]`;
         components: type extends keyof keyReferences ? Error_<`Circular reference detected. '${typedDataParameter["type"]}' is a circular reference.`> : _TypedDataParametersToWitParameters<typedData[type], typedData, keyReferences & {
             [_ in type]: true;
         }>;

package/dist/types/wit/utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/wit/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,KAAK,EACV,kBAAkB,EAClB,GAAG,EACH,KAAK,EACL,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,SAAS,EACT,gBAAgB,EAChB,YAAY,EACZ,QAAQ,EACR,aAAa,EACb,SAAS,EACT,SAAS,EACV,MAAM,UAAU,CAAC;AAClB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAErD,MAAM,MAAM,KAAK,CAAC,GAAG,IAAI,GAAG,SAAS,GAAG,GAAG,IAAI,GAAG,KAAK,CAAC;AAExD,MAAM,MAAM,mBAAmB,CAC7B,GAAG,SAAS,GAAG,EACf,cAAc,SAAS,kBAAkB,GAAG,kBAAkB,IAC5D,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,OAAO,EAAE,cAAc,CAAA;CAAE,CAAC,CAAC;AAExE,MAAM,MAAM,uBAAuB,CACjC,GAAG,SAAS,GAAG,EACf,cAAc,SAAS,kBAAkB,GAAG,kBAAkB,IAC5D,mBAAmB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAErD,MAAM,MAAM,kBAAkB,CAC5B,GAAG,SAAS,GAAG,EACf,YAAY,SAAS,uBAAuB,CAAC,GAAG,CAAC,EACjD,cAAc,SAAS,kBAAkB,GAAG,kBAAkB,IAC5D,OAAO,CAAC,mBAAmB,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,CAAC;AAE9E,KAAK,MAAM,GAAG,EAAE,CAAC;AACjB,KAAK,iBAAiB,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;AAC9D,KAAK,uBAAuB,GAAG,OAAO,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAAC,CAAC;AAG1E,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AACtE,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAE5E,MAAM,MAAM,sBAAsB,CAAC,OAAO,SAAS,OAAO,IACxD,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAE/B,UAAU,mBACR,SAAQ,SAAS,EACf,UAAU,EACV,YAAY,EACZ,YAAY;IACd,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,gBAAgB,CAAC,YAAY,CAAC,CAAC;IACxC,OAAO,EAAE,gBAAgB,CAAC,aAAa,CAAC,CAAC;IACzC,IAAI,EAAE,IAAI,CAAC;IACX,kBAAkB,EAAE,gBAAgB,CAAC,iBAAiB,CAAC,CAAC;CACzD;AAED,KAAK,SAAS,GAAG;KACd,CAAC,IAAI,MAAM,GAAG,CAAC,SAAS,GACrB,GAAG,GACH,GAAG,GAAG,MAAM,IAAI,SAAS,MAAM,cAAc,EAAE,GAC/C,cAAc,CAAC,IAAI,CAAC,GACpB,KAAK;CACV,CAAC;AAEF,KAAK,UAAU,GAAG;KAAG,CAAC,IAAI,OAAO,GAAG,SAAS,OAAO,EAAE;CAAE,CAAC;AAEzD,KAAK,YAAY,GAAG;KAAG,CAAC,IAAI,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC;CAAE,CAAC;AAG1D,KAAK,YAAY,GAAG;KAAG,CAAC,IAAI,SAAS,GAAG,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC;CAAE,CAAC;AAElE,KAAK,cAAc,GAAG;KACnB,GAAG,IAAI,KAAK,GAAG,gBAAgB,CAAC,GAAG,SAAS,uBAAuB,GAChE,SAAS,GACT,YAAY,CAAC;CAClB,CAAC;AAGF,KAAK,YAAY,GAAG,OAAO,CACzB,OAAO,EACP,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAC3C,CAAC;AAEF,MAAM,MAAM,6BAA6B,CACvC,aAAa,SAAS,SAAS,YAAY,EAAE,EAC7C,gBAAgB,SAAS,gBAAgB,GAAG,gBAAgB,IAC1D,MAAM,CAAC;KAIR,GAAG,IAAI,MAAM,aAAa,GAAG,2BAA2B,CACvD,aAAa,CAAC,GAAG,CAAC,EAClB,gBAAgB,CACjB;CACF,CAAC,CAAC;AAEH,MAAM,MAAM,2BAA2B,CACrC,YAAY,SAAS,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EACnE,gBAAgB,SAAS,gBAAgB,GAAG,gBAAgB,IAG5D,YAAY,CAAC,MAAM,CAAC,SAAS,YAAY,GACrC,sBAAsB,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,GAE5C,YAAY,SAAS;IACjB,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,UAAU,SAAS,SAAS,YAAY,EAAE,CAAC;CAC9D,GACD,4BAA4B,CAAC,UAAU,EAAE,gBAAgB,CAAC,GAE1D,6BAA6B,CACzB,YAAY,CAAC,MAAM,CAAC,CACrB,SAAS,MAAM,IAAI,SAAS,MAAM,GACnC,sBAAsB,CAAC,YAAY,EAAE,gBAAgB,EAAE,IAAI,CAAC,GAE5D,+BAA+B,CAC3B,YAAY,CAAC,MAAM,CAAC,CACrB,SAAS,MAAM,KAAK,SAAS,MAAM,GACpC,wBAAwB,CAAC,YAAY,EAAE,gBAAgB,EAAE,KAAK,CAAC,GAE/D,+BAA+B,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,SAAS;IAC1D,MAAM,EAAE,SAAS,MAAM;IACvB,MAAM,IAAI,SAAS,MAAM;CAC1B,GACD,wBAAwB,CAAC,YAAY,EAAE,gBAAgB,EAAE,EAAE,CAAC,GAE5D,gBAAgB,CAAC,eAAe,CAAC,SAAS,IAAI,GAC5C,MAAM,CAAC,iBAAiB,YAAY,CAAC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,GAC1D,YAAY,SAAS;IAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;CAAE,GACjD,YAAY,CAAC,YAAY,CAAC,GAC1B,OAAO,CAAC;AAE1B,KAAK,6BAA6B,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,MAAM,KAAK,GAAG,GACpE,KAAK,GACL,SAAS,CAAC;AAEd,KAAK,+BAA+B,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,MAAM,KAAK,GAAG,GACxE,KAAK,GACL,SAAS,CAAC;AAEd,KAAK,+BAA+B,CAAC,CAAC,IACpC,CAAC,SAAS,UAAU,MAAM,EAAE,KAAK,MAAM,GAAG,GAAG,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC;AAExE,KAAK,sBAAsB,CACzB,YAAY,SAAS,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EACnE,gBAAgB,SAAS,gBAAgB,EACzC,IAAI,SAAS,MAAM,IACjB,SAAS,2BAA2B,CACtC,KAAK,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,EACnC,gBAAgB,CACjB,EAAE,CAAC;AAEJ,KAAK,wBAAwB,CAC3B,YAAY,SAAS,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EACnE,gBAAgB,SAAS,gBAAgB,EACzC,KAAK,SAAS,MAAM,IAClB,MAAM,CACR,2BAA2B,CACzB,KAAK,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,EACpC,gBAAgB,CACjB,CACF,CAAC;AAEF,KAAK,wBAAwB,CAC3B,YAAY,SAAS,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EACnE,gBAAgB,SAAS,gBAAgB,EACzC,EAAE,SAAS,MAAM,IAGf,MAAM,CACR,2BAA2B,CACzB,KAAK,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,EAAE,CAAA;CAAE,CAAC,EACjC,gBAAgB,CACjB,EACD,MAAM,CACP,CAAC;AACF,KAAK,4BAA4B,CAC/B,UAAU,SAAS,SAAS,YAAY,EAAE,EAC1C,gBAAgB,SAAS,gBAAgB,IACvC,UAAU,SAAS,SAAS,EAAE,GAC9B,EAAE,GAGF,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,SAAS,OAAO,CACtC,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,EACnC,SAAS,GAAG,EAAE,CACf,GAED;KACG,SAAS,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,2BAA2B,CACtF,SAAS,EACT,gBAAgB,CACjB;CACF,GAED;KACG,GAAG,IAAI,MAAM,UAAU,GAAG,2BAA2B,CACpD,UAAU,CAAC,GAAG,CAAC,EACf,gBAAgB,CACjB;CACF,CAAC;AAER,MAAM,MAAM,yBAAyB,CACnC,SAAS,SAAS,SAAS,EAC3B,gBAAgB,SAAS,gBAAgB,GAAG,gBAAgB,EAC5D,aAAa,SAAS;IAAE,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,GAAG,OAAO,GAAG,OAAO,IAChE;KACD,GAAG,IAAI,MAAM,SAAS,GAAG;SAEvB,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,GAAG,GACtE,MAAM,CAAC,2CAA2C,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,GACrF,IAAI,CAAC,MAAM,CAAC,SAAS,MAAM,SAAS,GAClC,IAAI,CAAC,MAAM,CAAC,SAAS,MAAM,aAAa,GACtC,MAAM,CAAC,iCAAiC,IAAI,CAAC,MAAM,CAAC,4BAA4B,CAAC,GACjF,yBAAyB,CACvB,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,EACvB,gBAAgB,EAChB,aAAa,GAAG;aAAG,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,GAAG,IAAI;SAAE,CACpD,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAEjB,IAAI,CAAC,MAAM,CAAC,SAAS,GAAG,MAAM,IAAI,SAAS,MAAM,SAAS,GACtD,MAAM,IAAI,MAAM,IAAI,GAAG,GACzB,2BAA2B,CACzB;YACE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,IAAI,EAAE,SAAS,IAAI,GAAG,CAAC;YACvB,UAAU,EAAE,mCAAmC,CAC7C,SAAS,CAAC,IAAI,CAAC,EACf,SAAS,EACT,aAAa,GAAG;iBAAG,CAAC,IAAI,IAAI,GAAG,GAAG,GAAG,IAAI;aAAE,CAC5C,CAAC;SACH,EACD,gBAAgB,CACjB,GACD,IAAI,CAAC,MAAM,CAAC,SAAS,aAAa,GAChC,2BAA2B,CAAC,IAAI,EAAE,gBAAgB,CAAC,GACnD,MAAM,CAAC,gCAAgC,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC;KACrF;CAEF,GAAG,OAAO,CAAC;AAEZ,KAAK,mCAAmC,CACtC,mBAAmB,SAAS,SAAS,kBAAkB,EAAE,EACzD,SAAS,SAAS,SAAS,EAC3B,aAAa,SAAS;IAAE,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,GAAG,OAAO,GAAG,OAAO,IAChE;KACD,GAAG,IAAI,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,GAAG,CAAC,SAAS,MAAM,kBAAkB,SAC3F;QACE,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,OAAO,CAAC;KACf,GACC,kBAAkB,CAAC,MAAM,CAAC,SAAS,MAAM,SAAS,GAAG,MAAM,GACzD;QACE,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,EAAE,OAAO,CAAC;QACd,UAAU,EAAE,kBAAkB,CAAC,MAAM,CAAC,SAAS,MAAM,aAAa,GAC9D,MAAM,CAAC,iCAAiC,kBAAkB,CAAC,MAAM,CAAC,4BAA4B,CAAC,GAC/F,mCAAmC,CACjC,SAAS,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,EACrC,SAAS,EACT,aAAa,GAAG;aAAG,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAC,GAAG,IAAI;SAAE,CAC5D,CAAC;KACP,GACD,kBAAkB,CAAC,MAAM,CAAC,SAAS,GAAG,MAAM,IAAI,SAC5C,MAAM,SAAS,GAAG,MAAM,IAAI,MAAM,IAAI,GAAG,GAC3C;QACE,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,EAAE,SAAS,IAAI,GAAG,CAAC;QACvB,UAAU,EAAE,IAAI,SAAS,MAAM,aAAa,GACxC,MAAM,CAAC,iCAAiC,kBAAkB,CAAC,MAAM,CAAC,4BAA4B,CAAC,GAC/F,mCAAmC,CACjC,SAAS,CAAC,IAAI,CAAC,EACf,SAAS,EACT,aAAa,GAAG;aAAG,CAAC,IAAI,IAAI,GAAG,IAAI;SAAE,CACtC,CAAC;KACP,GACD,kBAAkB,GACtB,KAAK;CACV,CAAC"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/wit/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,KAAK,EACV,kBAAkB,EAClB,GAAG,EACH,KAAK,EACL,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,SAAS,EACT,gBAAgB,EAChB,YAAY,EACZ,SAAS,EACT,aAAa,EACb,SAAS,EACT,SAAS,EACT,UAAU,EACV,OAAO,EACR,MAAM,UAAU,CAAC;AAClB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C,MAAM,MAAM,KAAK,CAAC,GAAG,IAAI,GAAG,SAAS,GAAG,GAAG,IAAI,GAAG,KAAK,CAAC;AAExD,MAAM,MAAM,mBAAmB,CAC7B,GAAG,SAAS,GAAG,EACf,cAAc,SAAS,kBAAkB,GAAG,kBAAkB,IAC5D,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,OAAO,EAAE,cAAc,CAAA;CAAE,CAAC,CAAC;AAExE,MAAM,MAAM,uBAAuB,CACjC,GAAG,SAAS,GAAG,EACf,cAAc,SAAS,kBAAkB,GAAG,kBAAkB,IAC5D,mBAAmB,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC,MAAM,CAAC,CAAC;AAErD,MAAM,MAAM,kBAAkB,CAC5B,GAAG,SAAS,GAAG,EACf,YAAY,SAAS,uBAAuB,CAAC,GAAG,CAAC,EACjD,cAAc,SAAS,kBAAkB,GAAG,kBAAkB,IAC5D,OAAO,CAAC,mBAAmB,CAAC,GAAG,EAAE,cAAc,CAAC,EAAE;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,CAAC;AAE9E,KAAK,MAAM,GAAG,EAAE,CAAC;AACjB,KAAK,iBAAiB,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;AAC9D,KAAK,uBAAuB,GAAG,OAAO,CAAC,KAAK,EAAE,iBAAiB,GAAG,MAAM,CAAC,CAAC;AAE1E,MAAM,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC/C,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AAElD,MAAM,MAAM,sBAAsB,CAAC,OAAO,SAAS,OAAO,IACxD,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAE/B,UAAU,mBACR,SAAQ,SAAS,EACf,UAAU,EACV,YAAY,EACZ,YAAY;IACd,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,gBAAgB,CAAC,YAAY,CAAC,CAAC;IACxC,OAAO,EAAE,gBAAgB,CAAC,aAAa,CAAC,CAAC;IACzC,IAAI,EAAE,IAAI,CAAC;IACX,kBAAkB,EAAE,gBAAgB,CAAC,iBAAiB,CAAC,CAAC;CACzD;AAED,KAAK,SAAS,GAAG;KACd,CAAC,IAAI,MAAM,GAAG,CAAC,SAAS,GACrB,GAAG,GACH,GAAG,GAAG,MAAM,IAAI,SAAS,MAAM,cAAc,EAAE,GAC/C,cAAc,CAAC,IAAI,CAAC,GACpB,KAAK;CACV,CAAC;AAEF,KAAK,UAAU,GAAG;KAAG,CAAC,IAAI,OAAO,GAAG,SAAS,OAAO,EAAE;CAAE,CAAC;AAEzD,KAAK,YAAY,GAAG;KAAG,CAAC,IAAI,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC;CAAE,CAAC;AAE1D,KAAK,YAAY,GAAG;KAAG,CAAC,IAAI,SAAS,GAAG,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;CAAE,CAAC;AAEtE,KAAK,cAAc,GAAG;KACnB,GAAG,IAAI,KAAK,GAAG,gBAAgB,CAAC,GAAG,SAAS,uBAAuB,GAChE,SAAS,GACT,YAAY,CAAC;CAClB,CAAC;AAEF,KAAK,YAAY,GAAG,OAAO,CACzB,OAAO,EACP,SAAS,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,CACnE,CAAC;AAEF,MAAM,MAAM,6BAA6B,CACvC,aAAa,SAAS,SAAS,YAAY,EAAE,EAC7C,gBAAgB,SAAS,gBAAgB,GAAG,gBAAgB,IAC1D,MAAM,CAAC;KACR,GAAG,IAAI,MAAM,aAAa,GAAG,2BAA2B,CACvD,aAAa,CAAC,GAAG,CAAC,EAClB,gBAAgB,CACjB;CACF,CAAC,CAAC;AAEH,KAAK,6BAA6B,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,MAAM,KAAK,GAAG,GACpE,KAAK,GACL,SAAS,CAAC;AAEd,KAAK,+BAA+B,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,MAAM,KAAK,GAAG,GACxE,KAAK,GACL,SAAS,CAAC;AAEd,KAAK,+BAA+B,CAAC,CAAC,IACpC,CAAC,SAAS,UAAU,MAAM,EAAE,KAAK,MAAM,GAAG,GAAG,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,SAAS,CAAC;AAExE,KAAK,sBAAsB,CACzB,YAAY,SAAS,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EACnE,gBAAgB,SAAS,gBAAgB,EACzC,IAAI,SAAS,MAAM,IACjB,SAAS,2BAA2B,CACtC,KAAK,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,EACnC,gBAAgB,CACjB,EAAE,CAAC;AAEJ,KAAK,wBAAwB,CAC3B,YAAY,SAAS,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EACnE,gBAAgB,SAAS,gBAAgB,EACzC,KAAK,SAAS,MAAM,IAClB,MAAM,CACR,2BAA2B,CACzB,KAAK,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,EACpC,gBAAgB,CACjB,CACF,CAAC;AAEF,KAAK,wBAAwB,CAC3B,YAAY,SAAS,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EACnE,gBAAgB,SAAS,gBAAgB,EACzC,EAAE,SAAS,MAAM,IAEjB,MAAM,CACJ,2BAA2B,CACzB,KAAK,CAAC,YAAY,EAAE;IAAE,IAAI,EAAE,EAAE,CAAA;CAAE,CAAC,EACjC,gBAAgB,CACjB,EACD,QAAQ,CAAC,CAAC,CACX,SAAS,MAAM,CAAC,GACb,CAAC,GACD,KAAK,CAAC;AAEZ,MAAM,MAAM,2BAA2B,CACrC,YAAY,SAAS,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,EACnE,gBAAgB,SAAS,gBAAgB,GAAG,gBAAgB,IAG5D,YAAY,CAAC,MAAM,CAAC,SAAS,YAAY,GACrC,sBAAsB,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,GAE5C,YAAY,SAAS;IACjB,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,UAAU,SAAS,SAAS,YAAY,EAAE,CAAC;CAC/D,GACD,yBAAyB,CAAC,UAAU,EAAE,gBAAgB,CAAC,GAEvD,YAAY,SAAS;IACjB,IAAI,EAAE,MAAM,CAAC;CAKd,GACD,YAAY,SAAS;IACnB,UAAU,CAAC,EAAE,MAAM,UAAU,SAAS,SAAS,YAAY,EAAE,CAAC;CAC/D,GACC,sBAAsB,CAAC,UAAU,CAAC,GAClC,KAAK,GAEP,YAAY,SAAS;IACjB,IAAI,EAAE,SAAS,CAAC;IAChB,UAAU,EAAE,MAAM,UAAU,SAAS,SAAS,YAAY,EAAE,CAAC;CAC9D,GACD,4BAA4B,CAAC,UAAU,EAAE,gBAAgB,CAAC,GAE1D,6BAA6B,CACzB,YAAY,CAAC,MAAM,CAAC,CACrB,SAAS,MAAM,IAAI,SAAS,MAAM,GACnC,sBAAsB,CAAC,YAAY,EAAE,gBAAgB,EAAE,IAAI,CAAC,GAE5D,+BAA+B,CAC3B,YAAY,CAAC,MAAM,CAAC,CACrB,SAAS,MAAM,KAAK,SAAS,MAAM,GACpC,wBAAwB,CAAC,YAAY,EAAE,gBAAgB,EAAE,KAAK,CAAC,GAE/D,+BAA+B,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,SAAS;IAC1D,MAAM,EAAE,SAAS,MAAM;IACvB,MAAM,IAAI,SAAS,OAAO;CAC3B,GACD,wBAAwB,CAAC,YAAY,EAAE,gBAAgB,EAAE,EAAE,CAAC,GAC5D,gBAAgB,CAAC,eAAe,CAAC,SAAS,IAAI,GAC5C,MAAM,CAAC,iBAAiB,YAAY,CAAC,MAAM,CAAC,GAAG,MAAM,IAAI,CAAC,GAC1D,YAAY,SAAS;IAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;CAAE,GACjD,YAAY,CAAC,YAAY,CAAC,GAC1B,OAAO,CAAC;AAE9B,KAAK,yBAAyB,CAC5B,UAAU,SAAS,SAAS,YAAY,EAAE,EAC1C,gBAAgB,SAAS,gBAAgB,IACvC;KACD,CAAC,IAAI,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,SAAS;QAC7C,IAAI,EAAE,MAAM,QAAQ,SAAS,MAAM,CAAC;KACrC,GACG,UAAU,CAAC,CAAC,CAAC,SAAS;QAAE,IAAI,EAAE,GAAG,CAAA;KAAE,GACjC,CAAC,QAAQ,CAAC,GACV,UAAU,CAAC,CAAC,CAAC,SAAS;QAClB,IAAI,EAAE,SAAS,CAAC;QAChB,IAAI,EAAE,MAAM,CAAC;QACb,UAAU,CAAC,EAAE,MAAM,UAAU,SAAS,SAAS,YAAY,EAAE,CAAC;KAC/D,GACD,CAAC,QAAQ,EAAE,4BAA4B,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC,GACtE;QACE,QAAQ;QACR,2BAA2B,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,gBAAgB,CAAC;KAE7D,GACL,KAAK;CACV,CAAC,MAAM,CAAC,CAAC;AAEV,KAAK,sBAAsB,CAAC,UAAU,SAAS,SAAS,YAAY,EAAE,IACpE,QAAQ,CAAC;KACN,CAAC,IAAI,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,SAAS;QAC7C,IAAI,EAAE,MAAM,QAAQ,SAAS,MAAM,CAAC;KACrC,GACG,UAAU,CAAC,CAAC,CAAC,SAAS;QAAE,IAAI,EAAE,GAAG,CAAA;KAAE,GACjC,QAAQ,GACR,KAAK,GACP,KAAK;CACV,CAAC,CAAC,MAAM,CAAC,CAAC;AAEb,KAAK,4BAA4B,CAC/B,UAAU,SAAS,SAAS,YAAY,EAAE,EAC1C,gBAAgB,SAAS,gBAAgB,IACvC,UAAU,SAAS,SAAS,EAAE,GAC9B,EAAE,GACF,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,SAAS,OAAO,CACtC,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM,EACnC,SAAS,GAAG,EAAE,CACf,GACD;KACG,SAAS,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,2BAA2B,CACtF,SAAS,EACT,gBAAgB,CACjB;CACF,GACD;KACG,GAAG,IAAI,MAAM,UAAU,GAAG,2BAA2B,CACpD,UAAU,CAAC,GAAG,CAAC,EACf,gBAAgB,CACjB;CACF,CAAC;AAER,MAAM,MAAM,yBAAyB,CACnC,SAAS,SAAS,SAAS,EAC3B,gBAAgB,SAAS,gBAAgB,GAAG,gBAAgB,EAC5D,aAAa,SAAS;IAAE,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,GAAG,OAAO,GAAG,OAAO,IAChE;KACD,GAAG,IAAI,MAAM,SAAS,GAAG;SACvB,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,GAAG,GACtE,MAAM,CAAC,2CAA2C,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,GACrF,IAAI,CAAC,MAAM,CAAC,SAAS,MAAM,SAAS,GAClC,IAAI,CAAC,MAAM,CAAC,SAAS,MAAM,aAAa,GACtC,MAAM,CAAC,iCAAiC,IAAI,CAAC,MAAM,CAAC,4BAA4B,CAAC,GACjF,yBAAyB,CACvB,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,EACvB,gBAAgB,EAChB,aAAa,GAAG;aAAG,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,GAAG,GAAG,IAAI;SAAE,CACpD,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GACjB,IAAI,CAAC,MAAM,CAAC,SAAS,GAAG,MAAM,IAAI,SAAS,MAAM,SAAS,GACtD,MAAM,IAAI,MAAM,IAAI,GAAG,GACzB,2BAA2B,CACzB;YACE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,IAAI,EAAE,UAAU,IAAI,GAAG,CAAC;YACxB,UAAU,EAAE,mCAAmC,CAC7C,SAAS,CAAC,IAAI,CAAC,EACf,SAAS,EACT,aAAa,GAAG;iBAAG,CAAC,IAAI,IAAI,GAAG,GAAG,GAAG,IAAI;aAAE,CAC5C,CAAC;SACH,EACD,gBAAgB,CACjB,GACD,IAAI,CAAC,MAAM,CAAC,SAAS,aAAa,GAChC,2BAA2B,CAAC,IAAI,EAAE,gBAAgB,CAAC,GACnD,MAAM,CAAC,gCAAgC,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC;KACrF;CACF,GAAG,OAAO,CAAC;AAEZ,KAAK,mCAAmC,CACtC,mBAAmB,SAAS,SAAS,kBAAkB,EAAE,EACzD,SAAS,SAAS,SAAS,EAC3B,aAAa,SAAS;IAAE,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,GAAG,OAAO,GAAG,OAAO,IAChE;KACD,GAAG,IAAI,MAAM,mBAAmB,GAAG,mBAAmB,CAAC,GAAG,CAAC,SAAS,MAAM,kBAAkB,SAC3F;QACE,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,OAAO,CAAC;KACf,GACC,kBAAkB,CAAC,MAAM,CAAC,SAAS,MAAM,SAAS,GAAG,MAAM,GACzD;QACE,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,EAAE,QAAQ,CAAC;QACf,UAAU,EAAE,kBAAkB,CAAC,MAAM,CAAC,SAAS,MAAM,aAAa,GAC9D,MAAM,CAAC,iCAAiC,kBAAkB,CAAC,MAAM,CAAC,4BAA4B,CAAC,GAC/F,mCAAmC,CACjC,SAAS,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,EACrC,SAAS,EACT,aAAa,GAAG;aAAG,CAAC,IAAI,kBAAkB,CAAC,MAAM,CAAC,GAAG,IAAI;SAAE,CAC5D,CAAC;KACP,GACD,kBAAkB,CAAC,MAAM,CAAC,SAAS,GAAG,MAAM,IAAI,SAC5C,MAAM,SAAS,GAAG,MAAM,IAAI,MAAM,IAAI,GAAG,GAC3C;QACE,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,CAAC;QACjC,IAAI,EAAE,UAAU,IAAI,GAAG,CAAC;QACxB,UAAU,EAAE,IAAI,SAAS,MAAM,aAAa,GACxC,MAAM,CAAC,iCAAiC,kBAAkB,CAAC,MAAM,CAAC,4BAA4B,CAAC,GAC/F,mCAAmC,CACjC,SAAS,CAAC,IAAI,CAAC,EACf,SAAS,EACT,aAAa,GAAG;aAAG,CAAC,IAAI,IAAI,GAAG,IAAI;SAAE,CACtC,CAAC;KACP,GACD,kBAAkB,GACtB,KAAK;CACV,CAAC"}

package/dist/types/wit/wit-parser/core/errors/signature.d.ts

@@ -4,7 +4,7 @@ export declare class InvalidSignatureError extends BaseError {
     name: string;
     constructor({ signature, type, }: {
         signature: string;
-        type: WitItemType | "record";
+        type: WitItemType | "record" | "variant" | "enum";
     });
 }
 export declare class UnknownSignatureError extends BaseError {
@@ -19,4 +19,10 @@ export declare class InvalidRecordSignatureError extends BaseError {
         signature: string;
     });
 }
+export declare class InvalidVariantSignatureError extends BaseError {
+    name: string;
+    constructor({ signature }: {
+        signature: string;
+    });
+}
 //# sourceMappingURL=signature.d.ts.map

package/dist/types/wit/wit-parser/core/errors/signature.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"signature.d.ts","sourceRoot":"","sources":["../../../../../../src/wit/wit-parser/core/errors/signature.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD,qBAAa,qBAAsB,SAAQ,SAAS;IACzC,IAAI,SAA2B;gBAE5B,EACV,SAAS,EACT,IAAI,GACL,EAAE;QACD,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,EAAE,WAAW,GAAG,QAAQ,CAAC;KAC9B;CAKF;AAED,qBAAa,qBAAsB,SAAQ,SAAS;IACzC,IAAI,SAA2B;gBAE5B,EAAE,SAAS,EAAE,EAAE;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE;CAKjD;AAED,qBAAa,2BAA4B,SAAQ,SAAS;IAC/C,IAAI,SAAiC;gBAElC,EAAE,SAAS,EAAE,EAAE;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE;CAMjD"}
+{"version":3,"file":"signature.d.ts","sourceRoot":"","sources":["../../../../../../src/wit/wit-parser/core/errors/signature.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD,qBAAa,qBAAsB,SAAQ,SAAS;IACzC,IAAI,SAA2B;gBAE5B,EACV,SAAS,EACT,IAAI,GACL,EAAE;QACD,SAAS,EAAE,MAAM,CAAC;QAClB,IAAI,EAAE,WAAW,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,CAAC;KACnD;CAKF;AAED,qBAAa,qBAAsB,SAAQ,SAAS;IACzC,IAAI,SAA2B;gBAE5B,EAAE,SAAS,EAAE,EAAE;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE;CAKjD;AAED,qBAAa,2BAA4B,SAAQ,SAAS;IAC/C,IAAI,SAAiC;gBAElC,EAAE,SAAS,EAAE,EAAE;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE;CAMjD;AAED,qBAAa,4BAA6B,SAAQ,SAAS;IAChD,IAAI,SAAkC;gBAEnC,EAAE,SAAS,EAAE,EAAE;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE;CAMjD"}

package/dist/types/wit/wit-parser/core/signatures.d.ts

@@ -15,4 +15,14 @@ export declare function execRecordSignature(signature: string): {
     name: string;
     properties: string;
 } | undefined;
+export declare function isVariantSignature(signature: string): boolean;
+export declare function execVariantSignature(signature: string): {
+    name: string;
+    cases: string;
+} | undefined;
+export declare function isEnumSignature(signature: string): boolean;
+export declare function execEnumSignature(signature: string): {
+    name: string;
+    cases: string;
+} | undefined;
 //# sourceMappingURL=signatures.d.ts.map

package/dist/types/wit/wit-parser/core/signatures.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"signatures.d.ts","sourceRoot":"","sources":["../../../../../src/wit/wit-parser/core/signatures.ts"],"names":[],"mappings":"AAIA,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,MAAM,WAEjD;AACD,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM;UACzB,MAAM;gBAAc,MAAM;cAIpD;AAKD,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,MAAM,WAEpD;AAED,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,MAAM;;;;;SAgBtD;AAKD,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,WAElD;AAED,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,MAAM;UAE3C,MAAM;gBACA,MAAM;cAErB"}
+{"version":3,"file":"signatures.d.ts","sourceRoot":"","sources":["../../../../../src/wit/wit-parser/core/signatures.ts"],"names":[],"mappings":"AAIA,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,MAAM,WAEjD;AACD,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM;UACzB,MAAM;gBAAc,MAAM;cAIpD;AAKD,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,MAAM,WAEpD;AAED,wBAAgB,qBAAqB,CAAC,SAAS,EAAE,MAAM;;;;;SAgBtD;AAKD,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM,WAElD;AAED,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,MAAM;UAE3C,MAAM;gBACA,MAAM;cAErB;AAKD,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,WAEnD;AAED,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,MAAM;UAE5C,MAAM;WACL,MAAM;cAEhB;AAKD,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,WAEhD;AAED,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,MAAM;UAEzC,MAAM;WACL,MAAM;cAEhB"}

package/dist/types/wit/wit-parser/core/types/signatures.d.ts

@@ -1,18 +1,22 @@
 import type { Error_ } from "../../../error.js";
-export type IsSignature<type extends string> = (IsFunctionSignature<type> extends true ? true : never) | (IsRecordSignature<type> extends true ? true : never);
+export type IsSignature<type extends string> = (IsFunctionSignature<type> extends true ? true : never) | (IsRecordSignature<type> extends true ? true : never) | (IsVariantSignature<type> extends true ? true : never) | (IsEnumSignature<type> extends true ? true : never);
 export type Signature<string1 extends string, string2 extends string | unknown = unknown> = IsSignature<string1> extends true ? string1 : string extends string1 ? string1 : Error_<`Signature "${string1}" is invalid${string2 extends string ? ` at position ${string2}` : ""}.`>;
 export type Signatures<signatures extends readonly string[]> = {
     [key in keyof signatures]: Signature<signatures[key], key>;
 };
 export type RecordSignature<name extends string = string, properties extends string = string> = `record ${name} { ${properties} }`;
 export type IsRecordSignature<signature extends string> = signature extends RecordSignature<infer name> ? IsName<name> : false;
+export type VariantSignature<name extends string = string, cases extends string = string> = `variant ${name} { ${cases} }`;
+export type IsVariantSignature<signature extends string> = signature extends VariantSignature<infer name> ? IsName<name> : false;
+export type EnumSignature<name extends string = string, cases extends string = string> = `enum ${name} { ${cases} }`;
+export type IsEnumSignature<signature extends string> = signature extends EnumSignature<infer name> ? IsName<name> : false;
 export type FunctionSignature<name extends string = string, tail extends string = string> = `export ${name}: func(${tail}`;
 export type IsFunctionSignature<signature> = signature extends FunctionSignature<infer name> ? IsName<name> extends true ? signature extends ValidFunctionSignatures ? true : false : false : false;
 export type IsName<name extends string> = name extends "" ? false : ValidateName<name> extends name ? true : false;
 export type AssertName<name extends string> = ValidateName<name> extends infer invalidName extends string[] ? `[${invalidName[number]}]` : name;
 export type ValidateName<name extends string, checkCharacters extends boolean = false> = name extends `${string}${" "}${string}` ? Error_<`Identifier "${name}" cannot contain whitespace.`> : IsWitKeyword<name> extends true ? Error_<`"${name}" is a protected WIT keyword.`> : name extends `${number}` ? Error_<`Identifier "${name}" cannot be a number string.`> : name extends `${number}${string}` ? Error_<`Identifier "${name}" cannot start with a number.`> : checkCharacters extends true ? IsValidCharacter<name> extends true ? name : Error_<`"${name}" contains invalid character.`> : name;
 export type IsWitKeyword<word extends string> = word extends WitKeyword ? true : false;
-export type WitKeyword = "package" | "world" | "interface" | "contract" | "include" | "use" | "import" | "export" | "func" | "borrow" | "record" | "list" | "enum" | "flags" | "variant" | "option" | "result" | "tuple" | "bool" | "s8" | "s16" | "s32" | "s64" | "u8" | "u16" | "u32" | "u64" | "f32" | "f64" | "char" | "string";
+export type WitKeyword = "package" | "world" | "interface" | "contract" | "include" | "use" | "import" | "export" | "func" | "borrow" | "record" | "list" | "enum" | "flags" | "variant" | "option" | "result" | "bool" | "s8" | "s16" | "s32" | "s64" | "u8" | "u16" | "u32" | "u64" | "f32" | "f64" | "char" | "string";
 export type IsValidCharacter<character extends string> = character extends `${ValidCharacters}${infer tail}` ? tail extends "" ? true : IsValidCharacter<tail> : false;
 type ValidCharacters = "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h" | "i" | "j" | "k" | "l" | "m" | "n" | "o" | "p" | "q" | "r" | "s" | "t" | "u" | "v" | "w" | "x" | "y" | "z" | "_";
 type Returns = `-> ${string};`;

package/dist/types/wit/wit-parser/core/types/signatures.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"signatures.d.ts","sourceRoot":"","sources":["../../../../../../src/wit/wit-parser/core/types/signatures.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,MAAM,WAAW,CAAC,IAAI,SAAS,MAAM,IACvC,CAAC,mBAAmB,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC,GACvD,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC,CAAC;AAE1D,MAAM,MAAM,SAAS,CACnB,OAAO,SAAS,MAAM,EACtB,OAAO,SAAS,MAAM,GAAG,OAAO,GAAG,OAAO,IAE1C,WAAW,CAAC,OAAO,CAAC,SAAS,IAAI,GAC7B,OAAO,GACP,MAAM,SAAS,OAAO,GACpB,OAAO,GACP,MAAM,CAAC,cAAc,OAAO,eAAe,OAAO,SAAS,MAAM,GAC7D,gBAAgB,OAAO,EAAE,GACzB,EAAE,GAAG,CAAC,CAAC;AAEnB,MAAM,MAAM,UAAU,CAAC,UAAU,SAAS,SAAS,MAAM,EAAE,IAAI;KAC5D,GAAG,IAAI,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;CAC3D,CAAC;AAEF,MAAM,MAAM,eAAe,CACzB,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,UAAU,SAAS,MAAM,GAAG,MAAM,IAChC,UAAU,IAAI,MAAM,UAAU,IAAI,CAAC;AAEvC,MAAM,MAAM,iBAAiB,CAAC,SAAS,SAAS,MAAM,IACpD,SAAS,SAAS,eAAe,CAAC,MAAM,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;AAEvE,MAAM,MAAM,iBAAiB,CAC3B,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,IAAI,SAAS,MAAM,GAAG,MAAM,IAC1B,UAAU,IAAI,UAAU,IAAI,EAAE,CAAC;AAEnC,MAAM,MAAM,mBAAmB,CAAC,SAAS,IACvC,SAAS,SAAS,iBAAiB,CAAC,MAAM,IAAI,CAAC,GAC3C,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,GACvB,SAAS,SAAS,uBAAuB,GACvC,IAAI,GACJ,KAAK,GAOP,KAAK,GACP,KAAK,CAAC;AAEZ,MAAM,MAAM,MAAM,CAAC,IAAI,SAAS,MAAM,IAAI,IAAI,SAAS,EAAE,GACrD,KAAK,GACL,YAAY,CAAC,IAAI,CAAC,SAAS,IAAI,GAC7B,IAAI,GACJ,KAAK,CAAC;AAEZ,MAAM,MAAM,UAAU,CAAC,IAAI,SAAS,MAAM,IACxC,YAAY,CAAC,IAAI,CAAC,SAAS,MAAM,WAAW,SAAS,MAAM,EAAE,GACzD,IAAI,WAAW,CAAC,MAAM,CAAC,GAAG,GAC1B,IAAI,CAAC;AAEX,MAAM,MAAM,YAAY,CACtB,IAAI,SAAS,MAAM,EACnB,eAAe,SAAS,OAAO,GAAG,KAAK,IACrC,IAAI,SAAS,GAAG,MAAM,GAAG,GAAG,GAAG,MAAM,EAAE,GACvC,MAAM,CAAC,eAAe,IAAI,8BAA8B,CAAC,GACzD,YAAY,CAAC,IAAI,CAAC,SAAS,IAAI,GAC7B,MAAM,CAAC,IAAI,IAAI,+BAA+B,CAAC,GAC/C,IAAI,SAAS,GAAG,MAAM,EAAE,GACtB,MAAM,CAAC,eAAe,IAAI,8BAA8B,CAAC,GACzD,IAAI,SAAS,GAAG,MAAM,GAAG,MAAM,EAAE,GAC/B,MAAM,CAAC,eAAe,IAAI,+BAA+B,CAAC,GAC1D,eAAe,SAAS,IAAI,GAC1B,gBAAgB,CAAC,IAAI,CAAC,SAAS,IAAI,GACjC,IAAI,GACJ,MAAM,CAAC,IAAI,IAAI,+BAA+B,CAAC,GACjD,IAAI,CAAC;AAEjB,MAAM,MAAM,YAAY,CAAC,IAAI,SAAS,MAAM,IAAI,IAAI,SAAS,UAAU,GACnE,IAAI,GACJ,KAAK,CAAC;AAEV,MAAM,MAAM,UAAU,GAClB,SAAS,GACT,OAAO,GACP,WAAW,GACX,UAAU,GACV,SAAS,GACT,KAAK,GACL,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,MAAM,GACN,OAAO,GACP,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,MAAM,GACN,IAAI,GACJ,KAAK,GACL,KAAK,GACL,KAAK,GACL,IAAI,GACJ,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,MAAM,GACN,QAAQ,CAAC;AAEb,MAAM,MAAM,gBAAgB,CAAC,SAAS,SAAS,MAAM,IACnD,SAAS,SAAS,GAAG,eAAe,GAAG,MAAM,IAAI,EAAE,GAC/C,IAAI,SAAS,EAAE,GACb,IAAI,GACJ,gBAAgB,CAAC,IAAI,CAAC,GACxB,KAAK,CAAC;AAEZ,KAAK,eAAe,GAEhB,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GAEH,GAAG,CAAC;AAER,KAAK,OAAO,GAAG,MAAM,MAAM,GAAG,CAAC;AAC/B,KAAK,uBAAuB,GACxB,UAAU,MAAM,qCAAqC,OAAO,EAAE,GAC9D,UAAU,MAAM,qCAAqC,OAAO,EAAE,GAC9D,UAAU,MAAM,qCAAqC,OAAO,EAAE,GAC9D,UAAU,MAAM,oCAAoC,MAAM,KAAK,OAAO,EAAE,GACxE,UAAU,MAAM,oCAAoC,MAAM,KAAK,OAAO,EAAE,GACxE,UAAU,MAAM,oCAAoC,MAAM,KAAK,OAAO,EAAE,CAAC"}
+{"version":3,"file":"signatures.d.ts","sourceRoot":"","sources":["../../../../../../src/wit/wit-parser/core/types/signatures.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,MAAM,WAAW,CAAC,IAAI,SAAS,MAAM,IACvC,CAAC,mBAAmB,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC,GACvD,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC,GACrD,CAAC,kBAAkB,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC,GACtD,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,CAAC,CAAC;AAExD,MAAM,MAAM,SAAS,CACnB,OAAO,SAAS,MAAM,EACtB,OAAO,SAAS,MAAM,GAAG,OAAO,GAAG,OAAO,IAE1C,WAAW,CAAC,OAAO,CAAC,SAAS,IAAI,GAC7B,OAAO,GACP,MAAM,SAAS,OAAO,GACpB,OAAO,GACP,MAAM,CAAC,cAAc,OAAO,eAAe,OAAO,SAAS,MAAM,GAC7D,gBAAgB,OAAO,EAAE,GACzB,EAAE,GAAG,CAAC,CAAC;AAEnB,MAAM,MAAM,UAAU,CAAC,UAAU,SAAS,SAAS,MAAM,EAAE,IAAI;KAC5D,GAAG,IAAI,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;CAC3D,CAAC;AAEF,MAAM,MAAM,eAAe,CACzB,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,UAAU,SAAS,MAAM,GAAG,MAAM,IAChC,UAAU,IAAI,MAAM,UAAU,IAAI,CAAC;AAEvC,MAAM,MAAM,iBAAiB,CAAC,SAAS,SAAS,MAAM,IACpD,SAAS,SAAS,eAAe,CAAC,MAAM,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;AAEvE,MAAM,MAAM,gBAAgB,CAC1B,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,KAAK,SAAS,MAAM,GAAG,MAAM,IAC3B,WAAW,IAAI,MAAM,KAAK,IAAI,CAAC;AAEnC,MAAM,MAAM,kBAAkB,CAAC,SAAS,SAAS,MAAM,IACrD,SAAS,SAAS,gBAAgB,CAAC,MAAM,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;AAExE,MAAM,MAAM,aAAa,CACvB,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,KAAK,SAAS,MAAM,GAAG,MAAM,IAC3B,QAAQ,IAAI,MAAM,KAAK,IAAI,CAAC;AAEhC,MAAM,MAAM,eAAe,CAAC,SAAS,SAAS,MAAM,IAClD,SAAS,SAAS,aAAa,CAAC,MAAM,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;AAErE,MAAM,MAAM,iBAAiB,CAC3B,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,IAAI,SAAS,MAAM,GAAG,MAAM,IAC1B,UAAU,IAAI,UAAU,IAAI,EAAE,CAAC;AAEnC,MAAM,MAAM,mBAAmB,CAAC,SAAS,IACvC,SAAS,SAAS,iBAAiB,CAAC,MAAM,IAAI,CAAC,GAC3C,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,GACvB,SAAS,SAAS,uBAAuB,GACvC,IAAI,GACJ,KAAK,GAOP,KAAK,GACP,KAAK,CAAC;AAEZ,MAAM,MAAM,MAAM,CAAC,IAAI,SAAS,MAAM,IAAI,IAAI,SAAS,EAAE,GACrD,KAAK,GACL,YAAY,CAAC,IAAI,CAAC,SAAS,IAAI,GAC7B,IAAI,GACJ,KAAK,CAAC;AAEZ,MAAM,MAAM,UAAU,CAAC,IAAI,SAAS,MAAM,IACxC,YAAY,CAAC,IAAI,CAAC,SAAS,MAAM,WAAW,SAAS,MAAM,EAAE,GACzD,IAAI,WAAW,CAAC,MAAM,CAAC,GAAG,GAC1B,IAAI,CAAC;AAEX,MAAM,MAAM,YAAY,CACtB,IAAI,SAAS,MAAM,EACnB,eAAe,SAAS,OAAO,GAAG,KAAK,IACrC,IAAI,SAAS,GAAG,MAAM,GAAG,GAAG,GAAG,MAAM,EAAE,GACvC,MAAM,CAAC,eAAe,IAAI,8BAA8B,CAAC,GACzD,YAAY,CAAC,IAAI,CAAC,SAAS,IAAI,GAC7B,MAAM,CAAC,IAAI,IAAI,+BAA+B,CAAC,GAC/C,IAAI,SAAS,GAAG,MAAM,EAAE,GACtB,MAAM,CAAC,eAAe,IAAI,8BAA8B,CAAC,GACzD,IAAI,SAAS,GAAG,MAAM,GAAG,MAAM,EAAE,GAC/B,MAAM,CAAC,eAAe,IAAI,+BAA+B,CAAC,GAC1D,eAAe,SAAS,IAAI,GAC1B,gBAAgB,CAAC,IAAI,CAAC,SAAS,IAAI,GACjC,IAAI,GACJ,MAAM,CAAC,IAAI,IAAI,+BAA+B,CAAC,GACjD,IAAI,CAAC;AAEjB,MAAM,MAAM,YAAY,CAAC,IAAI,SAAS,MAAM,IAAI,IAAI,SAAS,UAAU,GACnE,IAAI,GACJ,KAAK,CAAC;AAEV,MAAM,MAAM,UAAU,GAClB,SAAS,GACT,OAAO,GACP,WAAW,GACX,UAAU,GACV,SAAS,GACT,KAAK,GACL,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,MAAM,GACN,OAAO,GACP,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,IAAI,GACJ,KAAK,GACL,KAAK,GACL,KAAK,GACL,IAAI,GACJ,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,KAAK,GACL,MAAM,GACN,QAAQ,CAAC;AAEb,MAAM,MAAM,gBAAgB,CAAC,SAAS,SAAS,MAAM,IACnD,SAAS,SAAS,GAAG,eAAe,GAAG,MAAM,IAAI,EAAE,GAC/C,IAAI,SAAS,EAAE,GACb,IAAI,GACJ,gBAAgB,CAAC,IAAI,CAAC,GACxB,KAAK,CAAC;AAEZ,KAAK,eAAe,GAEhB,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GAEH,GAAG,CAAC;AAER,KAAK,OAAO,GAAG,MAAM,MAAM,GAAG,CAAC;AAC/B,KAAK,uBAAuB,GACxB,UAAU,MAAM,qCAAqC,OAAO,EAAE,GAC9D,UAAU,MAAM,qCAAqC,OAAO,EAAE,GAC9D,UAAU,MAAM,qCAAqC,OAAO,EAAE,GAC9D,UAAU,MAAM,oCAAoC,MAAM,KAAK,OAAO,EAAE,GACxE,UAAU,MAAM,oCAAoC,MAAM,KAAK,OAAO,EAAE,GACxE,UAAU,MAAM,oCAAoC,MAAM,KAAK,OAAO,EAAE,CAAC"}

package/dist/types/wit/wit-parser/core/types/user-defined.d.ts

@@ -0,0 +1,134 @@
+import type { WitParameter } from "../../../wit.js";
+import type { Trim } from "../../../type-utils.js";
+import type { RecordSignature, VariantSignature, EnumSignature } from "./signatures.js";
+import type { ParseWitParameter, SplitParameters } from "./utils.js";
+import type { Error_ } from "../../../error.js";
+export type ComponentLookup = Record<string, readonly (WitParameter & {
+    type: string;
+})[]>;
+export type RecordLookup = ComponentLookup;
+export type VariantLookup = ComponentLookup;
+export type EnumLookup = Record<string, readonly string[]>;
+export type ParseEnums<signatures extends readonly string[]> = {
+    [signature in signatures[number] as ParseEnum<signature> extends infer enum_ extends {
+        name: string;
+    } ? enum_["name"] : never]: ParseEnum<signature>["cases"];
+};
+export type ParseEnum<signature extends string> = signature extends EnumSignature<infer name, infer cases> ? {
+    readonly name: Trim<name>;
+    readonly cases: ParseEnumCases<cases>;
+} : never;
+export type ParseEnumCases<signature extends string, result extends readonly string[] = []> = Trim<signature> extends `${infer head},${infer tail}` ? ParseEnumCases<tail, readonly [...result, Trim<head>]> : Trim<signature> extends "" ? result : readonly [...result, Trim<signature>];
+export type NormalizeVariantCaseToken<S extends string> = Trim<S> extends `${infer N}(${infer T})` ? `${Trim<N>}: ${Trim<T>}` : `${Trim<S>}: _`;
+export type ParseVariants<signatures extends readonly string[], enums extends EnumLookup | unknown = unknown, records extends ComponentLookup | unknown = unknown> = {
+    [signature in signatures[number] as ParseVariant<signature, {}, records, enums> extends infer variant extends {
+        name: string;
+    } ? variant["name"] : never]: ParseVariant<signature, {}, records, enums>["components"];
+};
+export type ParseVariant<signature extends string, variants extends ComponentLookup | unknown = unknown, records extends ComponentLookup | unknown = unknown, enums extends EnumLookup | unknown = unknown> = signature extends VariantSignature<infer name, infer components> ? {
+    readonly name: name;
+    readonly components: ParseVariantCases<components, variants, records, enums>;
+} : never;
+export type ParseVariantCases<signature extends string, variants extends ComponentLookup | unknown = unknown, records extends ComponentLookup | unknown = unknown, enums extends EnumLookup | unknown = unknown> = SplitParameters<signature> extends infer parts extends readonly string[] ? {
+    readonly [K in keyof parts]: ParseWitParameter<NormalizeVariantCaseToken<parts[K]>, {
+        records: records;
+        variants: variants;
+        enums: enums;
+    }>;
+} : SplitParameters<signature>;
+export type ParseRecords<signatures extends readonly string[], variants extends ComponentLookup | unknown = unknown, enums extends EnumLookup | unknown = unknown> = {
+    [signature in signatures[number] as ParseRecord<signature, {}, variants, enums> extends infer record extends {
+        name: string;
+    } ? record["name"] : never]: ParseRecord<signature, {}, variants, enums>["components"];
+};
+export type ParseRecord<signature extends string, records extends ComponentLookup | unknown = unknown, variants extends ComponentLookup | unknown = unknown, enums extends EnumLookup | unknown = unknown> = signature extends RecordSignature<infer name, infer properties> ? {
+    readonly name: Trim<name>;
+    readonly components: ParseRecordProperties<properties, records, variants, enums>;
+} : never;
+export type ParseRecordProperties<signature extends string, records extends ComponentLookup | unknown = unknown, variants extends ComponentLookup | unknown = unknown, enums extends EnumLookup | unknown = unknown> = SplitParameters<signature> extends infer parts extends readonly string[] ? {
+    readonly [K in keyof parts]: ParseWitParameter<parts[K], {
+        records: records;
+        variants: variants;
+        enums: enums;
+    }>;
+} : SplitParameters<signature>;
+export type ResolveTypes<witParameters extends readonly (WitParameter & {
+    type: string;
+})[], records extends ComponentLookup | unknown = unknown, variants extends ComponentLookup | unknown = unknown, enums extends EnumLookup | unknown = unknown, keyReferences extends {
+    [_: string]: unknown;
+} | unknown = unknown> = readonly [
+    ...{
+        [key in keyof witParameters]: witParameters[key]["type"] extends `list<${infer inner}>` ? ResolveWrappedType<witParameters[key], "list", inner, records, variants, enums, keyReferences> : witParameters[key]["type"] extends `option<${infer inner}>` ? ResolveWrappedType<witParameters[key], "option", inner, records, variants, enums, keyReferences> : witParameters[key]["type"] extends `borrow<${infer inner}>` ? ResolveWrappedType<witParameters[key], "borrow", inner, records, variants, enums, keyReferences> : witParameters[key]["type"] extends `result<${infer inner}, error>` ? ResolveWrappedType<witParameters[key], "result", inner, records, variants, enums, keyReferences> : ResolveDirectType<witParameters[key], records, variants, enums, keyReferences>;
+    }
+];
+type ResolveWrappedType<param extends WitParameter & {
+    type: string;
+}, wrapper extends string, inner extends string, records extends ComponentLookup | unknown, variants extends ComponentLookup | unknown, enums extends EnumLookup | unknown, keyReferences extends {
+    [_: string]: unknown;
+} | unknown> = [
+    records
+] extends [ComponentLookup] ? inner extends keyof records ? inner extends keyof keyReferences ? Error_<`Circular reference detected at "${inner}".`> : {
+    readonly name: param["name"];
+    readonly type: wrapper extends "result" ? `result<record, error>` : `${wrapper}<record>`;
+    readonly internalType: wrapper extends "result" ? `result<${inner}, error>` : `${wrapper}<${inner}>`;
+    readonly components: ResolveTypes<records[inner], records, variants, enums, keyReferences & {
+        [K in inner]: true;
+    }>;
+} : [variants] extends [ComponentLookup] ? inner extends keyof variants ? inner extends keyof keyReferences ? Error_<`Circular reference detected at "${inner}".`> : {
+    readonly name: param["name"];
+    readonly type: wrapper extends "result" ? `result<variant, error>` : `${wrapper}<variant>`;
+    readonly internalType: wrapper extends "result" ? `result<${inner}, error>` : `${wrapper}<${inner}>`;
+    readonly components: ResolveTypes<variants[inner], records, variants, enums, keyReferences & {
+        [K in inner]: true;
+    }>;
+} : [enums] extends [EnumLookup] ? inner extends keyof enums ? inner extends keyof keyReferences ? Error_<`Circular reference detected at "${inner}".`> : {
+    readonly name: param["name"];
+    readonly type: wrapper extends "result" ? `result<enum, error>` : `${wrapper}<enum>`;
+    readonly internalType: wrapper extends "result" ? `result<${inner}, error>` : `${wrapper}<${inner}>`;
+    readonly components: EnumToComponents<enums[inner]>;
+} : param : param : param : param;
+type ResolveDirectType<param extends WitParameter & {
+    type: string;
+}, records extends ComponentLookup | unknown, variants extends ComponentLookup | unknown, enums extends EnumLookup | unknown, keyReferences extends {
+    [_: string]: unknown;
+} | unknown> = [
+    records
+] extends [ComponentLookup] ? param["type"] extends keyof records ? param["type"] extends keyof keyReferences ? Error_<`Circular reference detected at "${param["type"]}".`> : {
+    readonly name: param["name"];
+    readonly type: "record";
+    readonly internalType: param["type"];
+    readonly components: ResolveTypes<records[param["type"]], records, variants, enums, keyReferences & {
+        [K in param["type"]]: true;
+    }>;
+} : [variants] extends [ComponentLookup] ? param["type"] extends keyof variants ? param["type"] extends keyof keyReferences ? Error_<`Circular reference detected at "${param["type"]}".`> : {
+    readonly name: param["name"];
+    readonly type: "variant";
+    readonly internalType: param["type"];
+    readonly components: ResolveTypes<variants[param["type"]], records, variants, enums, keyReferences & {
+        [K in param["type"]]: true;
+    }>;
+} : [enums] extends [EnumLookup] ? param["type"] extends keyof enums ? param["type"] extends keyof keyReferences ? Error_<`Circular reference detected at "${param["type"]}".`> : {
+    readonly name: param["name"];
+    readonly type: "enum";
+    readonly internalType: param["type"];
+    readonly components: EnumToComponents<enums[param["type"]]>;
+} : param : param : param : param;
+export type EnumToComponents<cases extends readonly string[]> = readonly [
+    ...{
+        [K in keyof cases]: {
+            readonly name: cases[K];
+            readonly type: "_";
+        };
+    }
+];
+export type ParseTypes<signatures extends readonly string[]> = ParseEnums<signatures> extends infer enums extends EnumLookup ? ParseRecords<signatures, {}, enums> extends infer shallowRecords extends ComponentLookup ? ParseVariants<signatures, enums, {}> extends infer shallowVariants extends ComponentLookup ? {
+    records: {
+        [K in keyof shallowRecords]: ResolveTypes<shallowRecords[K], shallowRecords, shallowVariants, enums>;
+    };
+    variants: {
+        [K in keyof shallowVariants]: ResolveTypes<shallowVariants[K], shallowRecords, shallowVariants, enums>;
+    };
+    enums: enums;
+} : never : never : never;
+export {};
+//# sourceMappingURL=user-defined.d.ts.map

package/dist/types/wit/wit-parser/core/types/user-defined.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"user-defined.d.ts","sourceRoot":"","sources":["../../../../../../src/wit/wit-parser/core/types/user-defined.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,KAAK,EACV,eAAe,EACf,gBAAgB,EAChB,aAAa,EACd,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AACrE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,MAAM,eAAe,GAAG,MAAM,CAClC,MAAM,EACN,SAAS,CAAC,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,CAC7C,CAAC;AACF,MAAM,MAAM,YAAY,GAAG,eAAe,CAAC;AAC3C,MAAM,MAAM,aAAa,GAAG,eAAe,CAAC;AAC5C,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;AAI3D,MAAM,MAAM,UAAU,CAAC,UAAU,SAAS,SAAS,MAAM,EAAE,IAAI;KAC5D,SAAS,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,SAAS,MAAM,KAAK,SAC1E;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,GACd,KAAK,CAAC,MAAM,CAAC,GACb,KAAK,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,SAAS,CAAC,SAAS,SAAS,MAAM,IAC5C,SAAS,SAAS,aAAa,CAAC,MAAM,IAAI,EAAE,MAAM,KAAK,CAAC,GACpD;IACE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,KAAK,CAAC,CAAC;CACvC,GACD,KAAK,CAAC;AAEZ,MAAM,MAAM,cAAc,CACxB,SAAS,SAAS,MAAM,EACxB,MAAM,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,IAErC,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACjD,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GACtD,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,GACxB,MAAM,GACN,SAAS,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;AAM9C,MAAM,MAAM,yBAAyB,CAAC,CAAC,SAAS,MAAM,IACpD,IAAI,CAAC,CAAC,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,GACpC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GACxB,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;AAEtB,MAAM,MAAM,aAAa,CACvB,UAAU,SAAS,SAAS,MAAM,EAAE,EACpC,KAAK,SAAS,UAAU,GAAG,OAAO,GAAG,OAAO,EAC5C,OAAO,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,IACjD;KACD,SAAS,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,YAAY,CAC9C,SAAS,EACT,EAAE,EACF,OAAO,EACP,KAAK,CACN,SAAS,MAAM,OAAO,SAAS;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,GAC5C,OAAO,CAAC,MAAM,CAAC,GACf,KAAK,GAAG,YAAY,CAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC;CACtE,CAAC;AA4BF,MAAM,MAAM,YAAY,CACtB,SAAS,SAAS,MAAM,EACxB,QAAQ,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,EACpD,OAAO,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,EACnD,KAAK,SAAS,UAAU,GAAG,OAAO,GAAG,OAAO,IAE5C,SAAS,SAAS,gBAAgB,CAAC,MAAM,IAAI,EAAE,MAAM,UAAU,CAAC,GAC5D;IACE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CACpC,UAAU,EACV,QAAQ,EACR,OAAO,EACP,KAAK,CACN,CAAC;CACH,GACD,KAAK,CAAC;AAEZ,MAAM,MAAM,iBAAiB,CAC3B,SAAS,SAAS,MAAM,EACxB,QAAQ,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,EACpD,OAAO,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,EACnD,KAAK,SAAS,UAAU,GAAG,OAAO,GAAG,OAAO,IAE5C,eAAe,CAAC,SAAS,CAAC,SAAS,MAAM,KAAK,SAAS,SAAS,MAAM,EAAE,GACpE;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,iBAAiB,CAC5C,yBAAyB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EACnC;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,KAAK,CAAA;KAAE,CACvD;CACF,GACD,eAAe,CAAC,SAAS,CAAC,CAAC;AAMjC,MAAM,MAAM,YAAY,CACtB,UAAU,SAAS,SAAS,MAAM,EAAE,EACpC,QAAQ,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,EACpD,KAAK,SAAS,UAAU,GAAG,OAAO,GAAG,OAAO,IAC1C;KACD,SAAS,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,WAAW,CAC7C,SAAS,EACT,EAAE,EACF,QAAQ,EACR,KAAK,CACN,SAAS,MAAM,MAAM,SAAS;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE,GAC3C,MAAM,CAAC,MAAM,CAAC,GACd,KAAK,GAAG,WAAW,CAAC,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,YAAY,CAAC;CACtE,CAAC;AAEF,MAAM,MAAM,WAAW,CACrB,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,EACnD,QAAQ,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,EACpD,KAAK,SAAS,UAAU,GAAG,OAAO,GAAG,OAAO,IAE5C,SAAS,SAAS,eAAe,CAAC,MAAM,IAAI,EAAE,MAAM,UAAU,CAAC,GAC3D;IACE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,qBAAqB,CACxC,UAAU,EACV,OAAO,EACP,QAAQ,EACR,KAAK,CACN,CAAC;CACH,GACD,KAAK,CAAC;AAEZ,MAAM,MAAM,qBAAqB,CAC/B,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,EACnD,QAAQ,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,EACpD,KAAK,SAAS,UAAU,GAAG,OAAO,GAAG,OAAO,IAE5C,eAAe,CAAC,SAAS,CAAC,SAAS,MAAM,KAAK,SAAS,SAAS,MAAM,EAAE,GACpE;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,iBAAiB,CAC5C,KAAK,CAAC,CAAC,CAAC,EACR;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,QAAQ,CAAC;QAAC,KAAK,EAAE,KAAK,CAAA;KAAE,CACvD;CACF,GACD,eAAe,CAAC,SAAS,CAAC,CAAC;AAMjC,MAAM,MAAM,YAAY,CACtB,aAAa,SAAS,SAAS,CAAC,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,EAClE,OAAO,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,EACnD,QAAQ,SAAS,eAAe,GAAG,OAAO,GAAG,OAAO,EACpD,KAAK,SAAS,UAAU,GAAG,OAAO,GAAG,OAAO,EAC5C,aAAa,SAAS;IAAE,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,GAAG,OAAO,GAAG,OAAO,IAChE,SAAS;IACX,GAAG;SACA,GAAG,IAAI,MAAM,aAAa,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,SACxD,QAAQ,MAAM,KAAK,GAAG,GAClB,kBAAkB,CAChB,aAAa,CAAC,GAAG,CAAC,EAClB,MAAM,EACN,KAAK,EACL,OAAO,EACP,QAAQ,EACR,KAAK,EACL,aAAa,CACd,GACD,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,UAAU,MAAM,KAAK,GAAG,GACzD,kBAAkB,CAChB,aAAa,CAAC,GAAG,CAAC,EAClB,QAAQ,EACR,KAAK,EACL,OAAO,EACP,QAAQ,EACR,KAAK,EACL,aAAa,CACd,GACD,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,UAAU,MAAM,KAAK,GAAG,GACzD,kBAAkB,CAChB,aAAa,CAAC,GAAG,CAAC,EAClB,QAAQ,EACR,KAAK,EACL,OAAO,EACP,QAAQ,EACR,KAAK,EACL,aAAa,CACd,GACD,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,UAAU,MAAM,KAAK,UAAU,GAChE,kBAAkB,CAChB,aAAa,CAAC,GAAG,CAAC,EAClB,QAAQ,EACR,KAAK,EACL,OAAO,EACP,QAAQ,EACR,KAAK,EACL,aAAa,CACd,GAED,iBAAiB,CACf,aAAa,CAAC,GAAG,CAAC,EAClB,OAAO,EACP,QAAQ,EACR,KAAK,EACL,aAAa,CACd;KACZ;CACF,CAAC;AAEF,KAAK,kBAAkB,CACrB,KAAK,SAAS,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAC7C,OAAO,SAAS,MAAM,EACtB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,eAAe,GAAG,OAAO,EACzC,QAAQ,SAAS,eAAe,GAAG,OAAO,EAC1C,KAAK,SAAS,UAAU,GAAG,OAAO,EAClC,aAAa,SAAS;IAAE,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,GAAG,OAAO,IAGxD;IAAC,OAAO;CAAC,SAAS,CAAC,eAAe,CAAC,GAC/B,KAAK,SAAS,MAAM,OAAO,GACzB,KAAK,SAAS,MAAM,aAAa,GAC/B,MAAM,CAAC,mCAAmC,KAAK,IAAI,CAAC,GACpD;IACE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,OAAO,SAAS,QAAQ,GACnC,uBAAuB,GACvB,GAAG,OAAO,UAAU,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,OAAO,SAAS,QAAQ,GAC3C,UAAU,KAAK,UAAU,GACzB,GAAG,OAAO,IAAI,KAAK,GAAG,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,YAAY,CAC/B,OAAO,CAAC,KAAK,CAAC,EACd,OAAO,EACP,QAAQ,EACR,KAAK,EACL,aAAa,GAAG;SAAG,CAAC,IAAI,KAAK,GAAG,IAAI;KAAE,CACvC,CAAC;CACH,GACH,CAAC,QAAQ,CAAC,SAAS,CAAC,eAAe,CAAC,GAClC,KAAK,SAAS,MAAM,QAAQ,GAC1B,KAAK,SAAS,MAAM,aAAa,GAC/B,MAAM,CAAC,mCAAmC,KAAK,IAAI,CAAC,GACpD;IACE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,OAAO,SAAS,QAAQ,GACnC,wBAAwB,GACxB,GAAG,OAAO,WAAW,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,OAAO,SAAS,QAAQ,GAC3C,UAAU,KAAK,UAAU,GACzB,GAAG,OAAO,IAAI,KAAK,GAAG,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,YAAY,CAC/B,QAAQ,CAAC,KAAK,CAAC,EACf,OAAO,EACP,QAAQ,EACR,KAAK,EACL,aAAa,GAAG;SAAG,CAAC,IAAI,KAAK,GAAG,IAAI;KAAE,CACvC,CAAC;CACH,GACH,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,GAC1B,KAAK,SAAS,MAAM,KAAK,GACvB,KAAK,SAAS,MAAM,aAAa,GAC/B,MAAM,CAAC,mCAAmC,KAAK,IAAI,CAAC,GACpD;IACE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,OAAO,SAAS,QAAQ,GACnC,qBAAqB,GACrB,GAAG,OAAO,QAAQ,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,OAAO,SAAS,QAAQ,GAC3C,UAAU,KAAK,UAAU,GACzB,GAAG,OAAO,IAAI,KAAK,GAAG,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;CACrD,GACH,KAAK,GACP,KAAK,GACT,KAAK,GACT,KAAK,CAAC;AAEZ,KAAK,iBAAiB,CACpB,KAAK,SAAS,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAC7C,OAAO,SAAS,eAAe,GAAG,OAAO,EACzC,QAAQ,SAAS,eAAe,GAAG,OAAO,EAC1C,KAAK,SAAS,UAAU,GAAG,OAAO,EAClC,aAAa,SAAS;IAAE,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,GAAG,OAAO,IAGxD;IAAC,OAAO;CAAC,SAAS,CAAC,eAAe,CAAC,GAC/B,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,OAAO,GACjC,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,aAAa,GACvC,MAAM,CAAC,mCAAmC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAC5D;IACE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAC/B,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EACtB,OAAO,EACP,QAAQ,EACR,KAAK,EACL,aAAa,GAAG;SAAG,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI;KAAE,CAC/C,CAAC;CACH,GACH,CAAC,QAAQ,CAAC,SAAS,CAAC,eAAe,CAAC,GAClC,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,QAAQ,GAClC,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,aAAa,GACvC,MAAM,CAAC,mCAAmC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAC5D;IACE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,YAAY,CAC/B,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EACvB,OAAO,EACP,QAAQ,EACR,KAAK,EACL,aAAa,GAAG;SAAG,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI;KAAE,CAC/C,CAAC;CACH,GACH,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,CAAC,GAC1B,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,KAAK,GAC/B,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,aAAa,GACvC,MAAM,CAAC,mCAAmC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAC5D;IACE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAC7D,GACH,KAAK,GACP,KAAK,GACT,KAAK,GACT,KAAK,CAAC;AAEZ,MAAM,MAAM,gBAAgB,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,IAAI,SAAS;IACvE,GAAG;SACA,CAAC,IAAI,MAAM,KAAK,GAAG;YAClB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YACxB,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC;SACpB;KACF;CACF,CAAC;AAMF,MAAM,MAAM,UAAU,CAAC,UAAU,SAAS,SAAS,MAAM,EAAE,IACzD,UAAU,CAAC,UAAU,CAAC,SAAS,MAAM,KAAK,SAAS,UAAU,GACzD,YAAY,CAAC,UAAU,EAAE,EAAE,EAAE,KAAK,CAAC,SAAS,MAAM,cAAc,SAC9D,eAAe,GACf,aAAa,CACX,UAAU,EACV,KAAK,EACL,EAAE,CACH,SAAS,MAAM,eAAe,SAAS,eAAe,GACrD;IACE,OAAO,EAAE;SACN,CAAC,IAAI,MAAM,cAAc,GAAG,YAAY,CACvC,cAAc,CAAC,CAAC,CAAC,EACjB,cAAc,EACd,eAAe,EACf,KAAK,CACN;KACF,CAAC;IACF,QAAQ,EAAE;SACP,CAAC,IAAI,MAAM,eAAe,GAAG,YAAY,CACxC,eAAe,CAAC,CAAC,CAAC,EAClB,cAAc,EACd,eAAe,EACf,KAAK,CACN;KACF,CAAC;IACF,KAAK,EAAE,KAAK,CAAC;CACd,GACD,KAAK,GACP,KAAK,GACP,KAAK,CAAC"}

package/dist/types/wit/wit-parser/core/types/utils.d.ts

@@ -1,9 +1,11 @@
-import type { RecordLookup } from "./records.js";
 import type { Trim, Pretty } from "../../../type-utils.js";
 import type { FunctionSignature, IsFunctionSignature } from "./signatures.js";
 import type { Error_ } from "../../../error.js";
+import type { EnumLookup, RecordLookup, VariantLookup, EnumToComponents } from "./user-defined.js";
 type ParseOptions = {
     records?: RecordLookup | unknown;
+    variants?: VariantLookup | unknown;
+    enums?: EnumLookup | unknown;
 };
 type DefaultParseOptions = {};
 type Readonlyify<T> = {
@@ -12,9 +14,21 @@ type Readonlyify<T> = {
 type HasRecords<Opts> = Opts extends {
     records: Record<string, unknown>;
 } ? true : false;
+type HasVariants<Opts> = Opts extends {
+    variants: Record<string, unknown>;
+} ? true : false;
+type HasEnums<Opts> = Opts extends {
+    enums: Record<string, unknown>;
+} ? true : false;
 type RecordsOf<Opts> = Opts extends {
     records: infer R extends RecordLookup;
 } ? R : never;
+type VariantsOf<Opts> = Opts extends {
+    variants: infer R extends VariantLookup;
+} ? R : never;
+type EnumsOf<Opts> = Opts extends {
+    enums: infer E extends EnumLookup;
+} ? E : never;
 type WithName<Shallow> = Shallow extends {
     name: infer N extends string;
 } ? {
@@ -25,10 +39,71 @@ type GetComponents<T> = T extends {
 } ? {
     readonly components: C;
 } : {};
-type AsTupleFromRecord<T extends string, Opts extends ParseOptions> = HasRecords<Opts> extends true ? T extends keyof RecordsOf<Opts> ? Readonlyify<{
-    type: "tuple";
+type MapCaseFields<Fields extends readonly {
+    readonly name?: string | undefined;
+    readonly type: string;
+}[], V extends VariantLookup, R extends RecordLookup, E extends EnumLookup> = {
+    readonly [I in keyof Fields]: Fields[I] extends {
+        readonly name?: infer N extends string | undefined;
+        readonly internalType: infer IT extends string;
+        readonly type: infer T extends string;
+    } ? Pretty<{
+        readonly name: N;
+    } & MapGenericType<IT extends "_" ? T : IT, {
+        variants: V;
+        records: R;
+        enums: E;
+    }>> : never;
+};
+type AsUserDefinedType<T extends string, Opts extends ParseOptions> = T extends "_" ? Readonlyify<{
+    type: "_";
+    internalType: "_";
+}> : HasRecords<Opts> extends true ? T extends keyof RecordsOf<Opts> ? Readonlyify<{
+    type: "record";
+    internalType: T;
     components: RecordsOf<Opts>[T];
+}> : HasVariants<Opts> extends true ? T extends keyof VariantsOf<Opts> ? Readonlyify<{
+    type: "variant";
+    internalType: T;
+    components: MapCaseFields<VariantsOf<Opts>[T], VariantsOf<Opts>, RecordsOf<Opts>, EnumsOf<Opts>>;
+}> : HasEnums<Opts> extends true ? T extends keyof EnumsOf<Opts> ? Readonlyify<{
+    type: "enum";
     internalType: T;
+    components: EnumToComponents<EnumsOf<Opts>[T]>;
+}> : Readonlyify<{
+    type: T;
+    internalType: T;
+}> : Readonlyify<{
+    type: T;
+    internalType: T;
+}> : HasEnums<Opts> extends true ? T extends keyof EnumsOf<Opts> ? Readonlyify<{
+    type: "enum";
+    internalType: T;
+    components: EnumToComponents<EnumsOf<Opts>[T]>;
+}> : Readonlyify<{
+    type: T;
+    internalType: T;
+}> : Readonlyify<{
+    type: T;
+    internalType: T;
+}> : HasVariants<Opts> extends true ? T extends keyof VariantsOf<Opts> ? Readonlyify<{
+    type: "variant";
+    internalType: T;
+    components: VariantsOf<Opts>[T];
+}> : HasEnums<Opts> extends true ? T extends keyof EnumsOf<Opts> ? Readonlyify<{
+    type: "enum";
+    internalType: T;
+    components: EnumToComponents<EnumsOf<Opts>[T]>;
+}> : Readonlyify<{
+    type: T;
+    internalType: T;
+}> : Readonlyify<{
+    type: T;
+    internalType: T;
+}> : HasEnums<Opts> extends true ? T extends keyof EnumsOf<Opts> ? Readonlyify<{
+    type: "enum";
+    internalType: T;
+    components: EnumToComponents<EnumsOf<Opts>[T]>;
 }> : Readonlyify<{
     type: T;
     internalType: T;
@@ -64,7 +139,7 @@ type MapGenericType<T extends string, Opts extends ParseOptions> = T extends `li
 } ? Readonlyify<{
     type: `result<${LMapped["type"]}, ${RMapped["type"]}>`;
     internalType: T;
-} & MaybeResultComponents<LMapped, RMapped>> : never : never : never : AsTupleFromRecord<T, Opts>;
+} & MaybeResultComponents<LMapped, RMapped>> : never : never : never : AsUserDefinedType<T, Opts>;
 export type ParseWitParameter<signature extends string, options extends ParseOptions = DefaultParseOptions> = (signature extends `${infer left}: ${infer right}` ? {
     readonly type: Trim<right>;
 } & {
@@ -89,16 +164,16 @@ export type _ParseFunctionParametersAndContext<signature extends string> = signa
 } : never;
 export type SplitParameters<signature extends string, result extends unknown[] = [], current extends string = "", depth extends readonly number[] = []> = signature extends "" ? current extends "" ? [...result] : depth["length"] extends 0 ? [...result, Trim<current>] : Error_<`Unbalanced <>. "${current}" has too many opening "<".`> : signature extends `${infer char}${infer tail}` ? char extends "," ? depth["length"] extends 0 ? SplitParameters<tail, [...result, Trim<current>], ""> : SplitParameters<tail, result, `${current}${char}`, depth> : char extends "<" ? SplitParameters<tail, result, `${current}${char}`, [...depth, 1]> : char extends ">" ? depth["length"] extends 0 ? Error_<`Unbalanced <>. "${current}${char}" has too many closing ">".`> : SplitParameters<tail, result, `${current}${char}`, Pop<depth>> : SplitParameters<tail, result, `${current}${char}`, depth> : [];
 type Pop<type extends readonly number[]> = type extends [...infer head, any] ? head : [];
-export type ParseSignature<signature extends string, records extends RecordLookup | unknown = unknown> = IsFunctionSignature<signature> extends true ? signature extends FunctionSignature<infer name, infer tail> ? {
+export type ParseSignature<signature extends string, types extends {
+    records?: RecordLookup | unknown;
+    variants?: VariantLookup | unknown;
+    enums?: EnumLookup | unknown;
+} = {}> = IsFunctionSignature<signature> extends true ? signature extends FunctionSignature<infer name, infer tail> ? {
     readonly name: name;
     readonly type: "function";
     readonly context: _ParseFunctionParametersAndContext<signature>["Context"];
-    readonly inputs: ParseWitParameters<SplitParameters<_ParseFunctionParametersAndContext<signature>["Inputs"]>, {
-        records: records;
-    }>;
-    readonly outputs: tail extends `${string} -> ${infer returns};` ? ParseWitParameters<SplitParameters<Trim<returns>>, {
-        records: records;
-    }> : readonly [];
+    readonly inputs: ParseWitParameters<SplitParameters<_ParseFunctionParametersAndContext<signature>["Inputs"]>, types>;
+    readonly outputs: tail extends `${string} -> ${infer returns};` ? ParseWitParameters<SplitParameters<Trim<returns>>, types> : readonly [];
 } : never : never;
 export {};
 //# sourceMappingURL=utils.d.ts.map