Weyl–Wigner representation of canonical equilibrium states