Struct diem_sdk::types::transaction::TransactionListWithProof

pub struct TransactionListWithProof {
    pub transactions: Vec<Transaction, Global>,
    pub events: Option<Vec<Vec<ContractEvent, Global>, Global>>,
    pub first_transaction_version: Option<u64>,
    pub proof: TransactionListProof,
}

The list may have three states:

1. The list is empty. Both proofs must be None.
2. The list has only 1 transaction/transaction_info. Then proof_of_first_transaction must exist and proof_of_last_transaction must be None.
3. The list has 2+ transactions/transaction_infos. The both proofs must exist.

Fields

transactions: Vec<Transaction, Global>

events: Option<Vec<Vec<ContractEvent, Global>, Global>>

first_transaction_version: Option<u64>

proof: TransactionListProof

Implementations

impl TransactionListWithProof

pub fn new( transactions: Vec<Transaction, Global>, events: Option<Vec<Vec<ContractEvent, Global>, Global>>, first_transaction_version: Option<u64>, proof: TransactionListProof ) -> TransactionListWithProof

Constructor.

pub fn new_empty() -> TransactionListWithProof

Creates an empty transaction list.

pub fn is_empty(&self) -> bool

pub fn len(&self) -> usize

pub fn verify( &self, ledger_info: &LedgerInfo, first_transaction_version: Option<u64> ) -> Result<(), Error>

Verifies the transaction list with the proofs, both carried on self.

Two things are ensured if no error is raised:

1. All the transactions exist on the ledger represented by ledger_info.
2. And the transactions in the list has consecutive versions starting from first_transaction_version. When first_transaction_version is None, ensures the list is empty.

Trait Implementations

impl Arbitrary for TransactionListWithProof

type Parameters = ()

The type of parameters that arbitrary_with accepts for configuration of the generated Strategy. Parameters must implement Default.

fn arbitrary_with( _args: <TransactionListWithProof as Arbitrary>::Parameters ) -> <TransactionListWithProof as Arbitrary>::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self). The strategy is passed the arguments given in args.

type Strategy = BoxedStrategy<TransactionListWithProof>

The type of Strategy used to generate values of type Self.

fn arbitrary() -> Self::Strategy

Generates a Strategy for producing arbitrary values of type the implementing type (Self).

impl Clone for TransactionListWithProof

fn clone(&self) -> TransactionListWithProof

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TransactionListWithProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TransactionListWithProof

fn deserialize<__D>( __deserializer: __D ) -> Result<TransactionListWithProof, <__D as Deserializer<'de>>::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq<TransactionListWithProof> for TransactionListWithProof

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

This method tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for TransactionListWithProof

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

Serialize this value into the given Serde serializer.

impl TryFrom<&TransactionListWithProof> for TransactionsWithProofsView

type Error = Error

The type returned in the event of a conversion error.

fn try_from( txs: &TransactionListWithProof ) -> Result<TransactionsWithProofsView, <TransactionsWithProofsView as TryFrom<&TransactionListWithProof>>::Error>

Performs the conversion.

impl TryFrom<TransactionListWithProof> for TransactionListView

type Error = Error

The type returned in the event of a conversion error.

fn try_from( txs: TransactionListWithProof ) -> Result<TransactionListView, <TransactionListView as TryFrom<TransactionListWithProof>>::Error>

Performs the conversion.

impl Eq for TransactionListWithProof

impl StructuralEq for TransactionListWithProof

impl StructuralPartialEq for TransactionListWithProof