Struct net_types::NonMappedAddr

pub struct NonMappedAddr<A>(/* private fields */);

An address which is guaranteed to be non_mapped.

NonMappedAddr wraps an address of type A and guarantees that it is a non_mapped address. Note that this guarantee is contingent on a correct implementation of the MappedAddress trait. Since that trait is not unsafe, unsafe code may NOT rely on this guarantee for its soundness.

Implementations

impl<A: MappedAddress> NonMappedAddr<A>

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: Witness<A>>(addr: W) -> Option<NonMappedAddr<A>>

Constructs a new NonMappedAddr from a witness type.

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

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: MappedAddress + SpecifiedAddress> NonMappedAddr<SpecifiedAddr<A>>

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

Constructs a new NonMappedAddr<SpecifiedAddr<A>>.

new_specified(addr) is equivalent to SpecifiedAddr::new(addr).and_then(NonMappedAddr::new)).

impl<A: MappedAddress + UnicastAddress> NonMappedAddr<UnicastAddr<A>>

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

Constructs a new NonMappedAddr<UnicastAddr<A>>.

new_unicast(addr) is equivalent to UnicastAddr::new(addr).and_then(NonMappedAddr::new)).

impl<A: MappedAddress + MulticastAddress> NonMappedAddr<MulticastAddr<A>>

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

Constructs a new NonMappedAddr<MulticastAddr<A>>.

new_multicast(addr) is equivalent to MulticastAddr::new(addr).and_then(NonMappedAddr::new)).

impl<A: MappedAddress + BroadcastAddress> NonMappedAddr<BroadcastAddr<A>>

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

Constructs a new NonMappedAddr<BroadcastAddr<A>>.

new_broadcast(addr) is equivalent to BroadcastAddr::new(addr).and_then(NonMappedAddr::new)).

impl<A: MappedAddress + LinkLocalAddress> NonMappedAddr<LinkLocalAddr<A>>

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

Constructs a new NonMappedAddr<LinkLocalAddr<A>>.

new_link_local(addr) is equivalent to LinkLocalAddr::new(addr).and_then(NonMappedAddr::new)).

Trait Implementations

impl<A: MappedAddress> AsRef<A> for NonMappedAddr<A>

fn as_ref(&self) -> &A

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

impl<A: MappedAddress + BroadcastAddress> AsRef<A> for NonMappedAddr<BroadcastAddr<A>>

fn as_ref(&self) -> &A

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

impl<A: MappedAddress + LinkLocalAddress> AsRef<A> for NonMappedAddr<LinkLocalAddr<A>>

fn as_ref(&self) -> &A

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

impl<A: MappedAddress + MulticastAddress> AsRef<A> for NonMappedAddr<MulticastAddr<A>>

fn as_ref(&self) -> &A

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

impl<A: MappedAddress + SpecifiedAddress> AsRef<A> for NonMappedAddr<SpecifiedAddr<A>>

fn as_ref(&self) -> &A

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

impl<A: MappedAddress + UnicastAddress> AsRef<A> for NonMappedAddr<UnicastAddr<A>>

fn as_ref(&self) -> &A

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

impl<A: MappedAddress> AsRef<NonMappedAddr<A>> for NonMappedAddr<A>

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

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

impl<A: BroadcastAddress> BroadcastAddress for NonMappedAddr<A>

fn is_broadcast(&self) -> bool

Is this a broadcast address?

impl<A: Clone> Clone for NonMappedAddr<A>

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

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

Formats the value using the given formatter.

impl<A: MappedAddress> Deref for NonMappedAddr<A>

type Target = A

The resulting type after dereferencing.

fn deref(&self) -> &A

Dereferences the value.

impl<A: Display> Display for NonMappedAddr<A>

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

Formats the value using the given formatter.

impl From<IpAddr<NonMappedAddr<Ipv4Addr>, NonMappedAddr<Ipv6Addr>>> for NonMappedAddr<IpAddr>

fn from( addr: IpAddr<NonMappedAddr<Ipv4Addr>, NonMappedAddr<Ipv6Addr>> ) -> NonMappedAddr<IpAddr>

Converts to this type from the input type.

impl<A: IpAddress> From<NonMappedAddr<A>> for IpAddr<NonMappedAddr<Ipv4Addr>, NonMappedAddr<Ipv6Addr>>

fn from( addr: NonMappedAddr<A> ) -> IpAddr<NonMappedAddr<Ipv4Addr>, NonMappedAddr<Ipv6Addr>>

Converts to this type from the input type.

