Enum snarkvm_circuit_program::Access

pub enum Access<A: Aleo> {
    Member(Identifier<A>),
    Index(U32<A>),
}

A helper type for accessing an entry in a register, struct, array, or record.

Variants

Member(Identifier<A>)

Access a member of a register, struct, or record.

Index(U32<A>)

Access an element of an array.

Trait Implementations

impl<A: Clone + Aleo> Clone for Access<A>

fn clone(&self) -> Access<A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Aleo> Debug for Access<A>

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

Formats the value using the given formatter.

impl<A: Aleo> Display for Access<A>

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

Prints the identifier as a string.

impl<A: Aleo> Eject for Access<A>

fn eject_mode(&self) -> Mode

Ejects the mode of the access.

fn eject_value(&self) -> Self::Primitive

Ejects the access.

type Primitive = Access<<A as Environment>::Network>

fn eject(&self) -> (Mode, Self::Primitive)

Ejects the mode and primitive value of the circuit type.

fn is_constant(&self) -> bool

Returns true if the circuit is a constant.

fn is_public(&self) -> bool

Returns true if the circuit is a public.

fn is_private(&self) -> bool

Returns true if the circuit is a private.

impl<A: Aleo> FromStr for Access<A>

fn from_str(string: &str) -> Result<Self>

Parses a UTF-8 string into an identifier.

type Err = Error

The associated error which can be returned from parsing.

impl<A: Aleo> Inject for Access<A>

fn new(_m: Mode, plaintext: Self::Primitive) -> Self

Initializes a new access circuit from a primitive. Note: Access types are always Mode::Constant.

type Primitive = Access<<A as Environment>::Network>

fn constant(value: Self::Primitive) -> Selfwhere Self: Sized,

Initializes a constant of the given primitive value.

impl<A: Aleo> Parser for Access<A>

fn parse(string: &str) -> ParserResult<'_, Self>

Parses a UTF-8 string into an access.

impl<A: Aleo> PartialEq for Access<A>

fn eq(&self, other: &Self) -> bool

Implements the Eq trait for the access.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<A: Aleo> Eq for Access<A>