Module serpente::sercom::v2::pad

Type-level tools to configure SERCOM pads

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