impl<A: Into<Ipv4Addr> + MappedAddress + Copy> From<NonMappedAddr<A>> for Ipv4Addr

fn from(addr: NonMappedAddr<A>) -> Ipv4Addr

Converts to this type from the input type.

impl<A: Into<Ipv6Addr> + MappedAddress + Copy> From<NonMappedAddr<A>> for Ipv6Addr

fn from(addr: NonMappedAddr<A>) -> Ipv6Addr

Converts to this type from the input type.

impl<A: IpAddress> From<NonMappedAddr<A>> for NonMappedAddr<IpAddr>

fn from(addr: NonMappedAddr<A>) -> NonMappedAddr<IpAddr>

Converts to this type from the input type.

impl<A: MappedAddress + BroadcastAddress + SpecifiedAddress> From<NonMappedAddr<BroadcastAddr<A>>> for SpecifiedAddr<A>

fn from(addr: NonMappedAddr<BroadcastAddr<A>>) -> SpecifiedAddr<A>

Converts to this type from the input type.

impl From<NonMappedAddr<IpAddr>> for IpAddr<NonMappedAddr<Ipv4Addr>, NonMappedAddr<Ipv6Addr>>

fn from( addr: NonMappedAddr<IpAddr> ) -> IpAddr<NonMappedAddr<Ipv4Addr>, NonMappedAddr<Ipv6Addr>>

Converts to this type from the input type.

impl<A: MappedAddress + LinkLocalAddress + SpecifiedAddress> From<NonMappedAddr<LinkLocalAddr<A>>> for SpecifiedAddr<A>

fn from(addr: NonMappedAddr<LinkLocalAddr<A>>) -> SpecifiedAddr<A>

Converts to this type from the input type.

impl<A: MappedAddress + MulticastAddress + SpecifiedAddress> From<NonMappedAddr<MulticastAddr<A>>> for SpecifiedAddr<A>

fn from(addr: NonMappedAddr<MulticastAddr<A>>) -> SpecifiedAddr<A>

Converts to this type from the input type.

impl<A: MappedAddress + UnicastAddress + SpecifiedAddress> From<NonMappedAddr<UnicastAddr<A>>> for SpecifiedAddr<A>

fn from(addr: NonMappedAddr<UnicastAddr<A>>) -> SpecifiedAddr<A>

Converts to this type from the input type.

impl<A: Hash> Hash for NonMappedAddr<A>

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

fn is_link_local(&self) -> bool

Is this a link-local address?

impl<A: MulticastAddress> MulticastAddress for NonMappedAddr<A>

fn is_multicast(&self) -> bool

Is this a unicast address?

impl<A: Ord> Ord for NonMappedAddr<A>

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 + PartialOrd,

Restrict a value to a certain interval.

impl<A: PartialEq> PartialEq for NonMappedAddr<A>

