Module typelevel

Type-level interrupt infrastructure.

This module contains one type per interrupt. This is used for checking at compile time that the interrupts are correctly bound to HAL drivers.

As an end user, you shouldn’t need to use this module directly. Use the crate::bind_interrupts! macro to bind interrupts, and the [crate::interrupt] module to manually register interrupt handlers and manipulate interrupts directly (pending/unpending, enabling/disabling, setting the priority, etc…)

Enums

• ADC1
  ADC1 typelevel interrupt.
• DMA1_CHANNEL1
  DMA1_CHANNEL1 typelevel interrupt.
• DMA1_CHANNEL2
  DMA1_CHANNEL2 typelevel interrupt.
• DMA1_CHANNEL3
  DMA1_CHANNEL3 typelevel interrupt.
• DMA1_CHANNEL4
  DMA1_CHANNEL4 typelevel interrupt.
• DMA1_CHANNEL5
  DMA1_CHANNEL5 typelevel interrupt.
• DMA1_CHANNEL6
  DMA1_CHANNEL6 typelevel interrupt.
• DMA1_CHANNEL7
  DMA1_CHANNEL7 typelevel interrupt.
• EXTI0
  EXTI0 typelevel interrupt.
• EXTI1
  EXTI1 typelevel interrupt.
• EXTI2
  EXTI2 typelevel interrupt.
• EXTI3
  EXTI3 typelevel interrupt.
• EXTI4
  EXTI4 typelevel interrupt.
• EXTI9_5
  EXTI9_5 typelevel interrupt.
• EXTI15_10
  EXTI15_10 typelevel interrupt.
• FLASH
  FLASH typelevel interrupt.
• I2C1_ER
  I2C1_ER typelevel interrupt.
• I2C1_EV
  I2C1_EV typelevel interrupt.
• PVD
  PVD typelevel interrupt.
• RCC
  RCC typelevel interrupt.
• RTC
  RTC typelevel interrupt.
• RTC_ALARM
  RTC_ALARM typelevel interrupt.
• SPI1
  SPI1 typelevel interrupt.
• TAMPER
  TAMPER typelevel interrupt.
• TIM2
  TIM2 typelevel interrupt.
• TIM3
  TIM3 typelevel interrupt.
• USART1
  USART1 typelevel interrupt.
• USART2
  USART2 typelevel interrupt.
• WWDG
  WWDG typelevel interrupt.

Traits

• Binding
  Compile-time assertion that an interrupt has been bound to a handler.
• Handler
  Interrupt handler trait.
• Interrupt
  Type-level interrupt.