Una funzione con effetto transacts può leggere e scrivere dati, ma il rollback di tali operazioni può avvenire solo se la funzione ha anche l'effetto decides. Questo effetto è un effetto esclusivo.
Una funzione senza effetto `transacts` può sempre leggere e scrivere dati, ma non può essere sottoposta a rollback.