Skip to main content

Workspace

Struct Workspace 

Source
pub struct Workspace {
    pub root: PathBuf,
}
Expand description

A located Aristo workspace.

Fields§

§root: PathBuf

Implementations§

Source§

impl Workspace

Source

pub fn find(start: Option<&Path>) -> Result<Self, WorkspaceError>

Find the workspace by walking upward from start (or cwd if None) looking for an aristo.toml. The first ancestor directory that contains one becomes the workspace root.

Source

pub fn aristo_dir(&self) -> PathBuf

Path to the .aristo/ state directory.

Source

pub fn index_path(&self) -> PathBuf

Path to .aristo/index.toml.

Source

pub fn canon_matches_path(&self) -> PathBuf

Path to .aristo/canon-matches.toml — the per-repo cache of server-side canon match responses (committed by default). See aristo_core::canon::cache for the schema and ../aretta-sdk/docs/mockups/13-canon-and-matching/README.md §L5 for the design.

Source

pub fn specs_dir(&self) -> PathBuf

Path to .aristo/specs/.

Source

pub fn doc_dir(&self) -> PathBuf

Path to .aristo/doc/.

Source

pub fn sessions_dir(&self) -> PathBuf

Path to .aristo/sessions/. Holds the review-session substrate’s local-only state — see docs/decisions/review-sessions.md §D5. Everything under this directory is gitignored.

Source

pub fn sessions_active_pointer(&self) -> PathBuf

Pointer file holding the active session id (if any). Existence implies an active session; missing means none.

Source

pub fn sessions_active_session_dir(&self) -> PathBuf

Per-session TOML state for in-flight sessions.

Source

pub fn sessions_closed_dir(&self) -> PathBuf

Closed-session audit trail.

Source

pub fn sessions_rejections_log(&self) -> PathBuf

Append-only JSONL log of rejected items across all sessions.

Source

pub fn sessions_backlog_dir(&self) -> PathBuf

Per-kind backlog directory (backlog/<kind>.toml).

Source

pub fn config_path(&self) -> PathBuf

Path to aristo.toml.

Source

pub fn load_config(&self) -> ConfigFile

Read + parse aristo.toml. Returns ConfigFile::default() on any failure (missing file, parse error) — the per-command config-driven behaviors all degrade gracefully when their relevant section is absent, so a malformed config shouldn’t break read commands. Callers that need to surface parse errors (aristo lint’s aristo.toml validation in a future slice) should read + parse directly.

Trait Implementations§

Source§

impl Clone for Workspace

Source§

fn clone(&self) -> Workspace

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for Workspace

Source§

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

Formats the value using the given formatter. Read more

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<T> DynClone for T
where T: Clone,

Source§

fn __clone_box(&self, _: Private) -> *mut ()

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> Same for T

Source§

type Output = T

Should always be Self
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.