omlish 0.0.0.dev284__py3-none-any.whl → 0.0.0.dev286__py3-none-any.whl

omlish/dataclasses/impl/__init__.py

@@ -1,33 +0,0 @@
-"""
-TODO:
- - metaclass:
-  - cleanup confer
- - descriptors - check_type/validators don't handle setters lol
- - deep_frozen?
- - field:
-  - frozen
-  - pickle/transient
-  - mangled
-  - doc
-  - derive
-  - check_type
- - class
-  - strict_eq
-  - allow_setattr
-  - mangler
- - observable
- - c/py gen
- - iterable
- - proto/jsonschema gen
- - enums
- - nodal
- - embedding? forward kwargs in general? or only for replace?
-
-TODO refs:
- - batch up exec calls
-  - https://github.com/python/cpython/commit/8945b7ff55b87d11c747af2dad0e3e4d631e62d6
- - add doc parameter to dataclasses.field
-  - https://github.com/python/cpython/commit/9c7657f09914254724683d91177aed7947637be5
- - add decorator argument to make_dataclass
-  - https://github.com/python/cpython/commit/3e3a4d231518f91ff2f3c5a085b3849e32f1d548
-"""

omlish/dataclasses/impl/api.py

@@ -1,278 +0,0 @@
-"""
-TODO:
- - fix code redundancy
-"""
-import collections.abc
-import contextlib
-import dataclasses as dc
-import keyword
-import sys
-import types
-import typing as ta
-
-from ... import check as check_
-from ... import lang
-from .internals import PARAMS_ATTR
-from .internals import Params
-from .main import process_class
-from .metadata import METADATA_ATTR
-from .metadata import Metadata
-from .params import FieldExtras
-from .params import ParamsExtras
-
-
-MISSING = dc.MISSING
-
-
-def field(  # noqa
-        default=MISSING,
-        *,
-        default_factory=MISSING,
-        init=True,
-        repr=True,  # noqa
-        hash=None,  # noqa
-        compare=True,
-        metadata=None,
-        kw_only=MISSING,
-
-        derive: ta.Callable[..., ta.Any] | None = None,
-        coerce: bool | ta.Callable[[ta.Any], ta.Any] | None = None,
-        validate: ta.Callable[[ta.Any], bool] | None = None,
-        check_type: bool | type | tuple[type | None, ...] | None = None,
-        override: bool = False,
-        repr_fn: ta.Callable[[ta.Any], str | None] | None = None,
-        repr_priority: int | None = None,
-        frozen: bool | None = None,
-):  # -> dc.Field
-    if default is not MISSING and default_factory is not MISSING:
-        raise ValueError('cannot specify both default and default_factory')
-
-    fx = FieldExtras()
-    if metadata is not None:
-        fx = metadata.get(FieldExtras, fx)
-
-    fx = dc.replace(fx, **lang.opt_kw(
-        derive=derive,
-        coerce=coerce,
-        validate=validate,
-        check_type=check_type,
-        override=override,
-        repr_fn=repr_fn,
-        repr_priority=repr_priority,
-        frozen=frozen,
-    ))
-
-    md: ta.Mapping = {FieldExtras: fx}
-    if metadata is not None:
-        md = collections.ChainMap(md, check_.isinstance(metadata, collections.abc.Mapping))  # type: ignore
-
-    return dc.Field(
-        default,
-        default_factory,  # noqa
-        init,
-        repr,
-        hash,
-        compare,
-        types.MappingProxyType(md),
-        kw_only,  # noqa
-    )
-
-
-def _strip_missing_values(d):
-    return {k: v for k, v in d.items() if v is not MISSING}
-
-
-def dataclass(  # noqa
-        cls=None,
-        /,
-        *,
-        init=True,
-        repr=True,  # noqa
-        eq=True,
-        order=False,
-        unsafe_hash=False,
-        frozen=False,
-        match_args=True,
-        kw_only=False,
-        slots=False,
-        weakref_slot=False,
-
-        metadata=None,
-
-        reorder=MISSING,
-        cache_hash=MISSING,
-        generic_init=MISSING,
-        override=MISSING,
-        repr_id=MISSING,
-):
-    def wrap(cls):
-        pkw = dict(
-            init=init,
-            repr=repr,
-            eq=eq,
-            order=order,
-            unsafe_hash=unsafe_hash,
-            frozen=frozen,
-            match_args=match_args,
-            kw_only=kw_only,
-            slots=slots,
-            weakref_slot=weakref_slot,
-        )
-
-        dmd = cls.__dict__.get(METADATA_ATTR)
-
-        epk = dict(dmd.get(_ExtraParamsKwargs, ()) if dmd is not None else ())
-        epk.update(_strip_missing_values(dict(
-            reorder=reorder,
-            cache_hash=cache_hash,
-            generic_init=generic_init,
-            override=override,
-            repr_id=repr_id,
-        )))
-        pex = ParamsExtras(**epk)
-
-        mmd: dict = {
-            ParamsExtras: pex,
-        }
-
-        md: Metadata = mmd
-        cmds = []
-        if metadata is not None:
-            cmds.append(check_.isinstance(metadata, collections.abc.Mapping))
-        if dmd is not None:
-            cmds.append(dmd)
-        if cmds:
-            md = collections.ChainMap(md, *cmds)  # type: ignore
-
-        setattr(cls, PARAMS_ATTR, Params(**pkw))
-        setattr(cls, METADATA_ATTR, types.MappingProxyType(md))
-
-        return process_class(cls)
-
-    if cls is None:
-        return wrap
-
-    return wrap(cls)
-
-
-def make_dataclass(  # noqa
-        cls_name,
-        fields,
-        *,
-        bases=(),
-        namespace=None,
-        init=True,
-        repr=True,  # noqa
-        eq=True,
-        order=False,
-        unsafe_hash=False,
-        frozen=False,
-        match_args=True,
-        kw_only=False,
-        slots=False,
-        weakref_slot=False,
-        module=None,
-
-        reorder=MISSING,
-        cache_hash=MISSING,
-        generic_init=MISSING,
-        override=MISSING,
-        repr_id=MISSING,
-):
-    if namespace is None:
-        namespace = {}
-
-    seen = set()
-    annotations = {}
-    defaults = {}
-    for item in fields:
-        if isinstance(item, str):
-            name = item
-            tp = 'typing.Any'
-        elif len(item) == 2:
-            name, tp, = item
-        elif len(item) == 3:
-            name, tp, spec = item
-            defaults[name] = spec
-        else:
-            raise TypeError(f'Invalid field: {item!r}')
-        if not isinstance(name, str) or not name.isidentifier():
-            raise TypeError(f'Field names must be valid identifiers: {name!r}')
-        if keyword.iskeyword(name):
-            raise TypeError(f'Field names must not be keywords: {name!r}')
-        if name in seen:
-            raise TypeError(f'Field name duplicated: {name!r}')
-
-        seen.add(name)
-        annotations[name] = tp
-
-    def exec_body_callback(ns):
-        ns.update(namespace)
-        ns.update(defaults)
-        ns['__annotations__'] = annotations
-
-    cls = types.new_class(cls_name, bases, {}, exec_body_callback)
-
-    if module is None:
-        try:
-            module = sys._getframemodulename(1) or '__main__'  # type: ignore  # noqa
-        except AttributeError:
-            with contextlib.suppress(AttributeError, ValueError):
-                module = sys._getframe(1).f_globals.get('__name__', '__main__')  # noqa
-    if module is not None:
-        cls.__module__ = module
-
-    return dataclass(
-        cls,
-        init=init,
-        repr=repr,
-        eq=eq,
-        order=order,
-        unsafe_hash=unsafe_hash,
-        frozen=frozen,
-        match_args=match_args,
-        kw_only=kw_only,
-        slots=slots,
-        weakref_slot=weakref_slot,
-
-        reorder=reorder,
-        cache_hash=cache_hash,
-        generic_init=generic_init,
-        override=override,
-        repr_id=repr_id,
-    )
-
-
-class _ExtraParamsKwargs:
-    pass
-
-
-def extra_class_params(  # noqa
-        *,
-        reorder=MISSING,
-        cache_hash=MISSING,
-        generic_init=MISSING,
-        override=MISSING,
-        repr_id=MISSING,
-):
-    def inner(cls):
-        if PARAMS_ATTR in cls.__dict__:
-            raise TypeError(cls)
-        try:
-            md = cls.__dict__[METADATA_ATTR]
-        except KeyError:
-            md = {}
-            setattr(cls, METADATA_ATTR, md)
-        if _ExtraParamsKwargs in md:
-            raise TypeError(cls)
-
-        md[_ExtraParamsKwargs] = _strip_missing_values(dict(
-            reorder=reorder,
-            cache_hash=cache_hash,
-            generic_init=generic_init,
-            override=override,
-            repr_id=repr_id,
-        ))
-
-        return cls
-    return inner

