feat(tket2-hseries): Lazify more flavours of measure ops (#742)

Closes #740 --------- Co-authored-by: Seyon Sivarajah <seyon.sivarajah@cambridgequantum.com>
CQCL · Jan 10, 2025 · f83db21 · f83db21
1 parent 1f126c0
commit f83db21
Show file tree

Hide file tree

Showing 5 changed files with 288 additions and 151 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/tket2-hseries/Cargo.toml b/tket2-hseries/Cargo.toml
@@ -39,6 +39,7 @@ derive_more = { workspace = true, features = [
     "from",
     "into",
 ] }
+delegate.workspace = true
 
 [dev-dependencies]
 cool_asserts.workspace = true

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]
-Original file line number
+Diff line change
@@ Expand Up / @@ -39,6 +39,7 @@ derive_more = { workspace = true, features = [ @@
         "from",
         "into",
     ] }
+    delegate.workspace = true
     [dev-dependencies]
     cool_asserts.workspace = true
@@ Expand Down @@