b1dbd02Switch sampling to pure-WASI web workers; add results dashboardJeremy Magland 1// Minimal typing for the prebuilt plotly bundle (loaded lazily by the
2// results dashboard; only the surface we call).
3declare module 'plotly.js-basic-dist-min' {
4 interface PlotlyStatic {
5 newPlot(
6 root: HTMLElement,
7 data: unknown[],
8 layout?: Record<string, unknown>,
9 config?: Record<string, unknown>,
10 ): Promise<unknown>;
11 purge(root: HTMLElement): void;
12 Plots: { resize(root: HTMLElement): void };
13 }
14 const Plotly: PlotlyStatic;
15 export default Plotly;
16}