Rm singly-impl'd TypeParametrised, rm Concrete

hugr/src/extension.rs

@@ -232,18 +232,6 @@ impl CustomConcrete for CustomType {
     }
 }
 
-/// Type-parametrised functionality shared between [`TypeDef`] and [`OpDef`].
-trait TypeParametrised {
-    /// The concrete object built by binding type arguments to parameters
-    type Concrete: CustomConcrete;
-    /// The extension-unique name.
-    fn name(&self) -> &<Self::Concrete as CustomConcrete>::Identifier;
-    /// Type parameters.
-    fn params(&self) -> &[TypeParam];
-    /// The parent extension.
-    fn extension(&self) -> &ExtensionId;
-}
-
 /// A constant value provided by a extension.
 /// Must be an instance of a type available to the extension.
 #[derive(Clone, Debug, serde::Serialize, serde::Deserialize)]

hugr/src/extension/declarative/signature.rs

@@ -12,7 +12,7 @@ use serde::{Deserialize, Serialize};
 use smol_str::SmolStr;
 
 use crate::extension::prelude::PRELUDE_ID;
-use crate::extension::{CustomValidator, ExtensionSet, SignatureFunc, TypeDef, TypeParametrised};
+use crate::extension::{CustomValidator, ExtensionSet, SignatureFunc, TypeDef};
 use crate::types::type_param::TypeParam;
 use crate::types::{CustomType, FunctionType, PolyFuncType, Type, TypeRow};
 use crate::Extension;

hugr/src/extension/declarative/types.rs

@@ -7,7 +7,7 @@
 //! [specification]: https://github.com/CQCL/hugr/blob/main/specification/hugr.md#declarative-format
 //! [`ExtensionSetDeclaration`]: super::ExtensionSetDeclaration
 
-use crate::extension::{TypeDef, TypeDefBound, TypeParametrised};
+use crate::extension::{TypeDef, TypeDefBound};
 use crate::types::type_param::TypeParam;
 use crate::types::{CustomType, TypeBound, TypeName};
 use crate::Extension;

hugr/src/extension/type_def.rs

@@ -1,7 +1,7 @@
 use std::collections::hash_map::Entry;
 
 use super::{CustomConcrete, ExtensionBuildError};
-use super::{Extension, ExtensionId, SignatureError, TypeParametrised};
+use super::{Extension, ExtensionId, SignatureError};
 
 use crate::types::{least_upper_bound, CustomType, TypeName};
 
@@ -122,12 +122,10 @@ impl TypeDef {
             }
         }
     }
-}
-
-impl TypeParametrised for TypeDef {
-    type Concrete = CustomType;
 
-    fn params(&self) -> &[TypeParam] {
+    /// The static parameters to the TypeDef; a [TypeArg] appropriate for each
+    /// must be provided to produce an actual type.
+    pub fn params(&self) -> &[TypeParam] {
         &self.params
     }