与えられたデッキから最大の別個の手を構築する関数を作成する

Question

デッキとは異なる手の最大セットを構築する関数を作成しようとしています。私はGHCiの中に私のコードをコンパイルすると、それは次のエラーを与える

type Deck = [Card] 

data Card = Card { rank :: Rank, suit :: Suit } 
deriving (Eq, Ord) 

data Rank = R2 | R3 | R4 | R5 | R6 | R7 | R8 | R9 | R10 | J | Q | K | A 
deriving (Bounded, Enum, Eq, Ord) 

data Suit = S | H | D | C --spades , hearts, diamonds, clubs 
deriving (Bounded, Enum, Eq, Ord, Show) 

newtype Hand = Hand { unHand :: [Card] } deriving (Eq, Show) 

distinctHands :: Deck -> Set Hand 
distinctHands deck = foldl insert empty (allHands deck) 

allHands :: Deck -> [Hand] 
allHands deck = map Hand (combs 5 deck) 

combs :: Int -> [a] -> [[a]] 
combs 0 [] = [[]] 
combs 0 xs = [[]] 
combs 1 xs = map (:[]) xs 
combs n xs = [ y: ys | y:xs' <- tails xs, ys <- combs (n-1) xs'] 

与えデッキから撮影することができ、すべての可能な5枚のカードの手を与える関数のallHandsを作った：

Couldn't match type ‘Set Hand’ with ‘Hand’ 
    Expected type: Set Hand -> Set Hand -> Set Hand 
    Actual type: Hand -> Set Hand -> Set Hand 
    In the first argument of ‘foldl’, namely ‘insert’ 

Couldn't match type ‘Hand’ with ‘Set Hand’ 
    Expected type: [Set Hand] 
    Actual type: [Hand] 
    In the third argument of ‘foldl’, namely ‘(allHands deck)’ 

私はどのようにこれを修正するか分からない人は助けることができますか？

Answer 1

foldlは形状b -> a -> bと機能を期待：

foldl :: Foldable t => (b -> a -> b) -> b -> t a -> b 

しかし、反転した形状をinsertあります

insert :: Ord a => a -> Set a -> Set a 

あなたが不一致を修正するためにflipを使用することができます。

flip :: (a -> b -> c) -> (b -> a -> c) 

したがって、を試してください。また、あなたがdistinctHands = fromList . allHandsを書いてみましょうだろうfromList機能

fromList :: Ord a => [a] -> Set a 

ようなことがあります。