Enum LowerBound

pub enum LowerBound {
    NonZero,
    Inclusive(Decimal),
}

Represents a lower bound on a non-negative decimal.

LowerBound::NonZero represents a lower bound of an infinitesimal amount above 0, and is included for clarity of intention. Considering Decimal has a limited precision of 10^(-18), it is roughly equivalent to an inclusive bound of 10^(-18), or Decimal::from_attos(1).

You can extract this equivalent decimal using the Self::equivalent_decimal method.

Invariants

• The amount in LowerBound::Inclusive(amount) is required to be non-negative before using this model. This can be validated via ManifestResourceConstraint::is_valid_for.

Trait Implementations

• Ord, PartialOrd - Satisfies AmountInclusive(Zero) < NonZero < AmountInclusive(AnyPositive)

Variants

NonZero

Inclusive(Decimal)

Implementations

impl LowerBound

pub const fn zero() -> LowerBound

pub const fn non_zero() -> LowerBound

pub fn at_least(decimal: Decimal) -> LowerBound

Panics

• Panics if the decimal is not resolvable or is non-negative

pub fn of(lower_bound: impl Resolve<LowerBound>) -> LowerBound

pub fn validate_amount( &self, amount: &Decimal, ) -> Result<(), ResourceConstraintError>

pub fn is_valid_for_fungible_use(&self) -> bool

pub fn is_valid_for_non_fungible_use(&self) -> bool

pub fn cmp_upper(&self, other: &UpperBound) -> Ordering

pub fn is_zero(&self) -> bool

pub fn is_positive(&self) -> bool

pub fn add_from( &mut self, other: LowerBound, ) -> Result<(), BoundAdjustmentError>

pub fn take_amount(&mut self, take_amount: Decimal)

PRECONDITION: take_amount must be positive

pub fn constrain_to(&mut self, other_bound: LowerBound)

pub fn equivalent_decimal(&self) -> Decimal

pub fn is_satisfied_by(&self, amount: Decimal) -> bool

Trait Implementations

impl Categorize<ManifestCustomValueKind> for LowerBound

fn value_kind() -> ValueKind<ManifestCustomValueKind>

impl Categorize<ScryptoCustomValueKind> for LowerBound

fn value_kind() -> ValueKind<ScryptoCustomValueKind>

impl Clone for LowerBound

fn clone(&self) -> LowerBound

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LowerBound

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

Formats the value using the given formatter.

impl<D> Decode<ManifestCustomValueKind, D> for LowerBound

where D: Decoder<ManifestCustomValueKind>,

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

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

impl<D> Decode<ScryptoCustomValueKind, D> for LowerBound

where D: Decoder<ScryptoCustomValueKind>,

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

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

impl Describe<ScryptoCustomTypeKind> for LowerBound

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

where E: Encoder<ManifestCustomValueKind>,

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<E> Encode<ScryptoCustomValueKind, E> for LowerBound

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 Ord for LowerBound

fn cmp(&self, other: &LowerBound) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for LowerBound

fn eq(&self, other: &LowerBound) -> 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 PartialOrd for LowerBound

fn partial_cmp(&self, other: &LowerBound) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl ResolveFrom<LowerBound> for LowerBound

fn resolve_from(value: LowerBound) -> LowerBound

impl<T> ResolveFrom<T> for LowerBound

where T: Resolve<Decimal>,

fn resolve_from(value: T) -> LowerBound

impl SborEnum<ManifestCustomValueKind> for LowerBound

fn get_discriminator(&self) -> u8

fn get_length(&self) -> usize

impl SborEnum<ScryptoCustomValueKind> for LowerBound

fn get_discriminator(&self) -> u8

fn get_length(&self) -> usize

impl Copy for LowerBound

impl Eq for LowerBound

impl Resolvable for LowerBound

impl StructuralPartialEq for LowerBound