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

for more information, see https://pre-commit.ci
egraphs-good · Feb 24, 2025 · 8a6bf41 · 8a6bf41
1 parent 2096731
commit 8a6bf41
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/python/egglog/conversion.py b/python/egglog/conversion.py
@@ -16,7 +16,7 @@
 
     from .egraph import BaseExpr
 
-__all__ = ["convert", "convert_to_same_type", "converter", "resolve_literal", "ConvertError"]
+__all__ = ["ConvertError", "convert", "convert_to_same_type", "converter", "resolve_literal"]
 # Mapping from (source type, target type) to and function which takes in the runtimes values of the source and return the target
 CONVERSIONS: dict[tuple[type | JustTypeRef, JustTypeRef], tuple[int, Callable]] = {}
 # Global declerations to store all convertable types so we can query if they have certain methods or not

diff --git a/python/egglog/egraph.py b/python/egglog/egraph.py
@@ -44,11 +44,11 @@
 
 __all__ = [
     "Action",
+    "BaseExpr",
+    "BuiltinExpr",
     "Command",
     "Command",
     "EGraph",
-    "BuiltinExpr",
-    "BaseExpr",
     "Expr",
     "Fact",
     "Fact",

diff --git a/python/egglog/egraph_state.py b/python/egglog/egraph_state.py
@@ -20,7 +20,7 @@
 if TYPE_CHECKING:
     from collections.abc import Iterable
 
-__all__ = ["EGraphState", "GLOBAL_PY_OBJECT_SORT", "span"]
+__all__ = ["GLOBAL_PY_OBJECT_SORT", "EGraphState", "span"]
 
 # Create a global sort for python objects, so we can store them without an e-graph instance
 # Needed when serializing commands to egg commands when creating modules

diff --git a/python/egglog/type_constraint_solver.py b/python/egglog/type_constraint_solver.py
@@ -15,7 +15,7 @@
     from collections.abc import Collection, Iterable
 
 
-__all__ = ["TypeConstraintSolver", "TypeConstraintError"]
+__all__ = ["TypeConstraintError", "TypeConstraintSolver"]
 
 
 class TypeConstraintError(RuntimeError):