feat: Lazify more flavours of measure ops.

Closes #740
CQCL · Jan 8, 2025 · 1ca6044 · 1ca6044
1 parent 6ebb61a
commit 1ca6044
Show file tree

Hide file tree

Showing 2 changed files with 224 additions and 155 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]