Struct PersistentDecisionLog 

pub struct PersistentDecisionLog<T>
where
    T: Clone,
{ /* private fields */ }

Structurally shared append-only decision log.

Cloning this value shares its immutable tree root and its entry payloads. Appending copies only the affected tree path, so boundary rollback and simulation forks do not clone all retained decision attempts or traces.

Implementations

impl<T> PersistentDecisionLog<T>

where T: Clone,

pub fn is_empty(&self) -> bool

pub fn len(&self) -> usize

pub fn get(&self, index: usize) -> Option<&T>

pub fn last(&self) -> Option<&T>

pub fn iter(&self) -> impl DoubleEndedIterator + ExactSizeIterator

pub fn push(&mut self, value: T) -> u64

Appends one value and returns its stable ordinal.

Panics

Panics only after the persistent u64 ordinal space is exhausted.

pub fn get_ordinal(&self, ordinal: u64) -> Option<&T>

pub fn remove_ordinal(&mut self, ordinal: u64) -> Option<T>

pub fn ordinals(&self) -> impl DoubleEndedIterator + ExactSizeIterator

pub const fn next_ordinal(&self) -> u64

Trait Implementations

impl<T> Clone for PersistentDecisionLog<T>

where T: Clone,

fn clone(&self) -> PersistentDecisionLog<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T> Debug for PersistentDecisionLog<T>

where T: Debug + Clone,

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

Formats the value using the given formatter.

impl<T> Default for PersistentDecisionLog<T>

where T: Clone,

fn default() -> PersistentDecisionLog<T>

Returns the “default value” for a type.

impl<'de, T> Deserialize<'de> for PersistentDecisionLog<T>

where T: Clone + Deserialize<'de>,

fn deserialize<__D>( __deserializer: __D, ) -> Result<PersistentDecisionLog<T>, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T> Eq for PersistentDecisionLog<T>

where T: Eq + Clone,

impl<T> Index<usize> for PersistentDecisionLog<T>

where T: Clone,

type Output = T

The returned type after indexing.

fn index( &self, index: usize, ) -> &<PersistentDecisionLog<T> as Index<usize>>::Output

Performs the indexing (container[index]) operation.

impl<'a, T> IntoIterator for &'a PersistentDecisionLog<T>

where T: Clone,

type Item = &'a T

The type of the elements being iterated over.

type IntoIter = PersistentDecisionLogIter<'a, T>

Which kind of iterator are we turning this into?

fn into_iter(self) -> <&'a PersistentDecisionLog<T> as IntoIterator>::IntoIter

Creates an iterator from a value.

impl<T> PartialEq for PersistentDecisionLog<T>

where T: PartialEq + Clone,

fn eq(&self, other: &PersistentDecisionLog<T>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<T> Serialize for PersistentDecisionLog<T>

where T: Clone + Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<T> StructuralPartialEq for PersistentDecisionLog<T>

where T: PartialEq + Clone,