Haskell Неполный шаблон - ошибка

Question

Я получил этот код

andAll :: [Bool] -> Bool 
andAll (x:xs) = x && andAll xs 

и когда я запускаю его, он дает мне '*** Exception: worksheet5.hs:80:1-30: Non-exhaustive patterns in function andAll' после некоторых исследований я, кажется, нужно добавить случай для пустого списка. Я не совсем уверен, как это указать, я пробовал andAll [] = [], но это все еще выдавало ошибку.

Answer 1

Образец (x:xs) будет соответствовать последовательности, по крайней мере, с одним элементом. Вам нужно добавить шаблон, чтобы он соответствовал пустой последовательности.

andAll :: [Bool] -> Bool 
andAll (x:xs) = x && andAll xs 
andAll [] = True