@ic-reactor/candid 3.0.7-beta.1 → 3.0.8-beta.0

package/dist/visitor/arguments/index.js

@@ -0,0 +1,277 @@
+import { isQuery } from "../helpers";
+import { IDL } from "../types";
+export * from "./types";
+/**
+ * ArgumentFieldVisitor generates metadata for form input fields from Candid IDL types.
+ *
+ * ## Design Principles
+ *
+ * 1. **Works with raw IDL types** - generates metadata at initialization time
+ * 2. **No value dependencies** - metadata is independent of actual values
+ * 3. **Form-framework agnostic** - output can be used with TanStack, React Hook Form, etc.
+ * 4. **Efficient** - single traversal, no runtime type checking
+ *
+ * ## Output Structure
+ *
+ * Each field has:
+ * - `type`: The field type (record, variant, text, number, etc.)
+ * - `label`: Human-readable label from Candid
+ * - `path`: Dot-notation path for form binding (e.g., "0.owner")
+ * - `defaultValue`: Initial value for the form
+ * - Type-specific properties (options for variant, fields for record, etc.)
+ *
+ * @example
+ * ```typescript
+ * const visitor = new ArgumentFieldVisitor()
+ * const serviceMeta = service.accept(visitor, null)
+ *
+ * // For a specific method
+ * const methodMeta = serviceMeta["icrc1_transfer"]
+ * // methodMeta.fields = [{ type: "record", fields: [...] }]
+ * // methodMeta.defaultValues = [{ to: "", amount: "" }]
+ * ```
+ */
+export class ArgumentFieldVisitor extends IDL.Visitor {
+    constructor() {
+        super(...arguments);
+        Object.defineProperty(this, "pathStack", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: []
+        });
+    }
+    withPath(path, fn) {
+        this.pathStack.push(path);
+        try {
+            return fn();
+        }
+        finally {
+            this.pathStack.pop();
+        }
+    }
+    currentPath() {
+        return this.pathStack[this.pathStack.length - 1] ?? "";
+    }
+    childPath(key) {
+        const parent = this.currentPath();
+        if (typeof key === "number") {
+            return parent ? `${parent}[${key}]` : String(key);
+        }
+        return parent ? `${parent}.${key}` : key;
+    }
+    // ════════════════════════════════════════════════════════════════════════
+    // Service & Function Level
+    // ════════════════════════════════════════════════════════════════════════
+    visitService(t) {
+        const result = {};
+        for (const [functionName, func] of t._fields) {
+            result[functionName] = func.accept(this, functionName);
+        }
+        return result;
+    }
+    visitFunc(t, functionName) {
+        const functionType = isQuery(t) ? "query" : "update";
+        const fields = t.argTypes.map((arg, index) => {
+            return this.withPath(`[${index}]`, () => arg.accept(this, `__arg${index}`));
+        });
+        const defaultValues = fields.map((field) => this.extractDefaultValue(field));
+        return {
+            functionType,
+            functionName,
+            fields,
+            defaultValues,
+        };
+    }
+    extractDefaultValue(field) {
+        if ("defaultValue" in field) {
+            return field.defaultValue;
+        }
+        if ("defaultValues" in field) {
+            return field.defaultValues;
+        }
+        return undefined;
+    }
+    // ════════════════════════════════════════════════════════════════════════
+    // Compound Types
+    // ════════════════════════════════════════════════════════════════════════
+    visitRecord(_t, fields_, label) {
+        const path = this.currentPath();
+        const fields = [];
+        const defaultValues = {};
+        for (const [key, type] of fields_) {
+            const field = this.withPath(this.childPath(key), () => type.accept(this, key));
+            fields.push(field);
+            defaultValues[key] = this.extractDefaultValue(field);
+        }
+        return {
+            type: "record",
+            label,
+            path,
+            fields,
+            defaultValues,
+        };
+    }
+    visitVariant(_t, fields_, label) {
+        const path = this.currentPath();
+        const fields = [];
+        const options = [];
+        for (const [key, type] of fields_) {
+            const field = this.withPath(this.childPath(key), () => type.accept(this, key));
+            fields.push(field);
+            options.push(key);
+        }
+        const defaultOption = options[0];
+        const defaultValues = {
+            [defaultOption]: this.extractDefaultValue(fields[0]),
+        };
+        return {
+            type: "variant",
+            label,
+            path,
+            fields,
+            options,
+            defaultOption,
+            defaultValues,
+        };
+    }
+    visitTuple(_t, components, label) {
+        const path = this.currentPath();
+        const fields = [];
+        const defaultValues = [];
+        for (let index = 0; index < components.length; index++) {
+            const type = components[index];
+            const field = this.withPath(this.childPath(index), () => type.accept(this, `_${index}_`));
+            fields.push(field);
+            defaultValues.push(this.extractDefaultValue(field));
+        }
+        return {
+            type: "tuple",
+            label,
+            path,
+            fields,
+            defaultValues,
+        };
+    }
+    visitOpt(_t, ty, label) {
+        const path = this.currentPath();
+        const innerField = this.withPath(this.childPath(0), () => ty.accept(this, label));
+        return {
+            type: "optional",
+            label,
+            path,
+            innerField,
+            defaultValue: null,
+        };
+    }
+    visitVec(_t, ty, label) {
+        const path = this.currentPath();
+        // Check if it's blob (vec nat8)
+        const isBlob = ty instanceof IDL.FixedNatClass && ty._bits === 8;
+        const itemField = this.withPath(this.childPath(0), () => ty.accept(this, label));
+        if (isBlob) {
+            return {
+                type: "blob",
+                label,
+                path,
+                itemField,
+                defaultValue: "",
+            };
+        }
+        return {
+            type: "vector",
+            label,
+            path,
+            itemField,
+            defaultValue: [],
+        };
+    }
+    visitRec(_t, ty, label) {
+        const path = this.currentPath();
+        return {
+            type: "recursive",
+            label,
+            path,
+            // Lazy extraction to prevent infinite loops
+            extract: () => this.withPath(path, () => ty.accept(this, label)),
+        };
+    }
+    // ════════════════════════════════════════════════════════════════════════
+    // Primitive Types
+    // ════════════════════════════════════════════════════════════════════════
+    visitPrincipal(_t, label) {
+        return {
+            type: "principal",
+            label,
+            path: this.currentPath(),
+            defaultValue: "",
+            maxLength: 64,
+            minLength: 7,
+        };
+    }
+    visitText(_t, label) {
+        return {
+            type: "text",
+            label,
+            path: this.currentPath(),
+            defaultValue: "",
+        };
+    }
+    visitBool(_t, label) {
+        return {
+            type: "boolean",
+            label,
+            path: this.currentPath(),
+            defaultValue: false,
+        };
+    }
+    visitNull(_t, label) {
+        return {
+            type: "null",
+            label,
+            path: this.currentPath(),
+            defaultValue: null,
+        };
+    }
+    // Numbers - all use string for display format
+    visitNumberType(label, candidType) {
+        return {
+            type: "number",
+            label,
+            path: this.currentPath(),
+            defaultValue: "",
+            candidType,
+        };
+    }
+    visitInt(_t, label) {
+        return this.visitNumberType(label, "int");
+    }
+    visitNat(_t, label) {
+        return this.visitNumberType(label, "nat");
+    }
+    visitFloat(_t, label) {
+        return this.visitNumberType(label, "float");
+    }
+    visitFixedInt(t, label) {
+        return this.visitNumberType(label, `int${t._bits}`);
+    }
+    visitFixedNat(t, label) {
+        return this.visitNumberType(label, `nat${t._bits}`);
+    }
+    visitType(_t, label) {
+        return {
+            type: "unknown",
+            label,
+            path: this.currentPath(),
+            defaultValue: undefined,
+        };
+    }
+}
+// ════════════════════════════════════════════════════════════════════════════
+// Legacy Exports (for backward compatibility)
+// ════════════════════════════════════════════════════════════════════════════
+/**
+ * @deprecated Use ArgumentFieldVisitor instead
+ */
+export { ArgumentFieldVisitor as VisitTanstackField };
+//# sourceMappingURL=index.js.map

