what_time_when
Convert a given local time from one IANA time zone to another to find the corresponding time in the target zone. Provide source zone, target zone, and local time or date.
Instructions
Answer: what time is it in targetZone when it is localTime in sourceZone. Uses local date-fns-tz / Intl only — no external time APIs.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| date | No | YYYY-MM-DD if localTime is HH:mm only. | |
| localTime | Yes | HH:mm or YYYY-MM-DDTHH:mm[:ss] | |
| sourceZone | Yes | Zone where localTime applies. | |
| targetZone | Yes | Zone to convert into. |