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

WASH.CGI.TransactionUtil

Description

Generic utilities for implementing transactionsal memories

Synopsis

withCGI :: (Read result, Show result) => ([PARAMETER] -> IO Bool) -> result -> (result -> CGI ()) -> (Control (TCGI result) result -> TCGI result ()) -> CGI () withTCGI :: (Read result, Show result) => ([PARAMETER] -> IO Bool) -> result -> (result -> TCGI result1 ()) -> (Control (TCGI result) result -> TCGI result ()) -> TCGI result1 () data Control cgi result = Control { abandon :: result -> cgi () setFail :: result -> cgi () setCommit :: result -> cgi () }

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 abandon :: result -> cgi () abandon with result (rollback) setFail :: result -> cgi () set result on failure setCommit :: result -> cgi () set result on successful commit

Produced by Haddock version 2.6.0