package/dist/visitor/arguments/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/visitor/arguments/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AACpC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAqB9B,cAAc,SAAS,CAAA;AAEvB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AACH,MAAM,OAAO,oBAAoC,SAAQ,GAAG,CAAC,OAG5D;IAHD;;QAIU;;;;mBAAsB,EAAE;WAAA;IAwUlC,CAAC;IAtUS,QAAQ,CAAI,IAAY,EAAE,EAAW;QAC3C,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACzB,IAAI,CAAC;YACH,OAAO,EAAE,EAAE,CAAA;QACb,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAA;QACtB,CAAC;IACH,CAAC;IAEO,WAAW;QACjB,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;IACxD,CAAC;IAEO,SAAS,CAAC,GAAoB;QACpC,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QACjC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YAC5B,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;QACnD,CAAC;QACD,OAAO,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAA;IAC1C,CAAC;IAED,2EAA2E;IAC3E,2BAA2B;IAC3B,2EAA2E;IAEpE,YAAY,CAAC,CAAmB;QACrC,MAAM,MAAM,GAAG,EAA6B,CAAA;QAE5C,KAAK,MAAM,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7C,MAAM,CAAC,YAA+B,CAAC,GAAG,IAAI,CAAC,MAAM,CACnD,IAAI,EACJ,YAAY,CACa,CAAA;QAC7B,CAAC;QAED,OAAO,MAAM,CAAA;IACf,CAAC;IAEM,SAAS,CACd,CAAgB,EAChB,YAA6B;QAE7B,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAA;QAEpD,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE;YAC3C,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,GAAG,EAAE,GAAG,EAAE,CACtC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,KAAK,EAAE,CAAC,CACjB,CAAA;QACpB,CAAC,CAAC,CAAA;QAEF,MAAM,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAA;QAE5E,OAAO;YACL,YAAY;YACZ,YAAY;YACZ,MAAM;YACN,aAAa;SACd,CAAA;IACH,CAAC;IAEO,mBAAmB,CAAC,KAAoB;QAC9C,IAAI,cAAc,IAAI,KAAK,EAAE,CAAC;YAC5B,OAAO,KAAK,CAAC,YAAY,CAAA;QAC3B,CAAC;QACD,IAAI,eAAe,IAAI,KAAK,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAC,aAAa,CAAA;QAC5B,CAAC;QACD,OAAO,SAAS,CAAA;IAClB,CAAC;IAED,2EAA2E;IAC3E,iBAAiB;IACjB,2EAA2E;IAEpE,WAAW,CAChB,EAAmB,EACnB,OAAkC,EAClC,KAAa;QAEb,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAC/B,MAAM,MAAM,GAAoB,EAAE,CAAA;QAClC,MAAM,aAAa,GAA4B,EAAE,CAAA;QAEjD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CACpD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CACN,CAAA;YAElB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAClB,aAAa,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAA;QACtD,CAAC;QAED,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK;YACL,IAAI;YACJ,MAAM;YACN,aAAa;SACd,CAAA;IACH,CAAC;IAEM,YAAY,CACjB,EAAoB,EACpB,OAAkC,EAClC,KAAa;QAEb,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAC/B,MAAM,MAAM,GAAoB,EAAE,CAAA;QAClC,MAAM,OAAO,GAAa,EAAE,CAAA;QAE5B,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CACpD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CACN,CAAA;YAElB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAClB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACnB,CAAC;QAED,MAAM,aAAa,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;QAChC,MAAM,aAAa,GAAG;YACpB,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;SACrD,CAAA;QAED,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK;YACL,IAAI;YACJ,MAAM;YACN,OAAO;YACP,aAAa;YACb,aAAa;SACd,CAAA;IACH,CAAC;IAEM,UAAU,CACf,EAAqB,EACrB,UAAsB,EACtB,KAAa;QAEb,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAC/B,MAAM,MAAM,GAAoB,EAAE,CAAA;QAClC,MAAM,aAAa,GAAc,EAAE,CAAA;QAEnC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACvD,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,CAAA;YAC9B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,CACtD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,KAAK,GAAG,CAAC,CACf,CAAA;YAElB,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAClB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAA;QACrD,CAAC;QAED,OAAO;YACL,IAAI,EAAE,OAAO;YACb,KAAK;YACL,IAAI;YACJ,MAAM;YACN,aAAa;SACd,CAAA;IACH,CAAC;IAEM,QAAQ,CACb,EAAmB,EACnB,EAAe,EACf,KAAa;QAEb,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAE/B,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CACvD,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CACN,CAAA;QAElB,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,KAAK;YACL,IAAI;YACJ,UAAU;YACV,YAAY,EAAE,IAAI;SACnB,CAAA;IACH,CAAC;IAEM,QAAQ,CACb,EAAmB,EACnB,EAAe,EACf,KAAa;QAEb,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAE/B,gCAAgC;QAChC,MAAM,MAAM,GAAG,EAAE,YAAY,GAAG,CAAC,aAAa,IAAI,EAAE,CAAC,KAAK,KAAK,CAAC,CAAA;QAEhE,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CACtD,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CACN,CAAA;QAElB,IAAI,MAAM,EAAE,CAAC;YACX,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,KAAK;gBACL,IAAI;gBACJ,SAAS;gBACT,YAAY,EAAE,EAAE;aACjB,CAAA;QACH,CAAC;QAED,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK;YACL,IAAI;YACJ,SAAS;YACT,YAAY,EAAE,EAAE;SACjB,CAAA;IACH,CAAC;IAEM,QAAQ,CACb,EAAmB,EACnB,EAAwB,EACxB,KAAa;QAEb,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;QAE/B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK;YACL,IAAI;YACJ,4CAA4C;YAC5C,OAAO,EAAE,GAAG,EAAE,CACZ,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAkB;SACrE,CAAA;IACH,CAAC;IAED,2EAA2E;IAC3E,kBAAkB;IAClB,2EAA2E;IAEpE,cAAc,CACnB,EAAsB,EACtB,KAAa;QAEb,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;YACxB,YAAY,EAAE,EAAE;YAChB,SAAS,EAAE,EAAE;YACb,SAAS,EAAE,CAAC;SACb,CAAA;IACH,CAAC;IAEM,SAAS,CAAC,EAAiB,EAAE,KAAa;QAC/C,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;YACxB,YAAY,EAAE,EAAE;SACjB,CAAA;IACH,CAAC;IAEM,SAAS,CAAC,EAAiB,EAAE,KAAa;QAC/C,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;YACxB,YAAY,EAAE,KAAK;SACpB,CAAA;IACH,CAAC;IAEM,SAAS,CAAC,EAAiB,EAAE,KAAa;QAC/C,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;YACxB,YAAY,EAAE,IAAI;SACnB,CAAA;IACH,CAAC;IAED,8CAA8C;IACtC,eAAe,CACrB,KAAa,EACb,UAAkB;QAElB,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;YACxB,YAAY,EAAE,EAAE;YAChB,UAAU;SACX,CAAA;IACH,CAAC;IAEM,QAAQ,CAAC,EAAgB,EAAE,KAAa;QAC7C,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC3C,CAAC;IAEM,QAAQ,CAAC,EAAgB,EAAE,KAAa;QAC7C,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC3C,CAAC;IAEM,UAAU,CAAC,EAAkB,EAAE,KAAa;QACjD,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IAC7C,CAAC;IAEM,aAAa,CAClB,CAAoB,EACpB,KAAa;QAEb,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,CAAA;IACrD,CAAC;IAEM,aAAa,CAClB,CAAoB,EACpB,KAAa;QAEb,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,CAAA;IACrD,CAAC;IAEM,SAAS,CAAI,EAAe,EAAE,KAAa;QAChD,OAAO;YACL,IAAI,EAAE,SAAS;YACf,KAAK;YACL,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE;YACxB,YAAY,EAAE,SAAS;SACxB,CAAA;IACH,CAAC;CACF;AAED,+EAA+E;AAC/E,8CAA8C;AAC9C,+EAA+E;AAE/E;;GAEG;AACH,OAAO,EAAE,oBAAoB,IAAI,kBAAkB,EAAE,CAAA"}

