了解Haskell中的分割线功能

Question

以下是我试图理解的代码段：

splitLines [] = []
splitLines cs =
    let (pre, suf) = break isLineTerminator cs
    in  pre : case suf of 
                ('\r':'\n':rest) -> splitLines rest
                ('\r':rest)      -> splitLines rest
                ('\n':rest)      -> splitLines rest
                _                -> []

isLineTerminator c = c == '\r' || c == '\n'

我无法确定的是将在“ pre：”中为“ pre”分配什么值。 如果我是正确的，则使用“：”附加前缀，因此“ pre”应该是前缀，但值是多少？

Answer 1

如果要执行break isLineTerminator "foo\\r\\nbar" ，则pre将为"foo"而suf为"\\r\\nbar" 。 break将确保第二个参数是在其中第一次出现的分裂isLineTerminator c返回True ，包括返回的匹配True从传递函数（ isLineTerminator在右手侧在这种情况下）。

将suf进料

case suf of 
    ('\r':'\n':rest) -> splitLines rest
    ('\r':rest)      -> splitLines rest
    ('\n':rest)      -> splitLines rest
    _                -> []

会尝试从suf删除换行符，同时将其余部分（ "bar" ）再次传递给splitLines 。 在递归调用中， pre将为"bar" ，而suf将为"" ，从而匹配最后一种情况。 在回来的路上会拉平"foo" : "bar" : []至["foo", "bar"]缺点运营商: ）。