python-stdlib: Add modules to support typing.

typing, typing_extensions and collections.abc

Signed-off-by: Jos Verlinde <jos_verlinde@hotmail.com>

Author: Josverl

python-stdlib/collections-abc/collections/abc.py

@@ -0,0 +1,7 @@
+# collections.abc
+# minimal support for runtime typing
+# type: ignore
+try:
+    from typing import __Ignore as ABC, __getattr__ as __getattr__
+except:
+    pass

python-stdlib/collections-abc/manifest.py

@@ -0,0 +1,5 @@
+metadata(version="1.26.1")
+
+# require("collections")
+require("typing")
+package("collections")

python-stdlib/typing/manifest.py

@@ -0,0 +1,8 @@
+# type: ignore
+
+metadata(version="1.26.1", description="Typing module for MicroPython.")
+
+# default to opt_level 3 for minimal firmware size
+options.defaults(opt_level=3)
+
+module("typing.py", opt=options.opt_level)

python-stdlib/typing/typing.py

@@ -0,0 +1,97 @@
+"""
+This module provides runtime support for type hints.
+based on : 
+- https://github.com/micropython/micropython-lib/pull/584
+- https://github.com/Josverl/micropython-stubs/tree/main/mip
+- https://github.com/Josverl/rt_typing
+
+"""
+
+# -------------------------------------
+# code reduction by Ignoring type hints
+# -------------------------------------
+class __Ignore:
+    """A class to ignore type hints in code."""
+
+    def __call__(*args, **kwargs):
+        # May need some guardrails here
+        pass
+
+    def __getitem__(self, arg):
+        # May need some guardrails here
+        return __ignore
+
+    def __getattr__(self, attr):
+        if attr in self.__dict__:
+            return self.__dict__[attr]
+        return __ignore
+
+
+__ignore = __Ignore()
+# -----------------
+# typing essentials
+# -----------------
+TYPE_CHECKING = False
+
+def final(arg):  # ( 6 +  bytes)
+    # decorator to indicate that a method should not be overridden
+    # https://docs.python.org/3/library/typing.html#typing.final
+    return arg
+
+
+# def overload(arg):  # ( 27 bytes)
+#     # ignore functions signatures with @overload decorator
+#     return None
+overload = __ignore # saves bytes, and is semantically similar
+
+def NewType(_, arg):  # (21 bytes)
+    # https://docs.python.org/3/library/typing.html#newtype
+    # MicroPython: just use the original type.
+    return arg
+
+# ---------------
+#  useful methods
+# ---------------
+
+# https://docs.python.org/3/library/typing.html#typing.cast
+# def cast(type, arg):  # ( 23 bytes)
+#     return arg
+cast = NewType # saves bytes, and is semantically similar
+
+# https://docs.python.org/3/library/typing.html#typing.no_type_check
+# def no_type_check(arg):  # ( 26 bytes)
+#     # decorator to disable type checking on a function or method
+#     return arg
+no_type_check = final # saves bytes, and is semantically similar
+
+# -------------------
+# less useful methods
+# -------------------
+
+# def reveal_type(x):  # ( 38 bytes)
+# #     # https://docs.python.org/3/library/typing.html#typing.reveal_type
+#     return x
+# or for smaller size:
+reveal_type = final # saves bytes, and is semantically similar
+
+
+# def get_origin(type):  # ( 23 bytes)
+#     # https://docs.python.org/3/library/typing.html#typing.get_origin
+#     #  Return None for all unsupported objects.
+#     return None
+
+
+# def get_args(arg):  # ( 22 bytes)
+#     # https://docs.python.org/3/library/typing.html#typing.get_args
+#     # Python 3.8+ only
+#     return ()
+
+
+# ref: https://github.com/micropython/micropython-lib/pull/584#issuecomment-2317690854
+
+def __getattr__(x):
+    return __ignore
+
+# snarky way to alias typing_extensions to typing ( saving 59 bytes)
+import sys
+sys.modules["typing_extensions"] = sys.modules["typing"]

python-stdlib/typing_extensions/manifest.py

@@ -0,0 +1,10 @@
+metadata(version="1.26.1")
+
+
+# default to opt_level 3 for minimal firmware size
+options.defaults(opt_level=3)
+
+module("typing_extensions.py", opt=options.opt_level)
+
+require("typing")
+package("typing_extensions")

python-stdlib/typing_extensions/typing_extensions.py

@@ -0,0 +1,5 @@
+# typing_extensions.py
+# type: ignore
+
+from typing import *
+from typing import __getattr__