Module serpente::sercom::v2::pad

Define a SERCOM pad type

This module helps configure Pins as SERCOM pads. It provides type-level tools to convert Pins to the correct PinMode and to enforce type-level constraints at compile-time.

Overview

A SERCOM pad is defined by two types, its corresponding Sercom instance and its PadNum, from Pad0 to Pad3. However, a given SERCOM pad can usually be mapped to several possible PinIds.

There are two primary traits defined in this module:

• The IsPad trait is implemented on Pin types that are properly configured as SERCOM pads, with PinMode AlternateC or AlternateD. It acts as both a type class for SERCOM pads and as a type-level function to recover the corresponding Sercom and PadNum types from the Pin.
• The GetPad trait maps each PinId to its corresponding, pad-related types. The PadMode alias uses GetPad to recover the corresponding PinMode for a given SERCOM pad, while the Pad alias recovers the configured Pin type.

Enums

Pad0

Type-level variant of PadNum representing SERCOM pad 0

Pad1

Type-level variant of PadNum representing SERCOM pad 1

Pad2

Type-level variant of PadNum representing SERCOM pad 2

Pad3

Type-level variant of PadNum representing SERCOM pad 3

Traits

GetOptionalPad

Type-level function mapping OptionalPinIds to their corresponding OptionalPads

GetPad

Type-level function mapping PinIds to SERCOM-pad-related types

IsPad

Type class for Pins configured as SERCOM pads

OptionalPad

Type-level equivalent of Option<Pad>

OptionalPadNum

Type-level equivalent of Option<PadNum>

PadNum

Type-level enum representing a SERCOM pad number

SomePad

Type-level equivalent of Some(Pad)

Type Definitions

Pad

Type alias to recover a Pin configured as a SERCOM pad in the correct PadMode

PadMode

Type alias using GetPad to recover the PinMode for a given SERCOM pad