File size: 412 Bytes
391c43e
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
/**
 * Types for the script execution system (Python/Lua via Web Workers).
 */

export type ScriptRuntime = 'python' | 'lua';

export type ScriptWorkerResponse =
  | { type: 'stdout'; data: string }
  | { type: 'stderr'; data: string }
  | { type: 'status'; data: string }
  | { type: 'error'; data: string }
  | { type: 'complete'; exitCode: number }
  | { type: 'output-file'; path: string; content: string };