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

    fn into_checked_basic(
        self,
        block_height: Word,
        params: &ConsensusParameters
    ) -> Result<Checked<Self>, CheckError>; fn into_checked(
        self,
        block_height: Word,
        params: &ConsensusParameters,
        gas_costs: &GasCosts
    ) -> Result<Checked<Self>, CheckError>
    where
        Checked<Self>: CheckPredicates
, { ... } }
Expand description

Performs checks for a transaction

Required Associated Types§

source

type Metadata: Sized

Metadata produced during the check.

Required Methods§

source

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

Returns transaction that passed only Checks::Basic.

Provided Methods§

source

fn into_checked(
    self,
    block_height: Word,
    params: &ConsensusParameters,
    gas_costs: &GasCosts
) -> Result<Checked<Self>, CheckError>where
    Checked<Self>: CheckPredicates,

Returns transaction that passed all Checks.

Implementations on Foreign Types§

source§

impl IntoChecked for Create

§

type Metadata = CheckedMetadata

source§

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

source§

impl IntoChecked for Mint

§

type Metadata = ()

source§

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

source§

impl IntoChecked for Script

§

type Metadata = CheckedMetadata

source§

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

source§

impl IntoChecked for Transaction

§

type Metadata = CheckedMetadata

source§

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

Implementors§