haskell - 榆树 Action 方法中的管道符号

Question

update action model =
    case action of
      Delete id ->
          { model | tasks <- List.filter (\t -> t.id /= id) model.tasks }

我不明白这个语法，

  { model | .......... }

管道符号 | 在这里做什么？

花括号 {} 是什么意思？ Delete 操作是否返回任何值？

此代码取自 elm 的 Todo tutorial 。

Answer 1

这是记录更新语法:http://elm-lang.org/docs/records#updating-records
{ model | tasks <- value } 返回 model 记录，tasks 字段设置为新值。