no-rollback

このエフェクトは、関数の可変データの読み書きを取り消すことができず、(失敗したときにロールバック動作をする) 失敗コンテキストで関数を呼び出せないことを示します。