Trait serpente::sercom::v2::GetOptionalPad

pub trait GetOptionalPad<S>: OptionalPinId where
    S: Sercom, {
    type PadNum: OptionalPadNum;
    type Pad: OptionalPad;
}

Type-level function mapping OptionalPinIds to their corresponding OptionalPads

This trait acts as a [type-level function] mapping OptionalPinIds to their corresponding OptionalPad. In pseudo-Rust, it is the type-level equivalent of starting with Option<PinId> and calling .map(GetPad) to recover an Option<Pad>.

Associated Types

type PadNum: OptionalPadNum

type Pad: OptionalPad

Implementations on Foreign Types

impl<S> GetOptionalPad<S> for NoneT where
    S: Sercom, 

type PadNum = NoneT

type Pad = NoneT

Implementors

impl<S, I> GetOptionalPad<S> for I where
    I: PinId + GetPad<S>,
    S: Sercom,
    Pin<I, <I as GetPad<S>>::PinMode>: IsPad, 

type PadNum = <I as GetPad<S>>::PadNum

type Pad = Pin<I, <I as GetPad<S>>::PinMode>