from typing import TYPE_CHECKING

from . import abc  # noqa: F401
from .codegen import Code, Def, Lambda, code_generator
from .core import (
    Ovld,
    OvldBase,
    OvldMC,
    extend_super,
    is_ovld,
    ovld,
)
from .dependent import (
    Dependent,
    DependentType,
    ParametrizedDependentType,
    dependent_check,
)
from .medley import (
    CodegenParameter,
    Medley,
)
from .mro import (
    TypeRelationship,
    subclasscheck,
    typeorder,
)
from .recode import (
    call_next,
    current_code,
    recurse,
    resolve,
)
from .typemap import (
    MultiTypeMap,
    TypeMap,
)
from .types import (
    Dataclass,
    Deferred,
    Exactly,
    Intersection,
    StrictSubclass,
    class_check,
    parametrized_class_check,
)
from .utils import (
    BOOTSTRAP,
    MISSING,
    CodegenInProgress,
    Named,
    NameDatabase,
    keyword_decorator,
)
from .version import version as __version__

if TYPE_CHECKING:  # pragma: no cover
    # Pretend that @ovld is @typing.overload.
    # I can't believe this works.
    from typing import overload as ovld


__all__ = [
    "MultiTypeMap",
    "Ovld",
    "OvldBase",
    "OvldMC",
    "TypeMap",
    "extend_super",
    "is_ovld",
    "ovld",
    "Code",
    "Def",
    "Lambda",
    "code_generator",
    "Dependent",
    "ParametrizedDependentType",
    "DependentType",
    "dependent_check",
    "Medley",
    "CodegenParameter",
    "BOOTSTRAP",
    "CodegenInProgress",
    "MISSING",
    "Dataclass",
    "Named",
    "NameDatabase",
    "Deferred",
    "Exactly",
    "Intersection",
    "StrictSubclass",
    "class_check",
    "subclasscheck",
    "typeorder",
    "TypeRelationship",
    "parametrized_class_check",
    "keyword_decorator",
    "call_next",
    "recurse",
    "resolve",
    "current_code",
    "__version__",
]