Enum ZonedAddr

pub enum ZonedAddr<A, Z> {
    Unzoned(A),
    Zoned(AddrAndZone<A, Z>),
}

An address that may have an associated scope zone.

Variants

Unzoned(A)

Zoned(AddrAndZone<A, Z>)

Implementations

impl<A, Z> ZonedAddr<A, Z>

pub fn into_addr_zone(self) -> (A, Option<Z>)

Decomposes this ZonedAddr into an addr and an optional scope zone.

pub fn addr(&self) -> A

where A: Copy,

Accesses the addr for this ZonedAddr.

pub fn map_zone<Y>(self, f: impl FnOnce(Z) -> Y) -> ZonedAddr<A, Y>

Translates the zone identifier using the provided function.

pub fn map_addr<B>(self, f: impl FnOnce(A) -> B) -> ZonedAddr<B, Z>

Translates the address using f.

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

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

impl<A: ScopeableAddress, Z> ZonedAddr<A, Z>

pub fn new(addr: A, zone: Option<Z>) -> Option<Self>

Creates a new ZonedAddr with the provided optional scope zone.

If zone is None, ZonedAddr::Unzoned is returned. Otherwise, a ZonedAddr::Zoned is returned only if the provided addr’s scope can have a zone (addr.scope().can_have_zone()).

impl<A: IpAddress + ScopeableAddress, Z: Clone> ZonedAddr<A, Z>

pub fn new_zoned_if_necessary(addr: A, get_zone: impl FnOnce() -> Z) -> Self

Creates a ZonedAddr::Zoned iff addr can have a zone and is not loopback.

get_zone is only called if the address needs a zone.

impl<A: ScopeableAddress<Scope = ()>, Z> ZonedAddr<A, Z>

pub fn into_unzoned(self) -> A

Retrieves the addr for this ZonedAddr when the Scope is ().

() is a known implementation that never allows AddrAndZone to be constructed so we can safely drop the zone information.

Trait Implementations

impl<A: Clone, Z: Clone> Clone for ZonedAddr<A, Z>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Debug, Z: Debug> Debug for ZonedAddr<A, Z>

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

Formats the value using the given formatter.

impl<A: Display, Z: Display> Display for ZonedAddr<A, Z>

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

Formats the value using the given formatter.

impl<A, Z> From<AddrAndZone<A, Z>> for ZonedAddr<A, Z>

fn from(a: AddrAndZone<A, Z>) -> Self

Converts to this type from the input type.

impl<A: SpecifiedAddress, Z> From<ZonedAddr<SpecifiedAddr<A>, Z>> for ZonedAddr<A, Z>

fn from(zoned_addr: ZonedAddr<SpecifiedAddr<A>, Z>) -> Self

Converts to this type from the input type.

impl<A: GenericOverIp<I>, I: Ip, Z> GenericOverIp<I> for ZonedAddr<A, Z>

type Type = ZonedAddr<<A as GenericOverIp<I>>::Type, Z>

The type of Self when its IP-generic parameter is replaced with the type NewIp.

impl<A: Hash, Z: Hash> Hash for ZonedAddr<A, Z>

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

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<A: PartialEq, Z: PartialEq> PartialEq for ZonedAddr<A, Z>

fn eq(&self, other: &ZonedAddr<A, Z>) -> 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<A: Copy, Z: Copy> Copy for ZonedAddr<A, Z>

impl<A: Eq, Z: Eq> Eq for ZonedAddr<A, Z>

impl<A, Z> StructuralPartialEq for ZonedAddr<A, Z>