pub struct CapacityVerifier<'a> { /* private fields */ }
Expand description

Perform inputs and outputs capacity field related verification

Implementations§

source§

impl<'a> CapacityVerifier<'a>

source

pub fn new( resolved_transaction: &'a ResolvedTransaction, dao_type_hash: Option<Byte32> ) -> Self

Create a new CapacityVerifier

source

pub fn verify(&self) -> Result<(), Error>

Verify sum of inputs capacity should be greater than or equal to sum of outputs capacity Verify outputs capacity should be greater than or equal to its occupied capacity

Auto Trait Implementations§

§

impl<'a> RefUnwindSafe for CapacityVerifier<'a>

§

impl<'a> Send for CapacityVerifier<'a>

§

impl<'a> Sync for CapacityVerifier<'a>

§

impl<'a> Unpin for CapacityVerifier<'a>

§

impl<'a> UnwindSafe for CapacityVerifier<'a>

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> AsAny for Twhere T: Any,

source§

fn as_any(&self) -> &(dyn Any + 'static)

TODO(doc): @quake
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for Twhere U: From<T>,

const: unstable · source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V