liste Concaténation d'un type de données personnalisé

Question

Je construis un type de jeu dans haskell et je travaille sur la fonction de suppression et je ne peux pas faire les choses, voici mon code:

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)) 

Je veux pour ajouter x à l'ensemble, remove va revenir mais je ne sais pas comment l'utiliser avec mon type de données personnalisé.

Voici mon erreur:

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. 

Merci

Answer 1

Utilisez un où (ou un let car il ne touche un garde) pour extraire de nouveau l'argument de Set

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

Le problème est que vous envelopper votre résultat de « supprimer » sauvegarder comme un ensemble (qui est ce que vous voulez qu'il fasse), mais en l'utilisant comme queue de la liste dans votre clause "sinon". Ce que vous voulez faire (et je ne serai pas trop spécifique, car c'est évidemment un exercice, donc vous voulez apprendre) est d'écrire une fonction d'aide pour faire la suppression de l'élément de liste, puis l'encapsuler comme votre ensemble "supprimer" la fonction.