import { Workspace } from "../../../../meta/core/resources/workspace/workspace.resource";
/** Basic information about a workspace for display in workspace pickers and lists.*/
export interface WorkspaceInfo {
    /** Unique identifier of the workspace */
    id: string;
    /** Display name of the workspace */
    name: string;
}
/**
 * Information about the user's current workspace context and available workspaces.
 */
export interface UserWorkspaceInfo {
    /** Id of the currently selected workspace */
    currentWorkspaceId: string;
    /** List of child workspaces available to the user */
    childWorkspaces: Workspace[];
    /** The user's home (root) workspace */
    homeWorkspace: Workspace;
}
/**
 * Request payload for changing the active workspace.
 */
export interface WorkspaceChangeRequest {
    /** The Id of the workspace to switch to */
    workspaceId: string;
}
/**
 * Aggregated information about all workspaces available to the user.
 */
export interface UserWorkspaces {
    /** The user's home (root) workspace */
    homeWorkspace: Workspace;
    /** List of all child workspaces available to the user */
    childWorkspaces: Workspace[];
    /**  Id of the currently active workspace */
    currentWorkspaceId?: string;
}
