export type SamplingOpts = { num_chains: number; num_warmup: number; num_samples: number; init_radius: number; seed: number | undefined; }; export const defaultSamplingOpts: SamplingOpts = { num_chains: 4, num_warmup: 1000, num_samples: 1000, init_radius: 2.0, seed: undefined, }; export type ChainProgress = { iteration: number; totalIterations: number; warmup: boolean; }; // Result of one chain (one wasm-exec job) export type ChainResult = { chainId: number; paramNames: string[]; draws: number[][]; // draws[paramIndex][drawIndex] consoleText: string; }; export type MultiChainResult = { paramNames: string[]; draws: number[][]; // draws[paramIndex][drawIndex], chains concatenated numChains: number; computeTimeSec: number; consoleText: string; }; export type ChainStatus = ChainProgress | "done" | "error"; export type ChainStatusMap = { [chainId: number]: ChainStatus; };