✨ HasDevice

Signed-off-by: nstarman <[email protected]>

Author: nstarman

src/array_api_typing/_array.py

@@ -62,10 +62,20 @@ def dtype(self) -> DType_co:
         ...
 
 
+class HasDevice(Protocol):
+    """Protocol for array classes that have a device attribute."""
+
+    @property
+    def device(self) -> object:  # TODO: more specific type
+        """Hardware device the array data resides on."""
+        ...
+
+
 @docstring_setter(**_array_docstrings)
 class Array(
     # ------ Attributes -------
     HasDType[DType_co],
+    HasDevice,
     # ------ Methods -------
     HasArrayNamespace[NS_co],
     op.CanPosSelf,