Python lints.

Author: zrho

hugr-py/src/hugr/__init__.py

@@ -2,9 +2,9 @@
 representation.
 """
 
+from . import model
 from .hugr.base import Hugr
 from .hugr.node_port import Direction, InPort, Node, OutPort, Wire
-from . import model
 
 __all__ = [
     "Hugr",

hugr-py/src/hugr/_hugr/__init__.pyi

@@ -1,56 +1,16 @@
 import hugr.model
 
-def term_to_string(term: "hugr.model.Term") -> str:
-    """Convert a term into a string in the hugr text syntax."""
-    ...
-
-def string_to_term(string: str) -> "hugr.model.Term":
-    """Parse a term from a string in the hugr text syntax."""
-
-def node_to_string(node: "hugr.model.Node") -> str:
-    """Convert a node into a string in the hugr text syntax."""
-    ...
-
-def string_to_node(string: str) -> "hugr.model.Node":
-    """Parse a node from a string in the hugr text syntax."""
-    ...
-
-def region_to_string(region: "hugr.model.Region") -> str:
-    """Convert a node into a string in the hugr text syntax."""
-    ...
-
-def string_to_region(string: str) -> "hugr.model.Region":
-    """Parse a region from a string in the hugr text syntax."""
-    ...
-
-def param_to_string(region: "hugr.model.Param") -> str:
-    """Convert a parameter into a string in the hugr text syntax."""
-    ...
-
-def string_to_param(string: str) -> "hugr.model.Param":
-    """Parse a parameter from a string in the hugr text syntax."""
-    ...
-
-def symbol_to_string(region: "hugr.model.Symbol") -> str:
-    """Convert a symbol into a string in the hugr text syntax."""
-    ...
-
-def string_to_symbol(string: str) -> "hugr.model.Symbol":
-    """Parse a symbol from a string in the hugr text syntax."""
-    ...
-
-def module_to_string(module: "hugr.model.Module") -> str:
-    """Convert a module into a string in the hugr text syntax."""
-    ...
-
-def string_to_module(string: str) -> "hugr.model.Module":
-    """Parse a module from a string in the hugr text syntax."""
-    ...
-
-def module_to_bytes(module: "hugr.model.Module") -> bytes:
-    """Convert a module into the hugr binary format."""
-    ...
-
-def bytes_to_module(binary: bytes) -> "hugr.model.Module":
-    """Read a module from the hugr binary format."""
-    ...
+def term_to_string(term: hugr.model.Term) -> str: ...
+def string_to_term(string: str) -> hugr.model.Term: ...
+def node_to_string(node: hugr.model.Node) -> str: ...
+def string_to_node(string: str) -> hugr.model.Node: ...
+def region_to_string(region: hugr.model.Region) -> str: ...
+def string_to_region(string: str) -> hugr.model.Region: ...
+def param_to_string(region: hugr.model.Param) -> str: ...
+def string_to_param(string: str) -> hugr.model.Param: ...
+def symbol_to_string(region: hugr.model.Symbol) -> str: ...
+def string_to_symbol(string: str) -> hugr.model.Symbol: ...
+def module_to_string(module: hugr.model.Module) -> str: ...
+def string_to_module(string: str) -> hugr.model.Module: ...
+def module_to_bytes(module: hugr.model.Module) -> bytes: ...
+def bytes_to_module(binary: bytes) -> hugr.model.Module: ...

hugr-py/src/hugr/hugr/base.py

@@ -14,14 +14,14 @@
     overload,
 )
 
+import hugr.model as model
 from hugr._serialization.ops import OpType as SerialOp
 from hugr._serialization.serial_hugr import SerialHugr
 from hugr.exceptions import ParentBeforeChild
 from hugr.ops import Call, Const, Custom, DataflowOp, Module, Op
 from hugr.tys import Kind, Type, ValueKind
 from hugr.utils import BiMap
 from hugr.val import Value
-import hugr.model as model
 
 from .node_port import (
     Direction,
@@ -736,6 +736,7 @@ def to_model(self) -> model.Module:
 
     def to_model_region(self) -> model.Region:
         from hugr.model.export import ModelExport
+
         export = ModelExport(self)
         return export.export_region_module(self.root)