omlish 0.0.0.dev328__py3-none-any.whl → 0.0.0.dev330__py3-none-any.whl

omlish/__about__.py

@@ -1,5 +1,5 @@
-__version__ = '0.0.0.dev328'
-__revision__ = '80b9ed17dd2aefd7dd86d4aa2f14fac4281cf8d6'
+__version__ = '0.0.0.dev330'
+__revision__ = '735d13c7ae2ba542d490b72a443ebcf36f1d5119'
 
 
 #

omlish/lang/cached/function.py

@@ -331,13 +331,23 @@ class _DescriptorCachedFunction(_CachedFunction[T]):
             raise RuntimeError
         obj = type(instance)
 
-        desc: _DescriptorCachedFunction = object.__getattribute__(obj, name)
+        desc: _DescriptorCachedFunction
+        for bc in obj.__mro__[:-1]:
+            try:
+                desc = bc.__dict__[name]
+            except KeyError:
+                continue
+            break
+        else:
+            raise AttributeError(name)
+
         if not isinstance(desc, cls):
             raise TypeError(desc)
-        if (desc._instance is not None or desc._owner is not None):
+
+        if (desc._instance is not None or desc._owner is not None):  # noqa
             raise RuntimeError
 
-        return desc._bind(
+        return desc._bind(  # noqa
             instance,
             owner,
             values=values,

omlish/marshal/__init__.py

@@ -119,6 +119,7 @@ from .polymorphism.metadata import (  # noqa
     Polymorphism,
     TypeTagging,
     WrapperTypeTagging,
+    polymorphism_from_impls,
     polymorphism_from_subclasses,
 )
 

omlish/marshal/polymorphism/metadata.py

@@ -105,25 +105,14 @@ class Polymorphism:
         return self._impls
 
 
-def polymorphism_from_subclasses(
+def polymorphism_from_impls(
         ty: type,
+        impls: ta.Iterable[type],
         *,
         naming: Naming | None = None,
         strip_suffix: bool | ta.Literal['auto'] = False,
 ) -> Polymorphism:
-    seen: set[type] = set()
-    todo: list[type] = [ty]
-    impls: set[type] = set()
-    while todo:
-        cur = todo.pop()
-        seen.add(cur)
-
-        todo.extend(nxt for nxt in cur.__subclasses__() if nxt not in seen)
-
-        if lang.is_abstract_class(cur):
-            continue
-
-        impls.add(cur)
+    impls = set(impls)
 
     if strip_suffix == 'auto':
         strip_suffix = all(c.__name__.endswith(ty.__name__) for c in impls)
@@ -144,3 +133,17 @@ def polymorphism_from_subclasses(
         )
 
     return Polymorphism(ty, dct.values())
+
+
+def polymorphism_from_subclasses(
+        ty: type,
+        *,
+        naming: Naming | None = None,
+        strip_suffix: bool | ta.Literal['auto'] = False,
+) -> Polymorphism:
+    return polymorphism_from_impls(
+        ty,
+        lang.deep_subclasses(ty, concrete_only=True),
+        naming=naming,
+        strip_suffix=strip_suffix,
+    )

omlish/reflect/ops.py

@@ -6,6 +6,7 @@ from .types import Generic
 from .types import NewType
 from .types import Type
 from .types import Union
+from .types import get_type_var_bound
 from .types import type_
 
 
@@ -52,20 +53,33 @@ def get_underlying(nt: NewType) -> Type:
     return type_(nt.obj.__supertype__)  # noqa
 
 
-def get_concrete_type(ty: Type) -> type | None:
-    if isinstance(ty, type):
-        return ty
+def get_concrete_type(
+        ty: Type,
+        *,
+        use_type_var_bound: bool = False,
+) -> type | None:
+    def rec(cur: Type) -> type | None:
+        if isinstance(cur, type):
+            return cur
 
-    if isinstance(ty, Generic):
-        return ty.cls
+        if isinstance(cur, Generic):
+            return cur.cls
 
-    if isinstance(ty, NewType):
-        return get_concrete_type(get_underlying(ty))
+        if isinstance(cur, NewType):
+            return rec(get_underlying(cur))
 
-    if isinstance(ty, (Union, ta.TypeVar, Any)):
-        return None
+        if isinstance(cur, ta.TypeVar):
+            if use_type_var_bound is not None and (tvb := get_type_var_bound(cur)) is not None:
+                return rec(type_(tvb))
 
-    raise TypeError(ty)
+            return None
+
+        if isinstance(cur, (Union, Any)):
+            return None
+
+        raise TypeError(cur)
+
+    return rec(ty)
 
 
 def to_annotation(ty: Type) -> ta.Any:

omlish/reflect/subst.py

@@ -43,13 +43,14 @@ def replace_type_vars(
             args = tuple(rec(a) for a in cur.args)
             if update_aliases:
                 obj = cur.obj
-                if (ops := get_params(obj)):
-                    nargs = [to_annotation(rpl[p]) for p in ops]
-                    if ta.get_origin(obj) is ta.Generic:
-                        # FIXME: None? filter_typing_generic in get_generic_bases?
-                        pass
-                    else:
-                        obj = cur.obj[*nargs]
+                if (og := ta.get_origin(obj)) is ta.Generic:
+                    # FIXME: None? filter_typing_generic in get_generic_bases?
+                    pass
+                elif (ops := get_params(og)):
+                    if len(ops) != len(args):
+                        raise RuntimeError
+                    nargs = [to_annotation(a) for a in args]
+                    obj = og[*nargs]
             else:
                 obj = None
             return dc.replace(cur, args=args, obj=obj)
@@ -84,7 +85,8 @@ class GenericSubstitution:
         if (cty := get_concrete_type(ty)) is not None:
             rpl = get_type_var_replacements(ty)
             ret: list[Type] = []
-            for b in types.get_original_bases(cty):
+            obs = types.get_original_bases(cty)
+            for b in obs:
                 bty = type_(b)
                 if isinstance(bty, Generic) and isinstance(b, type):
                     # FIXME: throws away relative types, but can't use original vars as they're class-contextual

omlish/typedvalues/accessor.py

@@ -14,7 +14,7 @@ from .values import UniqueTypedValue  # noqa
 
 T = ta.TypeVar('T')
 
-TypedValueT = ta.TypeVar('TypedValueT', bound='TypedValue')
+TypedValueT0 = ta.TypeVar('TypedValueT0', bound='TypedValue')
 TypedValueU = ta.TypeVar('TypedValueU', bound='TypedValue')
 
 UniqueTypedValueU = ta.TypeVar('UniqueTypedValueU', bound='UniqueTypedValue')
@@ -27,7 +27,7 @@ class _NOT_SET(lang.Marker):  # noqa
     pass
 
 
-class TypedValuesAccessor(lang.Abstract, ta.Generic[TypedValueT]):
+class TypedValuesAccessor(lang.Abstract, ta.Sequence[TypedValueT0]):
     def __iter__(self):
         raise TypeError(
             'TypedValuesAccessor does not implement __iter__ - it is reserved for implementation by subclasses.',
@@ -36,7 +36,7 @@ class TypedValuesAccessor(lang.Abstract, ta.Generic[TypedValueT]):
     #
 
     @ta.final
-    def __contains__(self, cls: type[TypedValueU]) -> bool:
+    def __contains__(self, cls: type[TypedValueU]) -> bool:  # type: ignore[override]
         return self._typed_value_contains(cls)
 
     @abc.abstractmethod
@@ -45,8 +45,8 @@ class TypedValuesAccessor(lang.Abstract, ta.Generic[TypedValueT]):
 
     #
 
-    @ta.overload
-    def __getitem__(self, idx: int) -> TypedValueT:
+    @ta.overload  # type: ignore[override]
+    def __getitem__(self, idx: int) -> TypedValueT0:
         ...
 
     @ta.overload

omlish/typedvalues/generic.py

@@ -22,10 +22,6 @@ class TypedValueGeneric(lang.Abstract, ta.Generic[TypedValueT]):
             return
 
         g_mro = rfl.ALIAS_UPDATING_GENERIC_SUBSTITUTION.generic_mro(cls)
-        g_tvg = check.single(
-            gb
-            for gb in g_mro
-            if isinstance(gb, rfl.Generic) and gb.cls is TypedValueGeneric
-        )
+        g_tvg = check.single(gb for gb in g_mro if isinstance(gb, rfl.Generic) and gb.cls is TypedValueGeneric)
         tvt = check.single(g_tvg.args)
         cls._typed_value_type = tvt

omlish/typedvalues/holder.py

@@ -8,20 +8,20 @@ from .generic import TypedValueGeneric
 from .values import TypedValue
 
 
-TypedValueT = ta.TypeVar('TypedValueT', bound=TypedValue)
+TypedValueT1 = ta.TypeVar('TypedValueT1', bound=TypedValue)
 
 
 ##
 
 
 class TypedValueHolder(
-    TypedValuesAccessor[TypedValueT],
-    TypedValueGeneric[TypedValueT],
+    TypedValuesAccessor[TypedValueT1],
+    TypedValueGeneric[TypedValueT1],
     lang.Abstract,
 ):
     @property
     @abc.abstractmethod
-    def _typed_values(self) -> TypedValues[TypedValueT] | None:
+    def _typed_values(self) -> TypedValues[TypedValueT1] | None:
         raise NotImplementedError
 
     #

omlish/typedvalues/marshal.py

@@ -81,12 +81,18 @@ def _build_typed_values_impls(rty: rfl.Type) -> msh.Impls:
     gty = check.isinstance(rty, rfl.Generic)
     check.is_(gty.cls, TypedValues)
 
-    tv_cls_set = reflect_typed_values_impls(check.single(gty.args))
-
-    tv_impls: list[msh.Impl] = []
-    for tv_cls in tv_cls_set:
-        tv_impls.extend(_build_typed_value_poly(tv_cls).impls)
+    tv_cls_set = reflect_typed_values_impls(
+        check.single(gty.args),
+        find_abstract_subclasses=True,
+    )
 
+    tv_impls: list[msh.Impl] = [
+        msh.Impl(
+            tv_cls,
+            msh.translate_name(tv_cls.__name__, msh.Naming.SNAKE),
+        )
+        for tv_cls in tv_cls_set
+    ]
     return msh.Impls(tv_impls)
 
 

omlish/typedvalues/reflect.py

@@ -1,6 +1,7 @@
 import typing as ta
 
 from .. import check
+from .. import lang
 from .. import reflect as rfl
 from .values import TypedValue
 
@@ -8,10 +9,13 @@ from .values import TypedValue
 ##
 
 
-def reflect_typed_values_impls(rty: rfl.Type) -> set[type[TypedValue]]:
+def reflect_typed_values_impls(
+        *rtys: rfl.Type,
+        find_abstract_subclasses: bool = False,
+) -> set[type[TypedValue]]:
     tv_cls_set: set[type[TypedValue]] = set()
 
-    todo = [rty]
+    todo = list(rtys)
     seen = set()
     while todo:
         cur = todo.pop()
@@ -21,9 +25,20 @@ def reflect_typed_values_impls(rty: rfl.Type) -> set[type[TypedValue]]:
 
         if isinstance(cur, rfl.Union):
             todo.extend(cur.args)
+
         elif isinstance(cur, ta.TypeVar):
             todo.append(rfl.type_(rfl.get_type_var_bound(cur)))
+
+        elif isinstance(cur, type):
+            cur = check.issubclass(check.isinstance(cur, type), TypedValue)
+
+            if find_abstract_subclasses and lang.is_abstract_class(cur):
+                todo.extend(lang.deep_subclasses(cur, concrete_only=True))
+
+            else:
+                tv_cls_set.add(cur)
+
         else:
-            tv_cls_set.add(check.issubclass(check.isinstance(cur, type), TypedValue))
+            raise TypeError(cur)
 
     return tv_cls_set

{omlish-0.0.0.dev328.dist-info → omlish-0.0.0.dev330.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: omlish
-Version: 0.0.0.dev328
+Version: 0.0.0.dev330
 Summary: omlish
 Author: wrmsr
 License: BSD-3-Clause

{omlish-0.0.0.dev328.dist-info → omlish-0.0.0.dev330.dist-info}/RECORD

@@ -1,5 +1,5 @@
 omlish/.manifests.json,sha256=orgsRvtpHu8tdhaCvlP9v3P495OJopYYiHKjK68WtWg,8587
-omlish/__about__.py,sha256=0MrPN5vIAd-Q-O4VVWJF_WDLWv-jHeJBNJZTsBJ_214,3478
+omlish/__about__.py,sha256=LOOmES3-MH0InTp6s_UkS6QtPhcOFz7C1XEnVq7wTmM,3478
 omlish/__init__.py,sha256=SsyiITTuK0v74XpKV8dqNaCmjOlan1JZKrHQv5rWKPA,253
 omlish/c3.py,sha256=rer-TPOFDU6fYq_AWio_AmA-ckZ8JDY5shIzQ_yXfzA,8414
 omlish/cached.py,sha256=MLap_p0rdGoDIMVhXVHm1tsbcWobJF0OanoodV03Ju8,542
@@ -429,7 +429,7 @@ omlish/lang/strings.py,sha256=kJmRFd1D36xXcjd9MdB12BCwF_-MVhNr-TpWj7hMi_4,4252
 omlish/lang/sys.py,sha256=b4qOPiJZQru_mbb04FNfOjYWUxlV2becZOoc-yya_rQ,411
 omlish/lang/typing.py,sha256=eWI3RKhVi-_SV2rN4SGq8IbFo5XbGapbiWeduF97uG8,3846
 omlish/lang/cached/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
-omlish/lang/cached/function.py,sha256=-LSaxkpRdNZw_cuQdKspuPh1tVJrHm4qecNEGzRKnTQ,11322
+omlish/lang/cached/function.py,sha256=su9QxYECK9NK-UfMFKbgx4lqH2WoGBiYshnEfaGvfhw,11522
 omlish/lang/cached/property.py,sha256=WHYyg4-6EA86TcNMfbXTjVhjEZPc0kngt9hfY3WN5w8,2768
 omlish/lang/classes/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 omlish/lang/classes/abstract.py,sha256=A-Jg5X8o_WvFryN0Cm2TpVkrZoTT1SYKQnv_pXjZk7o,3808
@@ -488,7 +488,7 @@ omlish/manifests/base.py,sha256=D1WvJYcBR_njkc0gpALpFCWh1h3agb9qgqphnbbPlm4,935
 omlish/manifests/load.py,sha256=9mdsS3egmSX9pymO-m-y2Fhs4p6ruOdbsYaKT1-1Hwg,6655
 omlish/manifests/static.py,sha256=7YwOVh_Ek9_aTrWsWNO8kWS10_j4K7yv3TpXZSHsvDY,501
 omlish/manifests/types.py,sha256=IOt9dOe0r8okCHSL82ryi3sn4VZ6AT80g_QQR6oZtCE,306
-omlish/marshal/__init__.py,sha256=6nTREepo0aGQZcJdeOUkJRnSZ9Mx2Q1ok2XoE4dqijM,3366
+omlish/marshal/__init__.py,sha256=7jIXe9wQv-if1iRUuU6a4MdHScTLFFL8X2JwHaNTAxI,3395
 omlish/marshal/base.py,sha256=Q0ZRsz5z0NTI6PeWPc9mdMstJryDDbeIAdpKH9-SDps,11427
 omlish/marshal/errors.py,sha256=g5XJyTHd__8lfwQ4KwgK-E5WR6MoNTMrqKP2U_QRQQQ,307
 omlish/marshal/factories.py,sha256=Q926jSVjaQLEmStnHLhm_c_vqEysN1LnDCwAsFLIzXw,2970
@@ -515,7 +515,7 @@ omlish/marshal/objects/namedtuples.py,sha256=8de8L7rwmvr_LLBHHfOl2wHObxc_1yZ8fC_
 omlish/marshal/objects/unmarshal.py,sha256=IXIl_iokvVCSWYhkRORrWP_sE1DVklnrUErGWg_3MDc,3632
 omlish/marshal/polymorphism/__init__.py,sha256=e2UTrSL0qp7w_1vkdxDWd7sXlWhep2KPV49-BB64ma8,130
 omlish/marshal/polymorphism/marshal.py,sha256=wVaUxiHMJwyEWfQIE3cuEcJFSMVNJhpdJoa1yRgBPUE,2260
-omlish/marshal/polymorphism/metadata.py,sha256=vINF55KtmdjCmNwu5K8UeYAF99sR_weYoTHCqHe5_eg,3249
+omlish/marshal/polymorphism/metadata.py,sha256=Tvrjvi1kVhBbuljcQI60BXOIPEh-0_MGHXZDP-YKg1M,3335
 omlish/marshal/polymorphism/unions.py,sha256=NDXh2aVCLUFfi10qvIZR39prtHwjndQiVl13XcIKV3k,4386
 omlish/marshal/polymorphism/unmarshal.py,sha256=5jJnDarY85PuGTeL_9bwoeHjNIZnfVN3zr5rVhmNoQc,2451
 omlish/marshal/singular/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
@@ -565,8 +565,8 @@ omlish/os/pidfiles/pidfile.py,sha256=9tI5IMVwfPfnni0XMn4x5ptNQgm36n8tLeUNPf50UqU
 omlish/os/pidfiles/pinning.py,sha256=aQgCmvcAqN0lvI70GcSB2TKVX1G4vwbyN_AOHF3-eKE,6630
 omlish/reflect/__init__.py,sha256=64eHbD6zL6Fhp7FfXb8n9ZHywlODjBN3rm1LMvZ081A,822
 omlish/reflect/inspect.py,sha256=WCo2YpBYauKw6k758FLlZ_H4Q05rgVPs96fEv9w6zHQ,1538
-omlish/reflect/ops.py,sha256=RJ6jzrM4ieFsXzWyNXWV43O_WgzEaUvlHSc5N2ezW2A,2044
-omlish/reflect/subst.py,sha256=g3q7NmNWsmc67mcchmCE3WFPCMDSBq-FXn4ah-DWL_U,3622
+omlish/reflect/ops.py,sha256=9F369zrp6dNJUiGLLrYhb2O-Zss0BhTcpo3dzdLCq-I,2424
+omlish/reflect/subst.py,sha256=jpBgYR1_JyH9fz5b-gmOg7OhFKk7jIxEh7hwtKYKC9Q,3691
 omlish/reflect/types.py,sha256=Cn9FYGoiCNt0FS0YLiTTAR12WKcesWMapCrVYcb8IDo,9225
 omlish/secrets/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 omlish/secrets/all.py,sha256=gv_d9SfyMxso30HsrSz9XmIrSZOdl3rLA5MSH0ZXfgM,486
@@ -849,17 +849,17 @@ omlish/text/antlr/_runtime/xpath/__init__.py,sha256=lMd_BbXYdlDhZQN_q0TKN978XW5G
 omlish/text/go/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 omlish/text/go/quoting.py,sha256=N9EYdnFdEX_A8fOviH-1w4jwV3XOQ7VU2WsoUNubYVY,9137
 omlish/typedvalues/__init__.py,sha256=nzpnoRW_wScMPit5Xz37ky3nKBdzzkgtnQA4SfVHN8E,684
-omlish/typedvalues/accessor.py,sha256=5q-JbIUjhzmW6Ui55YepHc1FDAlV13Whkz_TVNvtQ9Q,3064
+omlish/typedvalues/accessor.py,sha256=_NEGBmQ84-h_rDfYeoq7DA20fhj3dogQuvzxXKhjx54,3121
 omlish/typedvalues/collection.py,sha256=a6Je_kmz2FlAV2dI92S7c_paXge0QExMynV-fD9oPrs,5823
 omlish/typedvalues/consumer.py,sha256=peDQAgriSyBx_Hc8QHAhEgYy0oSS52qQ_7Tqdssl2AE,4375
-omlish/typedvalues/generic.py,sha256=byWG_gMXhNelckUwdmOoJE9FKkL71Q4BSi4ZLyy0XZ0,788
-omlish/typedvalues/holder.py,sha256=ZTnHiw-K38ciOBLEdwgrltr7Xp8jjEs_0Lp69DH-G-o,1128
-omlish/typedvalues/marshal.py,sha256=hWHRLcrGav7lvXJDtb9bNI0ickl4SKPQ6F4BbTpqw3A,4219
-omlish/typedvalues/reflect.py,sha256=Ih1YgU-srUjsvBn_P7C66f73_VCvcwqE3ffeBnZBgt4,674
+omlish/typedvalues/generic.py,sha256=ft-x4X3k1oFirtYnDfsvrI3ZQikWM8lGLrvrOEbcGq0,742
+omlish/typedvalues/holder.py,sha256=vu-umn-h1nvUqmtV5T9ZfQ_OoOYsERu8PhI2N48Ryns,1133
+omlish/typedvalues/marshal.py,sha256=IaZn1r4le5sq8_HcEJf_WEzS-NmeOaNQggmZxfEoIio,4332
+omlish/typedvalues/reflect.py,sha256=PAvKW6T4cW7u--iX80w3HWwZUS3SmIZ2_lQjT65uAyk,1026
 omlish/typedvalues/values.py,sha256=ym46I-q2QJ_6l4UlERqv3yj87R-kp8nCKMRph0xQ3UA,1307
-omlish-0.0.0.dev328.dist-info/licenses/LICENSE,sha256=B_hVtavaA8zCYDW99DYdcpDLKz1n3BBRjZrcbv8uG8c,1451
-omlish-0.0.0.dev328.dist-info/METADATA,sha256=j4SbGhFfYtXvAosOCJp8sZ1zRExSDAF3wT4rhu7TCQw,4416
-omlish-0.0.0.dev328.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
-omlish-0.0.0.dev328.dist-info/entry_points.txt,sha256=Lt84WvRZJskWCAS7xnQGZIeVWksprtUHj0llrvVmod8,35
-omlish-0.0.0.dev328.dist-info/top_level.txt,sha256=pePsKdLu7DvtUiecdYXJ78iO80uDNmBlqe-8hOzOmfs,7
-omlish-0.0.0.dev328.dist-info/RECORD,,
+omlish-0.0.0.dev330.dist-info/licenses/LICENSE,sha256=B_hVtavaA8zCYDW99DYdcpDLKz1n3BBRjZrcbv8uG8c,1451
+omlish-0.0.0.dev330.dist-info/METADATA,sha256=Feb56v6VrdVgD2PiRe6OpzAxwDWhUF1BhmcheWSajVI,4416
+omlish-0.0.0.dev330.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
+omlish-0.0.0.dev330.dist-info/entry_points.txt,sha256=Lt84WvRZJskWCAS7xnQGZIeVWksprtUHj0llrvVmod8,35
+omlish-0.0.0.dev330.dist-info/top_level.txt,sha256=pePsKdLu7DvtUiecdYXJ78iO80uDNmBlqe-8hOzOmfs,7
+omlish-0.0.0.dev330.dist-info/RECORD,,