pub enum ProofRule {
Require(ResourceOrNonFungible),
AmountOf(Decimal, ResourceAddress),
CountOf(u8, Vec<ResourceOrNonFungible, Global>),
AllOf(Vec<ResourceOrNonFungible, Global>),
AnyOf(Vec<ResourceOrNonFungible, Global>),
}
Expand description
Resource Proof Rules
Variants§
Require(ResourceOrNonFungible)
AmountOf(Decimal, ResourceAddress)
CountOf(u8, Vec<ResourceOrNonFungible, Global>)
AllOf(Vec<ResourceOrNonFungible, Global>)
AnyOf(Vec<ResourceOrNonFungible, Global>)
Trait Implementations§
source§impl Categorize<ScryptoCustomValueKind> for ProofRule
impl Categorize<ScryptoCustomValueKind> for ProofRule
source§impl<D> Decode<ManifestCustomValueKind, D> for ProofRulewhere
D: Decoder<ManifestCustomValueKind>,
impl<D> Decode<ManifestCustomValueKind, D> for ProofRulewhere D: Decoder<ManifestCustomValueKind>,
source§fn decode_body_with_value_kind(
decoder: &mut D,
value_kind: ValueKind<ManifestCustomValueKind>
) -> Result<ProofRule, DecodeError>
fn decode_body_with_value_kind( decoder: &mut D, value_kind: ValueKind<ManifestCustomValueKind> ) -> Result<ProofRule, DecodeError>
Decodes the type from the decoder, which should match a preloaded value kind. Read more
source§impl<D> Decode<ScryptoCustomValueKind, D> for ProofRulewhere
D: Decoder<ScryptoCustomValueKind>,
impl<D> Decode<ScryptoCustomValueKind, D> for ProofRulewhere D: Decoder<ScryptoCustomValueKind>,
source§fn decode_body_with_value_kind(
decoder: &mut D,
value_kind: ValueKind<ScryptoCustomValueKind>
) -> Result<ProofRule, DecodeError>
fn decode_body_with_value_kind( decoder: &mut D, value_kind: ValueKind<ScryptoCustomValueKind> ) -> Result<ProofRule, DecodeError>
Decodes the type from the decoder, which should match a preloaded value kind. Read more
source§impl Describe<ScryptoCustomTypeKind> for ProofRule
impl Describe<ScryptoCustomTypeKind> for ProofRule
source§const TYPE_ID: RustTypeId = RustTypeId::WellKnown(well_known_scrypto_custom_types::PROOF_RULE_TYPE)
const TYPE_ID: RustTypeId = RustTypeId::WellKnown(well_known_scrypto_custom_types::PROOF_RULE_TYPE)
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<ManifestCustomValueKind, E> for ProofRulewhere
E: Encoder<ManifestCustomValueKind>,
impl<E> Encode<ManifestCustomValueKind, E> for ProofRulewhere E: Encoder<ManifestCustomValueKind>,
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<E> Encode<ScryptoCustomValueKind, E> for ProofRulewhere
E: Encoder<ScryptoCustomValueKind>,
impl<E> Encode<ScryptoCustomValueKind, E> for ProofRulewhere 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 Ord for ProofRule
impl Ord for ProofRule
source§impl PartialEq<ProofRule> for ProofRule
impl PartialEq<ProofRule> for ProofRule
source§impl PartialOrd<ProofRule> for ProofRule
impl PartialOrd<ProofRule> for ProofRule
1.0.0 · source§fn le(&self, other: &Rhs) -> bool
fn le(&self, other: &Rhs) -> bool
This method tests less than or equal to (for
self
and other
) and is used by the <=
operator. Read moresource§impl SborEnum<ManifestCustomValueKind> for ProofRule
impl SborEnum<ManifestCustomValueKind> for ProofRule
fn get_discriminator(&self) -> u8
fn get_length(&self) -> usize
source§impl SborEnum<ScryptoCustomValueKind> for ProofRule
impl SborEnum<ScryptoCustomValueKind> for ProofRule
fn get_discriminator(&self) -> u8
fn get_length(&self) -> usize
impl Eq for ProofRule
impl StructuralEq for ProofRule
impl StructuralPartialEq for ProofRule
Auto Trait Implementations§
impl RefUnwindSafe for ProofRule
impl Send for ProofRule
impl Sync for ProofRule
impl Unpin for ProofRule
impl UnwindSafe for ProofRule
Blanket Implementations§
§impl<U> As for U
impl<U> As for U
§fn as_<T>(self) -> Twhere
T: CastFrom<U>,
fn as_<T>(self) -> Twhere T: CastFrom<U>,
Casts
self
to type T
. The semantics of numeric casting with the as
operator are followed, so <T as As>::as_::<U>
can be used in the same way as T as U
for numeric conversions. Read moresource§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<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.§impl<Q, K> Equivalent<K> for Qwhere
Q: Eq + ?Sized,
K: Borrow<Q> + ?Sized,
impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more