Apply multiple type edits
type_apply_batchApply multiple type edits in one batch and return aggregate status; stop_on_error halts on first failure. Use to update several functions, globals, or stack variables at once.
Instructions
Apply multiple type edits and return aggregate status.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"batch": "<batch>"
},
"name": "type_apply_batch"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| batch | Yes | Batch type edits with optional stop_on_error behavior | |
| instance_id | No | Optional database instance id. If omitted, use the current target. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ok | Yes | ||
| failed | Yes | ||
| applied | Yes | ||
| results | Yes | ||
| stopped | Yes |