package/dist/visitor/arguments/types.d.ts

@@ -0,0 +1,92 @@
+import type { BaseActor, FunctionName, FunctionType } from "@ic-reactor/core";
+export type ArgumentFieldType = "record" | "variant" | "tuple" | "optional" | "vector" | "blob" | "recursive" | "principal" | "number" | "text" | "boolean" | "null" | "unknown";
+export interface ArgumentFieldBase {
+    /** The field type */
+    type: ArgumentFieldType;
+    /** Human-readable label from Candid */
+    label: string;
+    /** Dot-notation path for form binding (e.g., "0.owner", "[0].to") */
+    path: string;
+}
+export interface RecordArgumentField extends ArgumentFieldBase {
+    type: "record";
+    fields: ArgumentField[];
+    defaultValues: Record<string, unknown>;
+}
+export interface VariantArgumentField extends ArgumentFieldBase {
+    type: "variant";
+    fields: ArgumentField[];
+    options: string[];
+    defaultOption: string;
+    defaultValues: Record<string, unknown>;
+}
+export interface TupleArgumentField extends ArgumentFieldBase {
+    type: "tuple";
+    fields: ArgumentField[];
+    defaultValues: unknown[];
+}
+export interface OptionalArgumentField extends ArgumentFieldBase {
+    type: "optional";
+    innerField: ArgumentField;
+    defaultValue: null;
+}
+export interface VectorArgumentField extends ArgumentFieldBase {
+    type: "vector";
+    itemField: ArgumentField;
+    defaultValue: [];
+}
+export interface BlobArgumentField extends ArgumentFieldBase {
+    type: "blob";
+    itemField: ArgumentField;
+    /** Default is empty hex string */
+    defaultValue: string;
+}
+export interface RecursiveArgumentField extends ArgumentFieldBase {
+    type: "recursive";
+    /** Lazily extract the inner field to prevent infinite loops */
+    extract: () => ArgumentField;
+}
+export interface PrincipalArgumentField extends ArgumentFieldBase {
+    type: "principal";
+    /** Display format: string */
+    defaultValue: string;
+    maxLength: number;
+    minLength: number;
+}
+export interface NumberArgumentField extends ArgumentFieldBase {
+    type: "number";
+    /** Display format: string (for bigint compatibility) */
+    defaultValue: string;
+    /** Original Candid type: nat, int, nat64, etc. */
+    candidType: string;
+}
+export interface TextArgumentField extends ArgumentFieldBase {
+    type: "text";
+    defaultValue: string;
+}
+export interface BooleanArgumentField extends ArgumentFieldBase {
+    type: "boolean";
+    defaultValue: boolean;
+}
+export interface NullArgumentField extends ArgumentFieldBase {
+    type: "null";
+    defaultValue: null;
+}
+export interface UnknownArgumentField extends ArgumentFieldBase {
+    type: "unknown";
+    defaultValue: undefined;
+}
+export type ArgumentField = RecordArgumentField | VariantArgumentField | TupleArgumentField | OptionalArgumentField | VectorArgumentField | BlobArgumentField | RecursiveArgumentField | PrincipalArgumentField | NumberArgumentField | TextArgumentField | BooleanArgumentField | NullArgumentField | UnknownArgumentField;
+export interface MethodArgumentsMeta<A = BaseActor, Name extends FunctionName<A> = FunctionName<A>> {
+    functionType: FunctionType;
+    functionName: Name;
+    fields: ArgumentField[];
+    defaultValues: unknown[];
+}
+export type ServiceArgumentsMeta<A = BaseActor> = {
+    [K in FunctionName<A>]: MethodArgumentsMeta<A, K>;
+};
+export type ArgumentFieldByType<T extends ArgumentFieldType> = Extract<ArgumentField, {
+    type: T;
+}>;
+//# sourceMappingURL=types.d.ts.map

