Switch to basedpyright for typechecking/LSP

Author: dpassen

.github/workflows/typecheck.yaml

@@ -3,7 +3,6 @@
 [![Build Status](https://img.shields.io/pypi/v/optional.py.svg)](https://pypi.org/project/optional.py/)
 [![test](https://github.com/Python-Optional/optional.py/actions/workflows/test.yaml/badge.svg)](https://github.com/Python-Optional/optional.py/actions/workflows/test.yaml)
 [![lint](https://github.com/Python-Optional/optional.py/actions/workflows/lint.yaml/badge.svg)](https://github.com/Python-Optional/optional.py/actions/workflows/lint.yaml)
-[![typecheck](https://github.com/Python-Optional/optional.py/actions/workflows/typecheck.yaml/badge.svg)](https://github.com/Python-Optional/optional.py/actions/workflows/typecheck.yaml)
 [![format](https://github.com/Python-Optional/optional.py/actions/workflows/format.yaml/badge.svg)](https://github.com/Python-Optional/optional.py/actions/workflows/format.yaml)
 [![editorconfig](https://github.com/Python-Optional/optional.py/actions/workflows/editorconfig.yaml/badge.svg)](https://github.com/Python-Optional/optional.py/actions/workflows/editorconfig.yaml)
 [![License](https://img.shields.io/pypi/l/optional.py.svg)](https://pypi.org/project/optional.py/)

README.md

@@ -6,18 +6,22 @@ commands:
 test:
     @poetry run python -m pytest
 
+# Lint source code
+[parallel]
+lint: lint-ruff lint-basedpyright
+
 # Lint code using ruff
-lint:
+lint-ruff:
     @poetry run python -m ruff check optional tests
 
+# Lint code using basedpyright
+lint-basedpyright:
+    @poetry run python -m basedpyright optional tests
+
 # Format code using ruff
 format:
     @poetry run python -m ruff format optional tests
 
-# Check types using mypy
-typecheck:
-    @poetry run python -m mypy optional tests
-
 # Check for editorconfig violations using editorconfig-checker
 editorconfig:
     @editorconfig-checker

justfile

@@ -1,3 +1,5 @@
+# pyright: reportOverlappingOverload = false
+
 from typing import TypeAlias, TypeVar, overload
 
 from optional.nothing import Nothing

optional/optional.py

@@ -1,3 +1,6 @@
+# pyright: reportUnknownMemberType = false
+# pyright: reportUnknownVariableType = false
+
 from types import NotImplementedType
 from typing import Generic, TypeVar, final
 

optional/something.py

@@ -4,8 +4,8 @@ version = "2.0.0"
 description = "An implementation of the Optional object in Python"
 license = "MIT"
 authors = [
-  {name = "Chad Befus", email = "crbefus@gmail.com"},
-  {name = "Derek Passen", email = "dpassen1@gmail.com"}
+  { name = "Chad Befus", email = "crbefus@gmail.com" },
+  { name = "Derek Passen", email = "dpassen1@gmail.com" },
 ]
 readme = "README.md"
 repository = "https://github.com/Python-Optional/optional.py"
@@ -14,22 +14,18 @@ keywords = ["optional datatype library"]
 requires-python = ">= 3.10"
 
 [project.optional-dependencies]
-dev = ["ruff", "mypy"]
+dev = ["ruff", "basedpyright", "typing-extensions"]
 test = ["pytest", "pytest-cov", "coveralls", "coverage"]
 
 [tool.poetry]
-packages = [
-    { include = "optional" },
-]
+packages = [{ include = "optional" }]
 
 [tool.coverage.report]
 exclude_lines = ["@overload"]
 
 [tool.pytest.ini_options]
 addopts = "--cov=optional"
-testpaths = [
-    "tests",
-]
+testpaths = ["tests"]
 
 [tool.ruff]
 line-length = 88

poetry.lock

@@ -1,3 +1,7 @@
+# pyright: reportUnnecessaryComparison=false
+# pyright: reportUnreachable=false
+# pyright: reportUnusedCallResult = false
+
 import pytest
 
 from optional import Nothing, Optional, Something

pyproject.toml

@@ -1,3 +1,5 @@
+# pyright: reportUnusedCallResult = false
+
 import pytest
 
 from optional import Optional, Something