wip

quantinuum-hugr/src/ops/leaf.rs

@@ -120,6 +120,18 @@ impl TypeApplication {
             })
         }
     }
+
+    pub fn input(&self) -> &PolyFuncType {
+        &self.input
+    }
+
+    pub fn args(&self) -> &[TypeArg] {
+        &self.args
+    }
+
+    pub fn output(&self) -> &PolyFuncType {
+        &self.output
+    }
 }
 
 impl Default for LeafOp {

quantinuum-hugr/src/types/type_param.rs

@@ -36,6 +36,10 @@ impl UpperBound {
             _ => false,
         }
     }
+
+    pub fn value(&self) -> &Option<NonZeroU64> {
+        &self.0
+    }
 }
 
 /// A *kind* of [TypeArg]. Thus, a parameter declared by a [PolyFuncType] (e.g. [OpDef]),
@@ -167,7 +171,7 @@ pub enum TypeArg {
 /// Variable in a TypeArg, that is not a [TypeArg::Type] or [TypeArg::Extensions],
 #[derive(Clone, Debug, PartialEq, Eq, serde::Deserialize, serde::Serialize)]
 pub struct TypeArgVariable {
-    idx: usize,
+    pub idx: usize,
     cached_decl: TypeParam,
 }
 

quantinuum-hugr/src/values.rs

@@ -187,8 +187,8 @@ impl_box_clone!(CustomConst, CustomConstBoxClone);
 #[derive(Debug, Clone, PartialEq, serde::Serialize, serde::Deserialize)]
 /// A value stored as a serialized blob that can report its own type.
 pub struct CustomSerialized {
-    typ: CustomType,
-    value: serde_yaml::Value,
+    pub typ: CustomType,
+    pub value: serde_yaml::Value,
     extensions: ExtensionSet,
 }