Struct SessionLine 

pub struct SessionLine {
    pub began: Seq,
    pub start: SessionStart,
    pub runs: u64,
    pub last: Seq,
    pub at: TimeMs,
    pub name: Option<String>,
    pub model: Option<String>,
    pub effort: Option<Effort>,
    pub workspace: Option<String>,
    pub preview: Option<String>,
}

One stretch of a room, each field read off a line the Ledger files under the room’s address.

Fields

began: Seq

The stretch’s first line: its session_opened, or the room’s first run_started when dispatching opened the room.

start: SessionStart

runs: u64

The runs started in this stretch.

last: Seq

The last line of this stretch filed under the room’s address, and its time: the room’s slice ends there (crates/storage/Spec.lean §8-24).

at: TimeMs

name: Option<String>

The name the last session_named for this stretch gave it; None when it has none, and a page shows the room’s address.

model: Option<String>

The model the stretch’s last run called.

effort: Option<Effort>

The effort the stretch’s last run froze; None when it left the provider to choose, and on lines written before the key existed.

workspace: Option<String>

The worktree the stretch’s last run was lent.

preview: Option<String>

The start of the stretch’s last reply, at most SESSION_PREVIEW_MAX characters.

Trait Implementations

impl Clone for SessionLine

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SessionLine

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SessionLine

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SessionLine

impl PartialEq for SessionLine

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SessionLine

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SessionLine