@total_ordering Unsupported left operand type for <=

[belm0]

Defining __lt__ and __eq__ doesn't work:

@total_ordering
class OrderedEnum(Enum):

    def __lt__(self, other):
        if self.__class__ is other.__class__:
            return self.value < other.value
        return NotImplemented

    def __eq__(self, other):
        if self.__class__ is other.__class__:
            return self.value == other.value
        return NotImplemented

class Foo(OrderedEnum):
    A = 10
    B = 20

Foo.A <= Foo.B  # error: Unsupported left operand type for <= ("Foo")  [operator]

Defining __lt__ and __le__ works:

@total_ordering
class OrderedEnum(Enum):

    def __lt__(self, other):
        if self.__class__ is other.__class__:
            return self.value < other.value
        return NotImplemented

    def __le__(self, other):
        if self.__class__ is other.__class__:
            return self.value <= other.value
        return NotImplemented

class Foo(OrderedEnum):
    A = 10
    B = 20

Foo.A <= Foo.B

Defining __lt__ alone also fails. What am I missing?

[srittau]

@total_ordering can't be implemented in typeshed, type checkers need to special case it. In this case, I suspect this could be a bug in mypy.

[JelleZijlstra]

Linking python/mypy#3135

[srittau]

Closing this here as there's nothing to be done for typeshed. I believe an intersection type (python/typing#213) could help here in the future, as it should be able to add attributes/methods to existing types.