@kontor/kontor-sdk 1.0.0-alpha.23 → 1.0.0-alpha.26

package/dist/types/exports/index.d.ts

@@ -20,4 +20,5 @@ export { buildComposeQuery, type BuildComposeQueryParameters, type BuildComposeQ
 export { inspect, type InspectParameters, type InspectReturnType, } from "../sdk/actions/kontor/public/inspect.js";
 export type { ContractFunctionName, ContractFunctionArgs, ContractFunctionReturnType, WitItemName, } from "../sdk/types/contract.js";
 export { decodeFunctionResult } from "../sdk/utils/wit/decode-function-result.js";
+export { type ExtractWitFunction } from "../wit/utils.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/types/exports/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/exports/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,GAAG,EAAE,MAAM,eAAe,CAAC;AAE3D,OAAO,EAAE,KAAK,QAAQ,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAEzE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAEvD,OAAO,EAAE,MAAM,EAAE,MAAM,oCAAoC,CAAC;AAE5D,OAAO,EACL,UAAU,EACV,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,GACzB,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,KAAK,qBAAqB,EAC1B,KAAK,eAAe,EACpB,KAAK,wBAAwB,EAC7B,MAAM,GACP,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,sBAAsB,EAC3B,IAAI,GACL,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,0BAA0B,EAC/B,iBAAiB,GAClB,MAAM,wCAAwC,CAAC;AAEhD,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,kBAAkB,EACvB,KAAK,iCAAiC,EACtC,kBAAkB,IAAI,wBAAwB,GAC/C,MAAM,+CAA+C,CAAC;AAEvD,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,kBAAkB,EACvB,KAAK,iCAAiC,EACtC,kBAAkB,IAAI,wBAAwB,GAC/C,MAAM,+CAA+C,CAAC;AAEvD,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,YAAY,EACjB,KAAK,2BAA2B,EAChC,kBAAkB,IAAI,qBAAqB,GAC5C,MAAM,wCAAwC,CAAC;AAEhD,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,YAAY,EACjB,KAAK,2BAA2B,EAChC,kBAAkB,IAAI,qBAAqB,GAC5C,MAAM,wCAAwC,CAAC;AAEhD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD,OAAO,EACL,YAAY,EACZ,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,+CAA+C,CAAC;AAEvD,OAAO,EACL,YAAY,EACZ,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,+CAA+C,CAAC;AAEvD,OAAO,EACL,QAAQ,EACR,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,2CAA2C,CAAC;AAEnD,OAAO,EACL,WAAW,EACX,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,GAC3B,MAAM,8CAA8C,CAAC;AAEtD,OAAO,EACL,qBAAqB,EACrB,KAAK,+BAA+B,EACpC,KAAK,+BAA+B,GACrC,MAAM,yDAAyD,CAAC;AAEjE,OAAO,EACL,iBAAiB,EACjB,KAAK,2BAA2B,EAChC,KAAK,2BAA2B,GACjC,MAAM,qDAAqD,CAAC;AAE7D,OAAO,EACL,OAAO,EACP,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,GACvB,MAAM,yCAAyC,CAAC;AAEjD,YAAY,EACV,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,EAC1B,WAAW,GACZ,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/exports/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,GAAG,EAAE,MAAM,eAAe,CAAC;AAE3D,OAAO,EAAE,KAAK,QAAQ,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAEzE,OAAO,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAEvD,OAAO,EAAE,MAAM,EAAE,MAAM,oCAAoC,CAAC;AAE5D,OAAO,EACL,UAAU,EACV,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,mBAAmB,GACzB,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,KAAK,qBAAqB,EAC1B,KAAK,eAAe,EACpB,KAAK,wBAAwB,EAC7B,MAAM,GACP,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,sBAAsB,EAC3B,IAAI,GACL,MAAM,mCAAmC,CAAC;AAE3C,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,0BAA0B,EAC/B,iBAAiB,GAClB,MAAM,wCAAwC,CAAC;AAEhD,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,kBAAkB,EACvB,KAAK,iCAAiC,EACtC,kBAAkB,IAAI,wBAAwB,GAC/C,MAAM,+CAA+C,CAAC;AAEvD,OAAO,EACL,KAAK,wBAAwB,EAC7B,KAAK,kBAAkB,EACvB,KAAK,iCAAiC,EACtC,kBAAkB,IAAI,wBAAwB,GAC/C,MAAM,+CAA+C,CAAC;AAEvD,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,YAAY,EACjB,KAAK,2BAA2B,EAChC,kBAAkB,IAAI,qBAAqB,GAC5C,MAAM,wCAAwC,CAAC;AAEhD,OAAO,EACL,KAAK,kBAAkB,EACvB,KAAK,YAAY,EACjB,KAAK,2BAA2B,EAChC,kBAAkB,IAAI,qBAAqB,GAC5C,MAAM,wCAAwC,CAAC;AAEhD,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAErD,OAAO,EACL,YAAY,EACZ,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,+CAA+C,CAAC;AAEvD,OAAO,EACL,YAAY,EACZ,KAAK,sBAAsB,EAC3B,KAAK,sBAAsB,GAC5B,MAAM,+CAA+C,CAAC;AAEvD,OAAO,EACL,QAAQ,EACR,KAAK,kBAAkB,EACvB,KAAK,kBAAkB,GACxB,MAAM,2CAA2C,CAAC;AAEnD,OAAO,EACL,WAAW,EACX,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,GAC3B,MAAM,8CAA8C,CAAC;AAEtD,OAAO,EACL,qBAAqB,EACrB,KAAK,+BAA+B,EACpC,KAAK,+BAA+B,GACrC,MAAM,yDAAyD,CAAC;AAEjE,OAAO,EACL,iBAAiB,EACjB,KAAK,2BAA2B,EAChC,KAAK,2BAA2B,GACjC,MAAM,qDAAqD,CAAC;AAE7D,OAAO,EACL,OAAO,EACP,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,GACvB,MAAM,yCAAyC,CAAC;AAEjD,YAAY,EACV,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,EAC1B,WAAW,GACZ,MAAM,0BAA0B,CAAC;AAElC,OAAO,EAAE,oBAAoB,EAAE,MAAM,4CAA4C,CAAC;AAElF,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/types/sdk/contracts/wits.d.ts

@@ -5,7 +5,7 @@ type ContractExport<signatures extends readonly string[]> = {
     wit: ParseWit<signatures>;
     address: ResolvedRegister["contractAddress"];
 };
-declare const nativeTokenRaw: readonly ["record balance { acc: string, amt: decimal }", "record transfer { src: string, dst: string, amt: decimal }", "record burn { src: string, amt: decimal }", "record mint { dst: string, amt: decimal }", "export issuance: func(ctx: borrow<core-context>, amt: decimal) -> result<mint, error>;", "export hold: func(ctx: borrow<core-context>, amt: decimal) -> result<transfer, error>;", "export release: func(ctx: borrow<core-context>, burn-amt: decimal) -> result<burn, error>;", "export init: func(ctx: borrow<proc-context>);", "export mint: func(ctx: borrow<proc-context>, amt: decimal) -> result<mint, error>;", "export burn: func(ctx: borrow<proc-context>, amt: decimal) -> result<burn, error>;", "export transfer: func(ctx: borrow<proc-context>, dst: string, amt: decimal) -> result<transfer, error>;", "export balance: func(ctx: borrow<view-context>, acc: string) -> option<decimal>;", "export balances: func(ctx: borrow<view-context>) -> list<balance>;", "export total-supply: func(ctx: borrow<view-context>) -> decimal;", "export detach: func(ctx: borrow<proc-context>) -> result<transfer, error>;"];
+declare const nativeTokenRaw: readonly ["record balance { acc: string, amt: decimal }", "record transfer { src: string, dst: string, amt: decimal }", "record burn { src: string, amt: decimal }", "record mint { dst: string, amt: decimal }", "export init: func(ctx: borrow<proc-context>);", "export mint: func(ctx: borrow<proc-context>, amt: decimal) -> result<mint, error>;", "export burn: func(ctx: borrow<proc-context>, amt: decimal) -> result<burn, error>;", "export transfer: func(ctx: borrow<proc-context>, dst: string, amt: decimal) -> result<transfer, error>;", "export balance: func(ctx: borrow<view-context>, acc: string) -> option<decimal>;", "export balances: func(ctx: borrow<view-context>) -> list<balance>;", "export total-supply: func(ctx: borrow<view-context>) -> decimal;", "export attach: func(ctx: borrow<proc-context>, vout: u64, amt: decimal) -> result<transfer, error>;", "export detach: func(ctx: borrow<proc-context>) -> result<transfer, error>;"];
 export declare const nativeToken: ContractExport<typeof nativeTokenRaw>;
 export {};
 //# sourceMappingURL=wits.d.ts.map

package/dist/types/sdk/contracts/wits.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"wits.d.ts","sourceRoot":"","sources":["../../../../src/sdk/contracts/wits.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAY,KAAK,QAAQ,EAAE,MAAM,mCAAmC,CAAC;AAE5E,KAAK,cAAc,CAAC,UAAU,SAAS,SAAS,MAAM,EAAE,IAAI;IAC1D,GAAG,EAAE,UAAU,CAAC;IAChB,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC1B,OAAO,EAAE,gBAAgB,CAAC,iBAAiB,CAAC,CAAC;CAC9C,CAAC;AAEF,QAAA,MAAM,cAAc,ylCAkBV,CAAC;AAIX,eAAO,MAAM,WAAW,EAAE,cAAc,CAAC,OAAO,cAAc,CAI7D,CAAC"}
+{"version":3,"file":"wits.d.ts","sourceRoot":"","sources":["../../../../src/sdk/contracts/wits.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAY,KAAK,QAAQ,EAAE,MAAM,mCAAmC,CAAC;AAE5E,KAAK,cAAc,CAAC,UAAU,SAAS,SAAS,MAAM,EAAE,IAAI;IAC1D,GAAG,EAAE,UAAU,CAAC;IAChB,GAAG,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC1B,OAAO,EAAE,gBAAgB,CAAC,iBAAiB,CAAC,CAAC;CAC9C,CAAC;AAEF,QAAA,MAAM,cAAc,86BAcV,CAAC;AAIX,eAAO,MAAM,WAAW,EAAE,cAAc,CAAC,OAAO,cAAc,CAI7D,CAAC"}

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

@@ -48,10 +48,12 @@ type MapGenericType<T extends string, Opts extends ParseOptions> = T extends `li
     type: string;
 } ? Readonlyify<{
     type: `list<${M["type"]}>`;
+    internalType: T;
 } & GetComponents<M>> : never : T extends `option<${infer U}>` ? MapGenericType<Trim<U>, Opts> extends infer M extends {
     type: string;
 } ? Readonlyify<{
     type: `option<${M["type"]}>`;
+    internalType: T;
 } & GetComponents<M>> : never : T extends `result<${infer Inner}>` ? SplitResultInner<Trim<Inner>> extends [
     infer LRaw extends string,
     infer RRaw extends string

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

@@ -1 +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;IACV,IAAI,EAAE,OAAO,CAAC;IACd,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,YAAY,EAAE,CAAC,CAAC;CACjB,CAAC,GACF,WAAW,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,YAAY,EAAE,CAAC,CAAA;CAAE,CAAC,GAC3C,WAAW,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,YAAY,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AAEhD,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;AAEjE,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;IACvD,YAAY,EAAE,CAAC,CAAC;CACjB,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"}
+{"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;IACV,IAAI,EAAE,OAAO,CAAC;IACd,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,YAAY,EAAE,CAAC,CAAC;CACjB,CAAC,GACF,WAAW,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,YAAY,EAAE,CAAC,CAAA;CAAE,CAAC,GAC3C,WAAW,CAAC;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,YAAY,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AAEhD,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;AAEjE,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,CACT;IAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;IAAC,YAAY,EAAE,CAAC,CAAA;CAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CACnE,GACD,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,CACT;IAAE,IAAI,EAAE,UAAU,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;IAAC,YAAY,EAAE,CAAC,CAAA;CAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CACrE,GACD,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;IACvD,YAAY,EAAE,CAAC,CAAC;CACjB,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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@kontor/kontor-sdk",
-  "version": "1.0.0-alpha.23",
+  "version": "1.0.0-alpha.26",
   "author": "Unspendable Labs <dev@unspendablelabs.com>",
   "description": "The official SDK to the Kontor Bitcoin metaprotocol",
   "repository": {

package/src/exports/index.ts

@@ -113,3 +113,5 @@ export type {
 } from "../sdk/types/contract.js";
 
 export { decodeFunctionResult } from "../sdk/utils/wit/decode-function-result.js";
+
+export { type ExtractWitFunction } from "../wit/utils.js";

package/src/sdk/contracts/wits.ts

@@ -12,10 +12,6 @@ const nativeTokenRaw = [
   "record transfer { src: string, dst: string, amt: decimal }",
   "record burn { src: string, amt: decimal }",
   "record mint { dst: string, amt: decimal }",
-
-  "export issuance: func(ctx: borrow<core-context>, amt: decimal) -> result<mint, error>;",
-  "export hold: func(ctx: borrow<core-context>, amt: decimal) -> result<transfer, error>;",
-  "export release: func(ctx: borrow<core-context>, burn-amt: decimal) -> result<burn, error>;",
   "export init: func(ctx: borrow<proc-context>);",
   "export mint: func(ctx: borrow<proc-context>, amt: decimal) -> result<mint, error>;",
   "export burn: func(ctx: borrow<proc-context>, amt: decimal) -> result<burn, error>;",
@@ -23,7 +19,7 @@ const nativeTokenRaw = [
   "export balance: func(ctx: borrow<view-context>, acc: string) -> option<decimal>;",
   "export balances: func(ctx: borrow<view-context>) -> list<balance>;",
   "export total-supply: func(ctx: borrow<view-context>) -> decimal;",
-  // "export attach: func(ctx: borrow<proc-context>, vout: u64, amt: decimal) -> result<transfer, error>;",
+  "export attach: func(ctx: borrow<proc-context>, vout: u64, amt: decimal) -> result<transfer, error>;",
   "export detach: func(ctx: borrow<proc-context>) -> result<transfer, error>;",
 ] as const;
 

package/src/sdk/types/contract.test-d.ts

@@ -11,46 +11,26 @@ const nativeToken = nativeToken_.wit;
 test("ContractFunctionName", () => {
   type All = ContractFunctionName<typeof nativeToken>;
   expectTypeOf<All>().toEqualTypeOf<
-    | "issuance"
-    | "hold"
-    | "release"
-    // | "init" // init is not valid
     | "mint"
     | "burn"
     | "transfer"
     | "balance"
     | "balances"
     | "total-supply"
-    // | "attach"
+    | "attach"
     | "detach"
   >;
 
-  type Core = ContractFunctionName<typeof nativeToken, "core">;
-  expectTypeOf<Core>().toEqualTypeOf<"issuance" | "hold" | "release">;
-
   type View = ContractFunctionName<typeof nativeToken, "view">;
   expectTypeOf<View>().toEqualTypeOf<"balance" | "balances" | "total-supply">;
 
   type Proc = ContractFunctionName<typeof nativeToken, "proc">;
   expectTypeOf<Proc>().toEqualTypeOf<
-    | "mint"
-    | "burn"
-    | "transfer"
-    //| "attach"
-    | "detach"
+    "mint" | "burn" | "transfer" | "attach" | "detach"
   >;
 });
 
 test("ContractFunctionArgs", () => {
-  type Issuance = ContractFunctionArgs<typeof nativeToken, "core", "issuance">;
-  expectTypeOf<Issuance>().toEqualTypeOf<readonly [[bigint, number]]>;
-
-  type Hold = ContractFunctionArgs<typeof nativeToken, "core", "hold">;
-  expectTypeOf<Hold>().toEqualTypeOf<readonly [[bigint, number]]>;
-
-  type Release = ContractFunctionArgs<typeof nativeToken, "core", "release">;
-  expectTypeOf<Release>().toEqualTypeOf<readonly [[bigint, number]]>;
-
   type Mint = ContractFunctionArgs<typeof nativeToken, "proc", "mint">;
   expectTypeOf<Mint>().toEqualTypeOf<readonly [[bigint, number]]>;
 
@@ -81,60 +61,6 @@ test("ContractFunctionArgs", () => {
 });
 
 test("ContractFunctionReturnType", () => {
-  type Issuance = ContractFunctionReturnType<
-    typeof nativeToken,
-    "core",
-    "issuance"
-  >;
-  expectTypeOf<Issuance>().toEqualTypeOf<
-    | {
-        ok: false;
-        error: string;
-      }
-    | {
-        ok: true;
-        value: {
-          dst: string;
-          amt: [bigint, number];
-        };
-      }
-  >;
-
-  type Hold = ContractFunctionReturnType<typeof nativeToken, "core", "hold">;
-  expectTypeOf<Hold>().toEqualTypeOf<
-    | {
-        ok: false;
-        error: string;
-      }
-    | {
-        ok: true;
-        value: {
-          src: string;
-          dst: string;
-          amt: [bigint, number];
-        };
-      }
-  >;
-
-  type Release = ContractFunctionReturnType<
-    typeof nativeToken,
-    "core",
-    "release"
-  >;
-  expectTypeOf<Release>().toEqualTypeOf<
-    | {
-        ok: false;
-        error: string;
-      }
-    | {
-        ok: true;
-        value: {
-          src: string;
-          amt: [bigint, number];
-        };
-      }
-  >;
-
   type Mint = ContractFunctionReturnType<typeof nativeToken, "proc", "mint">;
   expectTypeOf<Mint>().toEqualTypeOf<
     | {
@@ -214,25 +140,25 @@ test("ContractFunctionReturnType", () => {
   >;
   expectTypeOf<TotalSupply>().toEqualTypeOf<[bigint, number]>;
 
-  // type Attach = ContractFunctionReturnType<
-  //   typeof nativeToken,
-  //   "proc",
-  //   "attach"
-  // >;
-  // expectTypeOf<Attach>().toEqualTypeOf<
-  //   | {
-  //       ok: false;
-  //       error: string;
-  //     }
-  //   | {
-  //       ok: true;
-  //       value: {
-  //         src: string;
-  //         dst: string;
-  //         amt: [bigint, number];
-  //       };
-  //     }
-  // >;
+  type Attach = ContractFunctionReturnType<
+    typeof nativeToken,
+    "proc",
+    "attach"
+  >;
+  expectTypeOf<Attach>().toEqualTypeOf<
+    | {
+        ok: false;
+        error: string;
+      }
+    | {
+        ok: true;
+        value: {
+          src: string;
+          dst: string;
+          amt: [bigint, number];
+        };
+      }
+  >;
 
   type Detach = ContractFunctionReturnType<
     typeof nativeToken,

package/src/sdk/utils/wit/decode-wit-parameter.ts

@@ -87,6 +87,8 @@ function decoderForParam(p: WitParameter) {
       return listOfDecimalDecoder;
     case "list<tuple>":
       return listOfTupleDecoder(p);
+    case "u64":
+      return u64Decoder;
 
     case "error":
     case "contract-address":
@@ -98,8 +100,6 @@ function decoderForParam(p: WitParameter) {
     case "u8":
     case "u16":
     case "u32":
-    case "u64":
-      return u64Decoder;
     case "integer":
     case "option<string>":
     case "option<bool>":

package/src/sdk/utils/wit/encode-function-data.test-d.ts

@@ -34,18 +34,16 @@ test("native token", () => {
   type P = EncodeFunctionDataParameters<typeof nativeToken.wit>;
 
   expectTypeOf<P["functionName"]>().not.toEqualTypeOf<undefined>();
-
   expectTypeOf<P["functionName"]>().toEqualTypeOf<
-    | "mint"
-    | "issuance"
     | "balance"
     | "transfer"
     | "burn"
-    | "hold"
-    | "release"
+    | "mint"
     | "balances"
     | "total-supply"
+    | "attach"
     | "detach"
-    // | "attach" // TODO: need to handle attach parsing
   >();
+
+  // TODO: fill out tests
 });

package/src/sdk/utils/wit/encode-function-data.test.ts

@@ -2,55 +2,11 @@ import { expect, test } from "vitest";
 import { encodeFunctionData } from "./encode-function-data.js";
 import { parseWit } from "../../../wit/wit-parser/parse-wit.js";
 
-export const nativeToken = parseWit([
-  "record balance { acc: string, amt: decimal }",
-  "record transfer { src: string, dst: string, amt: decimal }",
-  "record burn { src: string, amt: decimal }",
-  "record mint { dst: string, amt: decimal }",
-  "export issuance: func(ctx: borrow<core-context>, amt: decimal) -> result<mint, error>;",
-  "export hold: func(ctx: borrow<core-context>, amt: decimal) -> result<transfer, error>;",
-  "export release: func(ctx: borrow<core-context>, burn-amt: decimal) -> result<burn, error>;",
-  "export init: func(ctx: borrow<proc-context>);",
-  "export mint: func(ctx: borrow<proc-context>, amt: decimal) -> result<mint, error>;",
-  "export burn: func(ctx: borrow<proc-context>, amt: decimal) -> result<burn, error>;",
-  "export transfer: func(ctx: borrow<proc-context>, dst: string, amt: decimal) -> result<transfer, error>;",
-  "export balance: func(ctx: borrow<view-context>, acc: string) -> option<decimal>;",
-  "export balances: func(ctx: borrow<view-context>) -> list<balance>;",
-  "export total-supply: func(ctx: borrow<view-context>) -> decimal;",
-  "export attach: func(ctx: borrow<proc-context>, vout: u64, amt: decimal) -> result<transfer, error>;",
-  "export detach: func(ctx: borrow<proc-context>) -> result<transfer, error>;",
-]);
+import { nativeToken as nativeToken_ } from "../../../sdk/contracts/wits.js";
 
-//TODO: change functionName to func
-test("issuance", () => {
-  expect(
-    encodeFunctionData({
-      wit: nativeToken,
-      functionName: "issuance",
-      args: [[7n, 18]],
-    }),
-  ).toEqual("issuance({r0: 7, r1: 0, r2: 0, r3: 0, sign: plus})");
-});
+export const nativeToken = parseWit(nativeToken_.raw);
 
-test("hold", () => {
-  expect(
-    encodeFunctionData({
-      wit: nativeToken,
-      functionName: "hold",
-      args: [[7n, 18]],
-    }),
-  ).toEqual("hold({r0: 7, r1: 0, r2: 0, r3: 0, sign: plus})");
-});
-
-test("release", () => {
-  expect(
-    encodeFunctionData({
-      wit: nativeToken,
-      functionName: "release",
-      args: [[7n, 18]],
-    }),
-  ).toEqual("release({r0: 7, r1: 0, r2: 0, r3: 0, sign: plus})");
-});
+//TODO: change functionName to func
 
 test("mint", () => {
   expect(

package/src/wit/wit-parser/core/types/records.test-d.ts

@@ -119,6 +119,7 @@ test("ParseRecords", () => {
       {
         readonly name: "values";
         readonly type: "list<contract-address>";
+        readonly internalType: "list<contract-address>";
       },
     ];
   }>();
@@ -306,6 +307,7 @@ test("ParseRecordProperties", () => {
       {
         readonly name: "values";
         readonly type: "list<string>";
+        readonly internalType: "list<string>";
       },
     ]
   >();
@@ -317,6 +319,7 @@ test("ParseRecordProperties", () => {
       {
         readonly name: "values";
         readonly type: "list<tuple>";
+        readonly internalType: "list<contract-address>";
         readonly components: readonly [
           { readonly name: "name"; readonly type: "string" },
           { readonly name: "height"; readonly type: "s64" },

package/src/wit/wit-parser/core/types/utils.test-d.ts

@@ -81,11 +81,13 @@ test("ParseWitParameter", () => {
   assertType<ParseWitParameter<"option-string: option<string>">>({
     name: "option-string",
     type: "option<string>",
+    internalType: "option<string>",
   });
 
   assertType<ParseWitParameter<"option-list-string: option<list<string>>">>({
     name: "option-list-string",
     type: "option<list<string>>",
+    internalType: "option<list<string>>",
   });
 
   assertType<
@@ -93,6 +95,7 @@ test("ParseWitParameter", () => {
   >({
     name: "option-list-result-string-contract-address",
     type: "option<list<result<string, contract-address>>>",
+    internalType: "option<list<result<string, contract-address>>>",
   });
 
   assertType<ParseWitParameter<"contract-address">>({
@@ -163,7 +166,7 @@ test("Parse Signature", () => {
         type: "contract-address",
         internalType: "contract-address",
       },
-      { name: "n", type: "list<u64>" },
+      { name: "n", type: "list<u64>", internalType: "list<u64>" },
     ],
     outputs: [
       {
@@ -184,7 +187,7 @@ test("Parse Signature", () => {
         type: "contract-address",
         internalType: "contract-address",
       },
-      { name: "n", type: "list<u64>" },
+      { name: "n", type: "list<u64>", internalType: "list<u64>" },
     ],
     outputs: [
       {
@@ -205,7 +208,7 @@ test("Parse Signature", () => {
         type: "contract-address",
         internalType: "contract-address",
       },
-      { name: "n", type: "list<u64>" },
+      { name: "n", type: "list<u64>", internalType: "list<u64>" },
     ],
     outputs: [
       {
@@ -227,6 +230,7 @@ test("Parse Signature", () => {
     outputs: [
       {
         type: "list<tuple>",
+        internalType: "list<dog>",
         components: [
           { type: "string", name: "name" },
           { type: "string", name: "breed" },

package/src/wit/wit-parser/core/types/utils.ts

@@ -48,11 +48,15 @@ type MapGenericType<T extends string, Opts extends ParseOptions> =
   // list<...>
   T extends `list<${infer U}>`
     ? MapGenericType<Trim<U>, Opts> extends infer M extends { type: string }
-      ? Readonlyify<{ type: `list<${M["type"]}>` } & GetComponents<M>>
+      ? Readonlyify<
+          { type: `list<${M["type"]}>`; internalType: T } & 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>>
+        ? Readonlyify<
+            { type: `option<${M["type"]}>`; internalType: T } & GetComponents<M>
+          >
         : never
       : // result<L, R>
         T extends `result<${infer Inner}>`