Skip to main content

AppModel

Struct AppModel 

Source
pub struct AppModel {
    pub active_window: WindowId,
    pub windows: IndexMap<WindowId, WindowRecord>,
    pub workspaces: IndexMap<WorkspaceId, Workspace>,
}

Fields§

§active_window: WindowId§windows: IndexMap<WindowId, WindowRecord>§workspaces: IndexMap<WorkspaceId, Workspace>

Implementations§

Source§

impl AppModel

Source

pub fn new(label: impl Into<String>) -> Self

Source

pub fn demo() -> Self

Source

pub fn active_window(&self) -> Option<&WindowRecord>

Source

pub fn active_workspace_id(&self) -> Option<WorkspaceId>

Source

pub fn active_workspace(&self) -> Option<&Workspace>

Source

pub fn create_workspace(&mut self, label: impl Into<String>) -> WorkspaceId

Source

pub fn rename_workspace( &mut self, workspace_id: WorkspaceId, label: impl Into<String>, ) -> Result<(), DomainError>

Source

pub fn reorder_workspaces( &mut self, window_id: WindowId, new_order: Vec<WorkspaceId>, ) -> Result<(), DomainError>

Source

pub fn switch_workspace( &mut self, window_id: WindowId, workspace_id: WorkspaceId, ) -> Result<(), DomainError>

Source

pub fn create_workspace_window( &mut self, workspace_id: WorkspaceId, direction: Direction, ) -> Result<PaneId, DomainError>

Source

pub fn create_workspace_window_tab( &mut self, workspace_id: WorkspaceId, workspace_window_id: WorkspaceWindowId, ) -> Result<(WorkspaceWindowTabId, PaneId), DomainError>

Source

pub fn create_pane_tab( &mut self, workspace_id: WorkspaceId, pane_container_id: PaneContainerId, kind: PaneKind, ) -> Result<(PaneTabId, PaneId), DomainError>

Source

pub fn focus_pane_tab( &mut self, workspace_id: WorkspaceId, pane_container_id: PaneContainerId, pane_tab_id: PaneTabId, ) -> Result<(), DomainError>

Source

pub fn move_pane_tab( &mut self, workspace_id: WorkspaceId, pane_container_id: PaneContainerId, pane_tab_id: PaneTabId, to_index: usize, ) -> Result<(), DomainError>

Source

pub fn transfer_pane_tab( &mut self, workspace_id: WorkspaceId, source_pane_container_id: PaneContainerId, pane_tab_id: PaneTabId, target_pane_container_id: PaneContainerId, to_index: usize, ) -> Result<(), DomainError>

Source

pub fn close_pane_tab( &mut self, workspace_id: WorkspaceId, pane_container_id: PaneContainerId, pane_tab_id: PaneTabId, ) -> Result<(), DomainError>

Source

pub fn focus_workspace_window_tab( &mut self, workspace_id: WorkspaceId, workspace_window_id: WorkspaceWindowId, workspace_window_tab_id: WorkspaceWindowTabId, ) -> Result<(), DomainError>

Source

pub fn move_workspace_window_tab( &mut self, workspace_id: WorkspaceId, workspace_window_id: WorkspaceWindowId, workspace_window_tab_id: WorkspaceWindowTabId, to_index: usize, ) -> Result<(), DomainError>

Source

pub fn transfer_workspace_window_tab( &mut self, workspace_id: WorkspaceId, source_workspace_window_id: WorkspaceWindowId, workspace_window_tab_id: WorkspaceWindowTabId, target_workspace_window_id: WorkspaceWindowId, to_index: usize, ) -> Result<(), DomainError>

Source

pub fn extract_workspace_window_tab( &mut self, workspace_id: WorkspaceId, source_workspace_window_id: WorkspaceWindowId, workspace_window_tab_id: WorkspaceWindowTabId, target: WorkspaceWindowMoveTarget, ) -> Result<WorkspaceWindowId, DomainError>

Source

