Python bindings for hugr-model.

Author: zrho

Cargo.lock

@@ -10,6 +10,7 @@ members = [
     "hugr-cli",
     "hugr-model",
     "hugr-llvm",
+    "hugr-py",
 ]
 default-members = ["hugr", "hugr-core", "hugr-passes", "hugr-cli", "hugr-model"]
 
@@ -76,6 +77,7 @@ pest = "2.7.12"
 pest_derive = "2.7.12"
 pretty = "0.12.3"
 pretty_assertions = "1.4.1"
+pyo3 = "0.23.4"
 
 [profile.dev.package]
 insta.opt-level = 3

Cargo.toml

@@ -66,7 +66,7 @@ impl std::ops::Deref for ConstF64 {
 impl ConstF64 {
     /// Name of the constructor for creating constant 64bit floats.
     #[cfg_attr(not(feature = "model_unstable"), allow(dead_code))]
-    pub(crate) const CTR_NAME: &'static str = "arithmetic.float.const-f64";
+    pub(crate) const CTR_NAME: &'static str = "arithmetic.float.const_f64";
 
     /// Create a new [`ConstF64`]
     pub fn new(value: f64) -> Self {

hugr-core/src/std_extensions/arithmetic/float_types.rs

@@ -4,7 +4,7 @@ use std::str::FromStr;
 
 use hugr::std_extensions::std_reg;
 use hugr_core::{export::export_hugr, import::import_hugr};
-use hugr_model::v0 as model;
+use hugr_model::v0::{self as model};
 
 fn roundtrip(source: &str) -> String {
     let bump = model::bumpalo::Bump::new();

hugr-core/tests/model.rs

@@ -29,6 +29,7 @@ pest_derive = { workspace = true }
 pretty = { workspace = true }
 smol_str = { workspace = true, features = ["serde"] }
 thiserror.workspace = true
+pyo3 = { workspace = true, optional = true }
 
 [lints]
 workspace = true

hugr-model/Cargo.toml

@@ -29,6 +29,8 @@ use super::{LinkName, Literal, RegionKind, SymbolName, VarName};
 
 mod parse;
 mod print;
+#[cfg(feature = "pyo3")]
+mod python;
 mod resolve;
 mod view;
 

hugr-model/src/v0/ast/mod.rs

@@ -444,3 +444,4 @@ impl_from_str!(Param, param, parse_param);
 impl_from_str!(Module, module, parse_module);
 impl_from_str!(SeqPart, part, parse_seq_part);
 impl_from_str!(Literal, literal, parse_literal);
+impl_from_str!(Symbol, symbol, parse_symbol);

hugr-model/src/v0/ast/parse.rs

@@ -426,6 +426,7 @@ impl_display!(Param, print_param);
 impl_display!(Term, print_term);
 impl_display!(SeqPart, print_seq_part);
 impl_display!(Literal, print_literal);
+impl_display!(Symbol, print_symbol);
 
 impl Display for VarName {
     fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {