Add extension version property

Author: aborgna-q

tket-exts/src/tket_exts/tket/_util.py

@@ -4,6 +4,7 @@
 from typing import List, Protocol
 
 from hugr.ext import Extension, OpDef, TypeDef
+from semver import Version
 
 
 def load_extension(name: str) -> Extension:
@@ -16,6 +17,13 @@ def load_extension(name: str) -> Extension:
 
 
 class TketExtension(Protocol):
+    """A protocol for tket extensions."""
+
     def TYPES(self) -> List[TypeDef]: ...
     def OPS(self) -> List[OpDef]: ...
     def __call__(self) -> Extension: ...
+
+    @property
+    def version(self) -> Version:
+        """The version of the extension"""
+        return self().version

tket-exts/tests/test_validate_exts.py

@@ -197,6 +197,7 @@ def test_exported_extension(
     (ext, instantiated_types, instantiated_ops) = ext_vals()
 
     e = ext()
+    assert e.version == ext.version
 
     types = ext.TYPES()
     assert len(types) == len(e.types)