Haskell：複数プロパティソートが十分に汎用的ではありません

Question

私は、何かのリストで動作するランク付きのマルチプロパティソートを実装しようとしていました。

import Data.Ord (Ordering, Down (..), comparing) 
import Data.List (sortBy) 
import Data.Monoid (mconcat) 

data Order a = ASC a | DESC a 

orderBy :: Ord b => [Order (a -> b)] -> [a] -> [a] 
orderBy rankedProperties unsorted = 
    sortBy rankedCompare unsorted 
    where 
     rankedCompare x y = 
      mconcat $ map 
       (\property -> 
        case property of 
         ASC f -> comparing f x y 
         DESC f -> comparing (Down . f) x y 
       ) rankedProperties 

これはタプルとレコード用に機能しますが、問題が見つかりました。問題はorderByのbが同じでなければならないということです。 orderBy [ASC shortListed, DESC cost] listofrows：私が言うことができるようにしたい

data Row = Row { shortListed :: Bool, cost :: Float, distance1 :: Int, distance2 :: Int } deriving (Show, Eq) 

：それはこのことを考慮しています。

れるが戻ってくるエラー：

<interactive>:1:31: 
    Couldn't match type ‘Float’ with ‘Bool’ 
    Expected type: Row -> Bool 
     Actual type: Row -> Float 
    In the first argument of ‘ASC’, namely ‘cost’ 
    In the expression: ASC cost 

bはだけは本当にcomparing機能comparing :: Ord a => (b -> a) -> b -> b -> Orderingで許容しなければならないので、私は、bタイプが一般的なようにする方法が必要です。

私は実在のタイプと異種のリストについて少しは読んだことがありますが、どのように進むべきかわかりません。

Answer 1

Monoid Orderingとinstance Monoid b => Monoid (a -> b)がPreludeにあるため、関数インスタンスを2回反復することで、Monoid (a -> a -> Ordering)となります。また

import Data.Ord (Ordering, comparing) 
import Data.List (sortBy) 
import Data.Monoid ((<>), mconcat) 

data Row = Row { 
    shortListed :: Bool, 
    cost :: Float, 
    distance1 :: Int, 
    distance2 :: Int 
    } deriving (Show, Eq) 

asc, desc :: Ord b => (a -> b) -> a -> a -> Ordering 
asc = comparing 
desc = flip . asc 

list :: [Row] 
list = [Row False 0 10 20, Row True 10 30 40] 

list' :: [Row] 
list' = sortBy (asc shortListed <> desc cost <> asc distance1) list 

：これは、私たちはexistentialsせずに、非常に単純な問題を解決することができます

orderBy :: [a -> a -> Ordering] -> [a] -> [a] 
orderBy = sortBy . mconcat 

list'' :: [Row] 
list'' = orderBy [asc shortListed, desc cost, asc distance1] list