@kontor/kontor-sdk 1.0.0-alpha.10 → 1.0.0-alpha.13

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

@@ -0,0 +1,135 @@
+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 { ResolvedRegister } from "./register.js";
+import type { Merge, Pretty } from "./type-utils.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";
+    context: witFuncContext;
+}>;
+export type ExtractWitFunctionNames<wit extends Wit, witFuncContext extends WitStateMutability = WitStateMutability> = ExtractWitFunctions<wit, witFuncContext>["name"];
+export type ExtractWitFunction<wit extends Wit, functionName extends ExtractWitFunctionNames<wit>, witFuncContext extends WitStateMutability = WitStateMutability> = Extract<ExtractWitFunctions<wit, witFuncContext>, {
+    name: functionName;
+}>;
+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 WitTypeToPrimitiveType<witType extends WitType> = PrimitiveTypeLookup[witType];
+interface PrimitiveTypeLookup extends WitIntMap, WitListMap, WitOptionMap, WitResultMap {
+    bool: boolean;
+    address: string;
+    string: string;
+    tuple: Record<string, unknown>;
+    error: unknown;
+    integer: ResolvedRegister["bigIntType"];
+    decimal: ResolvedRegister["decimalType"];
+    unit: void;
+    "contract-address": ResolvedRegister["contractAddress"];
+}
+type WitIntMap = {
+    [_ in WitInt]: _ extends `${"u" | "s"}${infer bits extends keyof BitsTypeLookup}` ? BitsTypeLookup[bits] : never;
+};
+type WitListMap = {
+    [_ in WitList]: readonly unknown[];
+};
+type WitOptionMap = {
+    [_ in WitOption]: Option<unknown>;
+};
+type WitResultMap = {
+    [_ in WitResult]: Result<unknown, string>;
+};
+type BitsTypeLookup = {
+    [key in MBits]: ResolvedRegister[key extends LessThanOrEqualTo48Bits ? "intType" : "bigIntType"];
+};
+type WitBasicType = Exclude<WitType, WitTuple | WitList | WitResult | WitOption>;
+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;
+type WitListToPrimitiveType<witParameter extends WitParameter | {
+    name: string;
+    type: unknown;
+}, witParameterKind extends WitParameterKind, head extends string> = readonly WitParameterToPrimitiveType<Merge<witParameter, {
+    type: head;
+}>, witParameterKind>[];
+type WitOptionToPrimitiveType<witParameter extends WitParameter | {
+    name: string;
+    type: unknown;
+}, witParameterKind extends WitParameterKind, inner extends string> = Option<WitParameterToPrimitiveType<Merge<witParameter, {
+    type: inner;
+}>, witParameterKind>>;
+type WitResultToPrimitiveType<witParameter extends WitParameter | {
+    name: string;
+    type: unknown;
+}, witParameterKind extends WitParameterKind, ok extends string> = Result<WitParameterToPrimitiveType<Merge<witParameter, {
+    type: ok;
+}>, witParameterKind>, string>;
+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>;
+} : {
+    [key in keyof components]: WitParameterToPrimitiveType<components[key], witParameterKind>;
+};
+export type TypedDataToPrimitiveTypes<typedData extends TypedData, witParameterKind extends WitParameterKind = WitParameterKind, keyReferences extends {
+    [_: string]: unknown;
+} | unknown = unknown> = {
+    [key in keyof typedData]: {
+        [key2 in typedData[key][number] as key2["name"]]: key2["type"] extends key ? Error_<`Cannot convert self-referencing struct '${key2["type"]}' to primitive type.`> : key2["type"] extends keyof typedData ? key2["type"] extends keyof keyReferences ? Error_<`Circular reference detected. '${key2["type"]}' is a circular reference.`> : TypedDataToPrimitiveTypes<Exclude<typedData, key>, witParameterKind, keyReferences & {
+            [_ 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}]`;
+            components: _TypedDataParametersToWitParameters<typedData[type], typedData, keyReferences & {
+                [_ in type | key]: true;
+            }>;
+        }, witParameterKind> : key2["type"] extends TypedDataType ? WitParameterToPrimitiveType<key2, witParameterKind> : Error_<`Cannot convert unknown type '${key2["type"]}' to primitive type.`>;
+    };
+} & unknown;
+type _TypedDataParametersToWitParameters<typedDataParameters extends readonly TypedDataParameter[], typedData extends TypedData, keyReferences extends {
+    [_: string]: unknown;
+} | unknown = unknown> = {
+    [key in keyof typedDataParameters]: typedDataParameters[key] extends infer typedDataParameter extends {
+        name: string;
+        type: unknown;
+    } ? typedDataParameter["type"] extends keyof typedData & string ? {
+        name: typedDataParameter["name"];
+        type: "tuple";
+        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}]`;
+        components: type extends keyof keyReferences ? Error_<`Circular reference detected. '${typedDataParameter["type"]}' is a circular reference.`> : _TypedDataParametersToWitParameters<typedData[type], typedData, keyReferences & {
+            [_ in type]: true;
+        }>;
+    } : typedDataParameter : never;
+};
+export {};
+//# sourceMappingURL=utils.d.ts.map

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

