Struct net_types::SpecifiedAddr
source · pub struct SpecifiedAddr<A>(/* private fields */);
Expand description
An address which is guaranteed to be specified.
SpecifiedAddr
wraps an address of type A
and guarantees that it is
a specified address. Note that this guarantee is contingent on a correct
implementation of the SpecifiedAddress
trait. Since that trait is
not unsafe
, unsafe
code may NOT rely on this guarantee for its soundness.
Implementations§
source§impl<A: SpecifiedAddress> SpecifiedAddr<A>
impl<A: SpecifiedAddress> SpecifiedAddr<A>
sourcepub fn new(addr: A) -> Option<SpecifiedAddr<A>>
pub fn new(addr: A) -> Option<SpecifiedAddr<A>>
Constructs a new SpecifiedAddr
.
new
returns None
if !addr.is_specified()
.
sourcepub fn from_witness<W: Witness<A>>(addr: W) -> Option<SpecifiedAddr<A>>
pub fn from_witness<W: Witness<A>>(addr: W) -> Option<SpecifiedAddr<A>>
Constructs a new SpecifiedAddr
from a
witness type.
from_witness(witness)
is equivalent to new(witness.into_addr())
.
source§impl<A> SpecifiedAddr<A>
impl<A> SpecifiedAddr<A>
sourcepub const unsafe fn new_unchecked(addr: A) -> SpecifiedAddr<A>
pub const unsafe fn new_unchecked(addr: A) -> SpecifiedAddr<A>
Constructs a new SpecifiedAddr
without
checking to see if addr
is actually specified.
Safety
It is up to the caller to make sure that addr
is specified to avoid breaking
the guarantees of SpecifiedAddr
. See SpecifiedAddr
for
more details.
Trait Implementations§
source§impl<A: SpecifiedAddress> AsRef<A> for SpecifiedAddr<A>
impl<A: SpecifiedAddress> AsRef<A> for SpecifiedAddr<A>
source§impl<A: SpecifiedAddress> AsRef<SpecifiedAddr<A>> for SpecifiedAddr<A>
impl<A: SpecifiedAddress> AsRef<SpecifiedAddr<A>> for SpecifiedAddr<A>
source§fn as_ref(&self) -> &SpecifiedAddr<A>
fn as_ref(&self) -> &SpecifiedAddr<A>
Converts this type into a shared reference of the (usually inferred) input type.
source§impl<A: BroadcastAddress> BroadcastAddress for SpecifiedAddr<A>
impl<A: BroadcastAddress> BroadcastAddress for SpecifiedAddr<A>
source§fn is_broadcast(&self) -> bool
fn is_broadcast(&self) -> bool
Is this a broadcast address? Read more
source§impl<A: Clone> Clone for SpecifiedAddr<A>
impl<A: Clone> Clone for SpecifiedAddr<A>
source§fn clone(&self) -> SpecifiedAddr<A>
fn clone(&self) -> SpecifiedAddr<A>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<A: Debug> Debug for SpecifiedAddr<A>
impl<A: Debug> Debug for SpecifiedAddr<A>
source§impl<A: SpecifiedAddress> Deref for SpecifiedAddr<A>
impl<A: SpecifiedAddress> Deref for SpecifiedAddr<A>
source§impl<A: Display> Display for SpecifiedAddr<A>
impl<A: Display> Display for SpecifiedAddr<A>
source§impl<A: BroadcastAddress + SpecifiedAddress> From<BroadcastAddr<A>> for SpecifiedAddr<A>
impl<A: BroadcastAddress + SpecifiedAddress> From<BroadcastAddr<A>> for SpecifiedAddr<A>
source§fn from(addr: BroadcastAddr<A>) -> SpecifiedAddr<A>
fn from(addr: BroadcastAddr<A>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: BroadcastAddress + LinkLocalAddress + SpecifiedAddress> From<BroadcastAddr<LinkLocalAddr<A>>> for SpecifiedAddr<A>
impl<A: BroadcastAddress + LinkLocalAddress + SpecifiedAddress> From<BroadcastAddr<LinkLocalAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: BroadcastAddr<LinkLocalAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: BroadcastAddr<LinkLocalAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: BroadcastAddress + MappedAddress + SpecifiedAddress> From<BroadcastAddr<NonMappedAddr<A>>> for SpecifiedAddr<A>
impl<A: BroadcastAddress + MappedAddress + SpecifiedAddress> From<BroadcastAddr<NonMappedAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: BroadcastAddr<NonMappedAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: BroadcastAddr<NonMappedAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl From<IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>>> for SpecifiedAddr<IpAddr>
impl From<IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>>> for SpecifiedAddr<IpAddr>
source§fn from(
addr: IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>>
) -> SpecifiedAddr<IpAddr>
fn from( addr: IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>> ) -> SpecifiedAddr<IpAddr>
Converts to this type from the input type.
source§impl<A: LinkLocalAddress + SpecifiedAddress> From<LinkLocalAddr<A>> for SpecifiedAddr<A>
impl<A: LinkLocalAddress + SpecifiedAddress> From<LinkLocalAddr<A>> for SpecifiedAddr<A>
source§fn from(addr: LinkLocalAddr<A>) -> SpecifiedAddr<A>
fn from(addr: LinkLocalAddr<A>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: LinkLocalAddress + BroadcastAddress + SpecifiedAddress> From<LinkLocalAddr<BroadcastAddr<A>>> for SpecifiedAddr<A>
impl<A: LinkLocalAddress + BroadcastAddress + SpecifiedAddress> From<LinkLocalAddr<BroadcastAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: LinkLocalAddr<BroadcastAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: LinkLocalAddr<BroadcastAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: LinkLocalAddress + MulticastAddress + SpecifiedAddress> From<LinkLocalAddr<MulticastAddr<A>>> for SpecifiedAddr<A>
impl<A: LinkLocalAddress + MulticastAddress + SpecifiedAddress> From<LinkLocalAddr<MulticastAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: LinkLocalAddr<MulticastAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: LinkLocalAddr<MulticastAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: LinkLocalAddress + MappedAddress + SpecifiedAddress> From<LinkLocalAddr<NonMappedAddr<A>>> for SpecifiedAddr<A>
impl<A: LinkLocalAddress + MappedAddress + SpecifiedAddress> From<LinkLocalAddr<NonMappedAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: LinkLocalAddr<NonMappedAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: LinkLocalAddr<NonMappedAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: LinkLocalAddress + UnicastAddress + SpecifiedAddress> From<LinkLocalAddr<UnicastAddr<A>>> for SpecifiedAddr<A>
impl<A: LinkLocalAddress + UnicastAddress + SpecifiedAddress> From<LinkLocalAddr<UnicastAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: LinkLocalAddr<UnicastAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: LinkLocalAddr<UnicastAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: MulticastAddress + SpecifiedAddress> From<MulticastAddr<A>> for SpecifiedAddr<A>
impl<A: MulticastAddress + SpecifiedAddress> From<MulticastAddr<A>> for SpecifiedAddr<A>
source§fn from(addr: MulticastAddr<A>) -> SpecifiedAddr<A>
fn from(addr: MulticastAddr<A>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: MulticastAddress + LinkLocalAddress + SpecifiedAddress> From<MulticastAddr<LinkLocalAddr<A>>> for SpecifiedAddr<A>
impl<A: MulticastAddress + LinkLocalAddress + SpecifiedAddress> From<MulticastAddr<LinkLocalAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: MulticastAddr<LinkLocalAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: MulticastAddr<LinkLocalAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: MulticastAddress + MappedAddress + SpecifiedAddress> From<MulticastAddr<NonMappedAddr<A>>> for SpecifiedAddr<A>
impl<A: MulticastAddress + MappedAddress + SpecifiedAddress> From<MulticastAddr<NonMappedAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: MulticastAddr<NonMappedAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: MulticastAddr<NonMappedAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: MappedAddress + BroadcastAddress + SpecifiedAddress> From<NonMappedAddr<BroadcastAddr<A>>> for SpecifiedAddr<A>
impl<A: MappedAddress + BroadcastAddress + SpecifiedAddress> From<NonMappedAddr<BroadcastAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: NonMappedAddr<BroadcastAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: NonMappedAddr<BroadcastAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: MappedAddress + LinkLocalAddress + SpecifiedAddress> From<NonMappedAddr<LinkLocalAddr<A>>> for SpecifiedAddr<A>
impl<A: MappedAddress + LinkLocalAddress + SpecifiedAddress> From<NonMappedAddr<LinkLocalAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: NonMappedAddr<LinkLocalAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: NonMappedAddr<LinkLocalAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: MappedAddress + MulticastAddress + SpecifiedAddress> From<NonMappedAddr<MulticastAddr<A>>> for SpecifiedAddr<A>
impl<A: MappedAddress + MulticastAddress + SpecifiedAddress> From<NonMappedAddr<MulticastAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: NonMappedAddr<MulticastAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: NonMappedAddr<MulticastAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: MappedAddress + UnicastAddress + SpecifiedAddress> From<NonMappedAddr<UnicastAddr<A>>> for SpecifiedAddr<A>
impl<A: MappedAddress + UnicastAddress + SpecifiedAddress> From<NonMappedAddr<UnicastAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: NonMappedAddr<UnicastAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: NonMappedAddr<UnicastAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: IpAddress> From<SpecifiedAddr<A>> for IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>>
impl<A: IpAddress> From<SpecifiedAddr<A>> for IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>>
source§fn from(
addr: SpecifiedAddr<A>
) -> IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>>
fn from( addr: SpecifiedAddr<A> ) -> IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>>
Converts to this type from the input type.
source§impl<A: IpAddress> From<SpecifiedAddr<A>> for SpecifiedAddr<IpAddr>
impl<A: IpAddress> From<SpecifiedAddr<A>> for SpecifiedAddr<IpAddr>
source§fn from(addr: SpecifiedAddr<A>) -> SpecifiedAddr<IpAddr>
fn from(addr: SpecifiedAddr<A>) -> SpecifiedAddr<IpAddr>
Converts to this type from the input type.
source§impl From<SpecifiedAddr<IpAddr>> for IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>>
impl From<SpecifiedAddr<IpAddr>> for IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>>
source§fn from(
addr: SpecifiedAddr<IpAddr>
) -> IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>>
fn from( addr: SpecifiedAddr<IpAddr> ) -> IpAddr<SpecifiedAddr<Ipv4Addr>, SpecifiedAddr<Ipv6Addr>>
Converts to this type from the input type.
source§impl<A: UnicastAddress + SpecifiedAddress> From<UnicastAddr<A>> for SpecifiedAddr<A>
impl<A: UnicastAddress + SpecifiedAddress> From<UnicastAddr<A>> for SpecifiedAddr<A>
source§fn from(addr: UnicastAddr<A>) -> SpecifiedAddr<A>
fn from(addr: UnicastAddr<A>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: UnicastAddress + LinkLocalAddress + SpecifiedAddress> From<UnicastAddr<LinkLocalAddr<A>>> for SpecifiedAddr<A>
impl<A: UnicastAddress + LinkLocalAddress + SpecifiedAddress> From<UnicastAddr<LinkLocalAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: UnicastAddr<LinkLocalAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: UnicastAddr<LinkLocalAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A: UnicastAddress + MappedAddress + SpecifiedAddress> From<UnicastAddr<NonMappedAddr<A>>> for SpecifiedAddr<A>
impl<A: UnicastAddress + MappedAddress + SpecifiedAddress> From<UnicastAddr<NonMappedAddr<A>>> for SpecifiedAddr<A>
source§fn from(addr: UnicastAddr<NonMappedAddr<A>>) -> SpecifiedAddr<A>
fn from(addr: UnicastAddr<NonMappedAddr<A>>) -> SpecifiedAddr<A>
Converts to this type from the input type.
source§impl<A, I: Ip> GenericOverIp<I> for SpecifiedAddr<A>
impl<A, I: Ip> GenericOverIp<I> for SpecifiedAddr<A>
§type Type = SpecifiedAddr<<I as Ip>::Addr>
type Type = SpecifiedAddr<<I as Ip>::Addr>
The type of
Self
when its IP-generic parameter is replaced with the
type NewIp
.source§impl<A: Hash> Hash for SpecifiedAddr<A>
impl<A: Hash> Hash for SpecifiedAddr<A>
source§impl IpAddrWitness for SpecifiedAddr<IpAddr>
impl IpAddrWitness for SpecifiedAddr<IpAddr>
§type V4 = SpecifiedAddr<Ipv4Addr>
type V4 = SpecifiedAddr<Ipv4Addr>
The IPv4-specific version of
Self
. Read more§type V6 = SpecifiedAddr<Ipv6Addr>
type V6 = SpecifiedAddr<Ipv6Addr>
The IPv6-specific version of
Self
. Read moresource§impl<A: IpAddress> IpAddressWitness<A> for SpecifiedAddr<A>
impl<A: IpAddress> IpAddressWitness<A> for SpecifiedAddr<A>
§type IpAddrWitness = SpecifiedAddr<IpAddr>
type IpAddrWitness = SpecifiedAddr<IpAddr>
The type-erased version of
Self
. Read moresource§impl<A: LinkLocalAddress> LinkLocalAddress for SpecifiedAddr<A>
impl<A: LinkLocalAddress> LinkLocalAddress for SpecifiedAddr<A>
source§fn is_link_local(&self) -> bool
fn is_link_local(&self) -> bool
Is this a link-local address? Read more
source§impl<A: MappedAddress> MappedAddress for SpecifiedAddr<A>
impl<A: MappedAddress> MappedAddress for SpecifiedAddr<A>
source§fn is_non_mapped(&self) -> bool
fn is_non_mapped(&self) -> bool
Is this a non-mapped address?
source§impl<A: MulticastAddress> MulticastAddress for SpecifiedAddr<A>
impl<A: MulticastAddress> MulticastAddress for SpecifiedAddr<A>
source§fn is_multicast(&self) -> bool
fn is_multicast(&self) -> bool
Is this a unicast address? Read more
source§impl<A: Ord> Ord for SpecifiedAddr<A>
impl<A: Ord> Ord for SpecifiedAddr<A>
source§fn cmp(&self, other: &SpecifiedAddr<A>) -> Ordering
fn cmp(&self, other: &SpecifiedAddr<A>) -> Ordering
1.21.0 · source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere Self: Sized,
Compares and returns the maximum of two values. Read more
source§impl<A: PartialEq> PartialEq for SpecifiedAddr<A>
impl<A: PartialEq> PartialEq for SpecifiedAddr<A>
source§fn eq(&self, other: &SpecifiedAddr<A>) -> bool
fn eq(&self, other: &SpecifiedAddr<A>) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.source§impl<A: PartialOrd> PartialOrd for SpecifiedAddr<A>
impl<A: PartialOrd> PartialOrd for SpecifiedAddr<A>
source§fn partial_cmp(&self, other: &SpecifiedAddr<A>) -> Option<Ordering>
fn partial_cmp(&self, other: &SpecifiedAddr<A>) -> Option<Ordering>
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<A: ScopeableAddress> ScopeableAddress for SpecifiedAddr<A>
impl<A: ScopeableAddress> ScopeableAddress for SpecifiedAddr<A>
source§impl<A: SpecifiedAddress> TransposableWitness<A> for SpecifiedAddr<A>
impl<A: SpecifiedAddress> TransposableWitness<A> for SpecifiedAddr<A>
§type Map<T> = SpecifiedAddr<T>
type Map<T> = SpecifiedAddr<T>
Maps the type wrapped by this witness.
source§impl<A: MappedAddress + SpecifiedAddress> TryFrom<NonMappedAddr<A>> for SpecifiedAddr<A>
impl<A: MappedAddress + SpecifiedAddress> TryFrom<NonMappedAddr<A>> for SpecifiedAddr<A>
source§fn try_from(addr: NonMappedAddr<A>) -> Result<SpecifiedAddr<A>, ()>
fn try_from(addr: NonMappedAddr<A>) -> Result<SpecifiedAddr<A>, ()>
Performs the conversion.
source§impl<A: SpecifiedAddress + BroadcastAddress> TryFrom<SpecifiedAddr<A>> for BroadcastAddr<A>
impl<A: SpecifiedAddress + BroadcastAddress> TryFrom<SpecifiedAddr<A>> for BroadcastAddr<A>
source§fn try_from(addr: SpecifiedAddr<A>) -> Result<BroadcastAddr<A>, ()>
fn try_from(addr: SpecifiedAddr<A>) -> Result<BroadcastAddr<A>, ()>
Performs the conversion.
source§impl<A: SpecifiedAddress + LinkLocalAddress> TryFrom<SpecifiedAddr<A>> for LinkLocalAddr<A>
impl<A: SpecifiedAddress + LinkLocalAddress> TryFrom<SpecifiedAddr<A>> for LinkLocalAddr<A>
source§fn try_from(addr: SpecifiedAddr<A>) -> Result<LinkLocalAddr<A>, ()>
fn try_from(addr: SpecifiedAddr<A>) -> Result<LinkLocalAddr<A>, ()>
Performs the conversion.
source§impl<A: SpecifiedAddress + LinkLocalBroadcastAddress> TryFrom<SpecifiedAddr<A>> for LinkLocalBroadcastAddr<A>
impl<A: SpecifiedAddress + LinkLocalBroadcastAddress> TryFrom<SpecifiedAddr<A>> for LinkLocalBroadcastAddr<A>
source§fn try_from(addr: SpecifiedAddr<A>) -> Result<LinkLocalBroadcastAddr<A>, ()>
fn try_from(addr: SpecifiedAddr<A>) -> Result<LinkLocalBroadcastAddr<A>, ()>
Performs the conversion.
source§impl<A: SpecifiedAddress + LinkLocalMulticastAddress> TryFrom<SpecifiedAddr<A>> for LinkLocalMulticastAddr<A>
impl<A: SpecifiedAddress + LinkLocalMulticastAddress> TryFrom<SpecifiedAddr<A>> for LinkLocalMulticastAddr<A>
source§fn try_from(addr: SpecifiedAddr<A>) -> Result<LinkLocalMulticastAddr<A>, ()>
fn try_from(addr: SpecifiedAddr<A>) -> Result<LinkLocalMulticastAddr<A>, ()>
Performs the conversion.
source§impl<A: SpecifiedAddress + LinkLocalUnicastAddress> TryFrom<SpecifiedAddr<A>> for LinkLocalUnicastAddr<A>
impl<A: SpecifiedAddress + LinkLocalUnicastAddress> TryFrom<SpecifiedAddr<A>> for LinkLocalUnicastAddr<A>
source§fn try_from(addr: SpecifiedAddr<A>) -> Result<LinkLocalUnicastAddr<A>, ()>
fn try_from(addr: SpecifiedAddr<A>) -> Result<LinkLocalUnicastAddr<A>, ()>
Performs the conversion.
source§impl<A: SpecifiedAddress + MulticastAddress> TryFrom<SpecifiedAddr<A>> for MulticastAddr<A>
impl<A: SpecifiedAddress + MulticastAddress> TryFrom<SpecifiedAddr<A>> for MulticastAddr<A>
source§fn try_from(addr: SpecifiedAddr<A>) -> Result<MulticastAddr<A>, ()>
fn try_from(addr: SpecifiedAddr<A>) -> Result<MulticastAddr<A>, ()>
Performs the conversion.
source§impl<A: SpecifiedAddress + MappedAddress> TryFrom<SpecifiedAddr<A>> for NonMappedAddr<A>
impl<A: SpecifiedAddress + MappedAddress> TryFrom<SpecifiedAddr<A>> for NonMappedAddr<A>
source§fn try_from(addr: SpecifiedAddr<A>) -> Result<NonMappedAddr<A>, ()>
fn try_from(addr: SpecifiedAddr<A>) -> Result<NonMappedAddr<A>, ()>
Performs the conversion.
source§impl<A: MappedAddress + SpecifiedAddress> TryFrom<SpecifiedAddr<A>> for NonMappedAddr<SpecifiedAddr<A>>
impl<A: MappedAddress + SpecifiedAddress> TryFrom<SpecifiedAddr<A>> for NonMappedAddr<SpecifiedAddr<A>>
source§fn try_from(
addr: SpecifiedAddr<A>
) -> Result<NonMappedAddr<SpecifiedAddr<A>>, ()>
fn try_from( addr: SpecifiedAddr<A> ) -> Result<NonMappedAddr<SpecifiedAddr<A>>, ()>
Performs the conversion.
source§impl<A: SpecifiedAddress + UnicastAddress> TryFrom<SpecifiedAddr<A>> for UnicastAddr<A>
impl<A: SpecifiedAddress + UnicastAddress> TryFrom<SpecifiedAddr<A>> for UnicastAddr<A>
source§fn try_from(addr: SpecifiedAddr<A>) -> Result<UnicastAddr<A>, ()>
fn try_from(addr: SpecifiedAddr<A>) -> Result<UnicastAddr<A>, ()>
Performs the conversion.
source§impl<A: UnicastAddress> UnicastAddress for SpecifiedAddr<A>
impl<A: UnicastAddress> UnicastAddress for SpecifiedAddr<A>
source§fn is_unicast(&self) -> bool
fn is_unicast(&self) -> bool
Is this a unicast address? Read more
source§impl<A: SpecifiedAddress> Witness<A> for SpecifiedAddr<A>
impl<A: SpecifiedAddress> Witness<A> for SpecifiedAddr<A>
source§unsafe fn new_unchecked(addr: A) -> SpecifiedAddr<A>
unsafe fn new_unchecked(addr: A) -> SpecifiedAddr<A>
Constructs a new witness type without checking to see if
addr
actually
satisfies the required property. Read moresource§fn from_witness<W: Witness<A>>(addr: W) -> Option<Self>
fn from_witness<W: Witness<A>>(addr: W) -> Option<Self>
Constructs a new witness type from an existing witness type. Read more
source§fn transpose<T>(self) -> A::Map<Self::Map<T>>where
Self: TransposableWitness<A>,
A: TransposableWitness<T>,
Self::Map<T>: Witness<T>,
A::Map<Self::Map<T>>: Witness<Self::Map<T>>,
fn transpose<T>(self) -> A::Map<Self::Map<T>>where Self: TransposableWitness<A>, A: TransposableWitness<T>, Self::Map<T>: Witness<T>, A::Map<Self::Map<T>>: Witness<Self::Map<T>>,
Transposes this witness type with another witness type layered inside of
it.
(e.g. UnicastAddr<SpecifiedAddr> -> SpecifiedAddr<UnicastAddr>)
impl<A: Copy> Copy for SpecifiedAddr<A>
impl<A: Eq> Eq for SpecifiedAddr<A>
impl<A> StructuralEq for SpecifiedAddr<A>
impl<A> StructuralPartialEq for SpecifiedAddr<A>
Auto Trait Implementations§
impl<A> RefUnwindSafe for SpecifiedAddr<A>where A: RefUnwindSafe,
impl<A> Send for SpecifiedAddr<A>where A: Send,
impl<A> Sync for SpecifiedAddr<A>where A: Sync,
impl<A> Unpin for SpecifiedAddr<A>where A: Unpin,
impl<A> UnwindSafe for SpecifiedAddr<A>where A: UnwindSafe,
Blanket Implementations§
source§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