如果假设要依次间隔5s来读取三个io口的电平，然后根据电平高低判断led灯亮灭，HAL库该怎么写

您可以使用HAL库的定时器功能来实现定时读取IO口电平，判断LED灯亮灭的功能。下面是一个参考代码，您可以根据您的具体应用进行修改：

// 定义定时器句柄
TIM_HandleTypeDef htim;

// 定义IO口和LED灯的引脚号
#define IO1_PIN GPIO_PIN_0
#define IO1_PORT GPIOA
#define IO2_PIN GPIO_PIN_1
#define IO2_PORT GPIOA
#define IO3_PIN GPIO_PIN_2
#define IO3_PORT GPIOA
#define LED_PIN GPIO_PIN_3
#define LED_PORT GPIOA

// 定义IO口电平读取函数
uint8_t read_io_level(GPIO_TypeDef* GPIOx, uint16_t GPIO_Pin)
{
    return HAL_GPIO_ReadPin(GPIOx, GPIO_Pin);
}

// 定义LED灯亮灭函数
void set_led(uint8_t state)
{
    if (state == 0)
    {
        HAL_GPIO_WritePin(LED_PORT, LED_PIN, GPIO_PIN_RESET);
    }
    else
    {
        HAL_GPIO_WritePin(LED_PORT, LED_PIN, GPIO_PIN_SET);
    }
}

// 定义读取IO口电平并判断LED灯亮灭的函数
void read_io_and_set_led()
{
    uint8_t io1_level = read_io_level(IO1_PORT, IO1_PIN);
    uint8_t io2_level = read_io_level(IO2_PORT, IO2_PIN);
    uint8_t io3_level = read_io_level(IO3_PORT, IO3_PIN);
    
    if (io1_level == 1 && io2_level == 1 && io3_level == 1)
    {
        set_led(1);
    }
    else
    {
        set_led(0);
    }
}

// 定义定时器周期到达时的回调函数
void HAL_TIM_PeriodElapsedCallback(TIM_HandleTypeDef *htim)
{
    if (htim == &htim)
    {
        read_io_and_set_led();
    }
}

int main(void)
{
    // 初始化HAL库
    HAL_Init();

    // 初始化GPIO口和LED灯
    GPIO_InitTypeDef GPIO_InitStruct = {0};
    __HAL_RCC_GPIOA_CLK_ENABLE();
    GPIO_InitStruct.Pin = IO1_PIN | IO2_PIN | IO3_PIN | LED_PIN;
    GPIO_InitStruct.Mode = GPIO_MODE_OUTPUT_PP;
    GPIO_InitStruct.Pull = GPIO_NOPULL;
    GPIO_InitStruct.Speed = GPIO_SPEED_FREQ_HIGH;
    HAL_GPIO_Init(GPIOA, &GPIO_InitStruct);

    // 初始化定时器
    __HAL_RCC_TIM2_CLK_ENABLE();
    htim.Instance = TIM2;
    htim.Init.Prescaler = 7999;
    htim.Init.CounterMode = TIM_COUNTERMODE_UP;
    htim.Init.Period = 5000; // 5秒周期
    htim.Init.ClockDivision = TIM_CLOCKDIVISION_DIV1;
    HAL_TIM_Base_Init(&htim);
    HAL_TIM_Base_Start_IT(&htim);

    // 进入主循环
    while (1)
    {
        // do something
    }
}

上述代码中，定时器使用的是TIM2，定时器的周期为5秒，定时器的时钟频率为80MHz/(7999+1)=10kHz。在定时器的周期到达时，会调用`HAL_TIM_PeriodElapsedCallback`回调函数，该函数会读取IO口的电平并判断LED灯的亮灭状态，然后设置LED灯的状态。`read_io_level`函数用于读取IO口的电平，`set_led`函数用于设置LED灯的亮灭状态。