Un effetto che indica che la funzione può non riuscire e che la chiamata a questa funzione è un'espressione fallibile. La definizione di una funzione con decides richiede anche l'effetto transacts, il quale implica che le azioni eseguite da essa possono essere sottoposte a rollback se viene sollevato un errore in qualsiasi suo punto, come se non fossero mai state eseguite.
decides
Un effetto che indica che la funzione può non riuscire e che la chiamata a questa funzione è un'espressione fallibile.
Ask questions and help your peers Developer Forums
Write your own tutorials or read those from others Learning Library