Order 型クラス | Ex falso sequitur quodlibet

目次2 項目

Order
Order のシンタックス

`Order`

Order は全順序が定義されていることを表す型クラス。

cats の Order は compare メソッドが定義されたトレイトとして定義されている。

compare 以外のメソッドは compare を使ったデフォルト実装となっている。Cats Type Classes の図で PartialOrder がハイライトされていないため先に Order を確認している。しかし、PartialOrder で実装を要求しているメソッドは事前に把握しておかないといけない。 PartialOrder では partialCompare の実装を要求しているが Order では compare を使って partialCompare と eqv を実装できるため、最終的に Order として compare さえ定義できれば Eq、PartialOrder のインスタンスとしても扱えるようになっている。

Order は Eq.fromUniversalEquals のような呼ぶだけで Order のインスタンスを返してくれるようなメソッドは用意されていないようなのでインスタンスを自分で定義するか derive を使って定義しないといけない。

derives でインスタンスを導出するためにはすべてのフィールドについて Order のインスタンスが定義されてなければならない。

Order 型クラスの定義は数学における全順序の定義を知っていれば特筆すべき点はない。ただ、半順序 (PartialOrder) は離散数学で習う概念 (高校数学ではなかったのか…) なので大学数学をやっていない人にとっては馴染みがないかもしれない。それがハイライトされていない理由なのかもしれない。

`Order` のシンタックス

型クラス	シンタックス	説明
`Order`	`compare`	左辺を右辺を比較し、左辺が小さいときは負の値を返し、大きいときは正の値を返す。値が等しいときは 0 を返す。
`Order`	`min`	左辺と右辺で小さい値を返す。
`Order`	`max`	左辺と右辺で大きい値を返す。
`Order`	`comparison`	`Comparison` を返す。Haskell の `Ordering` 相当の値。
`ParitalCompare`	`>`	左辺が右辺より大きいときは `true` を返す。
`ParitalCompare`	`>=`	左辺が右辺以上のときは `true` を返す。
`ParitalCompare`	`<`	左辺より右辺が大きいときは `true` を返す。
`ParitalCompare`	`<=`	左辺が右辺以下のときは `true` を返す。
`ParitalCompare`	`partialCompare`	`compare` と同じ。
`ParitalCompare`	`partialComparison`	`Comparison` と同じ。