Wigner function approach to single electron coherence in quantum Hall edge channels