omlish 0.0.0.dev398__py3-none-any.whl → 0.0.0.dev399__py3-none-any.whl

omlish/__about__.py

@@ -1,5 +1,5 @@
-__version__ = '0.0.0.dev398'
-__revision__ = '36ad9ea49db19a697cb584dc80f1fac002db95f3'
+__version__ = '0.0.0.dev399'
+__revision__ = 'a8c0f1b2847879fa35db7e882438c69db3bd3b7c'
 
 
 #

omlish/bootstrap/__init__.py

@@ -37,6 +37,6 @@ from .sys import (  # noqa
 ##
 
 
-from ..lang.imports import _register_conditional_import  # noqa
+from .. import lang as _lang
 
-_register_conditional_import('..marshal', '.marshal', __package__)
+_lang.register_conditional_import('..marshal', '.marshal', __package__)

omlish/lang/__init__.py

@@ -219,16 +219,33 @@ from .generators import (  # noqa
     nextgen,
 )
 
-from .imports import (  # noqa
-    LazyGlobals,
-    can_import,
-    get_real_module_name,
-    import_all,
+from .imports.conditional import (  # noqa
+    register_conditional_import,
+    trigger_conditional_imports,
+)
+
+from .imports.lazy import (  # noqa
     lazy_import,
     proxy_import,
+)
+
+from .imports.proxyinit import (  # noqa
     proxy_init,
+
+    AutoProxyInitError,
+    AutoProxyInitErrors,
+    auto_proxy_init,
+)
+
+from .imports.resolution import (  # noqa
+    can_import,
+    get_real_module_name,
     resolve_import_name,
     try_import,
+)
+
+from .imports.traversal import (  # noqa
+    import_all,
     yield_import_all,
     yield_importable,
 )
@@ -251,6 +268,10 @@ from .iterables import (  # noqa
     take,
 )
 
+from .lazyglobals import (  # noqa
+    LazyGlobals,
+)
+
 from .maysyncs import (  # noqa
     MaysyncP,
 

omlish/lang/imports/conditional.py

@@ -0,0 +1,33 @@
+import sys
+
+from .resolution import resolve_import_name
+
+
+##
+
+
+# dict[str, None] to preserve insertion order - we don't have OrderedSet here
+_REGISTERED_CONDITIONAL_IMPORTS: dict[str, dict[str, None] | None] = {}
+
+
+def register_conditional_import(when: str, then: str, package: str | None = None) -> None:
+    wn = resolve_import_name(when, package)
+    tn = resolve_import_name(then, package)
+    if tn in sys.modules:
+        return
+    if wn in sys.modules:
+        __import__(tn)
+    else:
+        tns = _REGISTERED_CONDITIONAL_IMPORTS.setdefault(wn, {})
+        if tns is None:
+            raise Exception(f'Conditional import trigger already cleared: {wn=} {tn=}')
+        tns[tn] = None
+
+
+def trigger_conditional_imports(package: str) -> None:
+    tns = _REGISTERED_CONDITIONAL_IMPORTS.get(package, {})
+    if tns is None:
+        raise Exception(f'Conditional import trigger already cleared: {package=}')
+    _REGISTERED_CONDITIONAL_IMPORTS[package] = None
+    for tn in tns:
+        __import__(tn)

omlish/lang/imports/lazy.py

@@ -0,0 +1,66 @@
+import importlib.util
+import types
+import typing as ta
+
+
+##
+
+
+def lazy_import(
+        name: str,
+        package: str | None = None,
+        *,
+        optional: bool = False,
+        cache_failure: bool = False,
+) -> ta.Callable[[], ta.Any]:
+    result = not_set = object()
+
+    def inner():
+        nonlocal result
+
+        if result is not not_set:
+            if isinstance(result, Exception):
+                raise result
+            return result
+
+        try:
+            mod = importlib.import_module(name, package=package)
+
+        except Exception as e:
+            if optional:
+                if cache_failure:
+                    result = None
+                return None
+
+            if cache_failure:
+                result = e
+            raise
+
+        result = mod
+        return mod
+
+    return inner
+
+
+def proxy_import(
+        name: str,
+        package: str | None = None,
+        extras: ta.Iterable[str] | None = None,
+) -> types.ModuleType:
+    if isinstance(extras, str):
+        raise TypeError(extras)
+
+    omod = None
+
+    def __getattr__(att):  # noqa
+        nonlocal omod
+        if omod is None:
+            omod = importlib.import_module(name, package=package)
+            if extras:
+                for x in extras:
+                    importlib.import_module(f'{name}.{x}', package=package)
+        return getattr(omod, att)
+
+    lmod = types.ModuleType(name)
+    lmod.__getattr__ = __getattr__  # type: ignore
+    return lmod

omlish/lang/imports/proxyinit.py

@@ -0,0 +1,441 @@
+"""
+TODO:
+ - auto_proxy_init can capture `import as` by scanning globals for sentinels
+  - replaces _AutoProxyInitCapture._attrs dict outright
+  - should raise on unbound or shadowed import - was probably imported for side-effects but will never get
+    proxy imported
+"""
+import builtins
+import contextlib
+import functools
+import importlib.util
+import types
+import typing as ta
+
+from ..lazyglobals import LazyGlobals
+
+
+##
+
+
+class NamePackage(ta.NamedTuple):
+    name: str
+    package: str
+
+
+class _ProxyInit:
+    class _Import(ta.NamedTuple):
+        pkg: str
+        attr: str | None
+
+    def __init__(
+            self,
+            lazy_globals: LazyGlobals,
+            name_package: NamePackage,
+    ) -> None:
+        super().__init__()
+
+        self._lazy_globals = lazy_globals
+        self._name_package = name_package
+
+        self._imps_by_attr: dict[str, _ProxyInit._Import] = {}
+        self._mods_by_pkgs: dict[str, ta.Any] = {}
+
+    @property
+    def name_package(self) -> NamePackage:
+        return self._name_package
+
+    def add(
+            self,
+            package: str,
+            attrs: ta.Iterable[str | tuple[str, str]] | None = None,
+    ) -> None:
+        if isinstance(attrs, str):
+            raise TypeError(attrs)
+
+        if attrs is None:
+            whole_attr = package.split('.')[-1]
+
+            self._imps_by_attr[whole_attr] = self._Import(package, None)
+            self._lazy_globals.set_fn(whole_attr, functools.partial(self.get, whole_attr))
+
+        else:
+            for attr in attrs:
+                if isinstance(attr, tuple):
+                    imp_attr, attr = attr
+                else:
+                    imp_attr = attr
+
+                self._imps_by_attr[attr] = self._Import(package, imp_attr)
+                self._lazy_globals.set_fn(attr, functools.partial(self.get, attr))
+
+    def get(self, attr: str) -> ta.Any:
+        try:
+            imp = self._imps_by_attr[attr]
+        except KeyError:
+            raise AttributeError(attr)  # noqa
+
+        val: ta.Any
+
+        if imp.attr is None:
+            val = importlib.import_module(imp.pkg, package=self._name_package.package)
+
+        else:
+            try:
+                mod = self._mods_by_pkgs[imp.pkg]
+            except KeyError:
+                mod = importlib.import_module(imp.pkg, package=self._name_package.package)
+
+            val = getattr(mod, imp.attr)
+
+        return val
+
+
+def proxy_init(
+        init_globals: ta.MutableMapping[str, ta.Any],
+        package: str,
+        attrs: ta.Iterable[str | tuple[str, str]] | None = None,
+) -> None:
+    if isinstance(attrs, str):
+        raise TypeError(attrs)
+
+    init_name_package = NamePackage(
+        init_globals['__name__'],
+        init_globals['__package__'],
+    )
+
+    pi: _ProxyInit
+    try:
+        pi = init_globals['__proxy_init__']
+
+    except KeyError:
+        pi = _ProxyInit(
+            LazyGlobals.install(init_globals),
+            init_name_package,
+        )
+        init_globals['__proxy_init__'] = pi
+
+    else:
+        if pi.name_package != init_name_package:
+            raise Exception(f'Wrong init name: {pi.name_package=} != {init_name_package=}')
+
+    pi.add(package, attrs)
+
+
+##
+
+
+class AutoProxyInitError(Exception):
+    pass
+
+
+class AutoProxyInitErrors:
+    def __new__(cls, *args, **kwargs):  # noqa
+        raise TypeError
+
+    class HookError(AutoProxyInitError):
+        pass
+
+    class AttrError(AutoProxyInitError):
+        def __init__(self, module: str | None, name: str) -> None:
+            super().__init__()
+
+            self.module = module
+            self.name = name
+
+        def __repr__(self) -> str:
+            return f'{self.__class__.__qualname__}(module={self.module!r}, name={self.name!r})'
+
+    class ImportError(AutoProxyInitError):  # noqa
+        def __init__(self, module: str, from_list: ta.Sequence[str] | None) -> None:
+            super().__init__()
+
+            self.module = module
+            self.from_list = from_list
+
+        def __repr__(self) -> str:
+            return f'{self.__class__.__qualname__}(module={self.module!r}, from_list={self.from_list!r})'
+
+    class ImportStarForbiddenError(ImportError):
+        pass
+
+    class UnproxiedImportForbiddenError(ImportError):
+        pass
+
+
+class _AutoProxyInitCapture:
+    class ModuleSpec(ta.NamedTuple):
+        name: str
+        level: int
+
+        def __str__(self) -> str:
+            return f'{"." * self.level}{self.name}'
+
+        def __repr__(self) -> str:
+            return repr(str(self))
+
+    class _ModuleAttr:
+        def __init__(self, module: '_AutoProxyInitCapture._Module', name: str) -> None:
+            super().__init__()
+
+            self.__module = module
+            self.__name = name
+
+        def __repr__(self) -> str:
+            return f'<{self.__class__.__name__}: {f"{self.__module.spec}:{self.__name}"!r}>'
+
+    class _Module:
+        def __init__(self, spec: '_AutoProxyInitCapture.ModuleSpec') -> None:
+            super().__init__()
+
+            self.spec = spec
+
+            self.module = types.ModuleType(f'<{self.__class__.__qualname__}: {spec!r}>')
+
+            self.attrs: dict[str, _AutoProxyInitCapture._ModuleAttr] = {}
+            self.imported_whole = False
+
+        def __repr__(self) -> str:
+            return f'{self.__class__.__name__}({self.spec!r})'
+
+    def __init__(self) -> None:
+        super().__init__()
+
+        self._modules: dict[_AutoProxyInitCapture.ModuleSpec, _AutoProxyInitCapture._Module] = {}
+        self._attrs: dict[str, _AutoProxyInitCapture._ModuleAttr | _AutoProxyInitCapture._Module] = {}
+
+    def _handle_import(
+            self,
+            module: _Module,
+            *,
+            from_list: ta.Sequence[str] | None,
+    ) -> None:
+        if from_list is None:
+            if module.spec.level or not module.spec.name:
+                raise AutoProxyInitError
+
+            attr = module.spec.name
+
+            try:
+                xma: ta.Any = self._attrs[attr]
+            except KeyError:
+                pass
+
+            else:
+                if (
+                        xma is not self._attrs.get(attr) or
+                        not module.imported_whole
+                ):
+                    raise AutoProxyInitErrors.AttrError(str(module.spec), attr)
+
+                return
+
+            self._attrs[attr] = module
+            module.imported_whole = True
+
+        else:
+            for attr in from_list:
+                if attr == '*':
+                    raise AutoProxyInitErrors.ImportStarForbiddenError(str(module.spec), from_list)
+
+                try:
+                    xma = getattr(module.module, attr)
+                except AttributeError:
+                    pass
+
+                else:
+                    if (
+                            xma is not module.attrs.get(attr) or
+                            xma is not self._attrs.get(attr)
+                    ):
+                        raise AutoProxyInitErrors.AttrError(str(module.spec), attr)
+
+                    continue
+
+                if attr in self._attrs:
+                    raise AutoProxyInitErrors.AttrError(str(module.spec), attr)
+
+                ma = _AutoProxyInitCapture._ModuleAttr(module, attr)
+                self._attrs[attr] = ma
+                module.attrs[attr] = ma
+                setattr(module.module, attr, ma)
+
+    _MOD_SELF_ATTR: ta.ClassVar[str] = '__auto_proxy_init_capture__'
+
+    def _intercept_import(
+            self,
+            name: str,
+            *,
+            globals: ta.Mapping[str, ta.Any] | None = None,  # noqa
+            from_list: ta.Sequence[str] | None = None,
+            level: int = 0,
+    ) -> types.ModuleType | None:
+        if not (
+                globals is not None and
+                globals.get(self._MOD_SELF_ATTR) is self
+        ):
+            return None
+
+        spec = _AutoProxyInitCapture.ModuleSpec(name, level)
+        try:
+            module = self._modules[spec]
+        except KeyError:
+            module = self._Module(spec)
+            self._modules[spec] = module
+
+        self._handle_import(
+            module,
+            from_list=from_list,
+        )
+
+        return module.module
+
+    @contextlib.contextmanager
+    def hook_context(
+            self,
+            init_globals: ta.MutableMapping[str, ta.Any],  # noqa
+            *,
+            forbid_unproxied_imports: bool = False,
+    ) -> ta.Iterator[None]:
+        if self._MOD_SELF_ATTR in init_globals:
+            raise AutoProxyInitErrors.HookError
+
+        old_import = builtins.__import__
+
+        def new_import(
+                name,
+                globals=None,  # noqa
+                locals=None,  # noqa
+                fromlist=None,
+                level=0,
+        ):
+            if (im := self._intercept_import(
+                    name,
+                    globals=globals,
+                    from_list=fromlist,
+                    level=level,
+            )) is not None:
+                return im
+
+            if forbid_unproxied_imports:
+                raise AutoProxyInitErrors.UnproxiedImportForbiddenError(
+                    str(_AutoProxyInitCapture.ModuleSpec(name, level)),
+                    fromlist,
+                )
+
+            return old_import(
+                name,
+                globals=globals,
+                locals=locals,
+                fromlist=fromlist,
+                level=level,
+            )
+
+        #
+
+        init_globals[self._MOD_SELF_ATTR] = self
+        builtins.__import__ = new_import
+
+        try:
+            yield
+
+        finally:
+            if not (
+                    init_globals[self._MOD_SELF_ATTR] is self and
+                    builtins.__import__ is new_import
+            ):
+                raise AutoProxyInitErrors.HookError
+
+            del init_globals[self._MOD_SELF_ATTR]
+            builtins.__import__ = old_import
+
+    def verify_globals(
+            self,
+            init_globals: ta.MutableMapping[str, ta.Any],  # noqa
+    ) -> None:
+        for attr, obj in self._attrs.items():
+            try:
+                xo = init_globals[attr]
+            except KeyError:
+                raise AutoProxyInitErrors.AttrError(None, attr) from None
+
+            if isinstance(obj, _AutoProxyInitCapture._ModuleAttr):
+                if xo is not obj:
+                    raise AutoProxyInitErrors.AttrError(None, attr) from None
+
+            elif isinstance(obj, _AutoProxyInitCapture._Module):
+                if xo is not obj.module:
+                    raise AutoProxyInitErrors.AttrError(None, attr) from None
+
+            else:
+                raise TypeError(obj)
+
+    @property
+    def all_attrs(self) -> ta.AbstractSet[str]:
+        return self._attrs.keys()
+
+    class ProxyInit(ta.NamedTuple):
+        package: str
+        attrs: ta.Sequence[str] | None
+
+    def build_proxy_inits(self) -> list[ProxyInit]:
+        lst: list[_AutoProxyInitCapture.ProxyInit] = []
+
+        for module in self._modules.values():
+            if module.imported_whole:
+                lst.append(_AutoProxyInitCapture.ProxyInit(str(module.spec), None))
+
+            if module.attrs:
+                if not module.spec.name:
+                    for attr in module.attrs:
+                        if not module.spec.level:
+                            raise AutoProxyInitError
+
+                        lst.append(_AutoProxyInitCapture.ProxyInit('.' * module.spec.level + attr, None))
+
+                else:
+                    lst.append(_AutoProxyInitCapture.ProxyInit(str(module.spec), list(module.attrs)))
+
+        return lst
+
+
+@contextlib.contextmanager
+def auto_proxy_init(
+        init_globals: ta.MutableMapping[str, ta.Any],
+        *,
+        disable: bool = False,
+        eager: bool = False,
+) -> ta.Iterator[None]:
+    """
+    This is a bit extreme - use sparingly. It relies on an interpreter-global import lock, but much of the ecosystem
+    implicitly does anyway. It further relies on temporarily patching `__builtins__.__import__`, but could be switched
+    to use any number of other import hooks.
+    """
+
+    if disable:
+        yield
+        return
+
+    cap = _AutoProxyInitCapture()
+
+    with cap.hook_context(init_globals):
+        yield
+
+    cap.verify_globals(init_globals)
+
+    pis = cap.build_proxy_inits()
+
+    for attr in cap.all_attrs:
+        del init_globals[attr]
+
+    for pi in pis:
+        proxy_init(
+            init_globals,
+            pi.package,
+            pi.attrs,
+        )
+
+    if eager:
+        lg = LazyGlobals.install(init_globals)
+        for attr in cap.all_attrs:
+            lg.get(attr)

omlish/lang/imports/resolution.py

@@ -0,0 +1,86 @@
+"""
+TODO:
+ - use importlib.util.resolve_name
+"""
+import importlib.util
+import sys
+import types
+import typing as ta
+
+
+##
+
+
+def can_import(name: str, package: str | None = None) -> bool:
+    try:
+        spec = importlib.util.find_spec(name, package)
+    except ImportError:
+        return False
+    else:
+        return spec is not None
+
+
+##
+
+
+def try_import(spec: str) -> types.ModuleType | None:
+    s = spec.lstrip('.')
+    l = len(spec) - len(s)
+    try:
+        return __import__(s, globals(), level=l)
+    except ImportError:
+        return None
+
+
+##
+
+
+def resolve_import_name(name: str, package: str | None = None) -> str:
+    # FIXME: importlib.util.resolve_name
+    level = 0
+
+    if name.startswith('.'):
+        if not package:
+            raise TypeError("the 'package' argument is required to perform a relative import for {name!r}")
+        for character in name:
+            if character != '.':
+                break
+            level += 1
+
+    name = name[level:]
+
+    if not isinstance(name, str):
+        raise TypeError(f'module name must be str, not {type(name)}')
+    if level < 0:
+        raise ValueError('level must be >= 0')
+    if level > 0:
+        if not isinstance(package, str):
+            raise TypeError('__package__ not set to a string')
+        elif not package:
+            raise ImportError('attempted relative import with no known parent package')
+    if not name and level == 0:
+        raise ValueError('Empty module name')
+
+    if level > 0:
+        bits = package.rsplit('.', level - 1)  # type: ignore
+        if len(bits) < level:
+            raise ImportError('attempted relative import beyond top-level package')
+        base = bits[0]
+        name = f'{base}.{name}' if name else base
+
+    return name
+
+
+##
+
+
+def get_real_module_name(globals: ta.Mapping[str, ta.Any]) -> str:  # noqa
+    module = sys.modules[globals['__name__']]
+
+    if module.__spec__ and module.__spec__.name:
+        return module.__spec__.name
+
+    if module.__package__:
+        return module.__package__
+
+    raise RuntimeError("Can't determine real module name")