livery-extensions-mypy 0.0.0__tar.gz

livery_extensions_mypy-0.0.0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Willem Kokke
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

livery_extensions_mypy-0.0.0/PKG-INFO

@@ -0,0 +1,29 @@
+Metadata-Version: 2.4
+Name: livery-extensions-mypy
+Version: 0.0.0
+Summary: mypy as a check of the livery workshop: the type checker, on every platform, configured by the root mypy.ini.
+Author: Willem Kokke
+Author-email: Willem Kokke <mail@willem.net>
+License-Expression: MIT
+License-File: LICENSE
+Classifier: Development Status :: 3 - Alpha
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3 :: Only
+Classifier: Typing :: Typed
+Requires-Dist: livery-footman>=0.58.0
+Requires-Dist: livery-toolroom>=0.10.0
+Requires-Dist: livery-workshop>=0.6.0
+Requires-Python: >=3.11
+Project-URL: Repository, https://github.com/willemkokke/livery
+Description-Content-Type: text/markdown
+
+<!-- Seeded from the package-python seeds at
+     birth; this file is the workspace's own. Edit it directly:
+     nothing rewrites it.
+-->
+# livery-extensions-mypy
+
+mypy as a check of the livery workshop. Listed as `mypy` in a workspace's
+`[workspace] extensions`, it registers `typecheck.mypy`, which checks linux,
+darwin and win32, and writes the root `mypy.ini` the check and a bare `mypy`
+read.

livery_extensions_mypy-0.0.0/README.md

@@ -0,0 +1,10 @@
+<!-- Seeded from the package-python seeds at
+     birth; this file is the workspace's own. Edit it directly:
+     nothing rewrites it.
+-->
+# livery-extensions-mypy
+
+mypy as a check of the livery workshop. Listed as `mypy` in a workspace's
+`[workspace] extensions`, it registers `typecheck.mypy`, which checks linux,
+darwin and win32, and writes the root `mypy.ini` the check and a bare `mypy`
+read.

livery_extensions_mypy-0.0.0/pyproject.toml

@@ -0,0 +1,37 @@
+[build-system]
+requires = ["uv_build>=0.11,<0.13"]
+build-backend = "uv_build"
+
+[project]
+name = "livery-extensions-mypy"
+version = "0.0.0"
+description = "mypy as a check of the livery workshop: the type checker, on every platform, configured by the root mypy.ini."
+readme = "README.md"
+license = "MIT"
+license-files = ["LICENSE"]
+requires-python = ">=3.11"
+classifiers = [
+    "Development Status :: 3 - Alpha",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3 :: Only",
+    "Typing :: Typed",
+]
+dependencies = [
+    "livery-footman>=0.58.0",
+    "livery-toolroom>=0.10.0",
+    "livery-workshop>=0.6.0",
+]
+
+[[project.authors]]
+name = "Willem Kokke"
+email = "mail@willem.net"
+
+[project.urls]
+Repository = "https://github.com/willemkokke/livery"
+
+[project.entry-points."workshop.extensions"]
+mypy = "livery.extensions.mypy"
+
+[tool.uv.build-backend]
+module-name = "livery.extensions.mypy"
+namespace = true

livery_extensions_mypy-0.0.0/pyproject.toml.orig

@@ -0,0 +1,44 @@
+# Seeded from the package-python seeds at
+# birth; this file is the workspace's own. Edit it directly:
+# nothing rewrites it.
+[build-system]
+requires = ["uv_build>=0.11,<0.13"]
+build-backend = "uv_build"
+
+[project]
+name = "livery-extensions-mypy"
+version = "0.0.0"
+description = "mypy as a check of the livery workshop: the type checker, on every platform, configured by the root mypy.ini."
+readme = "README.md"
+license = "MIT"
+license-files = ["LICENSE"]
+requires-python = ">=3.11"
+authors = [{ name = "Willem Kokke", email = "mail@willem.net" }]
+classifiers = [
+    "Development Status :: 3 - Alpha",
+    "Programming Language :: Python :: 3",
+    "Programming Language :: Python :: 3 :: Only",
+    "Typing :: Typed",
+]
+
+dependencies = [
+    "livery-footman>=0.58.0",
+    "livery-toolroom>=0.10.0",
+    "livery-workshop>=0.6.0",
+]
+
+[project.urls]
+Repository = "https://github.com/willemkokke/livery"
+
+# The name a workspace lists in [workspace] extensions, and the package
+# whose extension.toml the workshop mounts it from. Nothing else: the
+# extension adds no verb of its own, and nothing activates by being
+# installed.
+[project.entry-points."workshop.extensions"]
+mypy = "livery.extensions.mypy"
+
+[tool.uv.build-backend]
+# PEP 420 namespace: the importable package is livery.extensions.mypy and
+# there is no livery/__init__.py anywhere in this repository.
+module-name = "livery.extensions.mypy"
+namespace = true

