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

Formats the value using the given formatter.

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

fn decode_body_with_value_kind( decoder: &mut D, value_kind: ValueKind<ScryptoCustomValueKind>, ) -> Result<Self, 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: Encoder<ScryptoCustomValueKind>> Encode<ScryptoCustomValueKind, E> for Proof

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) -> Self

Converts to this type from the input type.

impl From<NonFungibleProof> for Proof

fn from(value: NonFungibleProof) -> Self

Converts to this type from the input type.

impl Hash for Proof

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

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

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

impl StructuralPartialEq for Proof