Module hdict.content.entry.closure

Classes

class Closure (application: apply, data: dict[str, AbsEntry], out: list, previous: frozenhdict)

hdict final entry at internal level: value*, SubValue, Closure

*value also inherits AbsBaseArgument because 'value' objects have a meaning outside of hdict (external level)

Expand source code

class Closure(AbsEntry):
    def __init__(self, application: apply, data: dict[str, AbsEntry], out: list, previous: frozenhdict):
        from hdict.data.aux_frozendict import handle_item

        self.application = application
        self.out = out
        self.torepr = {}
        hosh = ø
        arg = None
        fargs, fkwargs, discarded_defaults = application.fargs.copy(), {}, set()  # We copy fargs to keep args order.
        sortable_fargs = zip(map(str, fargs), fargs.items())
        for idx, tup in sorted(chain(sortable_fargs, application.fkwargs.items())):  # We sort by keys for a deterministic hosh.
            if isinstance(tup, tuple):
                key, val = tup
                arg = handle_arg(key, val, data, discarded_defaults, out, self.torepr, previous)
                fargs[key] = arg
            else:
                key, val = idx, tup
                arg = handle_arg(key, val, data, discarded_defaults, out, self.torepr, previous)
                fkwargs[key] = arg
            hosh *= arg.hosh

        if application.isfield:
            appliable_entry = handle_item(application.appliable.name, application.appliable, data, previous)
            hosh *= appliable_entry.hosh.rev

            def f():
                args = (x.value for x in fargs.values())
                kwargs = {k: v.value for k, v in fkwargs.items()}
                try:
                    return appliable_entry.value(*args, **kwargs)
                except TypeError as e:  # pragma: no cover
                    if "required positional argument" in str(e):
                        raise Exception(f"{str(e)}\n" f"HINT: If you are applying a field, " f"you should make the function parameters explicit, e.g.: `apply(f, parameter1, parameter2)`.")

        else:
            hosh *= application.ahosh
            appliable_function = application.appliable

            def f():
                args = (x.value for x in fargs.values())
                kwargs = {k: v.value for k, v in fkwargs.items()}
                return appliable_function(*args, **kwargs)

        self.f = f
        self.hosh = hosh
        self.discarded_defaults = discarded_defaults

    @property
    def value(self):
        if isinstance(self._value, Unevaluated):
            self._value = self.f()
            # del self.application  # todo: : delete clasure.application inside each subvalue?
        return self._value

    def __repr__(self, out=None):
        from hdict import value
        from hdict import field
        from hdict.content.entry.wrapper import Wrapper

        if out is None:
            out = []
        out = out + self.out
        lst = []
        for param, content in self.torepr.items():
            pre = "" if isinstance(param, int) else f"{param}="

            match content:
                case value():
                    lst.append(truncate(repr(content), width=7))

                case default() if param in self.discarded_defaults:
                    lst.append(f"{param}")
                case default(value=v):
                    lst.append(f"{param}={v}")

                # case field(name) if name in out:
                #     lst.append(repr(content))
                case field(name) if name == param:
                    lst.append(f"{param}")
                case field(name):
                    lst.append(f"{pre}{name}")

                case Wrapper(entry_):
                    if isinstance(entry_, Closure):
                        lst.append(entry_.__repr__(out))
                    else:
                        lst.append(param)
                case Closure():
                    lst.append(f"{pre}{content.value if content.isevaluated else content.__repr__(out)}")
                case AbsArgument():
                    lst.append(f"{pre}{repr(content)}")
                case AbsEntry():
                    lst.append(f"{pre}{repr(content)}")
                case _:  # pragma: no cover
                    raise Exception(type(content))
        return f"λ({' '.join(lst)})"

Ancestors

• AbsEntry
• AbsAny

Instance variables

var value : Union[object, Callable]

Expand source code

@property
def value(self):
    if isinstance(self._value, Unevaluated):
        self._value = self.f()
        # del self.application  # todo: : delete clasure.application inside each subvalue?
    return self._value

Inherited members

• AbsEntry:
  • isevaluated