Enum MaybeDualStack

pub enum MaybeDualStack<DS, NDS> {
    DualStack(DS),
    NotDualStack(NDS),
}

Control flow type containing either a dual-stack or non-dual-stack context.

This type exists to provide nice names to the result of [BoundStateContext::dual_stack_context], and to allow generic code to match on when checking whether a socket protocol and IP version support dual-stack operation. If dual-stack operation is supported, a MaybeDualStack::DualStack value will be held, otherwise a NonDualStack value.

Note that the templated types to not have trait bounds; those are provided by the trait with the dual_stack_context function.

In monomorphized code, this type frequently has exactly one template parameter that is uninstantiable (it contains an instance of core::convert::Infallible or some other empty enum, or a reference to the same)! That lets the compiler optimize it out completely, creating no actual runtime overhead.

Variants

DualStack(DS)

NotDualStack(NDS)

Trait Implementations

impl<DS: Debug, NDS: Debug> Debug for MaybeDualStack<DS, NDS>

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

Formats the value using the given formatter.

impl<I: DualStackIpExt, DS: GenericOverIp<I>, NDS: GenericOverIp<I>> GenericOverIp<I> for MaybeDualStack<DS, NDS>

type Type = MaybeDualStack<<DS as GenericOverIp<I>>::Type, <NDS as GenericOverIp<I>>::Type>

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