Struct Amount

pub struct Amount { /* private fields */ }

Implementations

impl Amount

pub fn value(&self) -> u128

pub fn zero() -> Self

pub fn to_le_bytes(&self) -> [u8; 16]

pub fn to_be_bytes(&self) -> [u8; 16]

pub fn from_le_bytes(bytes: [u8; 16]) -> Amount

pub fn from_be_bytes(bytes: [u8; 16]) -> Amount

pub fn checked_sub(&self, rhs: &Self) -> Option<Self>

pub fn checked_add(&self, rhs: &Self) -> Option<Self>

pub fn checked_mul(&self, rhs: &Self) -> Option<Self>

pub fn saturating_add(&self, rhs: &Self) -> Self

pub fn saturating_sub(&self, rhs: &Self) -> Self

Trait Implementations

impl Add for Amount

type Output = Amount

The resulting type after applying the + operator.

fn add(self, rhs: Amount) -> Amount

Performs the + operation.

impl AddAssign for Amount

fn add_assign(&mut self, rhs: Amount)

Performs the += operation.

impl AllocVar<Amount, Fq> for AmountVar

fn new_variable<T: Borrow<Amount>>( 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 Amount

fn clone(&self) -> Amount

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Amount

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

Formats the value using the given formatter.

impl Default for Amount

fn default() -> Amount

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Amount

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Amount

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

Formats the value using the given formatter.

impl Div for Amount

type Output = Amount

The resulting type after applying the / operator.

fn div(self, rhs: Amount) -> Amount

Performs the / operation.

impl DomainType for Amount

type Proto = Amount

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<&Amount> for U128x128

fn from(value: &Amount) -> Self

Converts to this type from the input type.

impl From<Amount> for Amount

fn from(a: Amount) -> Self

Converts to this type from the input type.

impl From<Amount> for Fq

fn from(amount: Amount) -> Fq

Converts to this type from the input type.

impl From<Amount> for Fr

fn from(amount: Amount) -> Fr

Converts to this type from the input type.

impl From<Amount> for U128x128

fn from(amount: Amount) -> U128x128

Converts to this type from the input type.

impl From<Amount> for f64

fn from(amount: Amount) -> f64

Converts to this type from the input type.

impl From<Amount> for i128

fn from(amount: Amount) -> i128

Converts to this type from the input type.

impl From<Amount> for u128

fn from(amount: Amount) -> u128

Converts to this type from the input type.

impl From<NonZero<u128>> for Amount

fn from(n: NonZeroU128) -> Self

Converts to this type from the input type.

impl From<i128> for Amount

fn from(amount: i128) -> Amount

Converts to this type from the input type.

impl From<u128> for Amount

fn from(amount: u128) -> Amount

Converts to this type from the input type.

impl From<u16> for Amount

fn from(amount: u16) -> Amount

Converts to this type from the input type.

impl From<u32> for Amount

fn from(amount: u32) -> Amount

Converts to this type from the input type.

impl From<u64> for Amount

fn from(amount: u64) -> Amount

Converts to this type from the input type.

impl From<u8> for Amount

fn from(amount: u8) -> Amount

Converts to this type from the input type.

impl Hash for Amount

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Mul for Amount

type Output = Amount

The resulting type after applying the * operator.

fn mul(self, rhs: Amount) -> Amount

Performs the * operation.

impl Not for Amount

type Output = Amount

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl Ord for Amount

fn cmp(&self, other: &Amount) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for Amount

fn eq(&self, other: &Amount) -> 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 PartialOrd for Amount

fn partial_cmp(&self, other: &Amount) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Rem for Amount

type Output = Amount

The resulting type after applying the % operator.

fn rem(self, rhs: Amount) -> Amount

Performs the % operation.

impl Serialize for Amount

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Sub for Amount

type Output = Amount

The resulting type after applying the - operator.

fn sub(self, rhs: Amount) -> Amount

Performs the - operation.

impl SubAssign for Amount

fn sub_assign(&mut self, rhs: Amount)

Performs the -= operation.

impl Sum for Amount

fn sum<I: Iterator<Item = Amount>>(iter: I) -> Amount

Takes an iterator and generates Self from the elements by “summing up” the items.

impl ToConstraintField<Fq> for Amount

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

impl TryFrom<Amount> for Amount

type Error = Error

The type returned in the event of a conversion error.

fn try_from(amount: Amount) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<String> for Amount

type Error = Error

The type returned in the event of a conversion error.

fn try_from(s: String) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<U128x128> for Amount

type Error = <u128 as TryFrom<U128x128>>::Error

The type returned in the event of a conversion error.

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

Performs the conversion.

impl Copy for Amount

impl Eq for Amount

impl StructuralPartialEq for Amount