Trait Implication

pub trait Implication: Encode + Sealed {
    // Required method
    fn parts(
        &self,
    ) -> ImplicationParts<&impl Encode, &impl Encode, &impl Encode>;
}

Interface of implications in the transaction extension pipeline.

Implications can be encoded, this is useful for checking signature on the implications. Implications can be split into parts, this allow to destructure and restructure the implications, this is useful for nested pipeline.

This trait is sealed, consider using TxBaseImplication and ImplicationParts implementations.

The concept of implication in the transaction extension pipeline is explained in the trait documentation: TransactionExtension.

Required Methods

fn parts(&self) -> ImplicationParts<&impl Encode, &impl Encode, &impl Encode>

Destructure the implication into its parts.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<Base: Encode, Explicit: Encode, Implicit: Encode> Implication for ImplicationParts<Base, Explicit, Implicit>

impl<T: Encode> Implication for TxBaseImplication<T>