Order, OrderingOrderとOrderingについて。 OrderはEqualを継承しており、比較を可能にします。 Scala標準のAPIにもOrdered, Orderingがありますが、これらはJavaのComparableのように正、零、負で表しています。 しかし、このOrderでは比較結果をOrderingという型で返します。 ?|? 比較結果を得るもの。 compareToみたいなもの。 これらがそれぞれequal, less than, greater thanを表しています。 これが素晴らしいところはOrderingがモノイドであること。 これにより、優先順位の高い比較結果から順に結合していくことで適切な比較結果を得られます。 比較結果モノイドについては、 比較はモノイド の記事が面白いので是非見て下さい。 lt, gt, lte, gte 比較する関数です。 標準のものと違うところは型安全
