Struct Value

pub struct Value {
    pub amount: Amount,
    pub asset_id: Id,
}

Fields

amount: Amount

asset_id: Id

Implementations

impl Value

pub fn commit(&self, blinding: Fr) -> Commitment

impl Value

pub fn view_with_denom(&self, denom: Metadata) -> Result<ValueView>

Convert this Value into a ValueView with the given Denom.

pub fn view_with_cache(&self, cache: &Cache) -> ValueView

Convert this Value into a ValueView using the given Cache

impl Value

pub fn format(&self, cache: &Cache) -> String

Use the provided Cache to format this value.

Returns the amount in terms of the asset ID if the denomination is not known.

Trait Implementations

impl Add<Value> for Balance

type Output = Balance

The resulting type after applying the + operator.

fn add(self, value: Value) -> Self::Output

Performs the + operation.

impl AddAssign<Value> for Balance

fn add_assign(&mut self, other: Value)

Performs the += operation.

impl AllocVar<Value, Fq> for ValueVar

fn new_variable<T: Borrow<Value>>( cs: impl Into<Namespace<Fq>>, f: impl FnOnce() -> Result<T, SynthesisError>, mode: AllocationMode, ) -> Result<Self, SynthesisError>

Allocates a new variable of type Self in the ConstraintSystem cs. The mode of allocation is decided by mode.

fn new_constant( cs: impl Into<Namespace<F>>, t: impl Borrow<V>, ) -> Result<Self, SynthesisError>

Allocates a new constant of type Self in the ConstraintSystem cs.

fn new_input<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new public input of type Self in the ConstraintSystem cs.

fn new_witness<T>( cs: impl Into<Namespace<F>>, f: impl FnOnce() -> Result<T, SynthesisError>, ) -> Result<Self, SynthesisError>

where T: Borrow<V>,

Allocates a new private witness of type Self in the ConstraintSystem cs.

impl Clone for Value

fn clone(&self) -> Value

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Value

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl DomainType for Value

type Proto = Value

fn encode_to_vec(&self) -> Vec<u8>

Encode this domain type to a byte vector, via proto type P.

fn to_proto(&self) -> Self::Proto

Convert this domain type to the associated proto type.

fn decode<B>(buf: B) -> Result<Self, Error>

where B: Buf,

Decode this domain type from a byte buffer, via proto type P.

impl From<Value> for Balance

fn from(_: Value) -> Self

Converts to this type from the input type.

impl From<Value> for Value

fn from(v: Value) -> Self

Converts to this type from the input type.

impl From<ValueView> for Value

fn from(value: ValueView) -> Self

Converts to this type from the input type.

impl FromStr for Value

type Err = Error

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, Self::Err>

Parses a string s to return a value of this type.

impl PartialEq for Value

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for Value

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Sub<Value> for Balance

type Output = Balance

The resulting type after applying the - operator.

fn sub(self, value: Value) -> Self::Output

Performs the - operation.

impl SubAssign<Value> for Balance

fn sub_assign(&mut self, other: Value)

Performs the -= operation.

impl ToConstraintField<Fq> for Value

fn to_field_elements(&self) -> Option<Vec<Fq>>

impl TryFrom<Value> for Value

type Error = Error

The type returned in the event of a conversion error.

fn try_from(value: Value) -> Result<Self, Self::Error>

Performs the conversion.

impl Copy for Value

impl Eq for Value

impl StructuralPartialEq for Value