Struct snarkvm_circuit::ProgramID

pub struct ProgramID<A>where
    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> ProgramID<A>where A: Aleo,

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

Returns the program address for this program ID.

impl<A> ProgramID<A>where A: Aleo,

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 for ProgramID<A>where A: Clone + Aleo,

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> Eject for ProgramID<A>where A: Aleo,

fn eject_mode(&self) -> Mode

Ejects the mode of the program ID.

fn eject_value(&self) -> <ProgramID<A> as Eject>::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> Inject for ProgramID<A>where A: Aleo,

fn new(_: Mode, id: <ProgramID<A> as Inject>::Primitive) -> ProgramID<A>

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> ToBits for &ProgramID<A>where A: Aleo,

fn to_bits_le(&self) -> Vec<<&ProgramID<A> as ToBits>::Boolean, Global>

Returns the little-endian bits of the program ID.

fn to_bits_be(&self) -> Vec<<&ProgramID<A> as ToBits>::Boolean, Global>

Returns the big-endian bits of the program ID.

type Boolean = Boolean<A>

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

fn to_bits_le(&self) -> Vec<<ProgramID<A> as ToBits>::Boolean, Global>

Returns the little-endian bits of the program ID.

fn to_bits_be(&self) -> Vec<<ProgramID<A> as ToBits>::Boolean, Global>

Returns the big-endian bits of the program ID.

type Boolean = Boolean<A>

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

fn to_fields(&self) -> Vec<<ProgramID<A> as ToFields>::Field, Global>

Returns this program ID as a list of field elements.

type Field = Field<A>