zipwire 0.2.0__tar.gz → 0.4.0__tar.gz

{zipwire-0.2.0 → zipwire-0.4.0}/.github/dependabot.yml

@@ -8,3 +8,5 @@ updates:
       codeql:
         patterns:
           - "github/codeql-action/*"
+    cooldown:
+      default-days: 7

{zipwire-0.2.0 → zipwire-0.4.0}/.github/workflows/ci.yml

@@ -18,10 +18,10 @@ jobs:
     permissions:
       contents: read
     steps:
-      - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0  # v7.0.0
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1  # v7.0.1
         with:
           persist-credentials: false
-      - uses: astral-sh/setup-uv@11f9893b081a58869d3b5fccaea48c9e9e46f990  # v8.3.2
+      - uses: astral-sh/setup-uv@20cfd1bf945f4377ade1205e4dbc17946fc9a30d  # v10.0.1
         with:
           enable-cache: true
       - run: uvx ruff check src tests
@@ -37,10 +37,10 @@ jobs:
         python-version: ["3.11", "3.12", "3.13", "3.14", "3.15"]
     continue-on-error: ${{ matrix.python-version == '3.15' }}
     steps:
-      - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0  # v7.0.0
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1  # v7.0.1
         with:
           persist-credentials: false
-      - uses: astral-sh/setup-uv@11f9893b081a58869d3b5fccaea48c9e9e46f990  # v8.3.2
+      - uses: astral-sh/setup-uv@20cfd1bf945f4377ade1205e4dbc17946fc9a30d  # v10.0.1
         with:
           enable-cache: true
       - run: uv tool install --python ${{ matrix.python-version }} tox --with tox-uv --with tox-gh
@@ -58,10 +58,10 @@ jobs:
     permissions:
       contents: read
     steps:
-      - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0  # v7.0.0
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1  # v7.0.1
         with:
           persist-credentials: false
-      - uses: astral-sh/setup-uv@11f9893b081a58869d3b5fccaea48c9e9e46f990  # v8.3.2
+      - uses: astral-sh/setup-uv@20cfd1bf945f4377ade1205e4dbc17946fc9a30d  # v10.0.1
         with:
           enable-cache: true
       - uses: actions/download-artifact@3e5f45b2cfb9172054b4087a40e8e0b5a5461e7c  # v8.0.1
@@ -78,10 +78,10 @@ jobs:
     permissions:
       contents: read
     steps:
-      - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0  # v7.0.0
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1  # v7.0.1
         with:
           persist-credentials: false
-      - uses: astral-sh/setup-uv@11f9893b081a58869d3b5fccaea48c9e9e46f990  # v8.3.2
+      - uses: astral-sh/setup-uv@20cfd1bf945f4377ade1205e4dbc17946fc9a30d  # v10.0.1
         with:
           enable-cache: true
       - run: uv sync --group docs

{zipwire-0.2.0 → zipwire-0.4.0}/.github/workflows/codeql.yml

@@ -16,10 +16,10 @@ jobs:
     permissions:
       security-events: write
     steps:
-      - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0  # v7.0.0
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1  # v7.0.1
         with:
           persist-credentials: false
-      - uses: github/codeql-action/init@7188fc363630916deb702c7fdcf4e481b751f97a  # v4.37.1
+      - uses: github/codeql-action/init@ff2f1c621b7f889edc0d3c761ac2e6a3f8cdb0dd  # v4.37.7
         with:
           languages: python
-      - uses: github/codeql-action/analyze@7188fc363630916deb702c7fdcf4e481b751f97a  # v4.37.1
+      - uses: github/codeql-action/analyze@ff2f1c621b7f889edc0d3c761ac2e6a3f8cdb0dd  # v4.37.7

{zipwire-0.2.0 → zipwire-0.4.0}/.github/workflows/release.yml

@@ -12,12 +12,12 @@ jobs:
     permissions:
       contents: read
     steps:
-      - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0  # v7.0.0
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1  # v7.0.1
         with:
           persist-credentials: false
