MingaEditor.State.Workspace.Agent (Minga v0.1.0)

Copy Markdown View Source

Agent-workspace payload.

Summary

Types

t()

Types

t()

@type t() :: %MingaEditor.State.Workspace.Agent{
  agent_status: MingaEditor.State.Workspace.agent_status(),
  agent_ui: MingaEditor.Agent.UIState.t() | nil,
  pending_catchup_events: [MingaAgent.EventLog.EventRecord.t()],
  project_view: MingaAgent.ProjectView.t() | nil,
  remote_session: MingaEditor.State.Workspace.RemoteSession.t() | nil,
  session: pid() | nil
}