Struct snarkvm_compiler::ProgramStore

source · [−]

pub struct ProgramStore<N: Network, P: ProgramStorage<N>> { /* private fields */ }

Expand description

The program store.

Implementations

source

impl<N: Network, P: ProgramStorage<N>> ProgramStore<N, P>

source

pub fn open() -> Result<Self>

Initializes the program store.

source

pub fn from(storage: P) -> Self

Initializes a program store from storage.

source

pub fn initialize_mapping(
 &self,
 program_id: &ProgramID<N>,
 mapping_name: &Identifier<N>
) -> Result<()>

Initializes the given program ID and mapping name in storage.

source

pub fn insert_key_value(
 &self,
 program_id: &ProgramID<N>,
 mapping_name: &Identifier<N>,
 key: Plaintext<N>,
 value: Value<N>
) -> Result<()>

Stores the given (key, value) pair at the given program ID and mapping name in storage. If the key already exists, the method returns an error.

source

pub fn update_key_value(
 &self,
 program_id: &ProgramID<N>,
 mapping_name: &Identifier<N>,
 key: Plaintext<N>,
 value: Value<N>
) -> Result<()>

Stores the given (key, value) pair at the given program ID and mapping name in storage. If the key does not exist, the (key, value) pair is initialized. If the key already exists, the value is overwritten.

source

pub fn remove_key_value(
 &self,
 program_id: &ProgramID<N>,
 mapping_name: &Identifier<N>,
 key: &Plaintext<N>
) -> Result<()>

Removes the key-value pair for the given program ID, mapping name, and key from storage.

source

pub fn remove_mapping(
 &self,
 program_id: &ProgramID<N>,
 mapping_name: &Identifier<N>
) -> Result<()>

Removes the mapping for the given program ID and mapping name from storage, along with all associated key-value pairs in storage.

source

pub fn remove_program(&self, program_id: &ProgramID<N>) -> Result<()>

Removes the program for the given program ID from storage, along with all associated mappings and key-value pairs in storage.

source

pub fn start_atomic(&self)

Starts an atomic batch write operation.

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

impl<N: Network, P: ProgramStorage<N>> ProgramStore<N, P>

source

pub fn contains_program(&self, program_id: &ProgramID<N>) -> Result<bool>

Returns true if the given program ID exist.

source

pub fn contains_mapping(
 &self,
 program_id: &ProgramID<N>,
 mapping_name: &Identifier<N>
) -> Result<bool>

Returns true if the given program ID and mapping name exist.

source

pub fn contains_key(
 &self,
 program_id: &ProgramID<N>,
 mapping_name: &Identifier<N>,
 key: &Plaintext<N>
) -> Result<bool>

Returns true if the given program ID, mapping name, and key exist.

source

impl<N: Network, P: ProgramStorage<N>> ProgramStore<N, P>

source

pub fn get_mapping_names(
&self,
program_id: &ProgramID<N>
) -> Result<Option<IndexSet<Identifier<N>>>>

Returns the mapping names for the given program ID.

source

pub fn get_value(
 &self,
 program_id: &ProgramID<N>,
 mapping_name: &Identifier<N>,
 key: &Plaintext<N>
) -> Result<Option<Value<N>>>

Returns the value for the given program ID, mapping name, and key.

Trait Implementations

source

impl<N: Clone + Network, P: Clone + ProgramStorage<N>> Clone for ProgramStore<N, P>

source

fn clone(&self) -> ProgramStore<N, P>

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

impl<N, P> RefUnwindSafe for ProgramStore<N, P> where
N: RefUnwindSafe,
P: RefUnwindSafe,

impl<N, P> Send for ProgramStore<N, P> where
P: Send,

impl<N, P> Sync for ProgramStore<N, P>

impl<N, P> Unpin for ProgramStore<N, P> where
N: Unpin,
P: Unpin,

impl<N, P> UnwindSafe for ProgramStore<N, P> where
N: UnwindSafe,
P: UnwindSafe,

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,

const: unstable · source

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

source

impl<T> BorrowMut<T> for T where
T: ?Sized,

const: unstable · source

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

source

impl<T> From<T> for T

const: unstable · source

fn from(t: T) -> T

Returns the argument unchanged.

source

impl<T> Instrument for T

source

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

source

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

source

impl<T, U> Into for T where
U: From<T>,

const: unstable · 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.

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.

type Init = T

The type for initializers.

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

Initializes a with the given initializer. Read more

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

Dereferences the given pointer. Read more

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

Mutably dereferences the given pointer. Read more

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more

source

impl<T> Same<T> for T

type Output = T

Should always be Self

source

impl<T> ToOwned for T where
T: Clone,

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 for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

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

fn vzip(self) -> V

source

