R operation
Applies a rotation about the given Pauli axis, \begin{align} R_{\mu}(\theta) \mathrel{:=} e^{i \theta \sigma_{\mu} / 2}, \end{align} where $\mu \in {I, X, Y, Z}$.
operation R (pauli : Pauli, theta : Double, qubit : Qubit) : ()
 Functors

Adjoint Controlled
Input
 pauli
 Pauli
Pauli operator ($\mu$) to be exponentiated to form the rotation.
 theta
 Double
Angle about which the qubit is to be rotated.
 qubit
 Qubit
Qubit to which the gate should be applied.
Output
()
Remarks
When called with pauli = PauliI
, this operation applies
a global phase. This phase can be significant
when used with the Controlled
functor.