組成兩個比較函數？

Question

我想用一個屬性，然後由另一排序（如果第一個屬性是一樣的。）

什麼在Haskell組成兩個比較函數的慣用方式，即用sortBy使用的功能？

鑑於

f :: Ord a => a -> a -> Ordering 
g :: Ord a => a -> a -> Ordering 

組成f和g會產生：

h x y = case v of 
      EQ -> g x y 
      otherwise -> v 
     where v = f x y 

Answer 1

維斯特指出的Monoid爲Ordering非常酷的實例。如果需要用實例結合起來instance Monoid b => Monoid (a -> b)事實證明你的作文功能僅僅是（準備）：

mappend 

檢查出來：

Prelude Data.Monoid> let f a b = EQ 
Prelude Data.Monoid> let g a b = LT 
Prelude Data.Monoid> :t f `mappend` g 
f `mappend` g :: t -> t1 -> Ordering 
Prelude Data.Monoid> (f `mappend` g) undefined undefined 
LT 
Prelude Data.Monoid> let f a b = GT 
Prelude Data.Monoid> (f `mappend` g) undefined undefined 
GT 

+1功能強大且簡單的抽象