package/dist/visitor/arguments/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/visitor/arguments/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AAM7E,MAAM,MAAM,iBAAiB,GACzB,QAAQ,GACR,SAAS,GACT,OAAO,GACP,UAAU,GACV,QAAQ,GACR,MAAM,GACN,WAAW,GACX,WAAW,GACX,QAAQ,GACR,MAAM,GACN,SAAS,GACT,MAAM,GACN,SAAS,CAAA;AAMb,MAAM,WAAW,iBAAiB;IAChC,qBAAqB;IACrB,IAAI,EAAE,iBAAiB,CAAA;IACvB,uCAAuC;IACvC,KAAK,EAAE,MAAM,CAAA;IACb,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAA;CACb;AAMD,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D,IAAI,EAAE,QAAQ,CAAA;IACd,MAAM,EAAE,aAAa,EAAE,CAAA;IACvB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACvC;AAED,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,IAAI,EAAE,SAAS,CAAA;IACf,MAAM,EAAE,aAAa,EAAE,CAAA;IACvB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,aAAa,EAAE,MAAM,CAAA;IACrB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACvC;AAED,MAAM,WAAW,kBAAmB,SAAQ,iBAAiB;IAC3D,IAAI,EAAE,OAAO,CAAA;IACb,MAAM,EAAE,aAAa,EAAE,CAAA;IACvB,aAAa,EAAE,OAAO,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,qBAAsB,SAAQ,iBAAiB;IAC9D,IAAI,EAAE,UAAU,CAAA;IAChB,UAAU,EAAE,aAAa,CAAA;IACzB,YAAY,EAAE,IAAI,CAAA;CACnB;AAED,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D,IAAI,EAAE,QAAQ,CAAA;IACd,SAAS,EAAE,aAAa,CAAA;IACxB,YAAY,EAAE,EAAE,CAAA;CACjB;AAED,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,IAAI,EAAE,MAAM,CAAA;IACZ,SAAS,EAAE,aAAa,CAAA;IACxB,kCAAkC;IAClC,YAAY,EAAE,MAAM,CAAA;CACrB;AAED,MAAM,WAAW,sBAAuB,SAAQ,iBAAiB;IAC/D,IAAI,EAAE,WAAW,CAAA;IACjB,+DAA+D;IAC/D,OAAO,EAAE,MAAM,aAAa,CAAA;CAC7B;AAMD,MAAM,WAAW,sBAAuB,SAAQ,iBAAiB;IAC/D,IAAI,EAAE,WAAW,CAAA;IACjB,6BAA6B;IAC7B,YAAY,EAAE,MAAM,CAAA;IACpB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,MAAM,CAAA;CAClB;AAED,MAAM,WAAW,mBAAoB,SAAQ,iBAAiB;IAC5D,IAAI,EAAE,QAAQ,CAAA;IACd,wDAAwD;IACxD,YAAY,EAAE,MAAM,CAAA;IACpB,kDAAkD;IAClD,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,IAAI,EAAE,MAAM,CAAA;IACZ,YAAY,EAAE,MAAM,CAAA;CACrB;AAED,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,IAAI,EAAE,SAAS,CAAA;IACf,YAAY,EAAE,OAAO,CAAA;CACtB;AAED,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,IAAI,EAAE,MAAM,CAAA;IACZ,YAAY,EAAE,IAAI,CAAA;CACnB;AAED,MAAM,WAAW,oBAAqB,SAAQ,iBAAiB;IAC7D,IAAI,EAAE,SAAS,CAAA;IACf,YAAY,EAAE,SAAS,CAAA;CACxB;AAMD,MAAM,MAAM,aAAa,GACrB,mBAAmB,GACnB,oBAAoB,GACpB,kBAAkB,GAClB,qBAAqB,GACrB,mBAAmB,GACnB,iBAAiB,GACjB,sBAAsB,GACtB,sBAAsB,GACtB,mBAAmB,GACnB,iBAAiB,GACjB,oBAAoB,GACpB,iBAAiB,GACjB,oBAAoB,CAAA;AAMxB,MAAM,WAAW,mBAAmB,CAClC,CAAC,GAAG,SAAS,EACb,IAAI,SAAS,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC;IAE9C,YAAY,EAAE,YAAY,CAAA;IAC1B,YAAY,EAAE,IAAI,CAAA;IAClB,MAAM,EAAE,aAAa,EAAE,CAAA;IACvB,aAAa,EAAE,OAAO,EAAE,CAAA;CACzB;AAED,MAAM,MAAM,oBAAoB,CAAC,CAAC,GAAG,SAAS,IAAI;KAC/C,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC;CAClD,CAAA;AAMD,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,iBAAiB,IAAI,OAAO,CACpE,aAAa,EACb;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CACZ,CAAA"}

