Enum IfEnabled

Source
pub(crate) enum IfEnabled<T> {
    Enabled(T, EnabledToken),
    Noop,
}
Expand description

Either T, if we’re enabled, or nothing if we’re no-op

Used for runtime control of whether the memory quota is enabled: we support explicitly creating a no-op tracker with MemoryQuotaTracker::new_noop.

We use this rather than just Option because we also have data structures (trackers, Accounts and so on) which have been torn down, or are “dummy” or “dangling”, which are supposed to return errors rather than no-op successes.

Variants§

§

Enabled(T, EnabledToken)

We’re enabled, and supposed to be tracking memory

The 2nd member causes this variant to prove that tracking is enabled. If tracking is disabled at compile time, this variant is uninhabited and the whole IfEnabled becomes a unit.

§

Noop

We’re inenabled and everything should be a lightweight no-op

Implementations§

Source§

impl<T> IfEnabled<T>

Source

pub(crate) fn into_enabled(self) -> Option<T>

Convert to Option: return Some if this is Enabled

Source

pub(crate) fn as_ref(&self) -> IfEnabled<&T>

Take reference; analogous to Option::as_ref

Source

pub(crate) fn as_enabled(&self) -> Option<&T>

Take reference and convert to Option

Convenience helper equivalent to .as_ref().into_enabled().

Source

pub(crate) fn enabled_or_bug(self) -> Result<T, Bug>

Return the contents of the Enabled, or declare it a Bug

Trait Implementations§

Source§

impl<T: Clone> Clone for IfEnabled<T>

Source§

fn clone(&self) -> IfEnabled<T>

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<T: Debug> Debug for IfEnabled<T>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<T: PartialEq> PartialEq for IfEnabled<T>

Source§

fn eq(&self, other: &IfEnabled<T>) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl<T: Eq> Eq for IfEnabled<T>

Source§

impl<T> StructuralPartialEq for IfEnabled<T>

Auto Trait Implementations§

§

impl<T> Freeze for IfEnabled<T>
where T: Freeze,

§

impl<T> RefUnwindSafe for IfEnabled<T>
where T: RefUnwindSafe,

§

impl<T> Send for IfEnabled<T>
where T: Send,

§

impl<T> Sync for IfEnabled<T>
where T: Sync,

§

impl<T> Unpin for IfEnabled<T>
where T: Unpin,

§

impl<T> UnwindSafe for IfEnabled<T>
where T: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> DynClone for T
where T: Clone,

§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

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
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

impl<T> ErasedDestructor for T
where T: 'static,