Enum snarkvm_circuit::Value
source · Variants
Plaintext(Plaintext<A>)
A plaintext value.
Record(Record<A, Plaintext<A>>)
A record value.
Implementations
Trait Implementations
sourceimpl<A> Eject for Value<A>where
A: Aleo,
impl<A> Eject for Value<A>where
A: Aleo,
sourcefn eject_mode(&self) -> Mode
fn eject_mode(&self) -> Mode
Ejects the mode of the circuit value.
sourcefn eject_value(&self) -> <Value<A> as Eject>::Primitive
fn eject_value(&self) -> <Value<A> as Eject>::Primitive
Ejects the circuit value.
type Primitive = Value<<A as Environment>::Network>
sourcefn eject(&self) -> (Mode, Self::Primitive)
fn eject(&self) -> (Mode, Self::Primitive)
Ejects the mode and primitive value of the circuit type. Read more
sourcefn is_constant(&self) -> bool
fn is_constant(&self) -> bool
Returns
true
if the circuit is a constant. Read moresourcefn is_private(&self) -> bool
fn is_private(&self) -> bool
Returns
true
if the circuit is a private. Read moresourceimpl<A> Inject for Value<A>where
A: Aleo,
impl<A> Inject for Value<A>where
A: Aleo,
sourceimpl<A> ToBits for Value<A>where
A: Aleo,
impl<A> ToBits for Value<A>where
A: Aleo,
sourcefn to_bits_le(&self) -> Vec<Boolean<A>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
fn to_bits_le(&self) -> Vec<Boolean<A>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
A: Allocator,
Returns the circuit value as a list of little-endian bits.
sourcefn to_bits_be(&self) -> Vec<Boolean<A>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
fn to_bits_be(&self) -> Vec<Boolean<A>, Global>ⓘNotable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
A: Allocator,
A: Allocator,
Returns the circuit value as a list of big-endian bits.
type Boolean = Boolean<A>
Auto Trait Implementations
impl<A> RefUnwindSafe for Value<A>where
<A as Environment>::BaseField: UnwindSafe + RefUnwindSafe,
impl<A> !Send for Value<A>
impl<A> !Sync for Value<A>
impl<A> Unpin for Value<A>where
<A as Environment>::BaseField: Unpin,
impl<A> UnwindSafe for Value<A>where
<A as Environment>::BaseField: UnwindSafe + RefUnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more