如何阅读缺点语法（x：xs）

Question

我需要一些帮助来阅读使用缺点的函数。我知道如果有一个列表numbers，我知道

2:numbers

它将2插入列表。我有这个功能：

filter pred [] = []
filter pred (x:xs) = if pred x then x : filter pred xs
                              else filter pred xs

这是什么意思？

需要x，并加到xs上吗？它位于=符号的左侧，这一事实使我感到困惑。

说pred是+。 =的右侧检查是否+ x？ x在这种情况下通常是数字，对吗？

给出的示例是filter (\x -> x > 0) [1, -2, 3] = [1, 3]。

我需要帮助以了解其工作原理。

谢谢。