ハスケル型エラー "型Charと型が一致しませんでした。"

Question

dnaChecker関数を作成しようとしましたが、このエラーが発生しました。私は何が間違っているのか分からない。もし誰かがエラーを説明するか、私に素晴らしいヒントを教えてください！ここ はエラーとコードである：

* Couldn't match type `Char' with `t0 [Char]' 
    Expected type: [t0 [Char]] 
    Actual type: String 
* In the second argument of `all', namely `sekvens' 
    In the expression: all (elem "ACGT") sekvens 
    In a stmt of a pattern guard for 
       an equation for `dnaChecker': 
    all (elem "ACGT") sekvens 

dnaChecker :: String -> SekvensTyp 
dnaChecker sekvens 
       | all (elem "ACGT") sekvens = Dna 
       | all (elem "ARNDCEQGHILKMFPSTWYV") sekvens = Protein 

Answer 1

elem "ACGT"文字列"ACGT"がその引数の要素であるかどうかを確認する機能です。何が欲しいのは、引数が"ACGT"の要素であるかどうかを確認する機能です

(`elem` "ACGT") 

、です。

dnaChecker :: String -> SekvensTyp 
dnaChecker sekvens 
      | all (`elem` "ACGT") sekvens = Dna 
      | all (`elem` "ARNDCEQGHILKMFPSTWYV") sekvens = Protein 

中置関数としてelemの治療は、私たちが\x -> elem x "ACGT"のような明示的なラムダ式を書き出すのではなく、簡潔なセクションを書き込むことができます。