componiendo dos funciones de comparación?

Question

me gustaría para ordenar por una propiedad y luego por otra (si es la primera propiedad es lo mismo).

Cuál es la forma idiomática en Haskell de componer dos funciones de comparación, es decir, una función utilizada con sortBy?

Dada

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

componer f y g habría Rendimiento:

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

Answer 1

vitus señala la instancia muy fresco de Monoid para Ordering. Si se combina con la instancia instance Monoid b => Monoid (a -> b) resulta que la función de su composición es simplemente (preparémonos):

mappend 

Hay que ver:

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 para abstracciones potentes y sencillas