Type Alias Ipv6DeviceAddr

pub type Ipv6DeviceAddr = NonMappedAddr<UnicastAddr<Ipv6Addr>>;

An IPv6 address that witnesses properties needed to be assigned to a device.

Like IpDeviceAddr but with stricter witnesses that are permitted for IPv6 addresses.

Aliased Type

struct Ipv6DeviceAddr(/* private fields */);

Implementations

impl<A> NonMappedAddr<A>

pub const unsafe fn new_unchecked(addr: A) -> NonMappedAddr<A>

Constructs a new NonMappedAddr without checking to see if addr is actually non_mapped.

Safety

It is up to the caller to make sure that addr is non_mapped to avoid breaking the guarantees of NonMappedAddr. See NonMappedAddr for more details.

impl<A> NonMappedAddr<A>

where A: MappedAddress,

pub fn new(addr: A) -> Option<NonMappedAddr<A>>

Constructs a new NonMappedAddr.

new returns None if !addr.is_non_mapped().

pub fn from_witness<W>(addr: W) -> Option<NonMappedAddr<A>>

where W: Witness<A>,

Constructs a new NonMappedAddr from a witness type.

from_witness(witness) is equivalent to new(witness.into_addr()).

Trait Implementations

impl<A> AsRef<A> for NonMappedAddr<A>

where A: MappedAddress,

fn as_ref(&self) -> &A

Converts this type into a shared reference of the (usually inferred) input type.

impl<A> AsRef<A> for NonMappedAddr<UnicastAddr<A>>

where A: MappedAddress + UnicastAddress,

fn as_ref(&self) -> &A

Converts this type into a shared reference of the (usually inferred) input type.

impl<A> AsRef<NonMappedAddr<A>> for NonMappedAddr<A>

where A: MappedAddress,

fn as_ref(&self) -> &NonMappedAddr<A>

Converts this type into a shared reference of the (usually inferred) input type.

impl<A> BroadcastAddress for NonMappedAddr<A>

where A: BroadcastAddress,

fn is_broadcast(&self) -> bool

Is this a broadcast address?

impl<A> Clone for NonMappedAddr<A>

where A: Clone,

fn clone(&self) -> NonMappedAddr<A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A> Debug for NonMappedAddr<A>

where A: Debug,

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

Formats the value using the given formatter.

impl<A> Deref for NonMappedAddr<A>

where A: MappedAddress,

type Target = A

The resulting type after dereferencing.

fn deref(&self) -> &A

Dereferences the value.

impl<A> Display for NonMappedAddr<A>

where A: Display,

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

Formats the value using the given formatter.

impl<A> Hash for NonMappedAddr<A>

where A: Hash,

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

where __H: Hasher,

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> LinkLocalAddress for NonMappedAddr<A>

where A: LinkLocalAddress,

fn is_link_local(&self) -> bool

Is this a link-local address?

impl<A> MulticastAddress for NonMappedAddr<A>

where A: MulticastAddress,

fn is_multicast(&self) -> bool

Is this a multicast address?

fn is_non_multicast(&self) -> bool

Is this a non-multicast address? The inverse of is_multicast().

impl<A> Ord for NonMappedAddr<A>

where A: Ord,

fn cmp(&self, other: &NonMappedAddr<A>) -> 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<A> PartialEq for NonMappedAddr<A>

where A: PartialEq,

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

where A: PartialOrd,

fn partial_cmp(&self, other: &NonMappedAddr<A>) -> 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<A> ScopeableAddress for NonMappedAddr<A>

where A: ScopeableAddress,

type Scope = <A as ScopeableAddress>::Scope

The type of all non-global scopes.

fn scope(&self) -> <NonMappedAddr<A> as ScopeableAddress>::Scope

The scope of this address.

impl<A> SpecifiedAddress for NonMappedAddr<A>

where A: SpecifiedAddress,

fn is_specified(&self) -> bool

Is this a specified address?

