pub struct NonFungibleProof(pub Proof);
Tuple Fields§
§0: Proof
Trait Implementations§
Source§impl AsRef<Proof> for NonFungibleProof
impl AsRef<Proof> for NonFungibleProof
Source§impl Debug for NonFungibleProof
impl Debug for NonFungibleProof
Source§impl<D> Decode<ScryptoCustomValueKind, D> for NonFungibleProofwhere
D: Decoder<ScryptoCustomValueKind>,
impl<D> Decode<ScryptoCustomValueKind, D> for NonFungibleProofwhere
D: Decoder<ScryptoCustomValueKind>,
Source§fn decode_body_with_value_kind(
decoder: &mut D,
value_kind: ValueKind<ScryptoCustomValueKind>,
) -> Result<NonFungibleProof, DecodeError>
fn decode_body_with_value_kind( decoder: &mut D, value_kind: ValueKind<ScryptoCustomValueKind>, ) -> Result<NonFungibleProof, DecodeError>
Decodes the type from the decoder, which should match a preloaded value kind. Read more
Source§impl Describe<ScryptoCustomTypeKind> for NonFungibleProof
impl Describe<ScryptoCustomTypeKind> for NonFungibleProof
Source§const TYPE_ID: RustTypeId
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. Read moreSource§fn type_data() -> TypeData<ScryptoCustomTypeKind, RustTypeId>
fn type_data() -> TypeData<ScryptoCustomTypeKind, RustTypeId>
Returns the local schema for the given type. Read more
Source§fn add_all_dependencies(aggregator: &mut TypeAggregator<C>)
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. Read moreSource§impl<E> Encode<ScryptoCustomValueKind, E> for NonFungibleProofwhere
E: Encoder<ScryptoCustomValueKind>,
impl<E> Encode<ScryptoCustomValueKind, E> for NonFungibleProofwhere
E: Encoder<ScryptoCustomValueKind>,
Source§fn encode_value_kind(&self, encoder: &mut E) -> Result<(), EncodeError>
fn encode_value_kind(&self, encoder: &mut E) -> Result<(), EncodeError>
Encodes the SBOR value’s kind to the encoder
Source§fn encode_body(&self, encoder: &mut E) -> Result<(), EncodeError>
fn encode_body(&self, encoder: &mut E) -> Result<(), EncodeError>
Encodes the SBOR body of the type to the encoder. Read more
Source§impl From<NonFungibleProof> for Proof
impl From<NonFungibleProof> for Proof
Source§fn from(value: NonFungibleProof) -> Proof
fn from(value: NonFungibleProof) -> Proof
Converts to this type from the input type.
Source§impl Hash for NonFungibleProof
impl Hash for NonFungibleProof
Source§impl NativeNonFungibleProof for NonFungibleProof
impl NativeNonFungibleProof for NonFungibleProof
fn non_fungible_local_ids<Y, E>(
&self,
api: &mut Y,
) -> Result<IndexSet<NonFungibleLocalId>, E>where
Y: SystemObjectApi<E>,
E: SystemApiError,
Source§impl PartialEq for NonFungibleProof
impl PartialEq for NonFungibleProof
Source§impl SborEnum<ScryptoCustomValueKind> for NonFungibleProof
impl SborEnum<ScryptoCustomValueKind> for NonFungibleProof
fn get_discriminator(&self) -> u8
fn get_length(&self) -> usize
Source§impl SborTuple<ScryptoCustomValueKind> for NonFungibleProof
impl SborTuple<ScryptoCustomValueKind> for NonFungibleProof
fn get_length(&self) -> usize
Source§impl ScryptoUncheckedProof for NonFungibleProof
impl ScryptoUncheckedProof for NonFungibleProof
type CheckedProofType = CheckedNonFungibleProof
type ResourceManagerType = NonFungibleResourceManager
Source§fn check(
self,
expected_resource_address: ResourceAddress,
) -> <NonFungibleProof as ScryptoUncheckedProof>::CheckedProofType
fn check( self, expected_resource_address: ResourceAddress, ) -> <NonFungibleProof as ScryptoUncheckedProof>::CheckedProofType
Checks the resource address of this proof and panics if it’s unexpected.
Source§fn check_with_message<S>(
self,
expected_resource_address: ResourceAddress,
custom_error_message: S,
) -> <NonFungibleProof as ScryptoUncheckedProof>::CheckedProofTypewhere
S: ToString,
fn check_with_message<S>(
self,
expected_resource_address: ResourceAddress,
custom_error_message: S,
) -> <NonFungibleProof as ScryptoUncheckedProof>::CheckedProofTypewhere
S: ToString,
Checks the resource address of this proof and panics with custom error message if it’s unexpected.
Source§fn skip_checking(
self,
) -> <NonFungibleProof as ScryptoUncheckedProof>::CheckedProofType
fn skip_checking( self, ) -> <NonFungibleProof as ScryptoUncheckedProof>::CheckedProofType
Skips checking and converts this proof into a “checked” proof. Read more
fn resource_address(&self) -> ResourceAddress
fn resource_manager( &self, ) -> <NonFungibleProof as ScryptoUncheckedProof>::ResourceManagerType
fn drop(self)
fn clone(&self) -> NonFungibleProof
Source§impl SpecializedProof for NonFungibleProof
impl SpecializedProof for NonFungibleProof
type ResourceManager = ResourceManager
Source§fn from_proof_of_correct_type(proof: Proof) -> NonFungibleProof
fn from_proof_of_correct_type(proof: Proof) -> NonFungibleProof
Purposefully not From because we want to only use this when
we are confident it’s the correct type
impl Eq for NonFungibleProof
impl StructuralPartialEq for NonFungibleProof
Auto Trait Implementations§
impl Freeze for NonFungibleProof
impl RefUnwindSafe for NonFungibleProof
impl Send for NonFungibleProof
impl Sync for NonFungibleProof
impl Unpin for NonFungibleProof
impl UnwindSafe for NonFungibleProof
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T, U> ContextualTryInto<U> for Twhere
U: ContextualTryFrom<T>,
impl<T, U> ContextualTryInto<U> for Twhere
U: ContextualTryFrom<T>,
type Error = <U as ContextualTryFrom<T>>::Error
type Context = <U as ContextualTryFrom<T>>::Context
fn contextual_try_into( self, context: &<U as ContextualTryFrom<T>>::Context, ) -> Result<U, <U as ContextualTryFrom<T>>::Error>
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait>
(where Trait: Downcast
) to Box<dyn Any>
. Box<dyn Any>
can
then be further downcast
into Box<ConcreteType>
where ConcreteType
implements Trait
.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait>
(where Trait: Downcast
) to Rc<Any>
. Rc<Any>
can then be
further downcast
into Rc<ConcreteType>
where ConcreteType
implements Trait
.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &Any
’s vtable from &Trait
’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait
(where Trait: Downcast
) to &Any
. This is needed since Rust cannot
generate &mut Any
’s vtable from &mut Trait
’s.Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more