WashNGo-2.12.0.1: WASH is a family of EDSLs for programming Web applications in Haskell.

WASH.CGI.TransactionUtil

Description

Generic utilities for implementing transactionsal memories

Synopsis

Documentation

withCGI :: (Read result, Show result) => ([PARAMETER] -> IO Bool) -> result -> (result -> CGI ()) -> (Control (TCGI result) result -> TCGI result ()) -> CGI ()Source

Unnested transaction

withTCGI :: (Read result, Show result) => ([PARAMETER] -> IO Bool) -> result -> (result -> TCGI result1 ()) -> (Control (TCGI result) result -> TCGI result ()) -> TCGI result1 ()Source

nested transaction

data Control cgi result Source

Constructors

Control 

Fields

abandon :: result -> cgi ()

abandon with result (rollback)

setFail :: result -> cgi ()

set result on failure

setCommit :: result -> cgi ()

set result on successful commit