Haskellは一覧表示されます - タプルのFST数とリスト

Question

の長さと比較し、私は次のリストがあります

[(Libri,50.0),(Proxis,20.0),(Proxis,45.0),(Amazon,45.0)] 

を私はarticlesと呼ばれる特定のリストを持っています。 タプルを使って上記のリストを変換したいので、タプルの最初の要素が（長さのアーティクル）倍であれば、それだけを得ることができます！

私はリストarticles=["HP","Haskell"]を持っているのであれば、例えば、リストが表示されるはずです：

[(Proxis,20.0),(Proxis,45.0)] 

Proxisが2回現れるので！

編集：

データ型：

data Magasin = Proxis | Amazon | Libri deriving (Eq, Show) 
type Article = String 
type Prix = Float 
data Entree = E Magasin Article Prix deriving (Eq, Show) 
type Stock = [Entree] 

これは私の現在のコードです：

disponible::[Article]->Stock->[(Magasin,Float)] 
disponible [] stk = [] 
disponible (art:reste) stk = (foldl(\acc (E m a p)->if a==art then (m,p):acc else acc) [] stk)++(disponible reste stk) 

任意のアイデア？

編集：

disponible::[Article]->Stock->[(Magasin,Float)] 
disponible articles stock = map(\(m,ls)->(m,sum $ map (\(E _ _ p)->p) ls)) $ filter ((==length articles).length.snd) magasinsArticles 
    where contientArticles = (filter (\(E _ a _)->a`elem`articles) stock) 
      magasins = foldl (\acc e-> if e`elem`acc then acc else (e:acc)) [] $ map (\(E m _ _)->m) contientArticles 
      magasinsArticles = map (\m->(m,filter(\(E m2 _ _)->m2==m) contientArticles)) magasins 

は私が探していた答えを見つけました。

Answer 1

disponible::[Article]->Stock->[(Magasin,Float)] 
disponible articles stock = map(\(m,ls)->(m,sum $ map (\(E _ _ p)->p) ls)) $ filter ((==length articles).length.snd) magasinsArticles 
    where contientArticles = (filter (\(E _ a _)->a`elem`articles) stock) 
      magasins = foldl (\acc e-> if e`elem`acc then acc else (e:acc)) [] $ map (\(E m _ _)->m) contientArticles 
      magasinsArticles = map (\m->(m,filter(\(E m2 _ _)->m2==m) contientArticles)) magasins