impl<T> WithSubscriber for T

source

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

source

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more

Struct snarkvm_compiler::ProgramStore

Implementations

impl<N: Network, P: ProgramStorage<N>> ProgramStore<N, P>

pub fn open() -> Result<Self>

pub fn from(storage: P) -> Self

pub fn initialize_mapping( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N>) -> Result<()>

pub fn insert_key_value( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N>, key: Plaintext<N>, value: Value<N>) -> Result<()>

pub fn update_key_value( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N>, key: Plaintext<N>, value: Value<N>) -> Result<()>

pub fn remove_key_value( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N>, key: &Plaintext<N>) -> Result<()>

pub fn remove_mapping( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N>) -> Result<()>

pub fn remove_program(&self, program_id: &ProgramID<N>) -> Result<()>

pub fn start_atomic(&self)

pub fn abort_atomic(&self)

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

impl<N: Network, P: ProgramStorage<N>> ProgramStore<N, P>

pub fn contains_program(&self, program_id: &ProgramID<N>) -> Result<bool>

pub fn contains_mapping( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N>) -> Result<bool>

pub fn contains_key( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N>, key: &Plaintext<N>) -> Result<bool>

impl<N: Network, P: ProgramStorage<N>> ProgramStore<N, P>

pub fn get_mapping_names( &self, program_id: &ProgramID<N>) -> Result<Option<IndexSet<Identifier<N>>>>

pub fn get_value( &self, program_id: &ProgramID<N>, mapping_name: &Identifier<N>, key: &Plaintext<N>) -> Result<Option<Value<N>>>

Trait Implementations

impl<N: Clone + Network, P: Clone + ProgramStorage<N>> Clone for ProgramStore<N, P>

fn clone(&self) -> ProgramStore<N, P>

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

Auto Trait Implementations

impl<N, P> RefUnwindSafe for ProgramStore<N, P> where N: RefUnwindSafe, P: RefUnwindSafe,

impl<N, P> Send for ProgramStore<N, P> where P: Send,

impl<N, P> Sync for ProgramStore<N, P>

impl<N, P> Unpin for ProgramStore<N, P> where N: Unpin, P: Unpin,

impl<N, P> UnwindSafe for ProgramStore<N, P> where N: UnwindSafe, P: UnwindSafe,

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

impl<T, U> Into<U> for T where U: From<T>,

fn into(self) -> U

impl<T> Pointable for T

const ALIGN: usize = mem::align_of::<T>()

type Init = T

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

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

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

unsafe fn drop(ptr: usize)

impl<T> Same<T> for T

type Output = T

impl<T> ToOwned for T where T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

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

fn vzip(self) -> V

impl<T> WithSubscriber for T

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where S: Into<Dispatch>,

fn with_current_subscriber(self) -> WithDispatch<Self>

pub fn initialize_mapping(
&self,
program_id: &ProgramID<N>,
mapping_name: &Identifier<N>
) -> Result<()>

pub fn insert_key_value(
&self,
program_id: &ProgramID<N>,
mapping_name: &Identifier<N>,
key: Plaintext<N>,
value: Value<N>
) -> Result<()>

pub fn update_key_value(
&self,
program_id: &ProgramID<N>,
mapping_name: &Identifier<N>,
key: Plaintext<N>,
value: Value<N>
) -> Result<()>

pub fn remove_key_value(
&self,
program_id: &ProgramID<N>,
mapping_name: &Identifier<N>,
key: &Plaintext<N>
) -> Result<()>

pub fn remove_mapping(
&self,
program_id: &ProgramID<N>,
mapping_name: &Identifier<N>
) -> Result<()>

pub fn contains_mapping(
&self,
program_id: &ProgramID<N>,
mapping_name: &Identifier<N>
) -> Result<bool>

pub fn contains_key(
&self,
program_id: &ProgramID<N>,
mapping_name: &Identifier<N>,
key: &Plaintext<N>
) -> Result<bool>

pub fn get_mapping_names(
&self,
program_id: &ProgramID<N>
) -> Result<Option<IndexSet<Identifier<N>>>>

pub fn get_value(
&self,
program_id: &ProgramID<N>,
mapping_name: &Identifier<N>,
key: &Plaintext<N>
) -> Result<Option<Value<N>>>

impl<N, P> RefUnwindSafe for ProgramStore<N, P> where
N: RefUnwindSafe,
P: RefUnwindSafe,

impl<N, P> Send for ProgramStore<N, P> where
P: Send,

impl<N, P> Unpin for ProgramStore<N, P> where
N: Unpin,
P: Unpin,

impl<N, P> UnwindSafe for ProgramStore<N, P> where
N: UnwindSafe,
P: UnwindSafe,

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,

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

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> where
S: Into<Dispatch>,