"和"在这个功能中做了什么？

"sorted"是一个检查列表是否按升序排序的函数.

pairs :: [a] -> [(a,a)]
pairs xs = zip xs (tail xs)

sorted :: Ord a => [a] -> Bool
sorted xs = and [x <= y | (x,y) <- pairs xs]

我想知道在排序的xs中"和"做了什么？

它调用and标准库中的函数:

and :: Foldable t => t Bool -> Bool

and返回Bools容器的连接.结果是True,容器必须是有限的; False然而,由False远离左端的有限值产生.