Todomvcの "！[]"エルムコードの構文はどういう意味ですか

Question

私はエルムを理解することを学んでいます。

Todomvc example codeで

、そこに次のコードスニペットがある：I（私は思う）を理解するには、update関数はタイプMsgのmsgに取り、タイプModelのmodelことは何

-- How we update our Model on a given Msg? 
update : Msg -> Model -> (Model, Cmd Msg) 
update msg model = 
    case msg of 
    NoOp -> 
     model ! []  <-- What is this? 

、およびModelとCmd Msgを含むタプルを返します。

しかし、私は返品陳述書をどのように読むべきですか？

model ! [] 

この声明は何を意味していますか？ "モデル[何か]空のリスト"を返しますか？
これが説明されているドキュメントで何か迷っていましたか？ （「ELMを！」グーグルは、これまで私を取得できませんでした:)

Answer 1

model ! []で感嘆符は、典型的なupdateステートメントから返されたタイプである(model, Cmd.batch [])のためだけの短手の機能、です。 It is defined here