Update stubs for use by MyPy, and multiple other improvements

Author: Josverl

Manual stub build chain.ipynb

@@ -104,14 +104,6 @@ from _typeshed import Incomplete
 from array import array
 from typing_extensions import Awaitable, TypeAlias, TypeVar
 
-_T = TypeVar("_T")
-AnyStr_co = TypeVar("AnyStr_co", str, bytes, covariant=True)
-StrOrBytesPath = TypeVar("StrOrBytesPath", str, bytes, PathLike[str], PathLike[bytes])
-_OpenFile = TypeVar("_OpenFile", str, bytes, PathLike[str], PathLike[bytes], int)
-AnyReadableBuf = TypeVar("AnyReadableBuf", bytearray, array, memoryview, bytes)
-AnyWritableBuf = TypeVar("AnyWritableBuf", bytearray, array, memoryview)
-_Self = TypeVar("_Self")
-
 __all__ = [
     "BlockingIOError",
     "open",
@@ -142,6 +134,13 @@ if sys.version_info >= (3, 11):
 # SEEK_SET: Final = 0
 # SEEK_CUR: Final = 1
 # SEEK_END: Final = 2
+_T = TypeVar("_T")
+AnyStr_co = TypeVar("AnyStr_co", str, bytes, covariant=True)
+StrOrBytesPath = TypeVar("StrOrBytesPath", str, bytes, PathLike[str], PathLike[bytes])
+_OpenFile = TypeVar("_OpenFile", str, bytes, PathLike[str], PathLike[bytes], int)
+AnyReadableBuf = TypeVar("AnyReadableBuf", bytearray, array, memoryview, bytes)
+AnyWritableBuf = TypeVar("AnyWritableBuf", bytearray, array, memoryview)
+_Self = TypeVar("_Self")
 
 class UnsupportedOperation(OSError, ValueError): ...
 class IOBase(_IOBase, metaclass=abc.ABCMeta): ...

publish/micropython-stdlib-stubs/stdlib/io.pyi

@@ -658,3 +658,4 @@ if sys.version_info < (3, 9):
 # SOCK_STREAM: int
 # SOL_SOCKET: int
 # SO_TYPE: int
+MBEDTLS_VERSION: str = "Mbed TLS 3.6.0"

publish/micropython-stdlib-stubs/stdlib/ssl.pyi

@@ -16,7 +16,7 @@ from io import TextIOWrapper
 from types import FrameType, ModuleType, TracebackType
 from typing import Callable, overload, Any, Final, Literal, NoReturn, Protocol, TextIO, TypeVar, final
 from typing_extensions import Awaitable, TypeVar, TypeAlias
-from _mpy_shed import IOBase_mp
+from _mpy_shed import IOBase_mp, _mp_implementation
 
 _T = TypeVar("_T")
 
@@ -194,7 +194,7 @@ class _hash_info(structseq[Any | int], tuple[int, int, int, int, int, str, int,
     @property
     def cutoff(self) -> int: ...  # undocumented
 
-implementation: _implementation
+implementation: _mp_implementation
 
 class _implementation:
     name: str

publish/micropython-stdlib-stubs/stdlib/sys/__init__.pyi

@@ -81,4 +81,4 @@ class DeflateIO:
     def readinto(self, *args, **kwargs) -> Incomplete: ...
     def read(self, *args, **kwargs) -> Incomplete: ...
     def close(self, *args, **kwargs) -> Incomplete: ...
-    def __init__(self, *argv, **kwargs) -> None: ...
+    def __init__(self, stream, format=AUTO, wbits=0, close=False, /) -> None: ...

publish/micropython-v1_24_1-esp32-esp32_generic-stubs/bluetooth.pyi

@@ -1,11 +1,23 @@
 """
+System error codes.
+
+MicroPython module: https://docs.micropython.org/en/v1.24.0/library/errno.html
+
+CPython module: :mod:`python:errno` https://docs.python.org/3/library/errno.html .
+
+This module provides access to symbolic error codes for `OSError` exception.
+A particular inventory of codes depends on :term:`MicroPython port`.
+
+---
 Module: 'errno' on micropython-v1.24.1-esp32-ESP32_GENERIC
 """
 
 # MCU: {'family': 'micropython', 'version': '1.24.1', 'build': '', 'ver': '1.24.1', 'port': 'esp32', 'board': 'ESP32_GENERIC', 'cpu': 'ESP32', 'mpy': 'v6.3', 'arch': 'xtensawin'}
 # Stubber: v1.24.0
 from __future__ import annotations
 from _typeshed import Incomplete
+from typing import Dict
+from typing_extensions import Awaitable, TypeAlias, TypeVar
 
 ENOBUFS: int = 105
 ENODEV: int = 19

publish/micropython-v1_24_1-esp32-esp32_generic-stubs/deflate.pyi

@@ -130,7 +130,7 @@ class ULP:
         """
         ...
 
-    def __init__(self, *argv, **kwargs) -> None:
+    def __init__(self) -> None:
         """
         This class provides access to the Ultra-Low-Power co-processor.
         """
@@ -190,7 +190,7 @@ class NVS:
         """
         ...
 
-    def __init__(self, *argv, **kwargs) -> None:
+    def __init__(self, namespace: str, /) -> None:
         """
         Create an object providing access to a namespace (which is automatically created if not
         present).
@@ -322,7 +322,7 @@ class Partition(AbstractBlockDev):
         """
         ...
 
-    def __init__(self, *argv, **kwargs) -> None:
+    def __init__(self, id: str, block_size=4096, /) -> None:
         """
         Create an object representing a partition.
 
@@ -516,7 +516,16 @@ class RMT:
         """
         ...
 
-    def __init__(self, *argv, **kwargs) -> None:
+    def __init__(
+        self,
+        channel: int,
+        /,
+        *,
+        pin: Pin | None = None,
+        clock_div: int = 8,
+        idle_level: bool = False,
+        tx_carrier: Tuple[int, int, bool] | None = None,
+    ) -> None:
         """
         This class provides access to one of the eight RMT channels. *channel* is
         required and identifies which RMT channel (0-7) will be configured. *pin*,

publish/micropython-v1_24_1-esp32-esp32_generic-stubs/errno.pyi

@@ -15,14 +15,13 @@ from _espnow import ESPNowBase
 from typing import Any, Callable, Dict, Iterator, List, Optional, Tuple, Union, overload
 from typing_extensions import Awaitable, TypeAlias, TypeVar
 
-_MACAddress: TypeAlias = bytes
-_PeerInfo: TypeAlias = Tuple[_MACAddress, bytes, int, int, bool]
-
 KEY_LEN: int = 16
 MAX_DATA_LEN: int = 250
 MAX_ENCRYPT_PEER_NUM: int = 6
 MAX_TOTAL_PEER_NUM: int = 20
 ADDR_LEN: int = 6
+_MACAddress: TypeAlias = bytes
+_PeerInfo: TypeAlias = Tuple[_MACAddress, bytes, int, int, bool]
 
 class ESPNow(ESPNowBase, Iterator):
     """
@@ -546,7 +545,7 @@ class ESPNow(ESPNowBase, Iterator):
         """
         ...
 
-    def __init__(self, *argv, **kwargs) -> None: ...
+    def __init__(self) -> None: ...
     #
     @overload  # force merge
     def __iter__(self) -> ESPNow: ...

publish/micropython-v1_24_1-esp32-esp32_generic-stubs/esp32.pyi

@@ -180,7 +180,15 @@ class FrameBuffer:
         ...
 
     def fill_rect(self, *args, **kwargs) -> Incomplete: ...
-    def __init__(self, *argv, **kwargs) -> None:
+    def __init__(
+        self,
+        buffer: AnyWritableBuf,
+        width: int,
+        height: int,
+        format: int,
+        stride: int = ...,
+        /,
+    ) -> None:
         """
         Construct a FrameBuffer object.  The parameters are: