Trait TransposableWitness

pub trait TransposableWitness<A>: Witness<A> {
    type Map<T>;
}

Witness types that can be transposed with other witness wrapper types.

Required Associated Types

type Map<T>

Maps the type wrapped by this witness.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<A: BroadcastAddress> TransposableWitness<A> for BroadcastAddr<A>

type Map<T> = BroadcastAddr<T>

impl<A: LinkLocalAddress> TransposableWitness<A> for LinkLocalAddr<A>

type Map<T> = LinkLocalAddr<T>

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

type Map<T> = NonMappedAddr<T>

impl<A: MulticastAddress> TransposableWitness<A> for MulticastAddr<A>

type Map<T> = MulticastAddr<T>

impl<A: MulticastAddress> TransposableWitness<A> for NonMulticastAddr<A>

type Map<T> = NonMulticastAddr<T>

impl<A: SpecifiedAddress> TransposableWitness<A> for SpecifiedAddr<A>

type Map<T> = SpecifiedAddr<T>

impl<A: UnicastAddress> TransposableWitness<A> for UnicastAddr<A>

type Map<T> = UnicastAddr<T>