fn eq(&self, other: &NonMappedAddr<A>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<A: PartialOrd> PartialOrd for NonMappedAddr<A>

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

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl<A: ScopeableAddress> ScopeableAddress for NonMappedAddr<A>

type Scope = <A as ScopeableAddress>::Scope

The type of all non-global scopes.

fn scope(&self) -> Self::Scope

The scope of this address.

impl<A: SpecifiedAddress> SpecifiedAddress for NonMappedAddr<A>

fn is_specified(&self) -> bool

Is this a specified address?

impl<A: MappedAddress> TransposableWitness<A> for NonMappedAddr<A>

type Map<T> = NonMappedAddr<T>

Maps the type wrapped by this witness.

impl<A: BroadcastAddress + MappedAddress> TryFrom<BroadcastAddr<A>> for NonMappedAddr<A>

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: MappedAddress + BroadcastAddress> TryFrom<BroadcastAddr<A>> for NonMappedAddr<BroadcastAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Ipv4Addr> for NonMappedAddr<Ipv4Addr>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl TryFrom<Ipv6Addr> for NonMappedAddr<Ipv6Addr>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: LinkLocalAddress + MappedAddress> TryFrom<LinkLocalAddr<A>> for NonMappedAddr<A>

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: MappedAddress + LinkLocalAddress> TryFrom<LinkLocalAddr<A>> for NonMappedAddr<LinkLocalAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MulticastAddress + MappedAddress> TryFrom<MulticastAddr<A>> for NonMappedAddr<A>

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: MappedAddress + MulticastAddress> TryFrom<MulticastAddr<A>> for NonMappedAddr<MulticastAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + BroadcastAddress> TryFrom<NonMappedAddr<A>> for BroadcastAddr<A>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: BroadcastAddress + MappedAddress> TryFrom<NonMappedAddr<A>> for BroadcastAddr<NonMappedAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + LinkLocalAddress> TryFrom<NonMappedAddr<A>> for LinkLocalAddr<A>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + LinkLocalBroadcastAddress> TryFrom<NonMappedAddr<A>> for LinkLocalBroadcastAddr<A>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + LinkLocalMulticastAddress> TryFrom<NonMappedAddr<A>> for LinkLocalMulticastAddr<A>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: LinkLocalAddress + MappedAddress> TryFrom<NonMappedAddr<A>> for LinkLocalAddr<NonMappedAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + LinkLocalUnicastAddress> TryFrom<NonMappedAddr<A>> for LinkLocalUnicastAddr<A>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + MulticastAddress> TryFrom<NonMappedAddr<A>> for MulticastAddr<A>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MulticastAddress + MappedAddress> TryFrom<NonMappedAddr<A>> for MulticastAddr<NonMappedAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + BroadcastAddress> TryFrom<NonMappedAddr<A>> for NonMappedAddr<BroadcastAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + LinkLocalAddress> TryFrom<NonMappedAddr<A>> for NonMappedAddr<LinkLocalAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + MulticastAddress> TryFrom<NonMappedAddr<A>> for NonMappedAddr<MulticastAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + SpecifiedAddress> TryFrom<NonMappedAddr<A>> for NonMappedAddr<SpecifiedAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + UnicastAddress> TryFrom<NonMappedAddr<A>> for NonMappedAddr<UnicastAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + SpecifiedAddress> TryFrom<NonMappedAddr<A>> for SpecifiedAddr<A>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: MappedAddress + UnicastAddress> TryFrom<NonMappedAddr<A>> for UnicastAddr<A>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: UnicastAddress + MappedAddress> TryFrom<NonMappedAddr<A>> for UnicastAddr<NonMappedAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: SpecifiedAddress + MappedAddress> TryFrom<SpecifiedAddr<A>> for NonMappedAddr<A>

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: MappedAddress + SpecifiedAddress> TryFrom<SpecifiedAddr<A>> for NonMappedAddr<SpecifiedAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: UnicastAddress + MappedAddress> TryFrom<UnicastAddr<A>> for NonMappedAddr<A>

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: MappedAddress + UnicastAddress> TryFrom<UnicastAddr<A>> for NonMappedAddr<UnicastAddr<A>>

type Error = ()

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<A: UnicastAddress> UnicastAddress for NonMappedAddr<A>

fn is_unicast(&self) -> bool

Is this a unicast address?

impl<A: MappedAddress> Witness<A> for NonMappedAddr<A>

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: Witness<A>>(addr: W) -> Option<Self>

Constructs a new witness type from an existing witness type.

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: MappedAddress + BroadcastAddress> Witness<A> for NonMappedAddr<BroadcastAddr<A>>

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

Constructs a new witness type.

unsafe fn new_unchecked(addr: A) -> NonMappedAddr<BroadcastAddr<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: Witness<A>>(addr: W) -> Option<Self>

Constructs a new witness type from an existing witness type.

impl<A: MappedAddress + LinkLocalAddress> Witness<A> for NonMappedAddr<LinkLocalAddr<A>>

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

Constructs a new witness type.

unsafe fn new_unchecked(addr: A) -> NonMappedAddr<LinkLocalAddr<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: Witness<A>>(addr: W) -> Option<Self>

Constructs a new witness type from an existing witness type.

impl<A: MappedAddress + MulticastAddress> Witness<A> for NonMappedAddr<MulticastAddr<A>>

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

Constructs a new witness type.

unsafe fn new_unchecked(addr: A) -> NonMappedAddr<MulticastAddr<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: Witness<A>>(addr: W) -> Option<Self>

Constructs a new witness type from an existing witness type.

impl<A: MappedAddress + SpecifiedAddress> Witness<A> for NonMappedAddr<SpecifiedAddr<A>>

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

Constructs a new witness type.

unsafe fn new_unchecked(addr: A) -> 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: Witness<A>>(addr: W) -> Option<Self>

Constructs a new witness type from an existing witness type.

impl<A: MappedAddress + UnicastAddress> Witness<A> for NonMappedAddr<UnicastAddr<A>>

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: Witness<A>>(addr: W) -> Option<Self>

Constructs a new witness type from an existing witness type.

impl<A: Copy> Copy for NonMappedAddr<A>

impl<A: Eq> Eq for NonMappedAddr<A>

impl<A> StructuralPartialEq for NonMappedAddr<A>