Struct Proof

pub struct Proof(pub Own);

Tuple Fields

0: Own

Trait Implementations

impl AsRef<Proof> for FungibleProof

fn as_ref(&self) -> &Proof

Converts this type into a shared reference of the (usually inferred) input type.

impl AsRef<Proof> for NonFungibleProof

fn as_ref(&self) -> &Proof

Converts this type into a shared reference of the (usually inferred) input type.

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 NativeNonFungibleProof for Proof

fn non_fungible_local_ids<Y, E>( &self, api: &mut Y, ) -> Result<IndexSet<NonFungibleLocalId>, E>

where Y: SystemObjectApi<E>, E: SystemApiError,

impl NativeProof for Proof

type ResourceManager = ResourceManager

fn amount<Y, E>(&self, api: &mut Y) -> Result<Decimal, E>

where Y: SystemObjectApi<E>, E: SystemApiError,

fn resource_address<Y, E>(&self, api: &mut Y) -> Result<ResourceAddress, E>

where Y: SystemObjectApi<E>, E: SystemApiError,

fn resource_manager<Y, E>(&self, api: &mut Y) -> Result<ResourceManager, E>

where Y: SystemObjectApi<E>, E: SystemApiError,

fn clone<Y, E>(&self, api: &mut Y) -> Result<Proof, E>

where Y: SystemObjectApi<E>, E: SystemApiError,

fn drop<Y, E>(self, api: &mut Y) -> Result<(), E>

where Y: SystemObjectApi<E> + SystemBlueprintApi<E>, E: SystemApiError,

impl PartialEq for Proof

fn eq(&self, other: &Proof) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

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

type ResourceManagerType = ResourceManager

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>( self, expected_resource_address: ResourceAddress, custom_error_message: S, ) -> CheckedProof

where S: ToString,

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, ) -> <Proof as ScryptoUncheckedProof>::ResourceManagerType

fn drop(self)

fn clone(&self) -> Proof

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

where F: FnOnce() -> O,

impl Eq for Proof

impl NativeFungibleProof for Proof

impl StructuralPartialEq for Proof