串聯自定義數據類型

Question

我建立在Haskell一組數據類型和我的工作remove函數，我無法得到它的權利，這裏的名單是我的代碼：

data Set a = Set [a] deriving (Eq,Ord,Show) 

remove :: Integer -> Set Integer -> Set Integer 
remove _ (Set []) = (Set []) 
remove numberToRemove (Set (x:xs)) 
    |x == numberToRemove = Set(xs) 
    |otherwise = Set(x:remove numberToRemove (Set xs)) 

我想將x添加到集合中刪除將返回，但我不知道如何使它與我的自定義數據類型一起工作。

這是我的錯誤：

test.hs:13:28: 
Couldn't match expected type `[Integer]' 
with actual type `Set Integer 
In the return type of a call of `remove' 
In the second argument of `(:)', namely 
`remove numberToRemove (Set xs)' 
In the first argument of `Set', namely 
`(x : remove numberToRemove (Set xs))' 
Failed, modules loaded: none. 

感謝

Answer 1

使用WHERE（或讓儘可能它不僅影響一個後衛）從設置

data Set a = Set [a] deriving (Eq,Ord,Show) 

remove :: Integer -> Set Integer -> Set Integer 
remove _ (Set []) = (Set []) 
remove numberToRemove (Set (x:xs)) 
    |x == numberToRemove = Set(xs) 
    |otherwise = Set(x:y) 
     where (Set y) = remove numberToRemove (Set xs) 

Answer 2

的問題是，你是包裹從「刪除」備份爲一組（這是你想要它做的事）你的結果，但隨後將其用作「其他」子句中列表的尾部。

你想做什麼（我不會太具體，因爲這顯然是一個練習，所以你想學習）是編寫一個輔助函數來做清單項刪除，然後把它包起來作爲你設置的「刪除」功能。