Haskell "Konnte nicht den erwarteten Typ 'a' mit dem tatsächlichen Typ '[a0]'"

Question

Ich bin dabei, ein Projekt in Haskell zu erstellen, wo ich eine Funktion erstellen möchte, die zwei Listeneingaben und dann eine Union der Liste zurückgibt aber ohne Duplikate.

Das Problem ist, dass ich die Fehlermeldung erhalte:

Couldn't match expected type ‘a’ with actual type ‘[t0]’ 
     ‘a’ is a rigid type variable bound by 
      the type signature for newList :: [a] -> [a] -> [a] 

Hier ist mein Code:

allList :: (Eq a) => [a] -> [a] -> [a] 
allList [] [] = [] 
allList x y = (x ++ y) 

checkDup [] = [] 
checkDup (z:zs) 
    | z `elem` zs = checkDup zs 
    | otherwise = z : checkDup zs 

newList :: (Eq a) => [a] -> [a] -> [a] 
newList [] [] = [] 
newList x y = [checkDup z | z <- allList x y] 

Die erste allList Funktion erstellt eine Liste der beiden Liste, die checkDup schafft ein neue Liste ohne Duplikate und die newList verwendet Listenverständnis, um die kombinierte Liste an die checkDup zu übergeben.

Wer weiß, wo ich falsch liege?

Answer 1

Das Problem liegt hier:

newList x y = [checkDup z | z <- allList x y] 

z soll eine Liste, die Sie checkDup passieren sein, aber in diesem Fall z ist nur ein einziges Element

Vielleicht Sie wollen:

newList x y = checkDup $ allList x y 

newList kann wie folgt deklariert werden:

newList :: (Eq a) => [a] -> [a] -> [a] 
newList = checkDup . allList 

Answer 2

Da @ Smac89 Ihre Frage beantwortet hat, warum nicht eine Datendarstellung wie Data.Set verwenden?

import qualified Data.Set as S 

allList :: Ord a => [a] -> [a] -> [a] 
allList xs ys = S.toList $ S.union (S.fromList xs) (S.fromList ys) 

(., Obwohl die weitere Verwendung von Set s wahrscheinlich noch sinnvoll ist)

oder mit Data.List:

import Data.List 

newList :: Eq a => [a] -> [a] -> [a] 
newList xs ys = nub $ xs ++ ys