transacts

関数に transacts エフェクトがある場合、それはその関数がデータを読み書きできることを意味しますが、その関数に decides エフェクトもある場合は、それらのアクションをロールバックできます。 このエフェクトは排他的エフェクトです。

排他的エフェクトが指定されていない関数ではデータの読み取りと書き込みは可能ですが、ロールバックを行うことはできません。