Haskellの "all"関数を再実装するには？

Question

リストのすべての要素が特定の条件を満たすかどうかを確認する関数all' :: (a -> Bool) -> [a] -> Boolを定義する必要があります。

たとえば、all' (<5) [1,2,3] = True,all' (>=2) [1,1,2,2,3,3] =偽です。

私の主な問題は、私がどのように関数の伝達を処理するのか分からないことです。

Answer 1

ハスケルの関数は他の値と同様に渡されます。ここでは、進行を支援するための例です：

doBothSatisfy :: (a -> Bool) -> a -> a -> Bool 
doBothSatisfy p x y = (p x) && (p y) 

そして今、用法：

doBothSatisfy (> 5) 6 7 == True 
doBothSatisfy (> 5) 1 8 == False 

は今のリストにそれを拡張してみてください。