livery_extensions_mypy-0.0.0/src/livery/extensions/mypy/_checks.py

@@ -0,0 +1,56 @@
+"""mypy's check: the type checker, once per platform, over the python files it claims.
+
+The extension's ``extension.toml`` declares it and names the body here.
+``typecheck.mypy`` narrows by paths: the workshop names the paths a run
+reaches ([livery.workshop.scoped_paths][]) and splits them into
+calls ([livery.workshop.run_batched][]); a run that reaches the
+whole calls mypy with no path, so it reads the ``files`` of
+``mypy.ini``. mypy has no all-platforms mode, so every call checks
+linux, darwin and win32 in parallel, each with a cache of its own:
+mypy's SQLite cache takes one writer. The check hands mypy the words
+after ``--`` on its own verb (``fm typecheck.mypy -- --strict``), in
+every platform's call. A body resolves its runner on this module when
+it runs, so a test that replaces `run_typecheck` here sees its
+replacement called.
+"""
+
+from __future__ import annotations
+
+from functools import partial
+
+import livery.toolroom.tools as tools
+from livery.footman import parallel, step
+from livery.workshop import WHOLE, GateContext, run_batched, scoped_paths
+
+#: The platforms every call checks, linux first: a bare ``mypy`` checks
+#: linux, the platform ``mypy.ini`` names.
+PLATFORMS = ("linux", "darwin", "win32")
+
+#: Where the caches live, a directory per platform, with the workshop's
+#: state and never in the root.
+CACHE = ".workshop/.cache/mypy"
+
+
+def run_typecheck(paths: tuple[str, ...] = (), arguments: tuple[str, ...] = ()) -> None:
+    """Type-check *paths* with mypy on every platform, in parallel.
+
+    No path checks the configured ``files``. Each platform's verdict is
+    its own, and every one gates. *arguments* go to mypy before the
+    paths.
+    """
+
+    def on(platform: str) -> None:
+        tools.mypy(
+            *arguments, *paths, platform=platform, cache_dir=f"{CACHE}/{platform}"
+        )
+
+    parallel(*(step(on, title=f"mypy_{platform}")(platform) for platform in PLATFORMS))
+
+
+def judge_typecheck(ctx: GateContext) -> None:
+    """Type-check the paths the run reaches, or the configured files, per platform."""
+    chosen = scoped_paths(ctx, "typecheck.mypy")
+    if chosen == WHOLE:
+        run_typecheck(arguments=ctx.arguments)
+        return
+    run_batched(chosen, partial(run_typecheck, arguments=ctx.arguments))

livery_extensions_mypy-0.0.0/src/livery/extensions/mypy/_docs/index.md

@@ -0,0 +1,50 @@
+<!-- Seeded from the package-base seeds at
+     birth; this file is the workspace's own. Edit it directly:
+     nothing rewrites it.
+-->
+# livery-extensions-mypy
+
+mypy as a check of the workshop: `typecheck.mypy` type-checks the python
+files a run reaches on linux, darwin and win32, since mypy has no
+all-platforms mode. A workspace turns it on by listing the extension:
+
+```toml
+[workspace]
+extensions = ["mypy"]
+```
+
+`fm typecheck` then runs it, and `fm check` runs it with the rest of the
+gate. It reads the files its claims reach in the python packages: their
+sources, tests and test support. A run that reaches every package checks
+what the configuration names in `files`, the root's `tasks.py` and tests
+among them; a run that reaches some checks their `src` and `tests`
+directories. Each platform's run has a cache of its own under
+`.workshop/.cache/mypy/`, and each one's verdict gates.
+`fm typecheck.mypy -- --strict` hands mypy the words after `--`, in each
+platform's call.
+
+The workspace's namespace is fully strict. The tests and `tasks.py` are
+checked as consumer code, so every test body type-checks without a
+return annotation on every function.
+
+## The configuration
+
+`fm sync` writes the root `mypy.ini`, and a bare `mypy` in the repository
+reads the same file the check does: it checks linux and shares the check's
+linux cache. The file names each python member's `src` and `tests` in
+`files` and in `mypy_path`: in a namespace package without an
+`__init__.py`, mypy derives a module's name from the `mypy_path` entries.
+
+The file is the extension's: an edit outside its region is drift, which
+`fm check --fix` puts back. The repository's own sections go inside the
+region at the end:
+
+```ini
+# -- workshop: region sections, yours to edit; the render keeps it --
+[mypy-acme.generated.*]
+ignore_errors = True
+# -- workshop: end sections --
+```
+
+The extension adds mypy to the dev group too, since mypy reads the
+members' own stubs from the environment.

