tricu

runtime-session.ts (1808B)

---

 import type { ModuleStage } from './module-stage.js';
 import type { LocalModuleInput } from './local-modules.js';
 import { HaskellSession } from './haskell-session.js';
 import type { BundleHash } from './bundle.js';
 import type { Literal, OutputType, ValueView } from './codecs.js';
 import type { IOHost } from './io.js';
 import type { RuntimeStats } from './runtime-backends.js';
 // Coarse backend boundary. The page/driver never sees pointers, evaluator nodes,
 // internal IO tokens, or runtime-specific checkpoints. Implementations own their
 // private protocol; unsupported backends are never replaced by another.
 export interface RuntimeSession {
   readonly disposed: boolean;
   load(bytes: Uint8Array, hash: BundleHash): Promise<void>;
   compile(source: string, profileName?: string, localModules?: LocalModuleInput[]): Promise<string[]>;
   // Read-only native header inspection in an initialized compiler session.
   inspectModule(source: string): Promise<ModuleStage>;
   exportModule(): Promise<Uint8Array>;
   run(name: string, args: Literal[], output: OutputType, mode: 'pure' | 'io', host: IOHost): Promise<ValueView>;
   runExpression(source: string, output: OutputType, mode: 'pure' | 'io', host: IOHost): Promise<ValueView>;
   stats(): RuntimeStats;
   dispose(): void;
 }
 export async function createRuntimeSession(name: string | null, compiler: boolean): Promise<RuntimeSession> {
   if (name === 'zig-wasm') {
     const module = await import(new URL('../runtime/zig/site-session.mjs', import.meta.url).href) as { create(options: { base: URL; compiler: boolean }): Promise<RuntimeSession> };
     return module.create({ base: new URL('../', import.meta.url), compiler });
   }
   if (name !== 'haskell-wasm') throw new Error('Unsupported runtime backend');
   return HaskellSession.create(compiler);
 }