Type Alias Ipv4DeviceAddr

pub type Ipv4DeviceAddr = NonMulticastAddr<NonMappedAddr<SpecifiedAddr<Ipv4Addr>>>;

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

These witnesses are the same that are held by IpDeviceAddr, however that type cannot be used here directly because we need Ipv4DeviceAddr to implement Witness<Ipv4Addr>. That implementation is not present for our new type IpDeviceAddr which wraps the true witnesses from the net-types crate.

Aliased Type

struct Ipv4DeviceAddr(/* private fields */);

Implementations

impl<A> NonMulticastAddr<A>

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

Constructs a new NonMulticastAddr without checking to see if addr is actually non-multicast.

Safety

It is up to the caller to make sure that addr is non-multicast to avoid breaking the guarantees of NonMulticastAddr. See NonMulticastAddr for more details.

impl<A> NonMulticastAddr<A>

where A: MulticastAddress,

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

Constructs a new NonMulticastAddr.

new returns None if !addr.is_non_multicast().

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

where W: Witness<A>,

Constructs a new NonMulticastAddr from a witness type.

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

Trait Implementations

impl<A> AsRef<A> for NonMulticastAddr<A>

where A: MulticastAddress,

fn as_ref(&self) -> &A

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

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

where A: MulticastAddress + MappedAddress,

fn as_ref(&self) -> &A

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

impl<A> AsRef<A> for NonMulticastAddr<NonMappedAddr<SpecifiedAddr<A>>>

where A: MulticastAddress + MappedAddress + SpecifiedAddress,

fn as_ref(&self) -> &A

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

impl<A> AsRef<NonMulticastAddr<A>> for NonMulticastAddr<A>

where A: MulticastAddress,

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

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

impl<A> Clone for NonMulticastAddr<A>

where A: Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A> Debug for NonMulticastAddr<A>

where A: Debug,

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

Formats the value using the given formatter.

impl<A> Deref for NonMulticastAddr<A>

where A: MulticastAddress,

type Target = A

The resulting type after dereferencing.

fn deref(&self) -> &A

Dereferences the value.

impl<A> Display for NonMulticastAddr<A>

where A: Display,

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

Formats the value using the given formatter.

impl<A> Hash for NonMulticastAddr<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> Ord for NonMulticastAddr<A>

where A: Ord,

fn cmp(&self, other: &NonMulticastAddr<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 NonMulticastAddr<A>

where A: PartialEq,

fn eq(&self, other: &NonMulticastAddr<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 NonMulticastAddr<A>

where A: PartialOrd,

fn partial_cmp(&self, other: &NonMulticastAddr<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> TransposableWitness<A> for NonMulticastAddr<A>

where A: MulticastAddress,

type Map<T> = NonMulticastAddr<T>

Maps the type wrapped by this witness.

impl<A> Witness<A> for NonMulticastAddr<A>

where A: MulticastAddress,

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

Constructs a new witness type.

unsafe fn new_unchecked(addr: A) -> NonMulticastAddr<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 NonMulticastAddr<NonMappedAddr<A>>

where A: MulticastAddress + MappedAddress,

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

Constructs a new witness type.

unsafe fn new_unchecked(addr: A) -> NonMulticastAddr<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 NonMulticastAddr<NonMappedAddr<SpecifiedAddr<A>>>

where A: MulticastAddress + MappedAddress + SpecifiedAddress,

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

Constructs a new witness type.

unsafe fn new_unchecked( addr: A, ) -> NonMulticastAddr<NonMappedAddr<SpecifiedAddr<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 NonMulticastAddr<A>

where A: Copy,

impl<A> Eq for NonMulticastAddr<A>

where A: Eq,

impl<A> StructuralPartialEq for NonMulticastAddr<A>