feat: Lazify more flavours of measure ops.

Closes #740
CQCL · Jan 8, 2025 · 6319278 · 6319278
1 parent 981742c
commit 6319278
Show file tree

Hide file tree

Showing 2 changed files with 227 additions and 156 deletions.
diff --git a/tket2-hseries/src/extension/qsystem.rs b/tket2-hseries/src/extension/qsystem.rs
@@ -23,6 +23,7 @@ use hugr::{
     Extension, Wire,
 };
 
+use derive_more::Display;
 use lazy_static::lazy_static;
 use strum_macros::{EnumIter, EnumString, IntoStaticStr};
 
@@ -76,6 +77,7 @@ lazy_static! {
     EnumIter,
     IntoStaticStr,
     EnumString,
+    Display,
 )]
 #[allow(missing_docs)]
 #[non_exhaustive]
@@ -138,7 +140,9 @@ impl MakeOpDef for QSystemOp {
             QSystemOp::QFree => "Free a qubit (lose track of it).",
             QSystemOp::Reset => "Reset a qubit to the Z |0> eigenstate.",
             QSystemOp::MeasureReset => "Measure a qubit and reset it to the Z |0> eigenstate.",
-            QSystemOp::LazyMeasureReset => "Lazily measure a qubit and reset it to the Z |0> eigenstate.",
+            QSystemOp::LazyMeasureReset => {
+                "Lazily measure a qubit and reset it to the Z |0> eigenstate."
+            }
         }
         .to_string()
     }