Updated docs.

Author: zrho

Cargo.toml

@@ -12,14 +12,7 @@ members = [
     "hugr-llvm",
     "hugr-py",
 ]
-default-members = [
-    "hugr",
-    "hugr-core",
-    "hugr-passes",
-    "hugr-cli",
-    "hugr-model",
-    "hugr-llvm",
-]
+default-members = ["hugr", "hugr-core", "hugr-passes", "hugr-cli", "hugr-model"]
 
 [workspace.package]
 rust-version = "1.75"

hugr-core/src/extension.rs

@@ -806,14 +806,6 @@ impl ExtensionSet {
         self.0.insert(extension.clone());
     }
 
-    /// Adds a type var (which must have been declared as a [TypeParam::Extensions]) to this set
-    pub fn insert_type_var(&mut self, idx: usize) {
-        // Represent type vars as string representation of variable index.
-        // This is not a legal IdentList or ExtensionId so should not conflict.
-        self.0
-            .insert(ExtensionId::new_unchecked(idx.to_string().as_str()));
-    }
-
     /// Returns `true` if the set contains the given extension.
     pub fn contains(&self, extension: &ExtensionId) -> bool {
         self.0.contains(extension)
@@ -836,14 +828,6 @@ impl ExtensionSet {
         set
     }
 
-    /// An ExtensionSet containing a single type variable
-    /// (which must have been declared as a [TypeParam::Extensions])
-    pub fn type_var(idx: usize) -> Self {
-        let mut set = Self::new();
-        set.insert_type_var(idx);
-        set
-    }
-
     /// Returns the union of two extension sets.
     pub fn union(mut self, other: Self) -> Self {
         self.0.extend(other.0);
@@ -994,16 +978,8 @@ pub mod test {
             type Strategy = BoxedStrategy<Self>;
 
             fn arbitrary_with(_: Self::Parameters) -> Self::Strategy {
-                (
-                    hash_set(0..10usize, 0..3),
-                    hash_set(any::<ExtensionId>(), 0..3),
-                )
-                    .prop_map(|(vars, extensions)| {
-                        ExtensionSet::union_over(
-                            std::iter::once(extensions.into_iter().collect::<ExtensionSet>())
-                                .chain(vars.into_iter().map(ExtensionSet::type_var)),
-                        )
-                    })
+                hash_set(any::<ExtensionId>(), 0..3)
+                    .prop_map(|extensions| extensions.into_iter().collect::<ExtensionSet>())
                     .boxed()
             }
         }

hugr-core/src/hugr/views.rs

@@ -460,11 +460,6 @@ pub trait HugrView: HugrInternals {
     }
 
     /// Check the validity of the underlying HUGR.
-    ///
-    /// This includes checking consistency of extension requirements between
-    /// connected nodes and between parents and children.
-    /// See [`HugrView::validate_no_extensions`] for a version that doesn't check
-    /// extension requirements.
     fn validate(&self) -> Result<(), ValidationError> {
         self.base_hugr().validate()
     }

hugr-core/src/types/signature.rs

@@ -106,14 +106,6 @@ impl<RV: MaybeRV> FuncTypeBase<RV> {
     }
 
     /// Returns a registry with the concrete extensions used by this signature.
-    ///
-    /// Note that extension type parameters are not included, as they have not
-    /// been instantiated yet.
-    ///
-    /// This method only returns extensions actually used by the types in the
-    /// signature. The extension deltas added via [`Self::with_extension_delta`]
-    /// refer to _runtime_ extensions, which may not be in all places that
-    /// manipulate a HUGR.
     pub fn used_extensions(&self) -> Result<ExtensionRegistry, ExtensionCollectionError> {
         let mut used = WeakExtensionRegistry::default();
         let mut missing = ExtensionSet::new();

hugr-core/src/types/type_param.rs

@@ -180,7 +180,7 @@ pub enum TypeArg {
     },
     /// Variable (used in type schemes or inside polymorphic functions),
     /// but not a [TypeArg::Type] (not even a row variable i.e. [TypeParam::List] of type)
-    /// nor [TypeArg::Extensions] - see [TypeArg::new_var_use]
+    /// - see [TypeArg::new_var_use]
     #[display("{v}")]
     Variable {
         #[allow(missing_docs)]
@@ -224,8 +224,7 @@ impl From<Vec<TypeArg>> for TypeArg {
     }
 }
 
-/// Variable in a TypeArg, that is neither a [TypeArg::Extensions]
-/// nor a single [TypeArg::Type] (i.e. not a [Type::new_var_use]
+/// Variable in a TypeArg, that is not a single [TypeArg::Type] (i.e. not a [Type::new_var_use]
 /// - it might be a [Type::new_row_var_use]).
 #[derive(
     Clone, Debug, PartialEq, Eq, Hash, serde::Deserialize, serde::Serialize, derive_more::Display,