@@ -0,0 +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,IAMxD,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;IAEhB,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,GAEC,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,GAED,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,GAED,kBAAkB,GACtB,KAAK;CACV,CAAC"}

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

@@ -0,0 +1,2 @@
+export declare const version = "1.0.0";
+//# sourceMappingURL=version.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../../src/wit/version.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,OAAO,UAAU,CAAC"}

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

@@ -0,0 +1,22 @@
+import { BaseError } from "../../../error.js";
+import type { WitItemType } from "../../../wit.js";
+export declare class InvalidSignatureError extends BaseError {
+    name: string;
+    constructor({ signature, type, }: {
+        signature: string;
+        type: WitItemType | "record";
+    });
+}
+export declare class UnknownSignatureError extends BaseError {
+    name: string;
+    constructor({ signature }: {
+        signature: string;
+    });
+}
+export declare class InvalidRecordSignatureError 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

@@ -0,0 +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"}

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

@@ -0,0 +1,9 @@
+import { BaseError } from "../../../error.js";
+export declare class InvalidGenericDepthError extends BaseError {
+    name: string;
+    constructor({ current, depth }: {
+        current: string;
+        depth: number;
+    });
+}
+//# sourceMappingURL=splitParameters.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"splitParameters.d.ts","sourceRoot":"","sources":["../../../../../../src/wit/wit-parser/core/errors/splitParameters.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAE9C,qBAAa,wBAAyB,SAAQ,SAAS;IAC5C,IAAI,SAA8B;gBAE/B,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE;CAUnE"}

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

@@ -0,0 +1,15 @@
+import { BaseError } from "../../../error.js";
+export declare class InvalidWitParameterError extends BaseError {
+    name: string;
+    constructor({ param }: {
+        param: string | object;
+    });
+}
+export declare class WitProtectedKeywordError extends BaseError {
+    name: string;
+    constructor({ param, name }: {
+        param: string;
+        name: string;
+    });
+}
+//# sourceMappingURL=wit-parameter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"wit-parameter.d.ts","sourceRoot":"","sources":["../../../../../../src/wit/wit-parser/core/errors/wit-parameter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAE9C,qBAAa,wBAAyB,SAAQ,SAAS;IAC5C,IAAI,SAA8B;gBAE/B,EAAE,KAAK,EAAE,EAAE;QAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE;CAKlD;AACD,qBAAa,wBAAyB,SAAQ,SAAS;IAC5C,IAAI,SAA8B;gBAE/B,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE;CAM7D"}

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

@@ -0,0 +1,4 @@
+import type { RecordLookup } from "./types/records.js";
+export declare function parseRecords(signatures: readonly string[]): RecordLookup;
+export declare function isGeneric(type: string): boolean;
+//# sourceMappingURL=records.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"records.d.ts","sourceRoot":"","sources":["../../../../../src/wit/wit-parser/core/records.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGvD,wBAAgB,YAAY,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,gBAwCzD;AAKD,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE/C"}

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

