pub struct Workspace { /* private fields */ }Expand description
§SSS: Workspace — The self-contained session manager. “設計図、製造履歴、意図。そのすべてを一つの宇宙に閉じ込める。”
Implementations§
Source§impl Workspace
impl Workspace
pub fn open(root: impl Into<PathBuf>) -> Result<Self, HostError>
Sourcepub fn save(&self) -> Result<(), HostError>
pub fn save(&self) -> Result<(), HostError>
Performs an atomic save of the entire forensic record using CAS.
pub fn calculate_root_hash(&self) -> Result<Hash, HostError>
pub fn graph(&self) -> &Graph
pub fn graph_mut(&mut self) -> &mut Graph
pub fn intent_state(&self) -> &IntentState
pub fn root(&self) -> &Path
pub fn apply_patch(&mut self, patch: Patch) -> Result<(), HostError>
Sourcepub fn audit(&self) -> Result<AuditReport, HostError>
pub fn audit(&self) -> Result<AuditReport, HostError>
Audits the forensic integrity of the workspace.
Auto Trait Implementations§
impl Freeze for Workspace
impl RefUnwindSafe for Workspace
impl Send for Workspace
impl Sync for Workspace
impl Unpin for Workspace
impl UnsafeUnpin for Workspace
impl UnwindSafe for Workspace
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.