omlish/dataclasses/impl/copy.py

@@ -1,30 +0,0 @@
-"""
-TODO:
- - __deepcopy__
-"""
-import dataclasses as dc
-
-from .fields import field_type
-from .internals import FIELDS_ATTR
-from .internals import FieldType
-from .processing import Processor
-from .utils import set_new_attribute
-
-
-MISSING = dc.MISSING
-
-
-def _copy(obj):
-    kw = {}
-
-    for f in getattr(obj, FIELDS_ATTR).values():
-        if field_type(f) is FieldType.CLASS:
-            continue
-        kw[f.name] = getattr(obj, f.name)
-
-    return obj.__class__(**kw)
-
-
-class CopyProcessor(Processor):
-    def _process(self) -> None:
-        set_new_attribute(self._cls, '__copy__', _copy)

omlish/dataclasses/impl/errors.py

@@ -1,53 +0,0 @@
-import types
-import typing as ta
-
-
-##
-
-
-class ValidationError(Exception):
-    pass
-
-
-def _hands_off_repr(obj: ta.Any) -> str:
-    return f'{obj.__class__.__qualname__}@{hex(id(obj))[2:]}'
-
-
-def _fn_repr(fn: ta.Callable) -> str:
-    if (co := getattr(fn, '__code__', None)) is None or not isinstance(co, types.CodeType):
-        return repr(fn)
-
-    if not (co_filename := co.co_filename):
-        return repr(fn)
-
-    return f'{fn!r} ({co_filename}:{co.co_firstlineno})'
-
-
-class FieldValidationError(ValidationError):
-    def __init__(
-            self,
-            obj: ta.Any,
-            field: str,
-            fn: ta.Callable,
-            value: ta.Any,
-    ) -> None:
-        super().__init__(
-            f'{self.__class__.__name__} '
-            f'for field {field!r} '
-            f'on object {_hands_off_repr(obj)} '
-            f'in validator {_fn_repr(fn)} '
-            f'with value {value!r}',
-        )
-
-        self.obj = obj
-        self.field = field
-        self.fn = fn
-        self.value = value
-
-    def __repr__(self) -> str:
-        return f'{self.__class__.__name__}({", ".join([
-            f"obj={_hands_off_repr(self.obj)}",
-            f"field={self.field!r}",
-            f"fn={_fn_repr(self.fn)}",
-            f"value={self.value!r}",
-        ])})'

