tworząc dwie funkcje porównania?

Question

Chciałbym sortować według jednej właściwości, a następnie przez innego (jeśli pierwsza nieruchomość jest taka sama).

Jaka jest idiomatyczne sposób w Haskell komponowania dwie funkcje porównania, to znaczy funkcja używana z sortBy?

względu

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

tworzenia f i g że wydajność:

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

Answer 1

wita wskazuje na bardzo chłodnego wystąpienie Monoid do Ordering. Jeśli połączyć to z instancji instance Monoid b => Monoid (a -> b) okazuje się czynność skład jest tylko (get ready):

mappend 

Sprawdź:

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 dla silnych i prostych abstrakcji