pub enum Command<N: Network> {
Instruction(Instruction<N>),
Await(Await<N>),
Contains(Contains<N>),
Get(Get<N>),
GetOrUse(GetOrUse<N>),
RandChaCha(RandChaCha<N>),
Remove(Remove<N>),
Set(Set<N>),
BranchEq(BranchEq<N>),
BranchNeq(BranchNeq<N>),
Position(Position<N>),
}
Variants§
Instruction(Instruction<N>)
Evaluates the instruction.
Await(Await<N>)
Awaits the result of a future.
Contains(Contains<N>)
Returns true if the key
operand is present in mapping
, and stores the result into destination
.
Get(Get<N>)
Gets the value stored at the key
operand in mapping
and stores the result into destination
.
GetOrUse(GetOrUse<N>)
Gets the value stored at the key
operand in mapping
and stores the result into destination
.
If the key is not present, default
is stored destination
.
RandChaCha(RandChaCha<N>)
Generates a random value using the rand.chacha
command and stores the result into destination
.
Remove(Remove<N>)
Removes the (key
, value
) entry from the mapping
.
Set(Set<N>)
Sets the value stored at the key
operand in the mapping
to value
.
BranchEq(BranchEq<N>)
Jumps to the position
, if first
equals second
.
BranchNeq(BranchNeq<N>)
Jumps to the position
, if first
does not equal second
.
Position(Position<N>)
Indicates a position to which the program can branch to.
Implementations§
Source§impl<N: Network> Command<N>
impl<N: Network> Command<N>
Sourcepub fn finalize(
&self,
stack: &(impl StackMatches<N> + StackProgram<N>),
store: &impl FinalizeStoreTrait<N>,
registers: &mut (impl RegistersLoad<N> + RegistersStore<N> + FinalizeRegistersState<N>),
) -> Result<Option<FinalizeOperation<N>>>
pub fn finalize( &self, stack: &(impl StackMatches<N> + StackProgram<N>), store: &impl FinalizeStoreTrait<N>, registers: &mut (impl RegistersLoad<N> + RegistersStore<N> + FinalizeRegistersState<N>), ) -> Result<Option<FinalizeOperation<N>>>
Finalizes the command.
Trait Implementations§
Source§impl<N: Network> CommandTrait<N> for Command<N>
impl<N: Network> CommandTrait<N> for Command<N>
Source§fn destinations(&self) -> Vec<Register<N>>
fn destinations(&self) -> Vec<Register<N>>
Returns the destination registers of the command.
Source§fn branch_to(&self) -> Option<&Identifier<N>>
fn branch_to(&self) -> Option<&Identifier<N>>
Returns the branch target, if the command is a branch command.
Otherwise, returns None
.
Source§fn position(&self) -> Option<&Identifier<N>>
fn position(&self) -> Option<&Identifier<N>>
Returns the position name, if the command is a position command.
Otherwise, returns None
.
Source§fn is_cast_to_record(&self) -> bool
fn is_cast_to_record(&self) -> bool
Returns true
if the command is a cast to record instruction.
Source§impl<N: Network> Parser for Command<N>
impl<N: Network> Parser for Command<N>
Source§fn parse(string: &str) -> ParserResult<'_, Self>
fn parse(string: &str) -> ParserResult<'_, Self>
Parses the string into the command.
impl<N: Eq + Network> Eq for Command<N>
impl<N: Network> StructuralPartialEq for Command<N>
Auto Trait Implementations§
impl<N> Freeze for Command<N>where
<N as Environment>::Field: Freeze,
<N as Environment>::Projective: Freeze,
<N as Environment>::Scalar: Freeze,
impl<N> RefUnwindSafe for Command<N>where
<N as Environment>::Field: RefUnwindSafe,
<N as Environment>::Projective: RefUnwindSafe,
<N as Environment>::Scalar: RefUnwindSafe,
N: RefUnwindSafe,
impl<N> Send for Command<N>
impl<N> Sync for Command<N>
impl<N> Unpin for Command<N>where
<N as Environment>::Field: Unpin,
<N as Environment>::Projective: Unpin,
<N as Environment>::Scalar: Unpin,
N: Unpin,
impl<N> UnwindSafe for Command<N>where
<N as Environment>::Field: UnwindSafe,
<N as Environment>::Projective: UnwindSafe,
<N as Environment>::Scalar: UnwindSafe,
N: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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