✅: jax

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

Author: nstarman

.github/workflows/ci.yml

@@ -121,28 +121,85 @@ jobs:
       # NOTE: `uv run --with=...` will be ignored by mypy (and `--isolated` does not help)
       - name: mypy
         run: |
-          uv sync --no-editable --group=mypy
+          uv sync --no-editable --group=test_numpy --group=mypy
           uv pip install numpy==${{ matrix.numpy-version }}
           uv run --no-sync --active \
             mypy --tb --no-incremental --cache-dir=/dev/null \
             ${{ steps.collect-files.outputs.files }}
 
       - name: basedmypy
         run: |
-          uv sync --no-editable --group=basedmypy
+          uv sync --no-editable --group=test_numpy --group=basedmypy
           uv pip install numpy==${{ matrix.numpy-version }}
           uv run --no-sync --active \
             mypy --tb --no-incremental --cache-dir=/dev/null \
             ${{ steps.collect-files.outputs.files }}
 
       - name: pyright
         run: |
-          uv sync --no-editable --group=pyright
+          uv sync --no-editable --group=test_numpy --group=pyright
           uv pip install numpy==${{ matrix.numpy-version }}
           uv run --no-sync --active \
             pyright ${{ steps.collect-files.outputs.files }}
 
       # TODO: (based)pyright
 
+  test_integration_jax:
+    name: integration tests (jax)
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        jax-version: ["0.7.0"]
+
+    steps:
+      - uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8 # v5.0.0
+
+      - uses: astral-sh/setup-uv@d9e0f98d3fc6adb07d1e3d37f3043649ddad06a1 # v6.5.0
+        with:
+          python-version: "3.11"
+          activate-environment: true
+
+      - name: get major.minor jax version
+        id: jax-version
+        run: |
+          version="${{ matrix.jax-version }}"
+          major=$(echo "$version" | cut -d. -f1)
+          minor=$(echo "$version" | cut -d. -f2)
+
+          echo "major=$major" >> $GITHUB_OUTPUT
+          echo "minor=$minor" >> $GITHUB_OUTPUT
+
+      - name: collect test files
+        id: collect-files
+        run: |
+          major="${{ steps.jax-version.outputs.major }}"
+          minor="${{ steps.jax-version.outputs.minor }}"
+
+          prefix="tests/integration"
+          files=""
+
+          while IFS= read -r -d '' path; do
+            fname=$(basename "$path")
+            fminor=$(echo "$fname" | sed -E "s/test_jax${major}p([0-9]+)\.pyi/\1/")
+            if [ "$fminor" -le "$minor" ]; then
+              files="$files $path"
+            fi
+          done < <(find "$prefix" -name "test_jax${major}p*.pyi" -print0)
+
+          files="${files# }"
+          echo "files=$files" >> "$GITHUB_OUTPUT"
+
+      # NOTE: `uv run --with=...` will be ignored by mypy (and `--isolated` does not help)
+      - name: mypy
+        run: |
+          uv sync --no-editable --group=test_jax --group=mypy
+          uv pip install jax==${{ matrix.jax-version }}
+          uv run --no-sync --active \
+            mypy --tb --no-incremental --cache-dir=/dev/null \
+            ${{ steps.collect-files.outputs.files }}
+
+      # TODO: basedmypy/(based)pyright
+
   # TODO: integration tests for array-api-strict
   # TODO: integration tests for 3rd party libs such as cupy, pytorch, tensorflow, dask, etc.

pyproject.toml

@@ -68,6 +68,9 @@ pyright = [
 basedmypy = [
   "basedmypy>=2.10.0",
 ]
+test-jax = [
+  "jax>=0.6.2",
+]
 
 [tool.hatch]
 version.source = "vcs"

tests/integration/test_jax0p7.pyi

@@ -0,0 +1,54 @@
+# mypy: disable-error-code="no-redef, explicit-any"
+
+from types import ModuleType
+from typing import Any, TypeAlias
+
+import jax.numpy as jnp
+from jax import Array
+
+import array_api_typing as xpt
+
+# DType aliases
+F32: TypeAlias = jnp.float32
+I32: TypeAlias = jnp.int32
+
+# Define JAX Arrays against which we can test the protocols (JAX's Array type is
+# not parametrized by dtype at type level.)
+arr: Array
+arr_i32: Array
+arr_f32: Array
+arr_b: Array
+
+# =========================================================
+# `xpt.HasArrayNamespace`
+
+# Check assignment
+_001: xpt.HasArrayNamespace[ModuleType] = arr
+_002: xpt.HasArrayNamespace[ModuleType] = arr_i32
+_003: xpt.HasArrayNamespace[ModuleType] = arr_f32
+_004: xpt.HasArrayNamespace[ModuleType] = arr_b
+
+# Check `__array_namespace__` method
+a_ns: xpt.HasArrayNamespace[ModuleType] = arr
+ns: ModuleType = a_ns.__array_namespace__()
+
+# =========================================================
+# `xpt.HasDType`
+
+# Check DTypeT_co assignment
+_005: xpt.HasDType[Any] = arr
+_006: xpt.HasDType[jnp.dtype[I32]] = arr_i32
+_007: xpt.HasDType[jnp.dtype[F32]] = arr_f32
+_008: xpt.HasDType[jnp.dtype[jnp.bool_]] = arr_b
+
+# =========================================================
+# `xpt.Array`
+
+# Check NamespaceT_co assignment
+x_ns: xpt.Array[Any, ModuleType] = arr
+
+# Check DTypeT_co assignment
+_009: xpt.Array[Any] = arr
+_010: xpt.Array[jnp.dtype[I32]] = arr_i32
+_011: xpt.Array[jnp.dtype[F32]] = arr_f32
+_012: xpt.Array[jnp.dtype[jnp.bool_]] = arr_b