pub struct StrictlyZonedAddr<A, W, Z> { /* private fields */ }
Expand description

A ZonedAddr whose address is Zoned iff a zone is required.

Any address whose scope can have a zone, will be the Zoned variant. The one exception is the loopback address, which is represented as Unzoned. This is because the loopback address is allowed to have, but does not require having, a zone.

§Type Parameters

A: The base IpAddress type. W: The Witness types of the A. Z: The zone of A.

Implementations§

source§

impl<A: IpAddress, W: Witness<A> + ScopeableAddress + Copy, Z> StrictlyZonedAddr<A, W, Z>

source

pub fn into_inner(self) -> ZonedAddr<W, Z>

Convert self into the inner ZonedAddr

source

pub fn into_inner_without_witness(self) -> ZonedAddr<A, Z>

Convert self into the inner ZonedAddr while discarding the witness.

source

pub fn new_with_zone(addr: W, get_zone: impl FnOnce() -> Z) -> Self

Creates from a specified IP address and an optional zone.

If addr requires a zone, then get_zone will be called to provide the zone.

§Panics

This method panics if the addr wants a zone and get_zone will panic when called.

Methods from Deref<Target = ZonedAddr<W, Z>>§

source

pub fn addr(&self) -> A
where A: Copy,

Accesses the addr for this ZonedAddr.

source

pub fn as_ref(&self) -> ZonedAddr<&A, &Z>

Converts from &ZonedAddr<A, Z> to ZonedAddr<&A, &Z>.

Trait Implementations§

source§

impl<A: Clone, W: Clone, Z: Clone> Clone for StrictlyZonedAddr<A, W, Z>

source§

fn clone(&self) -> StrictlyZonedAddr<A, W, Z>

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl<A: Debug, W: Debug, Z: Debug> Debug for StrictlyZonedAddr<A, W, Z>

source§

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

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

impl<A: IpAddress, W: Witness<A>, Z> Deref for StrictlyZonedAddr<A, W, Z>

§

type Target = ZonedAddr<W, Z>

The resulting type after dereferencing.
source§

fn deref(&self) -> &Self::Target

Dereferences the value.
source§

impl<A: Hash, W: Hash, Z: Hash> Hash for StrictlyZonedAddr<A, W, Z>

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl<A: PartialEq, W: PartialEq, Z: PartialEq> PartialEq for StrictlyZonedAddr<A, W, Z>

source§

fn eq(&self, other: &StrictlyZonedAddr<A, W, Z>) -> bool

This method tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl<A: Copy, W: Copy, Z: Copy> Copy for StrictlyZonedAddr<A, W, Z>

source§

impl<A: Eq, W: Eq, Z: Eq> Eq for StrictlyZonedAddr<A, W, Z>

source§

impl<A, W, Z> StructuralPartialEq for StrictlyZonedAddr<A, W, Z>

Auto Trait Implementations§

§

impl<A, W, Z> Freeze for StrictlyZonedAddr<A, W, Z>
where W: Freeze, Z: Freeze,

§

impl<A, W, Z> RefUnwindSafe for StrictlyZonedAddr<A, W, Z>

§

impl<A, W, Z> Send for StrictlyZonedAddr<A, W, Z>
where W: Send, A: Send, Z: Send,

§

impl<A, W, Z> Sync for StrictlyZonedAddr<A, W, Z>
where W: Sync, A: Sync, Z: Sync,

§

impl<A, W, Z> Unpin for StrictlyZonedAddr<A, W, Z>
where W: Unpin, A: Unpin, Z: Unpin,

§

impl<A, W, Z> UnwindSafe for StrictlyZonedAddr<A, W, Z>
where W: UnwindSafe, A: UnwindSafe, Z: 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> 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> Same for T

§

type Output = T

Should always be Self
source§

impl<Id, CC, BC> TimerHandler<BC, Id> for CC
where Id: HandleableTimer<CC, BC>,

source§

fn handle_timer(&mut self, bindings_ctx: &mut BC, id: Id)

Handle a timer firing.
source§

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

§

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>,

§

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>,

§

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

impl<B, A> LockBefore<B> for A
where B: LockAfter<A>,