feat(tket2-hseries): cli extension dumping (#584)

Closes #556

---------

Co-authored-by: Douglas Wilson <[email protected]>

Author: ss2165

.github/workflows/ci.yml

@@ -278,11 +278,34 @@ jobs:
           flags: python
           token: ${{ secrets.CODECOV_TOKEN }}
 
+  # Ensure that serialized extensions match rust implementation
+  tket2-extensions:
+    needs: [changes, tests-rs-stable-all-features]
+    if: ${{ needs.changes.outputs.rust == 'true' && github.event_name != 'merge_group' }}
+    name: Check standard extensions
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: mozilla-actions/[email protected]
+      - name: Install stable toolchain
+        uses: dtolnay/rust-toolchain@stable
+      - uses: extractions/setup-just@v2
+      - name: Generate the updated definitions
+        run: just gen-extensions
+      - name: Check if the declarations are up to date
+        run: |
+          git diff --exit-code --name-only tket2-py/tket2/extensions/_json_defs
+          if [ $? -ne 0 ]; then
+            echo "The serialized standard extensions are not up to date"
+            echo "Please run 'just gen-extensions' and commit the changes"
+            exit 1
+          fi
+
   # This is a meta job to mark successful completion of the required checks,
   # even if they are skipped due to no changes in the relevant files.
   required-checks:
     name: Required checks 🦀+🐍
-    needs: [changes, check-rs, check-py, tests-rs-stable-no-features, tests-rs-stable-all-features, tests-py]
+    needs: [changes, check-rs, check-py, tests-rs-stable-no-features, tests-rs-stable-all-features, tests-py, tket2-extensions]
     if: ${{ !cancelled() }}
     runs-on: ubuntu-latest
     steps:

Cargo.lock

@@ -28,6 +28,7 @@ missing_docs = "warn"
 # Make sure to run `just recompile-eccs` if the hugr serialisation format changes.
 hugr = "0.12.1"
 hugr-core = "0.9.1"
+hugr-cli = "0.6.0"
 portgraph = "0.12"
 pyo3 = "0.21.2"
 itertools = "0.13.0"

Cargo.toml

@@ -44,6 +44,9 @@ coverage language="[rust|python]": (_run_lang language \
 recompile-eccs:
     scripts/compile-test-eccs.sh
 
+# Generate serialized declarations for the tket2 extensions
+gen-extensions:
+    cargo run -p tket2-hseries gen-extensions -o tket2-py/tket2/extensions/_json_defs
 
 # Runs a rust and a python command, depending on the `language` variable.
 #

justfile

@@ -13,6 +13,14 @@ description = "TKET2 tool for preparing and validating `Hugr`s for compilation t
 keywords = ["Quantum", "Quantinuum"]
 categories = ["compilers"]
 
+[features]
+default = ["cli"]
+cli = ["dep:clap", "dep:hugr-cli"]
+
+[[bin]]
+name = "tket2-hseries"
+required-features = ["cli"]
+
 [dependencies]
 hugr.workspace = true
 tket2 = { path = "../tket2", version = "0.2.0" }
@@ -24,6 +32,8 @@ strum.workspace = true
 strum_macros.workspace = true
 thiserror.workspace = true
 itertools.workspace = true
+clap = { workspace = true, optional = true}
+hugr-cli = { workspace = true, optional = true }
 
 [dev-dependencies]
 cool_asserts.workspace = true

tket2-hseries/Cargo.toml

@@ -0,0 +1,26 @@
+//! CLI for tket2-hseries
+
+use clap::Parser as _;
+use hugr::extension::ExtensionRegistry;
+use tket2_hseries::cli::CliArgs;
+
+fn main() {
+    match CliArgs::parse() {
+        CliArgs::GenExtensions(args) => {
+            let reg = ExtensionRegistry::try_new([
+                tket2::extension::TKET2_EXTENSION.to_owned(),
+                tket2::extension::angle::ANGLE_EXTENSION.to_owned(),
+                tket2_hseries::extension::hseries::EXTENSION.to_owned(),
+                tket2_hseries::extension::futures::EXTENSION.to_owned(),
+                tket2_hseries::extension::result::EXTENSION.to_owned(),
+            ])
+            .unwrap();
+
+            args.run_dump(&reg);
+        }
+        _ => {
+            eprintln!("Unknown command");
+            std::process::exit(1);
+        }
+    };
+}

tket2-hseries/src/bin/tket2-hseries.rs

@@ -0,0 +1,14 @@
+//! CLI tools for tket2-hseries.
+
+use clap::Parser;
+
+/// CLI arguments.
+#[derive(Parser, Debug)]
+#[clap(version = "1.0", long_about = None)]
+#[clap(about = "tket2-hseries CLI tools.")]
+#[group(id = "tket2-hseries")]
+#[non_exhaustive]
+pub enum CliArgs {
+    /// Generate serialized extensions.
+    GenExtensions(hugr_cli::extensions::ExtArgs),
+}

tket2-hseries/src/cli.rs

@@ -15,6 +15,8 @@ use thiserror::Error;
 use extension::{futures::FutureOpDef, hseries::HSeriesOp};
 use lazify_measure::{LazifyMeasurePass, LazifyMeasurePassError};
 
+#[cfg(feature = "cli")]
+pub mod cli;
 pub mod extension;
 
 pub mod lazify_measure;