WashNGo-2.12: WASH is a family of embedded domain specific languages (EDSL) for programming Web applications in Haskell. 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 ()

Unnested transaction

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

nested transaction

data Control cgi result

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 0.8