snarkvm_ledger_store

Struct InputStore

Source
pub struct InputStore<N: Network, I: InputStorage<N>> { /* private fields */ }
Expand description

The transition input store.

Implementations§

Source§

impl<N: Network, I: InputStorage<N>> InputStore<N, I>

Source

pub fn open<S: Clone + Into<StorageMode>>(storage: S) -> Result<Self>

Initializes the transition input store.

Source

pub fn from(storage: I) -> Self

Initializes a transition input store from storage.

Source

pub fn insert( &self, transition_id: N::TransitionID, inputs: &[Input<N>], ) -> Result<()>

Stores the given (transition ID, input) pair into storage.

Source

pub fn remove(&self, transition_id: &N::TransitionID) -> Result<()>

Removes the input for the given transition ID.

Source

pub fn start_atomic(&self)

Starts an atomic batch write operation.

Source

pub fn is_atomic_in_progress(&self) -> bool

Checks if an atomic batch is in progress.

Source

pub fn atomic_checkpoint(&self)

Checkpoints the atomic batch.

Source

pub fn clear_latest_checkpoint(&self)

Clears the latest atomic batch checkpoint.

Source

pub fn atomic_rewind(&self)

Rewinds the atomic batch to the previous checkpoint.

Source

pub fn abort_atomic(&self)

Aborts an atomic batch write operation.

Source

pub fn finish_atomic(&self) -> Result<()>

Finishes an atomic batch write operation.

Source

pub fn storage_mode(&self) -> &StorageMode

Returns the storage mode.

Source§

impl<N: Network, I: InputStorage<N>> InputStore<N, I>

Source

pub fn get_input_ids( &self, transition_id: &N::TransitionID, ) -> Result<Vec<Field<N>>>

Returns the input IDs for the given transition ID.

Source

pub fn get_inputs( &self, transition_id: &N::TransitionID, ) -> Result<Vec<Input<N>>>

Returns the inputs for the given transition ID.

Source§

impl<N: Network, I: InputStorage<N>> InputStore<N, I>

Source

pub fn find_transition_id( &self, input_id: &Field<N>, ) -> Result<Option<N::TransitionID>>

Returns the transition ID that contains the given input ID.

Source§

impl<N: Network, I: InputStorage<N>> InputStore<N, I>

Source

pub fn contains_input_id(&self, input_id: &Field<N>) -> Result<bool>

Returns true if the given input ID exists.

Source

pub fn contains_serial_number(&self, serial_number: &Field<N>) -> Result<bool>

Returns true if the given serial number exists.

Source

pub fn contains_tag(&self, tag: &Field<N>) -> Result<bool>

Returns true if the given tag exists.

Source§

impl<N: Network, I: InputStorage<N>> InputStore<N, I>

Source

pub fn input_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the input IDs, for all transition inputs.

Source

pub fn constant_input_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the constant input IDs, for all transition inputs that are constant.

Source

pub fn public_input_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the public input IDs, for all transition inputs that are public.

Source

pub fn private_input_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the private input IDs, for all transition inputs that are private.

Source

pub fn serial_numbers(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the serial numbers, for all transition inputs that are records.

Source

pub fn external_input_ids(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the external record input IDs, for all transition inputs that are external records.

Source§

impl<N: Network, I: InputStorage<N>> InputStore<N, I>

Source

pub fn constant_inputs( &self, ) -> impl '_ + Iterator<Item = Cow<'_, Plaintext<N>>>

Returns an iterator over the constant inputs, for all transitions.

Source

pub fn public_inputs(&self) -> impl '_ + Iterator<Item = Cow<'_, Plaintext<N>>>

Returns an iterator over the constant inputs, for all transitions.

Source

pub fn private_inputs( &self, ) -> impl '_ + Iterator<Item = Cow<'_, Ciphertext<N>>>

Returns an iterator over the private inputs, for all transitions.

Source

pub fn tags(&self) -> impl '_ + Iterator<Item = Cow<'_, Field<N>>>

Returns an iterator over the tags, for all transition inputs that are records.

Trait Implementations§

Source§

impl<N: Clone + Network, I: Clone + InputStorage<N>> Clone for InputStore<N, I>

Source§

fn clone(&self) -> InputStore<N, I>

Returns a copy of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. 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, dst: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
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> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize = _

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
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.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V