Comparações
Esses traits suportam comparações entre valores. Todos os traits podem ser derivados para tipos que contêm campos que implementam esses traits.
PartialEq e Eq
PartialEq é uma relação de equivalência parcial, com o método eq obrigatório e o método ne fornecido. Os operadores == e != chamarão esses métodos.
Eq é uma relação de equivalência completa (reflexiva, simétrica e transitiva) e implica PartialEq. Funções que exigem equivalência completa usarão Eq como um limite de trait.
PartialOrd e Ord
PartialOrd define uma ordenação parcial, com um método partial_cmp. Ele é usado para implementar os operadores <, <=, >= e >.
Ord é uma ordenação total, com cmp retornando Ordering.
Speaker Notes
This slide should take about 5 minutes.
PartialEq pode ser implementado entre diferentes tipos, mas Eq não pode, porque é reflexivo:
Na prática, é comum derivar esses traits, mas incomum implementá-los.