pub fn close_workspace_window_tab( &mut self, workspace_id: WorkspaceId, workspace_window_id: WorkspaceWindowId, workspace_window_tab_id: WorkspaceWindowTabId, ) -> Result<(), DomainError>

Source

pub fn split_pane( &mut self, workspace_id: WorkspaceId, target_pane: Option<PaneId>, axis: SplitAxis, ) -> Result<PaneId, DomainError>

Source

pub fn split_pane_direction( &mut self, workspace_id: WorkspaceId, target_pane: Option<PaneId>, direction: Direction, ) -> Result<PaneId, DomainError>

Source

pub fn focus_workspace_window( &mut self, workspace_id: WorkspaceId, workspace_window_id: WorkspaceWindowId, ) -> Result<(), DomainError>

Source

pub fn focus_pane( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, ) -> Result<(), DomainError>

Source

pub fn acknowledge_pane_notifications( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, ) -> Result<(), DomainError>

Source

pub fn mark_surface_completed( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, surface_id: SurfaceId, ) -> Result<(), DomainError>

Source

pub fn focus_pane_direction( &mut self, workspace_id: WorkspaceId, direction: Direction, ) -> Result<(), DomainError>

Source

pub fn move_workspace_window( &mut self, workspace_id: WorkspaceId, workspace_window_id: WorkspaceWindowId, target: WorkspaceWindowMoveTarget, ) -> Result<(), DomainError>

Source

pub fn resize_active_window( &mut self, workspace_id: WorkspaceId, direction: Direction, amount: i32, ) -> Result<(), DomainError>

Source

pub fn resize_active_pane_split( &mut self, workspace_id: WorkspaceId, direction: Direction, amount: i32, ) -> Result<(), DomainError>

Source

pub fn set_workspace_column_width( &mut self, workspace_id: WorkspaceId, workspace_column_id: WorkspaceColumnId, width: i32, ) -> Result<(), DomainError>

Source

pub fn set_workspace_window_height( &mut self, workspace_id: WorkspaceId, workspace_window_id: WorkspaceWindowId, height: i32, ) -> Result<(), DomainError>

Source

pub fn set_window_split_ratio( &mut self, workspace_id: WorkspaceId, workspace_window_id: WorkspaceWindowId, path: &[bool], ratio: u16, ) -> Result<(), DomainError>

Source

pub fn set_pane_tab_split_ratio( &mut self, workspace_id: WorkspaceId, pane_container_id: PaneContainerId, pane_tab_id: PaneTabId, path: &[bool], ratio: u16, ) -> Result<(), DomainError>

Source

pub fn set_workspace_viewport( &mut self, workspace_id: WorkspaceId, viewport: WorkspaceViewport, ) -> Result<(), DomainError>

Source

pub fn update_pane_metadata( &mut self, pane_id: PaneId, patch: PaneMetadataPatch, ) -> Result<(), DomainError>

Source

pub fn update_surface_metadata( &mut self, surface_id: SurfaceId, patch: PaneMetadataPatch, ) -> Result<(), DomainError>

Source

pub fn apply_signal( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, event: SignalEvent, ) -> Result<(), DomainError>

Source

pub fn apply_surface_signal( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, surface_id: SurfaceId, event: SignalEvent, ) -> Result<(), DomainError>

Source

pub fn create_surface( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, kind: PaneKind, ) -> Result<SurfaceId, DomainError>

Source

pub fn focus_surface( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, surface_id: SurfaceId, ) -> Result<(), DomainError>

Source

pub fn set_workspace_status( &mut self, workspace_id: WorkspaceId, text: String, ) -> Result<(), DomainError>

Source

pub fn clear_workspace_status( &mut self, workspace_id: WorkspaceId, ) -> Result<(), DomainError>

Source

pub fn set_workspace_progress( &mut self, workspace_id: WorkspaceId, progress: ProgressState, ) -> Result<(), DomainError>

Source

pub fn clear_workspace_progress( &mut self, workspace_id: WorkspaceId, ) -> Result<(), DomainError>

Source

