Skip to main content

prospero_types/
lib.rs

1//! Shared, wasm-compatible serde DTOs for the prospero API surface.
2//!
3//! Depends only on `serde`/`serde_json`, so both the native server
4//! (`prospero-core`/`prospero-api`) and the WASM dashboard (prospero #97) can
5//! share these exact types — no client/server drift. Behavior-bearing types
6//! (the fleet manager, stores, k8s backend, …) stay in `prospero-core`, which
7//! re-exports each type here from its original path for source compatibility.
8
9mod api;
10mod event;
11mod model;
12
13pub use api::{
14    AddWorkspaceBody, AgentInputBody, Capabilities, GapSignal, OutcomeCounts, RespawnedResponse,
15    SetConfigBody, SpawnBody, SpawnedResponse, UsageBucket, UsageGroup, UsageReport,
16    WorkspaceSummary,
17};
18pub use event::{EventKind, FleetEvent, OutputStream, stream_key_for};
19pub use model::{
20    Agent, AgentId, AgentStatus, CredentialsRef, FleetSnapshot, IsolationConfig, ProviderInfo,
21    ProviderSpec, Readiness, RepoProviderConfig, Source, Workspace, WorkspaceConfig,
22    WorkspaceHealth, WorkspaceInfo, WorkspaceSourceSpec, WorkspaceStatusInfo,
23};