Modular•5mo ago

Trait `Comparable`

I looked around, but do not see an answer so far. Does Mojo have a Trait like Comparable to indicate that a Struct has implemented all of the comparison dunder methods? Something like:

trait Comparable:
    # == equal
    fn __eq__(self, other: Self) -> Bool: ...
    # != not equal
    fn __ne__(self, other: Self) -> Bool: ...
    # > greater than
    fn __gt__(self, other: Self) -> Bool: ...
    # < less than
    fn __lt__(self, other: Self) -> Bool: ...
    # >= greater than or equal
    fn __ge__(self, other: Self) -> Bool: ...
    # <= less than or equal
    fn __le__(self, other: Self) -> Bool: ...

trait Comparable:
    # == equal
    fn __eq__(self, other: Self) -> Bool: ...
    # != not equal
    fn __ne__(self, other: Self) -> Bool: ...
    # > greater than
    fn __gt__(self, other: Self) -> Bool: ...
    # < less than
    fn __lt__(self, other: Self) -> Bool: ...
    # >= greater than or equal
    fn __ge__(self, other: Self) -> Bool: ...
    # <= less than or equal
    fn __le__(self, other: Self) -> Bool: ...

10 Replies

Ilya I. Lubenets•5mo ago

only https://docs.modular.com/mojo/stdlib/builtin/equality_comparable/EqualityComparable

EqualityComparable | Modular Docs

A type which can be compared for equality with other instances of itself.

bunny•5mo ago

erk.... ty!

bunny•5mo ago

search tool in docs site led me astray:

bunny•5mo ago

Because it went to "similar words" before "word found inside longer compound CamelCase term" I didn't look a ton deeper there. Derp. oh, that's just for equality... just 2 of the 6 comparators: == and !=