impl<A> TransposableWitness<A> for NonMappedAddr<A>

where A: MappedAddress,

type Map<T> = NonMappedAddr<T>

Maps the type wrapped by this witness.

impl<A> TryFrom<BroadcastAddr<A>> for NonMappedAddr<A>

where A: BroadcastAddress + MappedAddress,

type Error = ()

The type returned in the event of a conversion error.

fn try_from(addr: BroadcastAddr<A>) -> Result<NonMappedAddr<A>, ()>

Performs the conversion.

impl<A> TryFrom<LinkLocalAddr<A>> for NonMappedAddr<A>

where A: LinkLocalAddress + MappedAddress,

type Error = ()

The type returned in the event of a conversion error.

fn try_from(addr: LinkLocalAddr<A>) -> Result<NonMappedAddr<A>, ()>

Performs the conversion.

impl<A> TryFrom<MulticastAddr<A>> for NonMappedAddr<A>

where A: MulticastAddress + MappedAddress,

type Error = ()

The type returned in the event of a conversion error.

fn try_from(addr: MulticastAddr<A>) -> Result<NonMappedAddr<A>, ()>

Performs the conversion.

impl<A> TryFrom<SpecifiedAddr<A>> for NonMappedAddr<A>

where A: SpecifiedAddress + MappedAddress,

type Error = ()

The type returned in the event of a conversion error.

fn try_from(addr: SpecifiedAddr<A>) -> Result<NonMappedAddr<A>, ()>

Performs the conversion.

impl<A> TryFrom<UnicastAddr<A>> for NonMappedAddr<A>

where A: UnicastAddress + MappedAddress,

type Error = ()

The type returned in the event of a conversion error.

fn try_from(addr: UnicastAddr<A>) -> Result<NonMappedAddr<A>, ()>

Performs the conversion.

impl<A> UnicastAddress for NonMappedAddr<A>

where A: UnicastAddress,

fn is_unicast(&self) -> bool

Is this a unicast address?

impl<A> Witness<A> for NonMappedAddr<A>

where A: MappedAddress,

fn new(addr: A) -> Option<NonMappedAddr<A>>

Constructs a new witness type.

unsafe fn new_unchecked(addr: A) -> NonMappedAddr<A>

Constructs a new witness type without checking to see if addr actually satisfies the required property.

fn into_addr(self) -> A

Consumes this witness and returns the contained A.

fn from_witness<W>(addr: W) -> Option<Self>

where W: Witness<A>,

Constructs a new witness type from an existing witness type.

fn get(&self) -> A

where A: Copy,

Gets a copy of the address.

fn transpose<T>(self) -> <A as TransposableWitness<T>>::Map<Self::Map<T>>

where Self: TransposableWitness<A>, A: TransposableWitness<T>, Self::Map<T>: Witness<T>, <A as TransposableWitness<T>>::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> Witness<A> for NonMappedAddr<UnicastAddr<A>>

where A: MappedAddress + UnicastAddress,

fn new(addr: A) -> Option<NonMappedAddr<UnicastAddr<A>>>

Constructs a new witness type.

unsafe fn new_unchecked(addr: A) -> NonMappedAddr<UnicastAddr<A>>

Constructs a new witness type without checking to see if addr actually satisfies the required property.

fn into_addr(self) -> A

Consumes this witness and returns the contained A.

fn from_witness<W>(addr: W) -> Option<Self>

where W: Witness<A>,

Constructs a new witness type from an existing witness type.

fn get(&self) -> A

where A: Copy,

Gets a copy of the address.

fn transpose<T>(self) -> <A as TransposableWitness<T>>::Map<Self::Map<T>>

where Self: TransposableWitness<A>, A: TransposableWitness<T>, Self::Map<T>: Witness<T>, <A as TransposableWitness<T>>::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 for NonMappedAddr<A>

where A: Copy,

impl<A> Eq for NonMappedAddr<A>

where A: Eq,

impl<A> StructuralPartialEq for NonMappedAddr<A>