Struct snarkvm_circuit::helpers::circuit_type::Constant

pub struct Constant<T>(_)
where
    T: Eject;

Wrapper struct for circuits whose mode is constant.

Implementations

impl<T> Constant<T>where
    T: Eject,

pub fn new(circuit: T) -> Constant<T>

Initializes a new Constant. Ensures that Constant cannot be initialized if the input circuit is not constant.

Trait Implementations

impl<T> Clone for Constant<T>where
    T: Clone + Eject,

fn clone(&self) -> Constant<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T> Debug for Constant<T>where
    T: Debug + Eject,

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

Formats the value using the given formatter.

impl<T> Eject for Constant<T>where
    T: Eject,

type Primitive = <T as Eject>::Primitive

fn eject_mode(&self) -> Mode

Ejects the mode of the circuit type.

fn eject_value(&self) -> <Constant<T> as Eject>::Primitive

Ejects the circuit type as a primitive value.

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.