I know that the program can sort the list by Mfg or by Year(descending). That is defined on line 9 and 10. But what exactly is the code doing? What is (<>)?
import Data.Semigroup ((<>))
import Data.List (sort, sortOn)
import Data.Ord (comparing)
data Vehicle = Vehicle { mfg :: String, year :: Int } deriving (Eq, Show)
mycars =[Vehicle "Saab" 2000, Vehicle "Volvo" 1995]
instance Ord Vehicle where
compare = flip (comparing year) <> comparing mfg
main = do
print $ sortOn mfg mycars
print $ sort mycars
import Data.Semigroup ((<>))
doesn't do anything useful in your program, and hasn't since GHC 7.10 was released in 2015. Before that, it brought the<>
operator into scope so thatcompare = flip (comparing year) <> comparing mfg
can use it. In GHC 7.10, that operator was added to the Prelude, so it's now always in scope even without importing it.As for what
<>
does there, you're using it at the typeVehicle -> Vehicle -> Ordering
. It comes from theSemigroup b => Semigroup (a -> b)
instance (twice) and theSemigroup Ordering
instance. The net effect is that after applying bothVehicles
to it, it will use the result of the left-hand side comparison on them (flip (comparing year)
), unless it'sEQ
, in which case it will use the right-hand side comparison (comparing mfg
) on them instead. If you were to write out by hand exactly what it were doing, it would be this: