array-api-shape-check 1.0.0__py3-none-any.whl → 1.0.1__py3-none-any.whl

array_api_shape_check/_main.py

@@ -39,36 +39,46 @@ class SubscriptInfoFromShapeItemUnchecked(SubscriptInfoFromSubcriptItem):
 
 
 @attrs.frozen(kw_only=True)
-class SubscriptInfoFromShapeItemUnique(SubscriptInfoFromSubcriptItem):
-    shape_broadcasted: tuple[int, ...]
-    """The shape after broadcasting with other subscripts with the same name"""
+class SubscriptInfoFromShapeItemUnique[BroadcastShape: tuple[int, ...] | None](
+    SubscriptInfoFromSubcriptItem
+):
+    shape_broadcasted: BroadcastShape
+    """The broadcast shape, or None for an inconsistent subscript."""
 
     def __repr__(self) -> str:
         if self.is_variable:
             return f"*{self.name}:{self.shape_broadcasted}"
-        return f"{self.name}:{self.shape_broadcasted[0]}"
+        if self.shape_broadcasted is None:
+            return f"{self.name}:None"
+        return f"{self.name}:{cast('tuple[int, ...]', self.shape_broadcasted)[0]}"
 
 
 @attrs.frozen(kw_only=True)
-class SubscriptInfoFromShapeItem(SubscriptInfoFromShapeItemUnchecked):
-    shape_broadcasted: tuple[int, ...]
-    """The shape after broadcasting with other subscripts with the same name"""
+class SubscriptInfoFromShapeItem[BroadcastShape: tuple[int, ...] | None](
+    SubscriptInfoFromShapeItemUnchecked
+):
+    shape_broadcasted: BroadcastShape
+    """The broadcast shape, or None for an inconsistent subscript."""
 
     def __repr__(self) -> str:
+        if self.shape_broadcasted is None:
+            current = self.shape_current if self.is_variable else self.shape_current[0]
+            return f"{'*' if self.is_variable else ''}{self.name}:{current}->None"
         if self.is_variable:
             if self.shape_current != self.shape_broadcasted:
                 return f"*{self.name}:{self.shape_current}->{self.shape_broadcasted}"
             return f"*{self.name}:{self.shape_current}"
         if self.shape_current != self.shape_broadcasted:
-            return f"{self.name}:{self.shape_current[0]}->{self.shape_broadcasted[0]}"
+            broadcasted = cast("tuple[int, ...]", self.shape_broadcasted)
+            return f"{self.name}:{self.shape_current[0]}->{broadcasted[0]}"
         return f"{self.name}:{self.shape_current[0]}"
 
 
 @attrs.frozen(kw_only=True)
-class SubscriptInfoFromShape:
-    all: tuple[tuple[SubscriptInfoFromShapeItem, ...], ...]
+class SubscriptInfoFromShape[BroadcastShape: tuple[int, ...] | None]:
+    all: tuple[tuple[SubscriptInfoFromShapeItem[BroadcastShape], ...], ...]
     """The subscript info grouped by order, then by operand"""
-    unique: dict[str, SubscriptInfoFromShapeItemUnique]
+    unique: dict[str, SubscriptInfoFromShapeItemUnique[BroadcastShape]]
     """The unique subscripts,
     ignoring order and shapes not broadcasted,
     sorted lexicographically by name"""
@@ -111,9 +121,14 @@ class InconsistentNdimErrorNoSolutions(InconsistentNdimError):  # noqa: N818
 
 
 class InconsistentShapeError(ValueError):
-    subscript_info: SubscriptInfoFromShape
+    subscript_info: SubscriptInfoFromShape[tuple[int, ...] | None]
 
-    def __init__(self, subscript_info: SubscriptInfoFromShape, reason: str, *args: object) -> None:
+    def __init__(
+        self,
+        subscript_info: SubscriptInfoFromShape[tuple[int, ...] | None],
+        reason: str,
+        *args: object,
+    ) -> None:
         super().__init__("Inconsistent shapes: " + str(subscript_info.all) + f"\n {reason}", *args)
         self.subscript_info = subscript_info
 
@@ -344,7 +359,7 @@ def _parse_shapes(
 
 def check_shapes(
     subscripts: str, /, *operands: Array | tuple[int | None, ...], names: str | None = None
-) -> SubscriptInfoFromShape:
+) -> SubscriptInfoFromShape[tuple[int, ...]]:
     """
     Parse variable subscript ndims by solving linear equations.
 
@@ -435,12 +450,15 @@ def check_shapes(
     info_flatten_keyed = [(i, item) for i, info_array in enumerate(info_all) for item in info_array]
     errors = []
     shape_broadcasted = {}
-    for key, group in groupby(info_flatten_keyed, key=lambda x: x[1].name):
+    for key, group in groupby(
+        sorted(info_flatten_keyed, key=lambda x: x[1].name), key=lambda x: x[1].name
+    ):
         group_list = list(group)
         shapes = [item.shape_current for _, item in group_list]
         try:
             shape_broadcasted[key] = np.broadcast_shapes(*shapes)
         except ValueError:
+            shape_broadcasted[key] = None
             inner_text = ", ".join([f"{shape} ({names_[i]})" for i, shape in group_list])
             errors.append(f"Key {key}: shapes {inner_text} are not broadcastable")
 
@@ -475,4 +493,5 @@ def check_shapes(
     if errors:
         raise InconsistentShapeError(result, "\n".join(errors))
 
-    return result
+    # No broadcast shape can be None unless an inconsistency was recorded.
+    return cast("SubscriptInfoFromShape[tuple[int, ...]]", result)

{array_api_shape_check-1.0.0.dist-info → array_api_shape_check-1.0.1.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: array-api-shape-check
-Version: 1.0.0
+Version: 1.0.1
 Summary: Check shapes of input arrays easily
 Author: 34j
 License-Expression: MIT

array_api_shape_check-1.0.1.dist-info/RECORD

@@ -0,0 +1,8 @@
+array_api_shape_check/__init__.py,sha256=8i9ZV_x6HXtVd0g7N3ec190lQ1LUC2s93A9p-J3C9WI,940
+array_api_shape_check/_main.py,sha256=jKI3eDWql14v2oXesGXeZE9_114hfp5D8TUaqKbMAY4,17808
+array_api_shape_check/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+array_api_shape_check-1.0.1.dist-info/licenses/LICENSE,sha256=Otwb96xcK4QBqXXVdBKpLZVnc4mJuFTa8rsMUEpphMM,1061
+array_api_shape_check-1.0.1.dist-info/METADATA,sha256=0DwyMEHAVpY908iaOjNLGR8uFSxDLLRfebEFnm0I89I,6179
+array_api_shape_check-1.0.1.dist-info/WHEEL,sha256=mOdXR9C3wMVov7cSY8PY-XCzo3SmmWCHvGQr5csJoao,91
+array_api_shape_check-1.0.1.dist-info/top_level.txt,sha256=pirw2DeaWnDU_rSg3CZ1MsE-tJWEvndYSQG0illDMkI,22
+array_api_shape_check-1.0.1.dist-info/RECORD,,

array_api_shape_check-1.0.0.dist-info/RECORD

@@ -1,8 +0,0 @@
-array_api_shape_check/__init__.py,sha256=8i9ZV_x6HXtVd0g7N3ec190lQ1LUC2s93A9p-J3C9WI,940
-array_api_shape_check/_main.py,sha256=VXDxm8ds6mjq9qiJ4BFNWJWXxjBZKMXZ7WafYvuICt4,16965
-array_api_shape_check/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-array_api_shape_check-1.0.0.dist-info/licenses/LICENSE,sha256=Otwb96xcK4QBqXXVdBKpLZVnc4mJuFTa8rsMUEpphMM,1061
-array_api_shape_check-1.0.0.dist-info/METADATA,sha256=6cj-qjtOx_MV44WBn5-mLIY2XnChx71cQNG8V_74jQY,6179
-array_api_shape_check-1.0.0.dist-info/WHEEL,sha256=mOdXR9C3wMVov7cSY8PY-XCzo3SmmWCHvGQr5csJoao,91
-array_api_shape_check-1.0.0.dist-info/top_level.txt,sha256=pirw2DeaWnDU_rSg3CZ1MsE-tJWEvndYSQG0illDMkI,22
-array_api_shape_check-1.0.0.dist-info/RECORD,,