egglog 12.0.0__cp313-cp313t-manylinux_2_17_ppc64.manylinux2014_ppc64.whl

egglog/thunk.py

@@ -0,0 +1,97 @@
+from __future__ import annotations
+
+from dataclasses import dataclass
+from typing import TYPE_CHECKING, Generic, TypeVar
+
+from typing_extensions import TypeVarTuple, Unpack
+
+if TYPE_CHECKING:
+    from collections.abc import Callable
+
+
+__all__ = ["Thunk", "split_thunk"]
+
+T = TypeVar("T")
+TS = TypeVarTuple("TS")
+V = TypeVar("V")
+
+
+def split_thunk(fn: Callable[[], tuple[T, V]]) -> tuple[Callable[[], T], Callable[[], V]]:
+    s = _Split(fn)
+    return s.left, s.right
+
+
+@dataclass
+class _Split(Generic[T, V]):
+    fn: Callable[[], tuple[T, V]]
+
+    def left(self) -> T:
+        return self.fn()[0]
+
+    def right(self) -> V:
+        return self.fn()[1]
+
+
+@dataclass
+class Thunk(Generic[T, *TS]):
+    """
+    Cached delayed function call.
+    """
+
+    state: Resolved[T] | Unresolved[T, *TS] | Resolving | Error
+
+    @classmethod
+    def fn(cls, fn: Callable[[Unpack[TS]], T], *args: *TS, context: str | None = None) -> Thunk[T, *TS]:
+        """
+        Create a thunk based on some functions and some partial args.
+
+        If the function is called while it is being resolved recursively it will raise an exception.
+        """
+        return cls(Unresolved(fn, args, context))
+
+    @classmethod
+    def value(cls, value: T) -> Thunk[T]:
+        return Thunk(Resolved(value))
+
+    def __call__(self) -> T:
+        match self.state:
+            case Resolved(value):
+                return value
+            case Unresolved(fn, args, context):
+                self.state = Resolving()
+                try:
+                    res = fn(*args)
+                except Exception as e:
+                    self.state = Error(e, context)
+                    raise e from None
+                else:
+                    self.state = Resolved(res)
+                    return res
+            case Resolving():
+                msg = "Recursively resolving thunk"
+                raise ValueError(msg)
+            case Error(e):
+                raise e
+
+
+@dataclass
+class Resolved(Generic[T]):
+    value: T
+
+
+@dataclass
+class Unresolved(Generic[T, *TS]):
+    fn: Callable[[Unpack[TS]], T]
+    args: tuple[*TS]
+    context: str | None
+
+
+@dataclass
+class Resolving:
+    pass
+
+
+@dataclass
+class Error:
+    e: Exception
+    context: str | None

egglog/type_constraint_solver.py

@@ -0,0 +1,111 @@
+"""Provides a class for solving type constraints."""
+
+from __future__ import annotations
+
+from collections import defaultdict
+from dataclasses import dataclass, field
+from itertools import chain, repeat
+from typing import TYPE_CHECKING, assert_never
+
+from .declarations import *
+
+if TYPE_CHECKING:
+    from collections.abc import Collection, Iterable
+
+
+__all__ = ["TypeConstraintError", "TypeConstraintSolver"]
+
+
+class TypeConstraintError(RuntimeError):
+    """Typing error when trying to infer the return type."""
+
+
+@dataclass
+class TypeConstraintSolver:
+    """
+    Given some typevars and types, solves the constraints to resolve the typevars.
+    """
+
+    _decls: Declarations = field(repr=False)
+    # Mapping of class ident to mapping of bound class typevar to type
+    _cls_typevar_index_to_type: defaultdict[Ident, dict[ClassTypeVarRef, JustTypeRef]] = field(
+        default_factory=lambda: defaultdict(dict)
+    )
+
+    def bind_class(self, ref: JustTypeRef) -> None:
+        """
+        Bind the typevars of a class to the given types.
+        Used for a situation like Map[int, str].create().
+        """
+        name = ref.ident
+        cls_typevars = self._decls.get_class_decl(name).type_vars
+        if len(cls_typevars) != len(ref.args):
+            raise TypeConstraintError(f"Mismatch of typevars {cls_typevars} and {ref}")
+        bound_typevars = self._cls_typevar_index_to_type[name]
+        for i, arg in enumerate(ref.args):
+            bound_typevars[cls_typevars[i]] = arg
+
+    def infer_arg_types(
+        self,
+        fn_args: Collection[TypeOrVarRef],
+        fn_return: TypeOrVarRef,
+        fn_var_args: TypeOrVarRef | None,
+        return_: JustTypeRef,
+        cls_ident: Ident | None,
+    ) -> tuple[Iterable[JustTypeRef], tuple[JustTypeRef, ...]]:
+        """
+        Given a return type, infer the argument types. If there is a variable arg, it returns an infinite iterable.
+
+        Also returns the bound type params if the class name is passed in.
+        """
+        self.infer_typevars(fn_return, return_, cls_ident)
+        arg_types: Iterable[JustTypeRef] = [self.substitute_typevars(a, cls_ident) for a in fn_args]
+        if fn_var_args:
+            # Need to be generator so it can be infinite for variable args
+            arg_types = chain(arg_types, repeat(self.substitute_typevars(fn_var_args, cls_ident)))
+        bound_typevars = (
+            tuple(
+                v
+                # Sort by the index of the typevar in the class
+                for _, v in sorted(
+                    self._cls_typevar_index_to_type[cls_ident].items(),
+                    key=lambda kv: self._decls.get_class_decl(cls_ident).type_vars.index(kv[0]),
+                )
+            )
+            if cls_ident
+            else ()
+        )
+        return arg_types, bound_typevars
+
+    def infer_typevars(self, fn_arg: TypeOrVarRef, arg: JustTypeRef, cls_ident: Ident | None = None) -> None:
+        match fn_arg:
+            case TypeRefWithVars(cls_ident, fn_args):
+                if cls_ident != arg.ident:
+                    raise TypeConstraintError(f"Expected {cls_ident}, got {arg.ident}")
+                for inner_fn_arg, inner_arg in zip(fn_args, arg.args, strict=True):
+                    self.infer_typevars(inner_fn_arg, inner_arg, cls_ident)
+            case ClassTypeVarRef():
+                if cls_ident is None:
+                    msg = "Cannot infer typevar without class name"
+                    raise RuntimeError(msg)
+
+                class_typevars = self._cls_typevar_index_to_type[cls_ident]
+                if fn_arg in class_typevars:
+                    if class_typevars[fn_arg] != arg:
+                        raise TypeConstraintError(f"Expected {class_typevars[fn_arg]}, got {arg}")
+                else:
+                    class_typevars[fn_arg] = arg
+            case _:
+                assert_never(fn_arg)
+
+    def substitute_typevars(self, tp: TypeOrVarRef, cls_ident: Ident | None = None) -> JustTypeRef:
+        match tp:
+            case ClassTypeVarRef():
+                assert cls_ident is not None
+                try:
+                    return self._cls_typevar_index_to_type[cls_ident][tp]
+                except KeyError as e:
+                    raise TypeConstraintError(f"Not enough bound typevars for {tp!r} in class {cls_ident}") from e
+            case TypeRefWithVars(name, args):
+                return JustTypeRef(name, tuple(self.substitute_typevars(arg, cls_ident) for arg in args))
+        assert_never(tp)