omlish/dataclasses/impl/fields.py

@@ -1,245 +0,0 @@
-"""
-TODO:
- - point validate / check exceptions to lambdas
-"""
-import dataclasses as dc
-import types
-import typing as ta
-
-from ... import check as check_
-from ... import lang
-from .errors import FieldValidationError
-from .internals import FIELDS_ATTR
-from .internals import FieldType
-from .internals import is_classvar
-from .internals import is_initvar
-from .internals import is_kw_only
-from .params import get_field_extras
-from .processing import Processor
-
-
-if ta.TYPE_CHECKING:
-    from . import api
-else:
-    api = lang.proxy_import('.api', __package__)
-
-
-MISSING = dc.MISSING
-
-
-##
-
-
-def raise_field_validation_error(
-        obj: ta.Any,
-        field: str,
-        fn: ta.Callable,
-        value: ta.Any,
-) -> ta.NoReturn:
-    raise FieldValidationError(
-        obj,
-        field,
-        fn,
-        value,
-    )
-
-
-##
-
-
-def field_type(f: dc.Field) -> FieldType:
-    if (ft := getattr(f, '_field_type')) is not None:
-        return FieldType(ft)
-    else:
-        return FieldType.INSTANCE
-
-
-def has_default(f: dc.Field) -> bool:
-    return not (f.default is MISSING and f.default_factory is MISSING)
-
-
-##
-
-
-class FieldsProcessor(Processor):
-    def _process(self) -> None:
-        cls = self._info.cls
-        fields: dict[str, dc.Field] = {}
-
-        for b in cls.__mro__[-1:0:-1]:
-            base_fields = getattr(b, FIELDS_ATTR, None)
-            if base_fields is not None:
-                for f in base_fields.values():
-                    fields[f.name] = f
-
-        cls_fields: list[dc.Field] = []
-
-        kw_only = self._info.params.kw_only
-        kw_only_seen = False
-        for name, ann in self._info.cls_annotations.items():
-            if is_kw_only(cls, ann):
-                if kw_only_seen:
-                    raise TypeError(f'{name!r} is KW_ONLY, but KW_ONLY has already been specified')
-                kw_only_seen = True
-                kw_only = True
-            else:
-                cls_fields.append(preprocess_field(cls, name, ann, kw_only))
-
-        for f in cls_fields:
-            fields[f.name] = f
-            if isinstance(getattr(cls, f.name, None), dc.Field):
-                if f.default is MISSING:
-                    delattr(cls, f.name)
-                else:
-                    setattr(cls, f.name, f.default)
-
-        for name, value in cls.__dict__.items():
-            if isinstance(value, dc.Field) and name not in self._info.cls_annotations:
-                raise TypeError(f'{name!r} is a field but has no type annotation')
-
-        setattr(cls, FIELDS_ATTR, fields)
-
-
-##
-
-
-def preprocess_field(
-        cls: type,
-        a_name: str,
-        a_type: ta.Any,
-        default_kw_only: bool,
-) -> dc.Field:
-    default = getattr(cls, a_name, MISSING)
-    if isinstance(default, dc.Field):
-        f = default
-    else:
-        if isinstance(default, types.MemberDescriptorType):
-            # This is a field in __slots__, so it has no default value.
-            default = MISSING
-        f = api.field(default=default)
-
-    f.name = a_name
-    f.type = a_type
-
-    ft = FieldType.INSTANCE
-    if is_classvar(cls, f.type):
-        ft = FieldType.CLASS
-    if is_initvar(cls, f.type):
-        ft = FieldType.INIT
-    if ft in (FieldType.CLASS, FieldType.INIT):
-        if f.default_factory is not MISSING:
-            raise TypeError(f'field {f.name} cannot have a default factory')
-    f._field_type = ft.value  # type: ignore  # noqa
-
-    if ft in (FieldType.INSTANCE, FieldType.INIT):
-        if f.kw_only is MISSING:
-            f.kw_only = default_kw_only
-    else:
-        check_.arg(ft is FieldType.CLASS)
-        if f.kw_only is not MISSING:
-            raise TypeError(f'field {f.name} is a ClassVar but specifies kw_only')
-
-    if ft is FieldType.INSTANCE and f.default is not MISSING and f.default.__class__.__hash__ is None:
-        raise ValueError(f'mutable default {type(f.default)} for field {f.name} is not allowed: use default_factory')
-
-    return f
-
-
-def field_assign(
-        frozen: bool,
-        name: str,
-        value: ta.Any,
-        self_name: str,
-        override: bool,
-) -> str:
-    if override:
-        return f'{self_name}.__dict__[{name!r}] = {value}'
-    if frozen:
-        return f'__dataclass_builtins_object__.__setattr__({self_name}, {name!r}, {value})'
-    return f'{self_name}.{name} = {value}'
-
-
-def field_init(
-        f: dc.Field,
-        frozen: bool,
-        locals: dict[str, ta.Any],  # noqa
-        self_name: str,
-        slots: bool,
-        cls_override: bool,
-) -> ta.Sequence[str]:
-    default_name = f'__dataclass_dflt_{f.name}__'
-    fx = get_field_extras(f)
-
-    lines = []
-
-    value: str | None = None
-    if f.default_factory is not MISSING:
-        locals[default_name] = f.default_factory
-        if f.init:
-            lines.append(f'if {f.name} is __dataclass_HAS_DEFAULT_FACTORY__: {f.name} = {default_name}()')
-        else:
-            lines.append(f'{f.name} = {default_name}()')
-        value = f.name
-
-    elif f.init:
-        if f.default is MISSING:
-            value = f.name
-        elif f.default is not MISSING:
-            locals[default_name] = f.default  # Not referenced her, just useful / consistent to have in function scope
-            value = f.name
-
-    elif slots and f.default is not MISSING:
-        locals[default_name] = f.default
-        lines.append(f'{f.name} = {default_name}')
-        value = default_name
-
-    else:
-        pass
-
-    if fx.derive is not None:
-        raise NotImplementedError
-
-    if fx.frozen:
-        raise NotImplementedError
-
-    if fx.coerce is not None:
-        cn = f'__dataclass_coerce__{f.name}__'
-        locals[cn] = fx.coerce
-        lines.append(f'{value} = {cn}({value})')
-
-    if fx.validate is not None:
-        cn = f'__dataclass_validate__{f.name}__'
-        locals[cn] = fx.validate
-        lines.append(
-            f'if not {cn}({value}): '
-            f'__dataclass_raise_field_validation_error__({self_name}, {f.name!r}, {cn}, {value})',
-        )
-
-    if fx.check_type:
-        cn = f'__dataclass_check_type__{f.name}__'
-        ct: ta.Any
-        if isinstance(fx.check_type, tuple):
-            ct = tuple(type(None) if e is None else check_.isinstance(e, type) for e in fx.check_type)
-        elif isinstance(fx.check_type, (type, tuple)):
-            ct = fx.check_type
-        # FIXME:
-        # elif info.params_extras.generic_init:
-        #     ct = info.generic_replaced_field_annotations[f.name]
-        else:
-            ct = f.type
-        locals[cn] = ct
-        lines.append(
-            f'if not __dataclass_builtins_isinstance__({value}, {cn}): '
-            f'raise __dataclass_builtins_TypeError__({value}, {cn})',
-        )
-
-    if value is not None and field_type(f) is not FieldType.INIT:
-        lines.append(field_assign(
-            frozen,
-            f.name,
-            value,
-            self_name,
-            fx.override or cls_override,
-        ))
-
-    return lines