package/dist/visitor/arguments/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/visitor/arguments/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/visitor/arguments/types.ts"],"names":[],"mappings":""}

package/dist/visitor/constants.d.ts

@@ -0,0 +1,4 @@
+import type { TextFormat, NumberFormat } from "./returns/types";
+export declare const checkTextFormat: (label?: string) => TextFormat;
+export declare const checkNumberFormat: (label?: string) => NumberFormat;
+//# sourceMappingURL=constants.d.ts.map

package/dist/visitor/constants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../src/visitor/constants.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AA0C/D,eAAO,MAAM,eAAe,GAAI,QAAQ,MAAM,KAAG,UAYhD,CAAA;AAED,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,KAAG,YAKlD,CAAA"}

package/dist/visitor/constants.js

@@ -0,0 +1,61 @@
+const TAMESTAMP_KEYS = [
+    "time",
+    "date",
+    "deadline",
+    "timestamp",
+    "timestamp_nanos",
+    "statusAt",
+    "createdAt",
+    "updatedAt",
+    "deletedAt",
+    "validUntil",
+    "status_at",
+    "created_at",
+    "updated_at",
+    "deleted_at",
+    "valid_until",
+];
+const TAMESTAMP_KEYS_REGEX = new RegExp(TAMESTAMP_KEYS.map((key) => `^[\\w-]*${key}[\\w-]*$`).join("|"), "i");
+const CYCLE_KEYS = ["cycle", "cycles"];
+const CYCLE_KEYS_REGEX = new RegExp(CYCLE_KEYS.map((key) => `^[\\w-]*${key}[\\w-]*$`).join("|"), "i");
+const EMAIL_KEYS_REGEX = /email|mail/i;
+const PHONE_KEYS_REGEX = /phone|tel|mobile/i;
+const URL_KEYS_REGEX = /url|link|website/i;
+const UUID_KEYS_REGEX = /uuid|guid/i;
+const BITCOIN_KEYS_REGEX = /bitcoin|btc/i;
+const ETHEREUM_KEYS_REGEX = /ethereum|eth/i;
+const ACCOUNT_ID_KEYS_REGEX = /account_id|account_identifier|ledger_account|block_hash|transaction_hash|tx_hash/i;
+const PRINCIPAL_KEYS_REGEX = /canister|principal/i;
+export const checkTextFormat = (label) => {
+    if (!label)
+        return "plain";
+    if (TAMESTAMP_KEYS_REGEX.test(label))
+        return "timestamp";
+    if (EMAIL_KEYS_REGEX.test(label))
+        return "email";
+    if (PHONE_KEYS_REGEX.test(label))
+        return "phone";
+    if (URL_KEYS_REGEX.test(label))
+        return "url";
+    if (UUID_KEYS_REGEX.test(label))
+        return "uuid";
+    if (BITCOIN_KEYS_REGEX.test(label))
+        return "btc";
+    if (ETHEREUM_KEYS_REGEX.test(label))
+        return "eth";
+    if (ACCOUNT_ID_KEYS_REGEX.test(label))
+        return "account-id";
+    if (PRINCIPAL_KEYS_REGEX.test(label))
+        return "principal";
+    return "plain";
+};
+export const checkNumberFormat = (label) => {
+    if (!label)
+        return "normal";
+    if (TAMESTAMP_KEYS_REGEX.test(label))
+        return "timestamp";
+    if (CYCLE_KEYS_REGEX.test(label))
+        return "cycle";
+    return "normal";
+};
+//# sourceMappingURL=constants.js.map

