榆树如何更新列表头

Question

我正在尝试编程小时间跟踪应用程序，在那里我写我做什么，它只是记录它。

我成功地实现了将条目添加到日志中，但是现在，我想更新持续时间的最后一个日志条目(例如，当我在00:01开始编程时，现在是00:20，我开始在SO上写问题，所以当我将该日志条目添加到列表中时，我希望列表的头部持续时间为19分钟，所以我知道我花了多少时间编程)。

我试着用下面的代码来做:

addEntry: Model -> List LogEntry
addEntry model =
    let
        newEntry = { -- this is what we add
            text = model.currentText,
            timestamp = model.now,
            duration = Nothing
        }
        lastEntry =
            List.head model.log
    in
       case lastEntry of
           Nothing ->
                [newEntry] -- when the list was empty - create it with one element
           Just le -> -- when not empty
                newEntry :: {le | duration = newEntry.timestamp - le.timestamp } :: List.tail model.log
 -- - add new element, modified head and tail

问题是List.tail model.log是Maybe List LogEntry，而我希望它是Just List LogEntry。这里只能是Just List LogEntry，因为头也是Just LogEntry。

在那里做什么?嵌套另一个case，并标记一个分支不可访问?这有什么规律可循吗?或者像List a -> Maybe (a, List a)这样的函数，在相同的Maybe中返回头和尾?

Answer 1

在列表上使用模式匹配(列表可以是空列表或头尾的组合):

let newEntry = {
  text = model.currentText,
  timestamp = model.now,
  duration = Nothing
}
in case model.log of
  [] -> [newEntry]
  le :: log -> 
    let le' = { le | duration = newEntry.timestamp - le.timestamp }
    in newEntry :: le' :: log