Wie die "alle" Funktion in Haskell neu zu implementieren?

Question

Ich muss eine Funktion all' :: (a -> Bool) -> [a] -> Bool definieren, die überprüft, ob alle Elemente aus einer Liste eine bestimmte Bedingung erfüllen.

Zum Beispiel: all' (<5) [1,2,3] = True, all' (>=2) [1,1,2,2,3,3] = Falsch.

Mein Hauptproblem ist, dass ich nicht weiß, wie man mit der Übertragung einer Funktion umgeht.

Answer 1

Funktionen in Haskell werden wie jeder andere Wert übergeben. Hier ist ein Beispiel, um Sie Fortschritt:

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

Und nun die Nutzung:

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

nun versuchen, das zu Listen zu erweitern.