package/dist/visitor/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../src/visitor/constants.ts"],"names":[],"mappings":"AAEA,MAAM,cAAc,GAAG;IACrB,MAAM;IACN,MAAM;IACN,UAAU;IACV,WAAW;IACX,iBAAiB;IACjB,UAAU;IACV,WAAW;IACX,WAAW;IACX,WAAW;IACX,YAAY;IACZ,WAAW;IACX,YAAY;IACZ,YAAY;IACZ,YAAY;IACZ,aAAa;CACd,CAAA;AAED,MAAM,oBAAoB,GAAG,IAAI,MAAM,CACrC,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAC/D,GAAG,CACJ,CAAA;AAED,MAAM,UAAU,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;AAEtC,MAAM,gBAAgB,GAAG,IAAI,MAAM,CACjC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAC3D,GAAG,CACJ,CAAA;AAED,MAAM,gBAAgB,GAAG,aAAa,CAAA;AACtC,MAAM,gBAAgB,GAAG,mBAAmB,CAAA;AAC5C,MAAM,cAAc,GAAG,mBAAmB,CAAA;AAC1C,MAAM,eAAe,GAAG,YAAY,CAAA;AACpC,MAAM,kBAAkB,GAAG,cAAc,CAAA;AACzC,MAAM,mBAAmB,GAAG,eAAe,CAAA;AAC3C,MAAM,qBAAqB,GACzB,mFAAmF,CAAA;AACrF,MAAM,oBAAoB,GAAG,qBAAqB,CAAA;AAElD,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAc,EAAc,EAAE;IAC5D,IAAI,CAAC,KAAK;QAAE,OAAO,OAAO,CAAA;IAC1B,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAA;IACxD,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAA;IAChD,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAA;IAChD,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAC5C,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,MAAM,CAAA;IAC9C,IAAI,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAChD,IAAI,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACjD,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,YAAY,CAAA;IAC1D,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAA;IACxD,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAAgB,EAAE;IAChE,IAAI,CAAC,KAAK;QAAE,OAAO,QAAQ,CAAA;IAC3B,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,WAAW,CAAA;IACxD,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAA;IAChD,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA"}