@@ -0,0 +1,18 @@
+export declare function isErrorSignature(signature: string): boolean;
+export declare function execErrorSignature(signature: string): {
+    name: string;
+    parameters: string;
+} | undefined;
+export declare function isFunctionSignature(signature: string): boolean;
+export declare function execFunctionSignature(signature: string): {
+    name: string;
+    type: string;
+    parameters: string;
+    returns: string | undefined;
+} | null;
+export declare function isRecordSignature(signature: string): boolean;
+export declare function execRecordSignature(signature: string): {
+    name: string;
+    properties: string;
+} | undefined;
+//# sourceMappingURL=signatures.d.ts.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,51 @@
+import type { WitParameter } from "../../../wit.js";
+import type { Trim } from "../../../type-utils.js";
+import type { RecordSignature } from "./signatures.js";
+import type { ParseWitParameter } from "./utils.js";
+import type { Error_ } from "../../../error.js";
+export type RecordLookup = Record<string, readonly WitParameter[]>;
+export type ParseRecords<signatures extends readonly string[]> = {
+    [signature in signatures[number] as ParseRecord<signature> extends infer record extends {
+        name: string;
+    } ? record["name"] : never]: ParseRecord<signature>["components"];
+} extends infer records extends Record<string, readonly (WitParameter & {
+    type: string;
+})[]> ? {
+    [recordName in keyof records]: ResolveRecords<records[recordName], records>;
+} : never;
+export type ParseRecord<signature extends string, records extends RecordLookup | unknown = unknown> = signature extends RecordSignature<infer name, infer properties> ? {
+    readonly name: Trim<name>;
+    readonly components: ParseRecordProperties<properties, records>;
+} : never;
+export type ParseRecordProperties<signature extends string, records extends RecordLookup | unknown = unknown, result extends any[] = []> = Trim<signature> extends `${infer head},${infer tail}` ? ParseRecordProperties<tail, records, [
+    ...result,
+    ParseWitParameter<head, {
+        records: records;
+    }>
+]> : Trim<signature> extends "" ? result : [...result, ParseWitParameter<signature, {
+    records: records;
+}>];
+export type ResolveRecords<witParameters extends readonly (WitParameter & {
+    type: string;
+})[], structs extends Record<string, readonly (WitParameter & {
+    type: string;
+})[]>, keyReferences extends {
+    [_: string]: unknown;
+} | unknown = unknown> = readonly [
+    ...{
+        [key in keyof witParameters]: witParameters[key]["type"] extends `${infer head extends string & keyof structs}<${infer tail}>` ? head extends keyof keyReferences ? Error_<`Circular reference detected. Record "${witParameters[key]["type"]}" is a circular reference.`> : {
+            readonly name: witParameters[key]["name"];
+            readonly type: `tuple<${tail}>`;
+            readonly components: ResolveRecords<structs[head], structs, keyReferences & {
+                [_ in head]: true;
+            }>;
+        } : witParameters[key]["type"] extends keyof structs ? witParameters[key]["type"] extends keyof keyReferences ? Error_<`Circular reference detected. Record "${witParameters[key]["type"]}" is a circular reference.`> : {
+            readonly name: witParameters[key]["name"];
+            readonly type: "tuple";
+            readonly components: ResolveRecords<structs[witParameters[key]["type"]], structs, keyReferences & {
+                [_ in witParameters[key]["type"]]: true;
+            }>;
+        } : witParameters[key];
+    }
+];
+//# sourceMappingURL=records.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"records.d.ts","sourceRoot":"","sources":["../../../../../../src/wit/wit-parser/core/types/records.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAC;AACnD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AACvD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC,CAAC;AAEnE,MAAM,MAAM,YAAY,CAAC,UAAU,SAAS,SAAS,MAAM,EAAE,IAE3D;KACG,SAAS,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,SAAS,CAAC,SAAS,MAAM,MAAM,SAC7E;QACE,IAAI,EAAE,MAAM,CAAC;KACd,GACC,MAAM,CAAC,MAAM,CAAC,GACd,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC;CACjD,SAAS,MAAM,OAAO,SAAS,MAAM,CACpC,MAAM,EACN,SAAS,CAAC,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,CAC7C,GAEG;KACG,UAAU,IAAI,MAAM,OAAO,GAAG,cAAc,CAC3C,OAAO,CAAC,UAAU,CAAC,EACnB,OAAO,CACR;CACF,GACD,KAAK,CAAC;AAEZ,MAAM,MAAM,WAAW,CACrB,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,YAAY,GAAG,OAAO,GAAG,OAAO,IAEhD,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,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;CACjE,GACD,KAAK,CAAC;AAEZ,MAAM,MAAM,qBAAqB,CAC/B,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,YAAY,GAAG,OAAO,GAAG,OAAO,EAChD,MAAM,SAAS,GAAG,EAAE,GAAG,EAAE,IAEzB,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GACjD,qBAAqB,CACnB,IAAI,EACJ,OAAO,EACP;IAAC,GAAG,MAAM;IAAE,iBAAiB,CAAC,IAAI,EAAE;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;CAAC,CAC3D,GACD,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,GACxB,MAAM,GACN,CAAC,GAAG,MAAM,EAAE,iBAAiB,CAAC,SAAS,EAAE;IAAE,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC,CAAC;AAExE,MAAM,MAAM,cAAc,CACxB,aAAa,SAAS,SAAS,CAAC,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,EAClE,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,EAAE,CAAC,EAC5E,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,SAAS,GAAG,MAAM,IAAI,SAC5E,MAAM,GAAG,MAAM,OAAO,IAAI,MAAM,IAAI,GAAG,GACrC,IAAI,SAAS,MAAM,aAAa,GAC9B,MAAM,CAAC,wCAAwC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,4BAA4B,CAAC,GACtG;YACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1C,QAAQ,CAAC,IAAI,EAAE,SAAS,IAAI,GAAG,CAAC;YAChC,QAAQ,CAAC,UAAU,EAAE,cAAc,CACjC,OAAO,CAAC,IAAI,CAAC,EACb,OAAO,EACP,aAAa,GAAG;iBAAG,CAAC,IAAI,IAAI,GAAG,IAAI;aAAE,CACtC,CAAC;SACH,GAEH,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,MAAM,OAAO,GAC9C,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,SAAS,MAAM,aAAa,GACpD,MAAM,CAAC,wCAAwC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,4BAA4B,CAAC,GACtG;YACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;YAC1C,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;YACvB,QAAQ,CAAC,UAAU,EAAE,cAAc,CACjC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,EACnC,OAAO,EACP,aAAa,GAAG;iBAAG,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI;aAAE,CAC5D,CAAC;SACH,GACH,aAAa,CAAC,GAAG,CAAC;KACzB;CACF,CAAC"}

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

