Struct SessionRecollection 

pub struct SessionRecollection { /* private fields */ }

What earlier sessions in this scope decided, as one session reads it when it opens.

A rendering, not a copy of the memory. Two rules make it one:

Decisions and constraints first. A session opening has a bound on what it can carry, and what it carries first is what a later session is most likely to act on: what was settled, and what was ruled out. Observations and outcomes follow. Inside each group the order is the order the entries came back in, so a backend that keeps its writes in order stays readable as a sequence.

Bounded, and it says when the bound bit. The rendering stops at the first entry that will not fit and reports itself truncated. An entry too large for the whole budget is dropped rather than cut: half a decision is a sentence that says something else.

Implementations

impl SessionRecollection

pub fn rendered( scope: MemoryScope, recalled: &[MemoryEntry], budget: RecollectionBudget, ) -> Self

Render what a scope holds into what an opening can carry.

pub fn scope(&self) -> &MemoryScope

pub fn entries(&self) -> &[RecalledEntry]

pub const fn completeness(&self) -> RecollectionCompleteness

pub fn is_empty(&self) -> bool

Nothing came back. A session with nothing to recall records nothing, so its stream is the stream it would have had before memory could be read at all.

Trait Implementations

impl Clone for SessionRecollection

fn clone(&self) -> SessionRecollection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SessionRecollection

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SessionRecollection

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SessionRecollection

impl PartialEq for SessionRecollection

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SessionRecollection

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 SessionRecollection