package/dist/visitor/helpers.d.ts

@@ -0,0 +1,30 @@
+import { IDL } from "./types";
+export declare const extractAndSortArgs: <T extends Record<string, unknown>>(argsObject: T) => Array<T[keyof T]>;
+/**
+ * Normalize form state by converting objects with numeric string keys to arrays.
+ * TanStack Form sometimes creates { "0": value, "1": value } instead of [value, value]
+ * when using indexed field paths like "parent.0.child".
+ *
+ * This function also handles the variant cleanup case where objects have mixed
+ * numeric and named keys (e.g., { "0": old, "Add": current }) by removing
+ * orphaned numeric keys.
+ *
+ * This function recursively processes the form state and fixes these issues.
+ */
+export declare const normalizeFormState: <T>(value: T) => T;
+export declare const convertNanoToDate: (nano: bigint) => Date;
+export declare const convertToCycle: (cycles: bigint) => string;
+export declare const convertStringToNumber: (value: string) => number | bigint;
+export declare const validateNumberError: (t: IDL.Type) => (value: string) => string | true;
+export declare const validateError: (t: IDL.Type) => (value: unknown) => string | true;
+export declare function isQuery(func: IDL.FuncClass): boolean;
+export declare function isUrl(str: string): boolean;
+export declare function isImage(str: string): boolean;
+export declare function isUuid(str: string): boolean;
+export declare function isCanisterId(str: string): boolean;
+export declare function isBtcAddress(str: string): boolean;
+export declare function isEthAddress(str: string): boolean;
+export declare function isAccountIdentifier(str: string): boolean;
+export declare function isIsoDate(str: string): boolean;
+export declare function uint8ArrayToHexString(bytes: Uint8Array | number[]): string;
+//# sourceMappingURL=helpers.d.ts.map

