Type Alias RoutableIpAddr

pub type RoutableIpAddr<A> = SocketIpAddr<A>;

An IP Address that witnesses properties needed to be routed.

Aliased Type

struct RoutableIpAddr<A>(/* private fields */);

Implementations

impl<A> SocketIpAddr<A>

where A: IpAddress,

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

Constructs a SocketIpAddr if the address is compliant, else None.

pub fn new_from_witness( addr: NonMappedAddr<SpecifiedAddr<A>>, ) -> SocketIpAddr<A>

Constructs a SocketIpAddr from the inner witness.

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

Constructs a SocketIpAddr without verify the address’s properties.

Safety

Callers must ensure that the addr is both a SpecifiedAddr and a NonMappedAddr.

pub const unsafe fn new_from_specified_unchecked( addr: SpecifiedAddr<A>, ) -> SocketIpAddr<A>

Like SocketIpAddr::new_unchecked, but the address is specified.

Safety

Callers must ensure that the addr is a NonMappedAddr.

pub fn addr(self) -> A

Returns the inner address, dropping all witnesses.

pub fn into_inner(self) -> NonMappedAddr<SpecifiedAddr<A>>

Returns the inner address, including all witness types.

pub fn new_from_multicast(addr: MulticastAddr<A>) -> SocketIpAddr<A>

Constructs a SocketIpAddr from the given multicast address.

impl SocketIpAddr<Ipv4Addr>

pub fn new_ipv4_specified( addr: SpecifiedAddr<Ipv4Addr>, ) -> SocketIpAddr<Ipv4Addr>

Constructs a SocketIpAddr from a given specified IPv4 address.

impl SocketIpAddr<Ipv6Addr>

pub fn new_from_ipv6_non_mapped_unicast( addr: NonMappedAddr<UnicastAddr<Ipv6Addr>>, ) -> SocketIpAddr<Ipv6Addr>

Constructs a SocketIpAddr from the given [Ipv6DeviceAddr].

pub fn new_from_ipv6_source( addr: Ipv6SourceAddr, ) -> Option<SocketIpAddr<Ipv6Addr>>

Optionally constructs a SocketIpAddr from the given Ipv6SourceAddr, returning None if the given addr is Unspecified.

Trait Implementations

impl<A> AsRef<SpecifiedAddr<A>> for SocketIpAddr<A>

where A: IpAddress,

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

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

impl<A> Clone for SocketIpAddr<A>

where A: Clone + IpAddress,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A> Debug for SocketIpAddr<A>

where A: IpAddress,

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

Formats the value using the given formatter.

impl<A> Display for SocketIpAddr<A>

where A: IpAddress,

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

Formats the value using the given formatter.

impl<A> From<IpDeviceAddr<A>> for SocketIpAddr<A>

where A: IpAddress,

fn from(addr: IpDeviceAddr<A>) -> SocketIpAddr<A>

Converts to this type from the input type.

impl<A, IpType> GenericOverIp<IpType> for SocketIpAddr<A>

where A: IpAddress, IpType: Ip, <IpType as Ip>::Addr: IpAddress,

type Type = SocketIpAddr<<IpType as Ip>::Addr>

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

impl<A> Hash for SocketIpAddr<A>

where A: Hash + IpAddress,

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> PartialEq for SocketIpAddr<A>

where A: PartialEq + IpAddress,

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

where A: IpAddress,

Allows SocketIpAddr to be used inside of a ZonedAddr.

type Scope = <A as ScopeableAddress>::Scope

The type of all non-global scopes.

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

The scope of this address.

impl<A> TryFrom<SpecifiedAddr<A>> for SocketIpAddr<A>

where A: IpAddress,

type Error = AddrIsMappedError

The type returned in the event of a conversion error.

fn try_from( addr: SpecifiedAddr<A>, ) -> Result<SocketIpAddr<A>, <SocketIpAddr<A> as TryFrom<SpecifiedAddr<A>>>::Error>

Performs the conversion.

impl<A> Copy for SocketIpAddr<A>

where A: Copy + IpAddress,

impl<A> Eq for SocketIpAddr<A>

where A: Eq + IpAddress,

impl<A> StructuralPartialEq for SocketIpAddr<A>

where A: IpAddress,