Documentation

atomicTransactionPart :: (Ord k, Eq v, MonadIO m, Functor m, HasRqData m, FilterMonad Response m, MonadPlus m) => TransactionBase k v status -> Trans k v status a -> m a Source

createTransaction :: Ord k => String -> (g -> (TSessionId, g), g) -> status -> (k -> IO (Maybe v)) -> (k -> v -> IO ()) -> NominalDiffTime -> IO (TransactionBase k v status)

readVal :: Ord k => k -> Trans k v status (Maybe v, TouchedValues v status)

safeLoadVal :: Ord k => k -> Trans k v status (Maybe v)

writeVal :: Ord k => k -> v -> Trans k v status ()

setStatus :: Eq status => status -> Trans k v status ()

getStatus :: Trans k v status status

getReadSet :: Ord k => Trans k v status (Map k [TouchedValue v status])

commit :: Trans k v status ()

finishSession :: Trans k v status ()

data TouchedValue v status :: * -> * -> *

data TouchedValues v status :: * -> * -> *

data TransactionBase k v status :: * -> * -> * -> *

newtype Trans k v status a :: * -> * -> * -> * -> *

type TSessionId = Integer