-      - uses: astral-sh/setup-uv@11f9893b081a58869d3b5fccaea48c9e9e46f990  # v8.3.2
+      - uses: astral-sh/setup-uv@20cfd1bf945f4377ade1205e4dbc17946fc9a30d  # v10.0.1
         with:
-          enable-cache: true
+          enable-cache: false
       - run: uv build
       - uses: actions/upload-artifact@043fb46d1a93c77aae656e7c1c64a875d1fc6a0a  # v7.0.1
         with:
@@ -36,6 +36,6 @@ jobs:
         with:
           name: dist
           path: dist/
-      - uses: pypa/gh-action-pypi-publish@cef221092ed1bacb1cc03d23a2d87d1d172e277b  # v1.14.0
+      - uses: pypa/gh-action-pypi-publish@dc37677b2e1c63e2034f94d8a5b11f265b73ba33  # v1.14.2
         with:
           attestations: true

{zipwire-0.2.0 → zipwire-0.4.0}/.github/workflows/scorecard.yml

@@ -15,10 +15,10 @@ jobs:
       security-events: write
       id-token: write
     steps:
-      - uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0  # v7.0.0
+      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1  # v7.0.1
         with:
           persist-credentials: false
-      - uses: ossf/scorecard-action@4eaacf0543bb3f2c246792bd56e8cdeffafb205a  # v2.4.3
+      - uses: ossf/scorecard-action@2d1146689b8cda280b9bc96326124645441f03bc  # v2.4.4
         with:
           results_file: results.sarif
           results_format: sarif
@@ -28,6 +28,6 @@ jobs:
           name: scorecard-results
           path: results.sarif
           retention-days: 5
-      - uses: github/codeql-action/upload-sarif@7188fc363630916deb702c7fdcf4e481b751f97a  # v4.37.1
+      - uses: github/codeql-action/upload-sarif@ff2f1c621b7f889edc0d3c761ac2e6a3f8cdb0dd  # v4.37.7
         with:
           sarif_file: results.sarif

{zipwire-0.2.0 → zipwire-0.4.0}/PKG-INFO

@@ -1,6 +1,6 @@
-Metadata-Version: 2.4
+Metadata-Version: 2.5
 Name: zipwire
-Version: 0.2.0
+Version: 0.4.0
 Summary: Read and extract files from remote ZIP archives over HTTP range requests
 Project-URL: Homepage, https://github.com/tiran/zipwire
 Project-URL: Documentation, https://zipwire.readthedocs.io/
@@ -60,8 +60,13 @@ CDNs, object stores, and static file servers do.
   memory usage low even for large entries.
 - **Sync and async** - `SyncRemoteZip` for synchronous code,
   `AsyncRemoteZip` with `await`/`async with` for asyncio.
+- **Wheel metadata** - `SyncRemoteWheel` / `AsyncRemoteWheel` read a Python
+  wheel's `.dist-info` (METADATA, WHEEL, RECORD) straight from PyPI in a single
+  adaptive tail request, without downloading the wheel.
 - **ZIP64** - supports archives and entries larger than 4 GiB.
 - **Pluggable backends** - bring your own HTTP library (see below).
+- **Local files** - `FileReader` / `AsyncFileReader` open an archive on disk
+  through the exact same API, no HTTP server required.
 
 ## Installation and backends
 
@@ -81,11 +86,36 @@ pip install zipwire[httpx2]
 | requests | `RequestsReader`     | sync  | 1.1     | `requests`    |
 | aiohttp  | `AiohttpReader`      | async | 1.1     | `aiohttp`     |
 
-Every backend accepts an optional pre-configured client or session so you can
-share connection pools, authentication, and retry configuration.
+Every HTTP backend accepts an optional pre-configured client or session so you
+can share connection pools, authentication, and retry configuration.
+
+For archives that already live on the local filesystem, `FileReader` and
+`AsyncFileReader` (in `zipwire.backends`, no extra dependency) satisfy the same
+reader protocols - see the local-file example below.
 
 ## Examples
 
