[pre-commit.ci] auto fixes from pre-commit.com hooks

for more information, see https://pre-commit.ci

Author: pre-commit-ci[bot]

python/egglog/bindings.pyi

@@ -181,7 +181,6 @@ class Value:
     def __ge__(self, other: object) -> bool: ...
 
 @final
-
 @final
 class EggSmolError(Exception):
     context: str

python/egglog/builtins.py

@@ -494,7 +494,6 @@ def match(self, f: Callable[[T], V], n: V) -> V: ...
     # def flat_map(self, f: Callable[[T], Maybe[V]]) -> Maybe[V]: ...
 
 
-
 converter(type(None), Maybe, lambda _: Maybe[get_type_args()[0]].none())
 # converter(object, Maybe, lambda x: Maybe[get_type_args()[0]].some(convert(x, get_type_args()[0])))
 

python/egglog/deconstruct.py

@@ -196,6 +196,7 @@ def _deconstruct_call_decl(
 
     return RuntimeFunction(decls_thunk, Thunk.value(call.callable), egg_bound), arg_exprs
 
+
 def is_expr_instance(x: BaseExpr, cls: type[T]) -> TypeIs[T]:
     """
     Checks if the expression is an instance of the given class. Can normally use isinstance for this, but this also works for

python/egglog/egraph.py

@@ -142,7 +142,9 @@
 }
 
 
-def check_eq(x: BASE_EXPR, y: BASE_EXPR, schedule: Schedule | None = None, *actions: ActionLike, display=False) -> EGraph:
+def check_eq(
+    x: BASE_EXPR, y: BASE_EXPR, schedule: Schedule | None = None, *actions: ActionLike, display=False
+) -> EGraph:
     """
     Verifies that two expressions are equal after running the schedule.
 
@@ -478,9 +480,7 @@ def _generate_class_decls(  # noqa: C901,PLR0912
                 subsume=False,
             )
             resolved_default = (
-                resolve_literal(type_ref, default_value, Thunk.value(decls))
-                if default_mode == "eager"
-                else None
+                resolve_literal(type_ref, default_value, Thunk.value(decls)) if default_mode == "eager" else None
             )
             if resolved_default is not None:
                 decls |= resolved_default
@@ -911,11 +911,7 @@ def _constant_thunk(
         unextractable=False,
         subsume=False,
     )
-    resolved_default = (
-        resolve_literal(type_ref, default_replacement, Thunk.value(decls))
-        if mode == "eager"
-        else None
-    )
+    resolved_default = resolve_literal(type_ref, default_replacement, Thunk.value(decls)) if mode == "eager" else None
     if resolved_default is not None:
         decls |= resolved_default
     decls._constants[ident] = ConstantDecl(
@@ -1582,11 +1578,7 @@ def all_function_sizes(self) -> list[tuple[ExprCallable, int]]:
         """
         (output,) = self._state.run_program(bindings.PrintSize(span(1), None))
         assert isinstance(output, bindings.PrintAllFunctionsSize)
-        return [
-            (callables[0], size)
-            for (name, size) in output.sizes
-            if (callables := self._egg_fn_to_callables(name))
-        ]
+        return [(callables[0], size) for (name, size) in output.sizes if (callables := self._egg_fn_to_callables(name))]
 
     def _egg_fn_to_callables(self, egg_fn: str) -> list[ExprCallable]:
         return [

python/egglog/egraph_state.py

@@ -641,9 +641,9 @@ def _primitive_command_to_egg(
         signature: FunctionSignature,
         body: TypedExprDecl,
     ) -> bindings.UserDefined:
-        input_sort_expr = self._primitive_input_sorts_to_egg(
-            [self.type_ref_to_egg(arg_type.to_just()) for arg_type in signature.arg_types]
-        )
+        input_sort_expr = self._primitive_input_sorts_to_egg([
+            self.type_ref_to_egg(arg_type.to_just()) for arg_type in signature.arg_types
+        ])
         output_sort_expr = bindings.Var(span(), self.type_ref_to_egg(signature.semantic_return_type.to_just()))
         return bindings.UserDefined(
             span(),

python/egglog/exp/param_eq/__main__.py

@@ -4,6 +4,5 @@
 
 from .pipeline import _cli
 
-
 if __name__ == "__main__":
     _cli()