File content as of revision 1:3d2fffa6e19f:

/*
 * Using STM32's counter peripherals to interface rotary encoders.
 * Encoders are supported on F4xx's TIM1,2,3,4,5. TIM2 & TIM5 have 32bit count, others 16bit.
 * Beware mbed uses TIM5 for system timer, others for PWM.
 * Check your platform's PeripheralPins.c & PeripheralNames.h if you need both PWM & encoders.
 *
 * Edit HAL_TIM_Encoder_MspInitFx.cpp to suit your mcu & board's available pinouts & pullups/downs.
 *
 * Thanks to:
 * http://petoknm.wordpress.com/2015/01/05/rotary-encoder-and-stm32/
 *
 * References:
 * http://www.st.com/st-web-ui/static/active/en/resource/technical/document/user_manual/DM00122015.pdf
 * http://www.st.com/st-web-ui/static/active/en/resource/technical/document/reference_manual/DM00096844.pdf
 * http://www.st.com/web/en/resource/technical/document/application_note/DM00042534.pdf
 * http://www.st.com/web/en/resource/technical/document/datasheet/DM00102166.pdf
 * 
 * David Lowe Jan 2015
 */

#include "mbed.h"
#include "counter.h"

TIM_IC_InitTypeDef counterSet1;
TIM_HandleTypeDef timer1;

int main()
{
    //examples
    //EncoderInit(TIM_IC_InitTypeDef counterSet, TIM_HandleTypeDef timer, TIM_TypeDef *TIMx, uint32_t maxcount);
    //counting on A-input only, 2 ticks per cycle, rolls over at 100
    CounterInit(counterSet1, timer1, TIM1, 0xffff);
    
    //counting on both A&B inputs, 4 ticks per cycle, full 32-bit count
    //EncoderInit(encoder2, timer2, TIM2, 0xffffffff, TIM_ENCODERMODE_TI12);

    //counting on B-input only, 2 ticks per cycle, full 16-bit count
    //EncoderInit(encoder3, timer3, TIM3, 0xffff, TIM_ENCODERMODE_TI2);
    
    //counting on both A&B inputs, 4 ticks per cycle, full 16-bit count
    //EncoderInit(encoder4, timer4, TIM4, 0xffff, TIM_ENCODERMODE_TI12);
    
    //TIM5 is used by mbed for systick
    //EncoderInit(encoder2, timer2, TIM5, 0xffffffff, TIM_ENCODERMODE_TI12);
    
    printf("STM HAL encoder demo\n\r");
    
    while(1) {
        int16_t count1;
        
        count1=TIM1->CNT; //OK 401 411 TICKER 030
        //count2=TIM2->CNT; //OK 401 411 N/A 030
        //count3=TIM3->CNT; //OK 401 411 030
        //count4=TIM4->CNT; //OK 401 NOK 411 N/A 030
        //count5=TIM5->CNT; //TICKER 401 411 N/A 030
        printf("%d\r\n", count1);
        wait(1.0);
    }
}