test: refactor tests and add more thorough linting / type checking

Author: danielknell

.devcontainer/devcontainer.json

@@ -9,7 +9,7 @@
 			// Update 'VARIANT' to pick a Python version: 3, 3.10, 3.9, 3.8, 3.7, 3.6
 			// Append -bullseye or -buster to pin to an OS version.
 			// Use -bullseye variants on local on arm64/Apple Silicon.
-			"VARIANT": "3.10-bullseye",
+			"VARIANT": "3.9-bullseye",
 			// Options
 			"NODE_VERSION": "none"
 		}
@@ -41,6 +41,7 @@
 		"ms-python.python",
 		"ms-python.vscode-pylance",
 		"bungcip.better-toml",
+		"ms-vscode.makefile-tools",
 	],
 	// Use 'forwardPorts' to make a list of ports inside the container available locally.
 	// "forwardPorts": [],

.dictionary

@@ -0,0 +1 @@
+int

.github/workflows/tests.yaml

@@ -25,7 +25,7 @@ jobs:
     - name: set python version
       uses: actions/setup-python@v4
       with:
-        python-version: "3.10"
+        python-version: "3.9"
 
     - name: install poetry
       run: |

Makefile

@@ -1,34 +1,53 @@
-# do any initial setup
-setup:
-	poetry install
+.DEFAULT_GOAL = help
 
-# commands to run after git update
-update:
+bootstrap:
 	poetry install
 
-# commands as run by CI
-ci: lint
-	HYPOTHESIS_PROFILE=slow poetry run pytest -vv --cov
-
-# launch the interpreter in repl mode
-repl:
-	poetry run python
+#: build the projects output files
+build: update
+	poetry build
 
-lint:
+#: run continuous integration tasks
+ci:
 	poetry run isort --check-only .
 	poetry run black --check .
-	poetry run pydocstyle
-	poetry run pylint src/conjecture
-	poetry run pylint --disable=missing-function-docstring,duplicate-code tests
-	poetry run mypy --strict  --pretty .
+	HYPOTHESIS_PROFILE=slow poetry run pytest -vvv --mypy --pylint --pydocstyle --cov --typeguard-packages=conjecture,tests src tests
 
-# run the tests  locally
-test:
-	poetry run pytest --testdox --cov --cov-report html
+clean:
+	rm -rf .mypy_cache/ .pytest_cache/ .coverage dist
+
+#: open a repl console
+console:
+	poetry run python
+
+docs: update
+	exit
 
-# automatically format codebase to pass linting rules
+#: format all source files
 format:
-	poetry run isort --atomic .
-	poetry run black .
+	poetry run shed --refactor --py39-plus src/**/*.py tests/**/*.py
+
+#: list avalible make targets
+help:
+	@grep -B1 -E "^[a-zA-Z0-9_-]+\:([^\=]|$$)" Makefile \
+		| grep -v -- -- \
+		| sed 'N;s/\n/###/' \
+		| sed -n 's/^#: \(.*\)###\(.*\):.*/make \2###    \1/p' \
+		| column -t  -s '###' \
+		| sort
+
+#: run project server locally
+server: update
+	exit
+
+#: setup the project after a `git clone`
+setup: bootstrap
+
+#: run the projects test suite
+test:
+	poetry run pytest -vvv --mypy --pylint --pydocstyle --cov --cov-report term-missing --typeguard-packages=conjecture,tests src tests
+
+#: update the project after a `git pull`
+update: bootstrap
 
-.PHONY: setup update ci repl test format
+.PHONY: bootstrap build ci clean console docs format help server setup test update