che compone due funzioni di confronto?

Question

Vorrei ordinare per una proprietà e poi da un altro (se la prima proprietà è la stessa.)

Nei il modo idiomatica in Haskell di comporre due funzioni di confronto, cioè una funzione utilizzata con sortBy?

Dato

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

composizione f e g sarebbe resa:

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

Answer 1

vitus sottolinea l'istanza molto fresco di Monoid per Ordering. Se si combinano con l'istanza instance Monoid b => Monoid (a -> b) si scopre la funzione di composizione è solo (prepariamoci):

mappend 

Check it out:

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 per astrazioni potenti e semplici