Struct scrypto::prelude::Proof

pub struct Proof(pub Own);

Tuple Fields

0: Own

Trait Implementations

impl Categorize<ScryptoCustomValueKind> for Proof

fn value_kind() -> ValueKind<ScryptoCustomValueKind>

impl Debug for Proof

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

Formats the value using the given formatter.

impl<D> Decode<ScryptoCustomValueKind, D> for Proof

where D: Decoder<ScryptoCustomValueKind>,

fn decode_body_with_value_kind( decoder: &mut D, value_kind: ValueKind<ScryptoCustomValueKind> ) -> Result<Proof, DecodeError>

Decodes the type from the decoder, which should match a preloaded value kind.

impl Describe<ScryptoCustomTypeKind> for Proof

const TYPE_ID: RustTypeId = _

The TYPE_ID should give a unique identifier for its SBOR schema type. An SBOR schema type capture details about the SBOR payload, how it should be interpreted, validated and displayed.

fn type_data() -> TypeData<ScryptoCustomTypeKind, RustTypeId>

Returns the local schema for the given type.

fn add_all_dependencies(aggregator: &mut TypeAggregator<C>)

For each type referenced in get_local_type_data, we need to ensure that the type and all of its own references get added to the aggregator.

impl<E> Encode<ScryptoCustomValueKind, E> for Proof

where E: Encoder<ScryptoCustomValueKind>,

fn encode_value_kind(&self, encoder: &mut E) -> Result<(), EncodeError>

Encodes the SBOR value’s kind to the encoder

fn encode_body(&self, encoder: &mut E) -> Result<(), EncodeError>

Encodes the SBOR body of the type to the encoder.

impl From<FungibleProof> for Proof

fn from(value: FungibleProof) -> Proof

Converts to this type from the input type.

impl From<NonFungibleProof> for Proof

fn from(value: NonFungibleProof) -> Proof

Converts to this type from the input type.

impl Hash for Proof

fn hash<__H>(&self, state: &mut __H)

where __H: Hasher,

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Proof

fn eq(&self, other: &Proof) -> 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 ScryptoUncheckedProof for Proof

type CheckedProofType = CheckedProof

fn check(self, expected_resource_address: ResourceAddress) -> CheckedProof

Checks the resource address of this proof and panics if it’s unexpected.

fn check_with_message<S: ToString>( self, expected_resource_address: ResourceAddress, custom_error_message: S ) -> CheckedProof

Checks the resource address of this proof and panics with custom error message if it’s unexpected.

fn skip_checking(self) -> CheckedProof

Skips checking and converts this proof into a “checked” proof.

fn resource_address(&self) -> ResourceAddress

fn resource_manager(&self) -> ResourceManager

fn drop(self)

fn clone(&self) -> Self

fn authorize<F: FnOnce() -> O, O>(&self, f: F) -> O

impl Eq for Proof

impl StructuralPartialEq for Proof