Add _type_expression.

Author: dnwpark

gel/_internal/_qbmodel/_abstract/_methods.py

@@ -20,6 +20,7 @@
 from gel._internal._schemapath import (
     TypeNameIntersection,
 )
+from gel._internal import _type_expression
 from gel._internal._xmethod import classonlymethod
 
 from ._base import AbstractGelModel
@@ -246,6 +247,7 @@ def __edgeql_qb_expr__(cls) -> _qb.Expr:  # pyright: ignore [reportIncompatibleM
 
 class BaseGelModelIntersection(
     BaseGelModel,
+    _type_expression.Intersection,
     Generic[_T_Lhs, _T_Rhs],
 ):
     __gel_type_class__: ClassVar[type]

gel/_internal/_type_expression.py

@@ -0,0 +1,15 @@
+# SPDX-PackageName: gel-python
+# SPDX-License-Identifier: Apache-2.0
+# SPDX-FileCopyrightText: Copyright Gel Data Inc. and the contributors.
+
+import typing
+
+
+class Intersection:
+    lhs: typing.ClassVar[type]
+    rhs: typing.ClassVar[type]
+
+
+class Union:
+    lhs: typing.ClassVar[type]
+    rhs: typing.ClassVar[type]

gel/_internal/_typing_dispatch.py

@@ -34,11 +34,11 @@
 import typing
 
 from gel._internal import _namespace
+from gel._internal import _type_expression
 from gel._internal import _typing_eval
 from gel._internal import _typing_inspect
 from gel._internal import _typing_parametric
 from gel._internal._utils import type_repr
-from gel._internal._qbmodel._abstract._methods import BaseGelModelIntersection
 
 _P = ParamSpec("_P")
 _R_co = TypeVar("_R_co", covariant=True)
@@ -68,7 +68,7 @@ def _issubclass(lhs: Any, tp: Any, fn: Any) -> bool:
     # This lets us handle cases like:
     # std.array[Object] <: std.array[_T_anytype].
 
-    if issubclass(lhs, BaseGelModelIntersection):
+    if issubclass(lhs, _type_expression.Intersection):
         return any(_issubclass(c, tp, fn) for c in (lhs.lhs, lhs.rhs))
 
     if _typing_inspect.is_generic_alias(tp):