`Data.List.delete` って、最初にマッチした要素しか消してくれな...

Data.List.delete って、最初にマッチした要素しか消してくれないのですね。マッチする全部の要素を取り除く関数ってありませんか?

Replies

Data.List.delete って、最初にマッチした要素しか消してくれないのですね。マッチする全部の要素を取り除く関数ってありませんか?

代わりに Data.List.filter を使うのはどうでしょう

それって filter のような気がしますが、汎用的ではない特定の要素を全消しする専用の関数を探しているということです?

あ、かぶった・・・

あー、filter でいいのか。ありがとうございます!