migrate to pyrefly (#35)

Author: vertti

.github/workflows/main.yml

@@ -32,11 +32,11 @@ jobs:
         run: |
           uv sync
 
-      - name: Lint with Ruff and Mypy
+      - name: Lint with Ruff and Pyrefly
         run: |
           uv run ruff check --output-format=github .
           uv run ruff format --diff
-          uv run mypy .
+          uv run pyrefly check .
 
       - name: Test with pytest
         run: |

mypy.ini

@@ -37,15 +37,14 @@ documentation = "https://github.com/ThoughtWorksInc/daffy/blob/master/README.md"
 dev = [
     "pytest>=8.4.1",
     "pre-commit>=4.0.0",
-    "mypy>=1.16.1",
+    "pyrefly",
     "pytest-mock>=3.14.1",
     "pytest-cov>=6.0.0",
     "coverage[toml]>=7.9.1",
     "pydocstyle>=6.3.0",
     "ruff>=0.12.0",
     "pandas>=1.5.1,<3.0.0",
     "polars>=1.7.0",
-    "pandas-stubs>=2.2.2.240807",
 ]
 
 [build-system]
@@ -93,4 +92,12 @@ line-length = 120
 target-version = "py39"
 
 [tool.ruff.lint]
-select = ["F", "E", "W", "I", "N"]
+select = ["F", "E", "W", "I", "N", "ANN"]
+ignore = [
+    "ANN401",  # Allow Any type (needed for decorator wrappers)
+]
+
+[tool.pyrefly]
+python-version = "3.10"
+untyped-def-behavior = "check-and-infer-return-any"
+permissive-ignores = true