Подтвердить что ты не робот

Что такое "! []" Синтаксис кодов Вяля в Тодомксе означает

Исходя из реакции, я учусь понимать Вязов.

В примере кода Todomvc приведен следующий фрагмент кода:

-- 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?

То, что я (думаю, я) понимаю, состоит в том, что функция update принимает msg типа msg и a model типа model и возвращает кортеж, содержащий a model и a Cmd Msg.

Но как я должен прочитать инструкцию return?

model ! []

Что означает это утверждение? вернуть "модель [что-то] пустого списка"?
Я что-то пропустил в документах, где это объясняется? (Googling "Вяз!" Не заставил меня далеко:)

4b9b3361

Ответ 1

Восклицательный знак в model ! [] является лишь короткой функцией для (model, Cmd.batch []), которая является типом, возвращаемым из типичных операторов update. Он определен здесь