+### Read Python wheel metadata without downloading the wheel
+
+A common use case: fetch a wheel's `METADATA`, `WHEEL`, or `RECORD` from PyPI
+without downloading the (often huge) wheel itself. `SyncRemoteWheel` and
+`AsyncRemoteWheel` parse the wheel URL to locate the `.dist-info` directory and
+fetch an adaptive tail, so metadata entries are served from memory without
+extra HTTP requests:
+
+```python
+from zipwire import SyncRemoteWheel
+from zipwire.backends import Urllib3Reader
+
+url = "https://files.pythonhosted.org/.../requests-2.32.3-py3-none-any.whl"
+with SyncRemoteWheel(Urllib3Reader(url)) as whl:
+    print(whl.read(whl.metadata_name).decode())
+```
+
+This optimization relies on the [recommended wheel layout](https://packaging.python.org/en/latest/specifications/binary-distribution-format/#recommended-archiver-features)
+of placing `.dist-info` at the end of the archive; wheels built otherwise still
+work, falling back to a normal range request per entry.
+
 ### Sync - list files and read one
 
 ```python
@@ -130,6 +160,21 @@ async def main():
 asyncio.run(main())
 ```
 
+### Local archive - same API, no HTTP
+
+`FileReader` opens an archive from disk through the same interface, accepting a
+path or a `file://` URI. `AsyncFileReader` is the async counterpart. This lets
+code that already uses zipwire handle local and remote archives the same way,
+without special-casing either.
+
+```python
+from zipwire import SyncRemoteZip
+from zipwire.backends import FileReader
+
+with SyncRemoteZip(FileReader("/path/to/archive.zip")) as rz:
+    data = rz.read("path/to/file.txt")
+```
+
 ## License
 
 Apache-2.0

{zipwire-0.2.0 → zipwire-0.4.0}/README.md

@@ -25,8 +25,13 @@ CDNs, object stores, and static file servers do.
   memory usage low even for large entries.
 - **Sync and async** - `SyncRemoteZip` for synchronous code,
   `AsyncRemoteZip` with `await`/`async with` for asyncio.
+- **Wheel metadata** - `SyncRemoteWheel` / `AsyncRemoteWheel` read a Python
+  wheel's `.dist-info` (METADATA, WHEEL, RECORD) straight from PyPI in a single
+  adaptive tail request, without downloading the wheel.
 - **ZIP64** - supports archives and entries larger than 4 GiB.
 - **Pluggable backends** - bring your own HTTP library (see below).
+- **Local files** - `FileReader` / `AsyncFileReader` open an archive on disk
+  through the exact same API, no HTTP server required.
 
 ## Installation and backends
 
@@ -46,11 +51,36 @@ pip install zipwire[httpx2]
 | requests | `RequestsReader`     | sync  | 1.1     | `requests`    |
 | aiohttp  | `AiohttpReader`      | async | 1.1     | `aiohttp`     |
 
-Every backend accepts an optional pre-configured client or session so you can
-share connection pools, authentication, and retry configuration.
+Every HTTP backend accepts an optional pre-configured client or session so you
+can share connection pools, authentication, and retry configuration.
+
+For archives that already live on the local filesystem, `FileReader` and
+`AsyncFileReader` (in `zipwire.backends`, no extra dependency) satisfy the same
+reader protocols - see the local-file example below.
 
 ## Examples
 
+### Read Python wheel metadata without downloading the wheel
+
+A common use case: fetch a wheel's `METADATA`, `WHEEL`, or `RECORD` from PyPI
+without downloading the (often huge) wheel itself. `SyncRemoteWheel` and
+`AsyncRemoteWheel` parse the wheel URL to locate the `.dist-info` directory and
+fetch an adaptive tail, so metadata entries are served from memory without
+extra HTTP requests:
+
+```python
+from zipwire import SyncRemoteWheel
+from zipwire.backends import Urllib3Reader
+
+url = "https://files.pythonhosted.org/.../requests-2.32.3-py3-none-any.whl"
+with SyncRemoteWheel(Urllib3Reader(url)) as whl:
+    print(whl.read(whl.metadata_name).decode())
+```
+
+This optimization relies on the [recommended wheel layout](https://packaging.python.org/en/latest/specifications/binary-distribution-format/#recommended-archiver-features)
+of placing `.dist-info` at the end of the archive; wheels built otherwise still
+work, falling back to a normal range request per entry.
+
 ### Sync - list files and read one
 
 ```python
@@ -95,6 +125,21 @@ async def main():
 asyncio.run(main())
 ```
 
+### Local archive - same API, no HTTP
+
+`FileReader` opens an archive from disk through the same interface, accepting a
+path or a `file://` URI. `AsyncFileReader` is the async counterpart. This lets
+code that already uses zipwire handle local and remote archives the same way,
+without special-casing either.
+
+```python
+from zipwire import SyncRemoteZip
+from zipwire.backends import FileReader
+
+with SyncRemoteZip(FileReader("/path/to/archive.zip")) as rz:
+    data = rz.read("path/to/file.txt")
+```
+
 ## License
 
 Apache-2.0

{zipwire-0.2.0 → zipwire-0.4.0}/docs/api.rst

@@ -18,12 +18,27 @@ Core
 
 .. autoclass:: zipwire.SyncRemoteZip
    :members:
+   :inherited-members:
    :special-members: __enter__, __exit__
 
 .. autoclass:: zipwire.AsyncRemoteZip
    :members:
+   :inherited-members:
    :special-members: __aenter__, __aexit__
 
+Wheel
+-----
+
+.. autoclass:: zipwire.SyncRemoteWheel
+   :members:
+   :inherited-members:
+   :show-inheritance:
+
+.. autoclass:: zipwire.AsyncRemoteWheel
+   :members:
+   :inherited-members:
+   :show-inheritance:
+
 .. autoclass:: zipwire.RemoteZipInfo
    :show-inheritance:
 
@@ -63,6 +78,14 @@ Backends
 .. autoclass:: zipwire.backends._aiohttp.AiohttpReader
    :members:
 
+.. autoclass:: zipwire.backends._file.FileReader
+   :members:
+   :special-members: __enter__, __exit__
+
+.. autoclass:: zipwire.backends._file.AsyncFileReader
+   :members:
+   :special-members: __aenter__, __aexit__
+
 Exceptions
 ----------
 

{zipwire-0.2.0 → zipwire-0.4.0}/docs/backends.rst

@@ -43,6 +43,16 @@ Available backends
      - async
      - 1.1
      - ``aiohttp``
+   * - local files
+     - :class:`~zipwire.backends.FileReader`
+     - sync
+     - --
+     - *(included)*
+   * - local files
+     - :class:`~zipwire.backends.AsyncFileReader`
+     - async
+     - --
+     - *(included)*
 
 Choosing a backend
 ------------------
@@ -60,6 +70,57 @@ Choosing a backend
 - **Requests integration** - use :class:`~zipwire.backends.RequestsReader`
   if your project already uses ``requests`` and you want to share sessions,
   authentication, or retry configuration.
+- **Local archives** - use :class:`~zipwire.backends.FileReader` or
+  :class:`~zipwire.backends.AsyncFileReader` to read a ZIP or wheel that
+  already lives on the local filesystem.  No extra dependency is required.
+
+Reading local files
+-------------------
+
+:class:`~zipwire.backends.FileReader` and
+:class:`~zipwire.backends.AsyncFileReader` back the same
+:class:`~zipwire.SyncRemoteZip` / :class:`~zipwire.AsyncRemoteZip` API with
+local file IO, so identical code opens a local or a remote archive.  Instead
+of an HTTP round-trip, :meth:`~zipwire.backends.FileReader.head` synthesises
+``Content-Length`` / ``Accept-Ranges`` from ``os.fstat`` on the open handle
+(the size is cached, assuming the file does not change), and range reads
+seek into a lazily-opened file handle.  A missing path raises
+:exc:`FileNotFoundError`, mirroring how a network 404 surfaces as
+:exc:`OSError`.
+
+Both accept either a path (``str`` / :class:`os.PathLike`) or a ``file://``
+URI via :meth:`~zipwire.backends.FileReader.from_uri` (percent-decoded, with
+an empty or ``localhost`` host).
+
+.. code-block:: python
+
+   from zipwire import SyncRemoteZip
+   from zipwire.backends import FileReader
+
+   with SyncRemoteZip(FileReader("/path/to/archive.zip")) as rz:
+       data = rz.read("file.txt")
+
+   reader = FileReader.from_uri("file:///path/to/archive.zip")
+
+Regular files do not support true non-blocking IO, so
+:class:`~zipwire.backends.AsyncFileReader` offloads every blocking call to a
+worker thread via :func:`asyncio.to_thread` -- the same approach libraries
+such as ``aiofiles`` use internally, without the extra dependency.
+
+.. code-block:: python
+
+   import asyncio
+
+   from zipwire import AsyncRemoteZip
+   from zipwire.backends import AsyncFileReader
+
+
+   async def main():
+       async with AsyncRemoteZip(AsyncFileReader("/path/to/archive.zip")) as rz:
+           print(await rz.read("file.txt"))
+
+
+   asyncio.run(main())
 
 Passing an existing client
 --------------------------

{zipwire-0.2.0 → zipwire-0.4.0}/docs/quickstart.rst

@@ -46,6 +46,25 @@ entries:
        with open("output.bin", "wb") as f:
            rz.read_into("big-file.bin", f)
 
+Read a local archive
+^^^^^^^^^^^^^^^^^^^^
+
+:class:`~zipwire.backends.FileReader` opens an archive on the local
+filesystem through the same interface, so the same code works for local and
+remote archives.  It accepts a path or a ``file://`` URI and needs no extra
+dependency:
+
+.. code-block:: python
+
+   from zipwire import SyncRemoteZip
+   from zipwire.backends import FileReader
+
+   with SyncRemoteZip(FileReader("/path/to/archive.zip")) as rz:
+       data = rz.read("path/to/file.txt")
+
+   # Or from a file:// URI
+   reader = FileReader.from_uri("file:///path/to/archive.zip")
+
 Asynchronous usage
 ------------------
 
@@ -83,12 +102,33 @@ Async with httpx2
    async def main():
        reader = Httpx2AsyncReader("https://archive.example/data.zip")
        async with AsyncRemoteZip(reader) as rz:
-           names = await rz.namelist()
+           names = rz.namelist()
            print(names)
 
 
    asyncio.run(main())
 
+Async local archive
+^^^^^^^^^^^^^^^^^^^
+
+:class:`~zipwire.backends.AsyncFileReader` reads a local archive and offloads
+blocking file IO to a worker thread so it never stalls the event loop:
+
+.. code-block:: python
+
+   import asyncio
+
+   from zipwire import AsyncRemoteZip
+   from zipwire.backends import AsyncFileReader
+
+
+   async def main():
+       async with AsyncRemoteZip(AsyncFileReader("/path/to/archive.zip")) as rz:
+           print(await rz.read("path/to/file.txt"))
+
+
+   asyncio.run(main())
+
 Async streaming to disk
 ^^^^^^^^^^^^^^^^^^^^^^^^
 
@@ -109,6 +149,47 @@ Async streaming to disk
 
    asyncio.run(main())
 
+Wheel dist-info metadata
+------------------------
+
+``SyncRemoteWheel`` and ``AsyncRemoteWheel`` extend the base classes
+with an adaptive tail fetch and a ``distinfolist()`` method.  The tail
+size scales with the archive (at least 128 KiB, up to ~0.4% of the
+file) so that dist-info entries are typically served from memory
+without extra HTTP requests.
+
+.. code-block:: python
+
+   from zipwire import SyncRemoteWheel
+   from zipwire.backends import Urllib3Reader
+
+   url = "https://files.pythonhosted.org/.../requests-2.32.3-py3-none-any.whl"
+   reader = Urllib3Reader(url)
+   with SyncRemoteWheel(reader) as whl:
+       for entry in whl.distinfolist():
+           data = whl.read(entry)
+           print(entry.filename, len(data))
+
+Async variant:
+
+.. code-block:: python
+
+   import asyncio
+
+   from zipwire import AsyncRemoteWheel
+   from zipwire.backends import AiohttpReader
+
+
+   async def main():
+       reader = AiohttpReader(url)
+       async with AsyncRemoteWheel(reader) as whl:
+           for entry in whl.distinfolist():
+               data = await whl.read(entry)
+               print(entry.filename, len(data))
+
+
+   asyncio.run(main())
+
 Passing a pre-configured client
 --------------------------------
 

{zipwire-0.2.0 → zipwire-0.4.0}/src/zipwire/__init__.py

@@ -34,7 +34,7 @@ Asynchronous example
     async def main():
         reader = AiohttpReader("https://example.com/archive.zip")
         async with AsyncRemoteZip(reader) as rz:
-            print(await rz.namelist())
+            print(rz.namelist())
             data = await rz.read("path/inside/archive.txt")
 
             # Stream a large entry directly to disk
@@ -58,6 +58,44 @@ Asynchronous:
   - ``AiohttpReader`` -- uses *aiohttp* (``pip install zipwire[aiohttp]``)
   - ``Httpx2AsyncReader`` -- uses *httpx2*, supports HTTP/2
     (``pip install zipwire[httpx2]``)
+
+Local files:
+  - ``FileReader`` / ``AsyncFileReader`` -- read an archive from the local
+    filesystem through the same API (no extra dependency).  Useful for
+    testing or for handling ``file://`` URIs and local paths uniformly
+    with HTTP URLs.
+
+::
+
+    from zipwire import SyncRemoteZip
+    from zipwire.backends import FileReader
+
+    with SyncRemoteZip(FileReader("/path/to/archive.zip")) as rz:
+        data = rz.read("path/inside/archive.txt")
+
+    # From a file:// URI
+    reader = FileReader.from_uri("file:///path/to/archive.zip")
+
+Wheel subclasses
+----------------
+
+``SyncRemoteWheel`` and ``AsyncRemoteWheel`` extend the base classes
+for Python wheels.  They parse the wheel URL to derive the
+``.dist-info`` directory name, fetch an adaptive tail (at least
+128 KiB, scaling with archive size) to cover dist-info entries at
+the end of the archive, and serve matching reads from the tail
+buffer without extra HTTP requests.
+
+::
+
+    from zipwire import SyncRemoteWheel
+    from zipwire.backends import Urllib3Reader
+
+    url = "https://files.pythonhosted.org/.../requests-2.32.3-py3-none-any.whl"
+    reader = Urllib3Reader(url)
+    with SyncRemoteWheel(reader) as whl:
+        for entry in whl.distinfolist():
+            print(entry.filename, whl.read(entry))
 """
 
 from __future__ import annotations
@@ -76,10 +114,12 @@ from zipwire._errors import (
 from zipwire._parser import EOCDInfo
 from zipwire._sync import SyncRemoteZip
 from zipwire._types import AsyncReader, Headers, SyncReader, Writable
+from zipwire._wheel import AsyncRemoteWheel, SyncRemoteWheel
 from zipwire._zipinfo import RemoteZipInfo
 
 __all__ = [
     "AsyncReader",
+    "AsyncRemoteWheel",
     "AsyncRemoteZip",
     "BadZipFile",
     "CRCMismatch",
@@ -91,6 +131,7 @@ __all__ = [
     "RangeRequestUnsupported",
     "RemoteZipInfo",
     "SyncReader",
+    "SyncRemoteWheel",
     "SyncRemoteZip",
     "UnsupportedCompression",
     "Writable",

{zipwire-0.2.0 → zipwire-0.4.0}/src/zipwire/__main__.py

@@ -41,7 +41,7 @@ async def _run_async(url: str, backend: str, skip_dirs: bool) -> None:
     names = {"httpx2": "Httpx2AsyncReader", "aiohttp": "AiohttpReader"}
     reader_cls = getattr(backends, names[backend])
     async with AsyncRemoteZip(reader_cls(url)) as rz:
-        _print_table(await rz.infolist(), skip_dirs)
+        _print_table(rz.infolist(), skip_dirs)
 
 
 def main(argv: list[str] | None = None) -> None: