Struct snarkvm_circuit_program::ProgramID

pub struct ProgramID<A: Aleo> { /* private fields */ }

A program ID is of the form {name}.{network}. If no network-level domain is specified, the default network is used.

Implementations

impl<A: Aleo> ProgramID<A>

pub fn to_address(&self) -> Address<A>

Returns the program address for this program ID.

impl<A: Aleo> ProgramID<A>

pub const fn name(&self) -> &Identifier<A>

Returns the program name.

pub const fn network(&self) -> &Identifier<A>

Returns the network-level domain (NLD).

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

fn eject_mode(&self) -> Mode

Ejects the mode of the program ID.

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

Ejects a program ID into a primitive.

type Primitive = ProgramID<<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> Inject for ProgramID<A>

fn new(_: Mode, id: Self::Primitive) -> Self

Injects a program ID with the given primitive.

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

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

Initializes a constant of the given primitive value.

impl<A: Aleo> ToBits for &ProgramID<A>

fn to_bits_le(&self) -> Vec<Self::Boolean>

Returns the little-endian bits of the program ID.

fn to_bits_be(&self) -> Vec<Self::Boolean>

Returns the big-endian bits of the program ID.

type Boolean = Boolean<A>

impl<A: Aleo> ToBits for ProgramID<A>

fn to_bits_le(&self) -> Vec<Self::Boolean>

Returns the little-endian bits of the program ID.

fn to_bits_be(&self) -> Vec<Self::Boolean>

Returns the big-endian bits of the program ID.

type Boolean = Boolean<A>

impl<A: Aleo> ToFields for ProgramID<A>

fn to_fields(&self) -> Vec<Self::Field>

Returns this program ID as a list of field elements.

type Field = Field<A>