feat: Add support for V and Vdg.

guppylang/std/quantum/__init__.py

@@ -77,6 +77,11 @@ def t(q: qubit) -> None: ...
 def s(q: qubit) -> None: ...
 
 
+@guppy.hugr_op(quantum_op("V"))
+@no_type_check
+def v(q: qubit) -> None: ...
+
+
 @guppy.hugr_op(quantum_op("X"))
 @no_type_check
 def x(q: qubit) -> None: ...
@@ -102,6 +107,11 @@ def tdg(q: qubit) -> None: ...
 def sdg(q: qubit) -> None: ...
 
 
+@guppy.hugr_op(quantum_op("Vdg"))
+@no_type_check
+def vdg(q: qubit) -> None: ...
+
+
 @guppy.custom(RotationCompiler("Rz"))
 @no_type_check
 def rz(q: qubit, angle: angle) -> None: ...

guppylang/std/quantum/functional.py

@@ -53,6 +53,13 @@ def s(q: qubit @ owned) -> qubit:
     return q
 
 
+@guppy
+@no_type_check
+def v(q: qubit @ owned) -> qubit:
+    quantum.v(q)
+    return q
+
+
 @guppy
 @no_type_check
 def x(q: qubit @ owned) -> qubit:
@@ -88,6 +95,13 @@ def sdg(q: qubit @ owned) -> qubit:
     return q
 
 
+@guppy
+@no_type_check
+def vdg(q: qubit @ owned) -> qubit:
+    quantum.vdg(q)
+    return q
+
+
 @guppy
 @no_type_check
 def rz(q: qubit @ owned, angle: angle) -> qubit:

guppylang/std/quantum_functional.py

@@ -17,6 +17,8 @@
     t,
     tdg,
     toffoli,
+    v,
+    vdg,
     x,
     y,
     z,
@@ -29,11 +31,13 @@
     "cy",
     "t",
     "s",
+    "v",
     "x",
     "y",
     "z",
     "tdg",
     "sdg",
+    "vdg",
     "rz",
     "rx",
     "ry",

tests/integration/test_quantum.py

@@ -23,11 +23,13 @@
     h,
     t,
     s,
+    v,
     x,
     y,
     z,
     tdg,
     sdg,
+    vdg,
     rx,
     ry,
     rz,
@@ -57,11 +59,13 @@ def test(q: qubit @ owned) -> qubit:
         q = h(q)
         q = t(q)
         q = s(q)
+        q = v(q)
         q = x(q)
         q = y(q)
         q = z(q)
         q = tdg(q)
         q = sdg(q)
+        q = vdg(q)
         return q
 
     validate(guppy.compile(test))