livery_extensions_mypy-0.0.0/src/livery/extensions/mypy/_docs/nav.toml

@@ -0,0 +1,12 @@
+# This package's section of the workspace site, hand-authored.
+# Labels map to pages relative to this docs/ tree, or to nested
+# lists. Every authored page must appear here, and every entry must
+# name a real page. A generator owns a block between `# nav:begin
+# <name>` and `# nav:end <name>` markers (tasks, tools); the emitter's
+# own sections, changelog, coverage and api, are blocks too: place a
+# pair where one belongs, and a section without one lands after the
+# authored entries, changelog and coverage ahead of the tasks block,
+# api last.
+nav = [
+    { "Index" = "index.md" },
+]

livery_extensions_mypy-0.0.0/src/livery/extensions/mypy/content/root/mypy.ini.jinja

@@ -0,0 +1,61 @@
+# Written by `{{ prog }} sync` from the mypy extension; the gate keeps it
+# matching. Edit inside the region at the end, which is the repository's
+# own; an edit anywhere else is drift.
+#
+# {{ namespace_package }}.* is fully strict; tests and tasks.py run the
+# usage-checking half (check_untyped_defs, on through strict), so every
+# test body type-checks as consumer code without demanding `-> None`
+# on every def. Narrow suppressions live inline as
+# `# type: ignore[code]` with a reason; pyright-only suppressions use
+# `# pyright: ignore` so warn_unused_ignores keeps this checker's set
+# honest.
+[mypy]
+files =
+{% for package in py %}    packages/{{ package.dir }}/src,
+    packages/{{ package.dir }}/tests,
+{% endfor %}{% for path in root_tests %}    {{ path }},
+{% endfor %}    tasks.py
+# A PEP 420 namespace in a src layout: mypy derives a module's name
+# from these bases, since no __init__.py trail leads to its root. The
+# tests directories are bases too, as they are on pytest's pythonpath,
+# so a test's helper module resolves for mypy as it does for pytest.
+mypy_path =
+    typings{% for package in py %},
+    packages/{{ package.dir }}/src,
+    packages/{{ package.dir }}/tests{% endfor %}{% for path in root_tests %},
+    {{ path }}{% endfor %}
+namespace_packages = True
+explicit_package_bases = True
+# A deterministic world, whatever host runs the check: a bare run
+# checks linux, and the check adds darwin and win32, since mypy has no
+# all-platforms mode.
+platform = linux
+python_version = {{ python_floor }}
+# The cache lives with the workshop's state, never in the root; a bare
+# run shares the check's linux one.
+cache_dir = .workshop/.cache/mypy/linux
+strict = True
+disallow_untyped_defs = False
+disallow_incomplete_defs = False
+disallow_untyped_calls = False
+disallow_untyped_decorators = False
+# The public names' re-exports are the type-completeness check's and
+# the public-surface test's to police.
+implicit_reexport = True
+
+[mypy-{{ namespace_package }}.*]
+disallow_untyped_defs = True
+disallow_incomplete_defs = True
+disallow_untyped_calls = True
+disallow_untyped_decorators = True
+
+# The generated tool stubs carry the suppressions their generator
+# placed for its own reading of each tool; which of them fire varies
+# with flags this file does not share, and an unused one there is the
+# generator's business, not drift.
+[mypy-*.toolroom.stubs.*]
+warn_unused_ignores = False
+
+# The repository's own sections, a `[mypy-<module>]` each.
+# -- workshop: region sections, yours to edit; the render keeps it --
+# -- workshop: end sections --

livery_extensions_mypy-0.0.0/src/livery/extensions/mypy/extension.toml

@@ -0,0 +1,25 @@
+# The mypy extension: the type checker, once per platform, over the python
+# files it claims. Read at every mount; a check's code is imported when
+# the check runs.
+
+[extension]
+api-version = 1
+# Listed in the workspace's list alone: one configuration for every member.
+levels = ["workspace"]
+
+[checks.mypy.typecheck]
+run = "livery.extensions.mypy._checks:judge_typecheck"
+narrowing = "paths"
+kinds = ["python"]
+tools = ["mypy"]
+arguments = true
+claims = [
+    { category = "source", suffixes = [".py", ".pyi"] },
+    { category = "test", suffixes = [".py", ".pyi"] },
+    { category = "test-support", suffixes = [".py", ".pyi"] },
+]
+
+# mypy reads the members' own stubs from the venv, so it rides the dev
+# group beside the store's copy.
+[contributions]
+"python.dev-group" = ["mypy>=1.14"]