package/dist/visitor/helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/visitor/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,GAAG,EAAE,MAAM,SAAS,CAAA;AAE7B,eAAO,MAAM,kBAAkB,GAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAClE,YAAY,CAAC,KACZ,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAYlB,CAAA;AAED;;;;;;;;;;GAUG;AACH,eAAO,MAAM,kBAAkB,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,CAgDhD,CAAA;AAED,eAAO,MAAM,iBAAiB,GAAI,MAAM,MAAM,SAE7C,CAAA;AAED,eAAO,MAAM,cAAc,GAAI,QAAQ,MAAM,WAO5C,CAAA;AAED,eAAO,MAAM,qBAAqB,GAAI,OAAO,MAAM,oBAOlD,CAAA;AAED,eAAO,MAAM,mBAAmB,GAAI,GAAG,GAAG,CAAC,IAAI,MACpB,OAAO,MAAM,kBAwBvC,CAAA;AAED,eAAO,MAAM,aAAa,GAAI,GAAG,GAAG,CAAC,IAAI,MACd,OAAO,OAAO,kBAQxC,CAAA;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,SAAS,GAAG,OAAO,CAKpD;AAED,wBAAgB,KAAK,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAG1C;AAED,wBAAgB,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAgB5C;AAED,wBAAgB,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAK3C;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAKjD;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAOjD;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAGjD;AAED,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAIxD;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAO9C;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,MAAM,EAAE,GAAG,MAAM,CAQ1E"}