pub fn append_workspace_log( &mut self, workspace_id: WorkspaceId, entry: WorkspaceLogEntry, ) -> Result<(), DomainError>

Source

pub fn clear_workspace_log( &mut self, workspace_id: WorkspaceId, ) -> Result<(), DomainError>

Source

pub fn create_agent_notification( &mut self, target: AgentTarget, kind: SignalKind, title: Option<String>, subtitle: Option<String>, external_id: Option<String>, message: String, state: AttentionState, ) -> Result<(), DomainError>

Source

pub fn clear_agent_notifications( &mut self, target: AgentTarget, ) -> Result<(), DomainError>

Source

pub fn start_surface_agent_session( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, surface_id: SurfaceId, agent_kind: String, ) -> Result<(), DomainError>

Source

pub fn stop_surface_agent_session( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, surface_id: SurfaceId, exit_status: i32, ) -> Result<(), DomainError>

Source

pub fn dismiss_surface_alert( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, surface_id: SurfaceId, ) -> Result<(), DomainError>

Source

pub fn recover_interrupted_agent_resumes(&mut self) -> usize

Source

pub fn recover_interrupted_agent_resumes_for_missing_sessions<F>( &mut self, session_exists: F, ) -> usize
where F: Fn(SessionId) -> bool,

Source

pub fn dismiss_interrupted_agent_resume( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, surface_id: SurfaceId, ) -> Result<(), DomainError>

Source

pub fn clear_notification( &mut self, notification_id: NotificationId, ) -> Result<(), DomainError>

Source

pub fn mark_notification_delivery( &mut self, notification_id: NotificationId, delivery: NotificationDeliveryState, ) -> Result<(), DomainError>

Source

pub fn trigger_surface_flash( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, surface_id: SurfaceId, ) -> Result<(), DomainError>

Source

pub fn focus_latest_unread( &mut self, window_id: WindowId, ) -> Result<bool, DomainError>

Source

pub fn open_notification( &mut self, window_id: WindowId, notification_id: NotificationId, ) -> Result<(), DomainError>

Source

pub fn close_surface( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, surface_id: SurfaceId, ) -> Result<(), DomainError>

Source

pub fn move_surface( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, surface_id: SurfaceId, to_index: usize, ) -> Result<(), DomainError>

Source

pub fn transfer_surface( &mut self, source_workspace_id: WorkspaceId, source_pane_id: PaneId, surface_id: SurfaceId, target_workspace_id: WorkspaceId, target_pane_id: PaneId, to_index: usize, ) -> Result<(), DomainError>

Source

pub fn move_surface_to_split( &mut self, source_workspace_id: WorkspaceId, source_pane_id: PaneId, surface_id: SurfaceId, target_workspace_id: WorkspaceId, target_pane_id: PaneId, direction: Direction, ) -> Result<PaneId, DomainError>

Source

pub fn move_surface_to_workspace( &mut self, source_workspace_id: WorkspaceId, source_pane_id: PaneId, surface_id: SurfaceId, target_workspace_id: WorkspaceId, ) -> Result<PaneId, DomainError>

Source

pub fn close_pane( &mut self, workspace_id: WorkspaceId, pane_id: PaneId, ) -> Result<(), DomainError>

Source

pub fn close_workspace( &mut self, workspace_id: WorkspaceId, ) -> Result<(), DomainError>

Source

pub fn workspace_summaries( &self, window_id: WindowId, ) -> Result<Vec<WorkspaceSummary>, DomainError>

Source

pub fn activity_items(&self) -> Vec<ActivityItem>

Source

pub fn snapshot(&self) -> PersistedSession

Trait Implementations§

Source§

impl Clone for AppModel

Source§

fn clone(&self) -> AppModel

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for AppModel

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl<'de> Deserialize<'de> for AppModel

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl PartialEq for AppModel

Source§

fn eq(&self, other: &AppModel) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Serialize for AppModel

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
Source§

impl Eq for AppModel

Source§

impl StructuralPartialEq for AppModel

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

Source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,