Trait IntoChecked

pub trait IntoChecked: FormatValidityChecks + Sized {
    type Metadata: Sized;

    // Required method
    fn into_checked_basic(
        self,
        block_height: BlockHeight,
        consensus_params: &ConsensusParameters,
    ) -> Result<Checked<Self>, CheckError>;

    // Provided methods
    fn into_checked(
        self,
        block_height: BlockHeight,
        consensus_params: &ConsensusParameters,
    ) -> Result<Checked<Self>, CheckError>
       where Checked<Self>: CheckPredicates { ... }
    fn into_checked_reusable_memory(
        self,
        block_height: BlockHeight,
        consensus_params: &ConsensusParameters,
        memory: impl Memory,
        storage: &impl PredicateStorageRequirements,
    ) -> Result<Checked<Self>, CheckError>
       where Checked<Self>: CheckPredicates { ... }
}

Performs checks for a transaction

Required Associated Types

type Metadata: Sized

Metadata produced during the check.

Required Methods

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

Returns transaction that passed only Checks::Basic.

Provided Methods

fn into_checked( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

where Checked<Self>: CheckPredicates,

Returns transaction that passed all Checks.

fn into_checked_reusable_memory( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, memory: impl Memory, storage: &impl PredicateStorageRequirements, ) -> Result<Checked<Self>, CheckError>

where Checked<Self>: CheckPredicates,

Returns transaction that passed all Checks accepting reusable memory to run predicates.

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.

Implementations on Foreign Types

impl IntoChecked for Transaction

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Mint

type Metadata = ()

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Blob

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Create

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Script

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Upgrade

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

impl IntoChecked for Upload

type Metadata = CheckedMetadata

fn into_checked_basic( self, block_height: BlockHeight, consensus_params: &ConsensusParameters, ) -> Result<Checked<Self>, CheckError>

Implementors