A comprehensive study is presented on the Weyl-Wigner formalism for rotation-angle and angular-momentum variables: the elements of kinematics are extended, the elements of dynamics are established, and the implications of rotational perodicity and angular-momentum quantization are investigated. Particular attention is paid to discreteness, and two of its consequences are emphasized: the importance of evenness and oddness, and the need to use two difference operators in a discrete domain, whereas one differential operator suffices in a continuous domain. These consequences are shown to strongly distinguish the Weyl-Wiper formalism for rotation-angle and angular-momentum variables from the well-known Weyl-Wiper formalism for Cartesian-position and linear-momentum variables. The point is made clear that the first of these formalisms cannot be regarded as a trivial and straightforward extension of the second. The rotational Wigner function is derived as the only bilinear form of the state vector that is real, has the natural invariances for rotational motion, and yields the correct distributions for the rotation-angle and angular-momentum variables as well as the appropriate expression for the transition probability between states. The conditions for its uniqueness are thus established. Its properties are described in detail and, in particular, its uniform boundedness is demonstrated. The rotational Wiper function and the associated correspondence between quantum operators and classical-like functions, as well as the relations they obey, are explored and are written so as to clearly exhibit the distinct contributions of evenness and oddness in the discrete domain of the angular-momentum eigenvalues, thus providing a most natural way to account for periodicity. Using the derivative, which acts on the continuous rotation-angle variable, and the forward and backward differences, which act on the discrete angular-momentum variable, the equation of motion for the rotational Wigner function is established. This equation is detailed for the following Hamiltonian forms: those that depend only on the angular-momentum variable, including, in particular, the free rotator, and those that are in the cosine of the rotation-angle variable. It is verified that the Weyl-Wigner formalism for rotation-angle and angular-momentum variables has the correct nonperiodic limit and that it properly reduces to the Weyl-Wiper formalism for Cartesian-position and linear-momentum variables. In order to illustrate the formalism, a careful analysis is carried out for the rotational Wigner function representing the energy eigenstates of a hindered rotator whose Hamiltonian is the sum of a term in the absolute value of the angular-momentum variable with a term in the cosine of the rotation-angle variable. For this hindered rotator, and within the approximation of a large absolute value of the angular-momentum variable, the equation of motion for the rotational Wiper function is solved for its stationary solutions, and the time-independent Schrodinger equation is also solved.
