Struct DropProof 

pub struct DropProof {
    pub proof_id: ManifestProof,
}

Drops a named proof.

Fields

proof_id: ManifestProof

Trait Implementations

impl Categorize<ManifestCustomValueKind> for DropProof

fn value_kind() -> ValueKind<ManifestCustomValueKind>

impl Clone for DropProof

fn clone(&self) -> DropProof

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for DropProof

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

Formats the value using the given formatter.

impl<D: Decoder<ManifestCustomValueKind>> Decode<ManifestCustomValueKind, D> for DropProof

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

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

impl Describe<ScryptoCustomTypeKind> for DropProof

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

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<ManifestCustomValueKind>> Encode<ManifestCustomValueKind, E> for DropProof

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 ManifestInstruction for DropProof

const IDENT: &'static str = "DROP_PROOF"

const ID: u8 = 49u8

fn decompile( &self, _context: &mut DecompilationContext<'_>, ) -> Result<DecompiledInstruction, DecompileError>

fn effect(&self) -> Effect<'_>

fn into_any(self) -> AnyInstruction

impl PartialEq for DropProof

fn eq(&self, other: &DropProof) -> 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 SborEnumVariantFor<InstructionV1, ManifestCustomValueKind> for DropProof

const DISCRIMINATOR: u8 = 49u8

const IS_FLATTENED: bool = true

type VariantFields = DropProof

VariantFields is either Self if IS_FLATTENED else is (Self,)

type VariantFieldsRef<'a> = &'a DropProof

VariantFieldsRef is either &Self if IS_FLATTENED else is (&Self,)

type OwnedVariant = SborFixedEnumVariant<ManifestSbor, <DropProof as SborEnumVariantFor<InstructionV1, ManifestCustomValueKind>>::VariantFields>

This should always be SborFixedEnumVariant<{ [DISCRIMINATOR] as u8 }, Self::VariantFields>

type BorrowedVariant<'a> = SborFixedEnumVariant<ManifestSbor, <DropProof as SborEnumVariantFor<InstructionV1, ManifestCustomValueKind>>::VariantFieldsRef<'a>>

Should always be SborFixedEnumVariant<{ [DISCRIMINATOR] as u8 }, &'a Self::VariantFields>

fn from_variant_fields(variant_fields: Self::VariantFields) -> Self

fn as_variant_fields_ref(&self) -> Self::VariantFieldsRef<'_>

fn into_enum(self) -> InstructionV1

fn as_encodable_variant<'a>(&'a self) -> Self::BorrowedVariant<'a>

Can be used to encode the type as a variant under TEnum, like this: encoder.encode(x.as_encodable_variant()).

fn from_decoded_variant(variant: Self::OwnedVariant) -> Self

where Self: Sized,

Can be used to decode the type from an encoded variant, like this: T::from_decoded_variant(decoder.decode()?).

impl SborEnumVariantFor<InstructionV2, ManifestCustomValueKind> for DropProof

const DISCRIMINATOR: u8 = 49u8

const IS_FLATTENED: bool = true

type VariantFields = DropProof

VariantFields is either Self if IS_FLATTENED else is (Self,)

type VariantFieldsRef<'a> = &'a DropProof

VariantFieldsRef is either &Self if IS_FLATTENED else is (&Self,)

type OwnedVariant = SborFixedEnumVariant<ManifestSbor, <DropProof as SborEnumVariantFor<InstructionV2, ManifestCustomValueKind>>::VariantFields>

This should always be SborFixedEnumVariant<{ [DISCRIMINATOR] as u8 }, Self::VariantFields>

type BorrowedVariant<'a> = SborFixedEnumVariant<ManifestSbor, <DropProof as SborEnumVariantFor<InstructionV2, ManifestCustomValueKind>>::VariantFieldsRef<'a>>

Should always be SborFixedEnumVariant<{ [DISCRIMINATOR] as u8 }, &'a Self::VariantFields>

fn from_variant_fields(variant_fields: Self::VariantFields) -> Self

fn as_variant_fields_ref(&self) -> Self::VariantFieldsRef<'_>

fn into_enum(self) -> InstructionV2

fn as_encodable_variant<'a>(&'a self) -> Self::BorrowedVariant<'a>

Can be used to encode the type as a variant under TEnum, like this: encoder.encode(x.as_encodable_variant()).

fn from_decoded_variant(variant: Self::OwnedVariant) -> Self

where Self: Sized,

Can be used to decode the type from an encoded variant, like this: T::from_decoded_variant(decoder.decode()?).

impl SborTuple<ManifestCustomValueKind> for DropProof

fn get_length(&self) -> usize

impl Eq for DropProof

impl StructuralPartialEq for DropProof