kw undo

Зарезервированное слово

Список слов: §1.4

Синтаксис

SStep       = Expr [ "undo" Lambda ] ;

Грамматика: Прил. A

Определяется в

• 11.3 Саги — Сага — последовательность шагов (синтаксис шагов как в цепочке §8.4); после шага МОЖЕТ стоять undo x => компенсация, где x — результат шага.
• 1.2 Завершение инструкций — Инструкция завершается ; или переводом строки.
• 1.4 Ключевые слова — Зарезервированные (нельзя использовать как имена)

Примеры

saga checkout(cart: Cart) -> Order {
  Inventory.reserve(cart)          undo r => Inventory.release(r.id)
  -> Payments.charge(cart.total)   undo p => Payments.refund(p.id)
  -> Orders.create(cart, it)
}

— 11.3 Саги

Связанные диагностики

saga-decl, saga-idempotency