@@ -0,0 +1,21 @@
+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 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 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 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};`;
+type ValidFunctionSignatures = `export ${string}: func(ctx: borrow<proc-context>) ${Returns}` | `export ${string}: func(ctx: borrow<view-context>) ${Returns}` | `export ${string}: func(ctx: borrow<core-context>) ${Returns}` | `export ${string}: func(ctx: borrow<proc-context>,${string}) ${Returns}` | `export ${string}: func(ctx: borrow<view-context>,${string}) ${Returns}` | `export ${string}: func(ctx: borrow<core-context>,${string}) ${Returns}`;
+export {};
+//# sourceMappingURL=signatures.d.ts.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,98 @@
+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";
+type ParseOptions = {
+    records?: RecordLookup | unknown;
+};
+type DefaultParseOptions = {};
+type Readonlyify<T> = {
+    readonly [K in keyof T]: T[K];
+};
+type HasRecords<Opts> = Opts extends {
+    records: Record<string, unknown>;
+} ? true : false;
+type RecordsOf<Opts> = Opts extends {
+    records: infer R extends RecordLookup;
+} ? R : never;
+type WithName<Shallow> = Shallow extends {
+    name: infer N extends string;
+} ? {
+    readonly name: N;
+} : {};
+type GetComponents<T> = T extends {
+    components: infer C;
+} ? {
+    readonly components: C;
+} : {};
+type AsTupleFromRecord<T extends string, Opts extends ParseOptions> = HasRecords<Opts> extends true ? T extends keyof RecordsOf<Opts> ? Readonlyify<{
+    type: "tuple";
+    components: RecordsOf<Opts>[T];
+}> : Readonlyify<{
+    type: T;
+}> : Readonlyify<{
+    type: T;
+}>;
+type SplitResultInner<S extends string> = S extends `${infer L}, ${infer R}` ? [Trim<L>, Trim<R>] : S extends `${infer L},${infer R}` ? [Trim<L>, Trim<R>] : never;
+type MaybeResultComponents<Ok extends {
+    type: string;
+}, _Err extends {
+    type: string;
+}> = Ok extends {
+    components: infer _C;
+} ? GetComponents<Ok> : {};
+type MapGenericType<T extends string, Opts extends ParseOptions> = T extends `list<${infer U}>` ? MapGenericType<Trim<U>, Opts> extends infer M extends {
+    type: string;
+} ? Readonlyify<{
+    type: `list<${M["type"]}>`;
+} & GetComponents<M>> : never : T extends `option<${infer U}>` ? MapGenericType<Trim<U>, Opts> extends infer M extends {
+    type: string;
+} ? Readonlyify<{
+    type: `option<${M["type"]}>`;
+} & GetComponents<M>> : never : T extends `result<${infer Inner}>` ? SplitResultInner<Trim<Inner>> extends [
+    infer LRaw extends string,
+    infer RRaw extends string
+] ? MapGenericType<Trim<LRaw>, Opts> extends infer LMapped extends {
+    type: string;
+} ? MapGenericType<Trim<RRaw>, Opts> extends infer RMapped extends {
+    type: string;
+} ? Readonlyify<{
+    type: `result<${LMapped["type"]}, ${RMapped["type"]}>`;
+} & MaybeResultComponents<LMapped, RMapped>> : never : never : never : AsTupleFromRecord<T, Opts>;
+export type ParseWitParameter<signature extends string, options extends ParseOptions = DefaultParseOptions> = (signature extends `${infer left}: ${infer right}` ? {
+    readonly type: Trim<right>;
+} & {
+    readonly name: Trim<left>;
+} : {
+    readonly type: Trim<signature>;
+}) extends infer Shallow extends {
+    type: string;
+    name?: string;
+} ? Pretty<WithName<Shallow> & MapGenericType<Shallow["type"], options>> : never;
+export type ParseWitParameters<signatures extends readonly string[], options extends ParseOptions = DefaultParseOptions> = signatures extends [""] ? readonly [] : readonly [
+    ...{
+        [key in keyof signatures]: ParseWitParameter<signatures[key], options>;
+    }
+];
+export type _ParseFunctionParametersAndContext<signature extends string> = signature extends `${infer head}-> ${string}` ? _ParseFunctionParametersAndContext<Trim<head>> : signature extends `export ${string}: func(ctx: borrow<${infer context}-context>,${infer parameters})` ? {
+    Inputs: Trim<parameters>;
+    Context: context;
+} : signature extends `export ${string}: func(ctx: borrow<${infer context}-context>)` ? {
+    Inputs: "";
+    Context: context;
+} : 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> ? {
+    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 [];
+} : never : never;
+export {};
+//# sourceMappingURL=utils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../../../../src/wit/wit-parser/core/types/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAC3D,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC9E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEhD,KAAK,YAAY,GAAG;IAClB,OAAO,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC;CAClC,CAAC;AACF,KAAK,mBAAmB,GAAG,EAAE,CAAC;AAE9B,KAAK,WAAW,CAAC,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AACxD,KAAK,UAAU,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACrE,IAAI,GACJ,KAAK,CAAC;AAEV,KAAK,SAAS,CAAC,IAAI,IAAI,IAAI,SAAS;IAAE,OAAO,EAAE,MAAM,CAAC,SAAS,YAAY,CAAA;CAAE,GACzE,CAAC,GACD,KAAK,CAAC;AACV,KAAK,QAAQ,CAAC,OAAO,IAAI,OAAO,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACrE;IAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GACpB,EAAE,CAAC;AACP,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,UAAU,EAAE,MAAM,CAAC,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;CAAE,GAC1B,EAAE,CAAC;AAEP,KAAK,iBAAiB,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,SAAS,YAAY,IAChE,UAAU,CAAC,IAAI,CAAC,SAAS,IAAI,GACzB,CAAC,SAAS,MAAM,SAAS,CAAC,IAAI,CAAC,GAC7B,WAAW,CAAC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC,GAC9D,WAAW,CAAC;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,GAC1B,WAAW,CAAC;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AAE/B,KAAK,gBAAgB,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,KAAK,MAAM,CAAC,EAAE,GACxE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAClB,CAAC,SAAS,GAAG,MAAM,CAAC,IAAI,MAAM,CAAC,EAAE,GAC/B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAClB,KAAK,CAAC;AACZ,KAAK,qBAAqB,CACxB,EAAE,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,EAC3B,IAAI,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,IAC3B,EAAE,SAAS;IAAE,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE,GAAG,aAAa,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;AAwCjE,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,SAAS,YAAY,IAE7D,CAAC,SAAS,QAAQ,MAAM,CAAC,GAAG,GACxB,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GACpE,WAAW,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;CAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,GAC9D,KAAK,GACP,CAAC,SAAS,UAAU,MAAM,CAAC,GAAG,GAC5B,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GACpE,WAAW,CAAC;IAAE,IAAI,EAAE,UAAU,CAAC,CAAC,MAAM,CAAC,GAAG,CAAA;CAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,GAChE,KAAK,GAEP,CAAC,SAAS,UAAU,MAAM,KAAK,GAAG,GAChC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,SAAS;IACpC,MAAM,IAAI,SAAS,MAAM;IACzB,MAAM,IAAI,SAAS,MAAM;CAC1B,GACC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,MAAM,OAAO,SAAS;IAC7D,IAAI,EAAE,MAAM,CAAC;CACd,GACC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,MAAM,OAAO,SAAS;IAC7D,IAAI,EAAE,MAAM,CAAC;CACd,GACC,WAAW,CACT;IACE,IAAI,EAAE,UAAU,OAAO,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC;CACxD,GAAG,qBAAqB,CAAC,OAAO,EAAE,OAAO,CAAC,CAC5C,GACD,KAAK,GACP,KAAK,GACP,KAAK,GAEP,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AAErC,MAAM,MAAM,iBAAiB,CAC3B,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,YAAY,GAAG,mBAAmB,IAChD,CACF,SAAS,SAAS,GAAG,MAAM,IAAI,KAAK,MAAM,KAAK,EAAE,GAC7C;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;CAAE,GAC9D;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;CAAE,CACvC,SAAS,MAAM,OAAO,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3D,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,GACpE,KAAK,CAAC;AAEV,MAAM,MAAM,kBAAkB,CAC5B,UAAU,SAAS,SAAS,MAAM,EAAE,EACpC,OAAO,SAAS,YAAY,GAAG,mBAAmB,IAChD,UAAU,SAAS,CAAC,EAAE,CAAC,GACvB,SAAS,EAAE,GACX,SAAS;IACP,GAAG;SACA,GAAG,IAAI,MAAM,UAAU,GAAG,iBAAiB,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC;KACvE;CACF,CAAC;AAGN,MAAM,MAAM,kCAAkC,CAAC,SAAS,SAAS,MAAM,IACrE,SAAS,SAAS,GAAG,MAAM,IAAI,MAAM,MAAM,EAAE,GACzC,kCAAkC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAC9C,SAAS,SAAS,UAAU,MAAM,sBAAsB,MAAM,OAAO,aAAa,MAAM,UAAU,GAAG,GACnG;IACE,MAAM,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,OAAO,EAAE,OAAO,CAAC;CAClB,GACD,SAAS,SAAS,UAAU,MAAM,sBAAsB,MAAM,OAAO,YAAY,GAC/E;IACE,MAAM,EAAE,EAAE,CAAC;IACX,OAAO,EAAE,OAAO,CAAC;CAClB,GACD,KAAK,CAAC;AAEhB,MAAM,MAAM,eAAe,CACzB,SAAS,SAAS,MAAM,EACxB,MAAM,SAAS,OAAO,EAAE,GAAG,EAAE,EAC7B,OAAO,SAAS,MAAM,GAAG,EAAE,EAC3B,KAAK,SAAS,SAAS,MAAM,EAAE,GAAG,EAAE,IAGpC,SAAS,SAAS,EAAE,GAChB,OAAO,SAAS,EAAE,GAChB,CAAC,GAAG,MAAM,CAAC,GACX,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvB,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,GAC1B,MAAM,CAAC,mBAAmB,OAAO,6BAA6B,CAAC,GACnE,SAAS,SAAS,GAAG,MAAM,IAAI,GAAG,MAAM,IAAI,EAAE,GAC5C,IAAI,SAAS,GAAG,GAEd,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvB,eAAe,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,GACrD,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,GAAG,IAAI,EAAE,EAAE,KAAK,CAAC,GAC3D,IAAI,SAAS,GAAG,GAEd,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,GAAG,IAAI,EAAE,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,GACjE,IAAI,SAAS,GAAG,GAEd,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,GACvB,MAAM,CAAC,mBAAmB,OAAO,GAAG,IAAI,6BAA6B,CAAC,GACtE,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,GAAG,IAAI,EAAE,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,GAEhE,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,GAAG,IAAI,EAAE,EAAE,KAAK,CAAC,GAC/D,EAAE,CAAC;AAEX,KAAK,GAAG,CAAC,IAAI,SAAS,SAAS,MAAM,EAAE,IAAI,IAAI,SAAS,CAAC,GAAG,MAAM,IAAI,EAAE,GAAG,CAAC,GACxE,IAAI,GACJ,EAAE,CAAC;AA0BP,MAAM,MAAM,cAAc,CACxB,SAAS,SAAS,MAAM,EACxB,OAAO,SAAS,YAAY,GAAG,OAAO,GAAG,OAAO,IAEhD,mBAAmB,CAAC,SAAS,CAAC,SAAS,IAAI,GACvC,SAAS,SAAS,iBAAiB,CAAC,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,GACzD;IACE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,kCAAkC,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,CAAC;IAC3E,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CACjC,eAAe,CACb,kCAAkC,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,CACxD,EACD;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE,CACrB,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,IAAI,SAAS,GAAG,MAAM,OAAO,MAAM,OAAO,GAAG,GAC3D,kBAAkB,CAChB,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EAC9B;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE,CACrB,GACD,SAAS,EAAE,CAAC;CACjB,GACD,KAAK,GACP,KAAK,CAAC"}

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

@@ -0,0 +1,56 @@
+import type { WitItemType, WitParameter } from "../../wit.js";
+import type { RecordLookup } from "./types/records.js";
+export type ParseOptions = {
+    records?: RecordLookup;
+    type?: WitItemType | "record";
+};
+export declare const witParameterRegex: RegExp;
+export declare function isGeneric(type: string): boolean;
+export declare function execGeneric<T extends {
+    outer: string;
+    inner: string;
+}>(type: string): T | null;
+export declare function parseWitParameter(param: string, options?: ParseOptions): {
+    type: string;
+    name?: string | undefined | undefined;
+    internalType?: string | undefined;
+    components?: readonly WitParameter[];
+};
+export declare const witKeywordRegex: RegExp;
+export declare function isWitKeyword(word: string): boolean;
+export declare function splitParameters(params: string, result?: string[]): readonly string[];
+export declare function parseSignature(signature: string, structs?: RecordLookup): {
+    name: string;
+    type: string;
+    context: string;
+    inputs: {
+        type: string;
+        name?: string | undefined | undefined;
+        internalType?: string | undefined;
+        components?: readonly WitParameter[];
+    }[];
+    outputs: {
+        type: string;
+        name?: string | undefined | undefined;
+        internalType?: string | undefined;
+        components?: readonly WitParameter[];
+    }[];
+};
+export declare function parseFunctionSignature(signature: string, records?: RecordLookup): {
+    name: string;
+    type: string;
+    context: string;
+    inputs: {
+        type: string;
+        name?: string | undefined | undefined;
+        internalType?: string | undefined;
+        components?: readonly WitParameter[];
+    }[];
+    outputs: {
+        type: string;
+        name?: string | undefined | undefined;
+        internalType?: string | undefined;
+        components?: readonly WitParameter[];
+    }[];
+};
+//# sourceMappingURL=utils.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../../../src/wit/wit-parser/core/utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAY9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,MAAM,MAAM,YAAY,GAAG;IACzB,OAAO,CAAC,EAAE,YAAY,CAAC;IACvB,IAAI,CAAC,EAAE,WAAW,GAAG,QAAQ,CAAC;CAC/B,CAAC;AAKF,eAAO,MAAM,iBAAiB,QACkI,CAAC;AAEjK,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAE/C;AAED,wBAAgB,WAAW,CAAC,CAAC,SAAS;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,EACpE,IAAI,EAAE,MAAM,YAKb;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY;;;;;EA4HtE;AACD,eAAO,MAAM,eAAe,QAC8J,CAAC;AAE3L,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAElD;AAID,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,EACd,MAAM,GAAE,MAAM,EAAO,GACpB,SAAS,MAAM,EAAE,CAuCnB;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,GAAE,YAAiB;;;;;;;;;;;;;;;;EAK3E;AAED,wBAAgB,sBAAsB,CACpC,SAAS,EAAE,MAAM,EACjB,OAAO,GAAE,YAAiB;;;;;;;;;;;;;;;;EA2C3B"}

package/dist/types/wit/wit-parser/parse-wit-parameter.d.ts

@@ -0,0 +1,14 @@
+import type { Error_ } from "../error.js";
+import type { WitParameter } from "../wit.js";
+import type { Narrow } from "../narrow.js";
+import type { Filter } from "../type-utils.js";
+import type { ParseRecords } from "./core/types/records.js";
+import type { IsRecordSignature } from "./core/types/signatures.js";
+import type { ParseWitParameter as ParseWitParameter_ } from "./core/types/utils.js";
+export type ParseWitParameter<param extends string | readonly string[] | readonly unknown[]> = (param extends string ? param extends "" ? never : string extends param ? WitParameter : ParseWitParameter_<param> : never) | (param extends readonly string[] ? string[] extends param ? WitParameter : ParseRecords<param> extends infer records ? {
+    [key in keyof param]: param[key] extends string ? IsRecordSignature<param[key]> extends true ? never : ParseWitParameter_<param[key], {
+        records: records;
+    }> : never;
+} extends infer mapped extends readonly unknown[] ? Filter<mapped, never>[0] extends infer result ? result extends undefined ? never : result : never : never : never : never);
+export declare function parseWitParameter<param extends string | readonly string[] | readonly unknown[]>(param: Narrow<param> & ((param extends string ? param extends "" ? Error_<"Empty string is not allowed."> : unknown : never) | (param extends readonly string[] ? param extends readonly [] ? Error_<"At least one parameter required."> : string[] extends param ? unknown : unknown : never))): ParseWitParameter<param>;
+//# sourceMappingURL=parse-wit-parameter.d.ts.map

package/dist/types/wit/wit-parser/parse-wit-parameter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-wit-parameter.d.ts","sourceRoot":"","sources":["../../../../src/wit/wit-parser/parse-wit-parameter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAC1C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAI/C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AACpE,OAAO,KAAK,EAAE,iBAAiB,IAAI,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAGrF,MAAM,MAAM,iBAAiB,CAC3B,KAAK,SAAS,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,OAAO,EAAE,IAE3D,CAAC,KAAK,SAAS,MAAM,GACjB,KAAK,SAAS,EAAE,GACd,KAAK,GACL,MAAM,SAAS,KAAK,GAClB,YAAY,GAEZ,kBAAkB,CAAC,KAAK,CAAC,GAC7B,KAAK,CAAC,GACV,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,GAC5B,MAAM,EAAE,SAAS,KAAK,GACpB,YAAY,GACZ,YAAY,CAAC,KAAK,CAAC,SAAS,MAAM,OAAO,GACvC;KACG,GAAG,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,MAAM,GAC3C,iBAAiB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,GACxC,KAAK,GACL,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE;QAAE,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC,GACtD,KAAK;CACV,SAAS,MAAM,MAAM,SAAS,SAAS,OAAO,EAAE,GAC/C,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,MAAM,GAC3C,MAAM,SAAS,SAAS,GACtB,KAAK,GACL,MAAM,GACR,KAAK,GACP,KAAK,GACP,KAAK,GACT,KAAK,CAAC,CAAC;AAEf,wBAAgB,iBAAiB,CAC/B,KAAK,SAAS,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,OAAO,EAAE,EAE7D,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,GAClB,CACI,CAAC,KAAK,SAAS,MAAM,GACjB,KAAK,SAAS,EAAE,GACd,MAAM,CAAC,8BAA8B,CAAC,GACtC,OAAO,GACT,KAAK,CAAC,GACV,CAAC,KAAK,SAAS,SAAS,MAAM,EAAE,GAC5B,KAAK,SAAS,SAAS,EAAE,GACvB,MAAM,CAAC,kCAAkC,CAAC,GAC1C,MAAM,EAAE,SAAS,KAAK,GACpB,OAAO,GACP,OAAO,GACX,KAAK,CAAC,CACb,GACF,iBAAiB,CAAC,KAAK,CAAC,CAoB1B"}

package/dist/types/wit/wit-parser/parse-wit.d.ts

@@ -0,0 +1,26 @@
+import type { Wit } from "../wit.js";
+import type { Filter } from "../type-utils.js";
+import type { Error_ } from "../error.js";
+import type { Signatures } from "./core/types/signatures.js";
+import type { ParseRecords } from "./core/types/records.js";
+import type { ParseSignature } from "./core/types/utils.js";
+/**
+ * Parses human-readable ABI into JSON {@link Abi}
+ *
+ * @param signatures - Human-readable ABI
+ * @returns Parsed {@link Abi}
+ *
+ * @example
+ * type Result = ParseAbi<
+ *   // ^? type Result = readonly [{ name: "balanceOf"; type: "function"; stateMutability:...
+ *   [
+ *     'function balanceOf(address owner) view returns (uint256)',
+ *     'event Transfer(address indexed from, address indexed to, uint256 amount)',
+ *   ]
+ * >
+ */
+export type ParseWit<signatures extends readonly string[]> = string[] extends signatures ? Wit : signatures extends readonly string[] ? signatures extends Signatures<signatures> ? ParseRecords<signatures> extends infer structs ? {
+    [key in keyof signatures]: signatures[key] extends string ? ParseSignature<signatures[key], structs> : never;
+} extends infer mapped extends readonly unknown[] ? Filter<mapped, never> extends infer result ? result extends readonly [] ? never : result : never : never : never : never : never;
+export declare function parseWit<const signatures extends readonly string[]>(signatures: signatures["length"] extends 0 ? Error_<"At least one signature required"> : Signatures<signatures> extends signatures ? signatures : Signatures<signatures>): ParseWit<signatures>;
+//# sourceMappingURL=parse-wit.d.ts.map

package/dist/types/wit/wit-parser/parse-wit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parse-wit.d.ts","sourceRoot":"","sources":["../../../../src/wit/wit-parser/parse-wit.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAK1C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAC7D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,QAAQ,CAAC,UAAU,SAAS,SAAS,MAAM,EAAE,IACvD,MAAM,EAAE,SAAS,UAAU,GACvB,GAAG,GACH,UAAU,SAAS,SAAS,MAAM,EAAE,GAClC,UAAU,SAAS,UAAU,CAAC,UAAU,CAAC,GACvC,YAAY,CAAC,UAAU,CAAC,SAAS,MAAM,OAAO,GAC5C;KACG,GAAG,IAAI,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,MAAM,GACrD,cAAc,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,GACxC,KAAK;CACV,SAAS,MAAM,MAAM,SAAS,SAAS,OAAO,EAAE,GAC/C,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,MAAM,MAAM,GACxC,MAAM,SAAS,SAAS,EAAE,GACxB,KAAK,GACL,MAAM,GACR,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEd,wBAAgB,QAAQ,CAAC,KAAK,CAAC,UAAU,SAAS,SAAS,MAAM,EAAE,EACjE,UAAU,EAAE,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,GACtC,MAAM,CAAC,iCAAiC,CAAC,GACzC,UAAU,CAAC,UAAU,CAAC,SAAS,UAAU,GACvC,UAAU,GACV,UAAU,CAAC,UAAU,CAAC,GAC3B,QAAQ,CAAC,UAAU,CAAC,CAUtB"}