Struct InputLedger 

pub struct InputLedger { /* private fields */ }

In-memory ledger tracking InputState for all inputs.

Implementations

impl InputLedger

pub fn new() -> Self

Create a new empty ledger.

pub fn accept(&mut self, state: InputState)

Accept a new InputState into the ledger.

pub fn recover(&mut self, state: InputState) -> bool

Recover an InputState after generated recovery authority retained it.

Recovery retention and idempotency ownership live in the generated MeerkatMachine recovery/admission path, not in the ledger. Returns true if the state was inserted.

pub fn get(&self, input_id: &InputId) -> Option<&InputState>

Get the state of a specific input.

pub fn remove(&mut self, input_id: &InputId) -> Option<InputState>

Remove an input from the ledger.

pub fn get_mut(&mut self, input_id: &InputId) -> Option<&mut InputState>

Get mutable reference to the state of a specific input.

pub fn iter(&self) -> impl Iterator<Item = (&InputId, &InputState)>

Iterate over all input states. “Active” (non-terminal) filtering must happen at the driver level, which has DSL access; the ledger by itself carries only shell metadata.

pub fn len(&self) -> usize

Number of entries in the ledger.

pub fn is_empty(&self) -> bool

Check if the ledger is empty.

Trait Implementations

impl Clone for InputLedger

fn clone(&self) -> InputLedger

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InputLedger

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

Formats the value using the given formatter.

impl Default for InputLedger

fn default() -> InputLedger

Returns the “default value” for a type.