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 auth;
11mod automation;
12mod event;
13mod model;
14
15pub use api::{
16    AddWorkspaceBody, AgentInputBody, Capabilities, GapSignal, MAX_USAGE_WINDOW_DAYS,
17    OutcomeCounts, RespawnedResponse, SetConfigBody, SpawnBody, SpawnedResponse, UsageBucket,
18    UsageGroup, UsageReport, WorkspaceSummary,
19};
20pub use auth::{Scope, SessionInfo, SignInBody};
21pub use automation::{
22    Automation, AutomationRun, CreateAutomationBody, CreatedAutomationResponse, FiredResponse,
23    RunSource, SetEnabledBody, SpawnTemplate, Trigger,
24};
25pub use event::{EventKind, FleetEvent, OutputStream, stream_key_for};
26pub use model::{
27    Agent, AgentId, AgentStatus, CredentialsRef, FleetSnapshot, IsolationConfig, PermissionPosture,
28    ProviderInfo, ProviderSpec, Readiness, RepoProviderConfig, Source, Workspace, WorkspaceConfig,
29    WorkspaceHealth, WorkspaceInfo, WorkspaceSourceSpec, WorkspaceStatusInfo,
30};