Trait Verify

Source

pub trait Verify: Sized {
    type Verified;
    type Error: Error + Send + Sync + 'static;

    // Required method
    fn verify(self) -> Result<Self::Verified, Self::Error>;
}

Expand description

Checks domain invariants and constructs the verified type using ordinary Rust.

Verification errors belong to the domain. Cross-field checks need not correspond to a single wire field. Types that require external context can implement VerifyWith instead. Boxes delegate to the contained verifier, preserving its error type and boxing the output. Generated decoded records retain collections in crate::OptionalField, crate::RepeatedField, or crate::MapField. Calling verify() on these fields verifies their elements with the generated field name and index or key context. These helpers return ConversionError, preserving the original source, and stop at the first error. For element verifiers whose error is core::convert::Infallible, the wrappers also provide verify_infallible(), returning the verified collection directly. Collection-wide invariants remain the responsibility of the containing verifier. Use the wrappers’ map() or try_map() methods for explicit element conversions; try_map() retains field, index, and key context. Use into_inner() for custom collection-wide processing.

Required Associated Types§

Source

type Verified

Source

type Error: Error + Send + Sync + 'static

Required Methods§

Source

fn verify(self) -> Result<Self::Verified, Self::Error>

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Trait Verify Copy item path

Required Associated Types§

type Verified

type Error: Error + Send + Sync + 'static

Required Methods§

fn verify(self) -> Result<Self::Verified, Self::Error>

Dyn Compatibility§

Implementations on Foreign Types§

impl Verify for DecodedAccountFile

type Verified = AccountFile

type Error = VerificationError

fn verify( self, ) -> Result<<DecodedAccountFile as Verify>::Verified, <DecodedAccountFile as Verify>::Error>

impl Verify for DecodedAccountFileV1

type Verified = AccountFile

type Error = VerificationError

fn verify( self, ) -> Result<<DecodedAccountFileV1 as Verify>::Verified, <DecodedAccountFileV1 as Verify>::Error>

impl Verify for DecodedAuthSecretKey

type Verified = AuthSecretKey

type Error = !

fn verify( self, ) -> Result<<DecodedAuthSecretKey as Verify>::Verified, <DecodedAuthSecretKey as Verify>::Error>

impl Verify for DecodedCommittedNote

type Verified = NoteFile

type Error = VerificationError

fn verify( self, ) -> Result<<DecodedCommittedNote as Verify>::Verified, <DecodedCommittedNote as Verify>::Error>

impl Verify for DecodedExpectedNote

type Verified = NoteFile

type Error = VerificationError

fn verify( self, ) -> Result<<DecodedExpectedNote as Verify>::Verified, <DecodedExpectedNote as Verify>::Error>

impl Verify for DecodedNoteFile

type Verified = NoteFile

type Error = VerificationError

fn verify( self, ) -> Result<<DecodedNoteFile as Verify>::Verified, <DecodedNoteFile as Verify>::Error>

impl Verify for DecodedNoteFileV1

type Verified = NoteFile

type Error = VerificationError

fn verify( self, ) -> Result<<DecodedNoteFileV1 as Verify>::Verified, <DecodedNoteFileV1 as Verify>::Error>

impl Verify for DecodedNoteSyncHint

type Verified = NoteSyncHint

type Error = !

fn verify( self, ) -> Result<<DecodedNoteSyncHint as Verify>::Verified, <DecodedNoteSyncHint as Verify>::Error>

impl<S> Verify for Box<S>where S: Verify,

type Verified = Box<<S as Verify>::Verified>

type Error = <S as Verify>::Error

fn verify( self, ) -> Result<<Box<S> as Verify>::Verified, <Box<S> as Verify>::Error>

Implementors§

impl Verify for DecodedAccount

type Verified = Account

type Error = VerificationError

impl Verify for DecodedAccountCode

type Verified = AccountCode

type Error = VerificationError

impl Verify for DecodedAccountCodePatch

type Verified = AccountCodePatch

type Error = VerificationError

impl Verify for DecodedAccountCodeUpgrade

type Verified = AccountCodeUpgrade

type Error = VerificationError

impl Verify for DecodedAccountDetailRequest

type Verified = AccountDetailRequest

type Error = ConversionError

impl Verify for DecodedAccountDetails

type Verified = AccountDetails

type Error = ConversionError

impl Verify for DecodedAccountHeader

type Verified = AccountHeader

type Error = VerificationError

impl Verify for DecodedAccountId

type Verified = AccountId

type Error = AccountIdError

impl Verify for DecodedAccountIdV1

type Verified = AccountIdV1

type Error = AccountIdError

impl Verify for DecodedAccountPatch

type Verified = AccountPatch

type Error = VerificationError

impl Verify for DecodedAccountStorage

type Verified = AccountStorage

type Error = VerificationError

impl Verify for DecodedAccountStorageDetails

type Verified = AccountStorageDetails

Trait Verify

impl<S> Verify for Box<S>
where S: Verify,