stmcontrol-0.1: Control communication among retrying transactions
STMControl.STMC
type STMC a b = ReaderT (IORef a) STM bSource
newTVarC :: b -> STMC a (TVar b)Source
readTVarC :: TVar b -> STMC a bSource
writeTVarC :: TVar b -> b -> STMC a ()Source
retryC :: a -> STMC a bSource
orElseC :: STMC a b -> (a -> STMC a b) -> STMC a bSource
atomicallyC :: STMC a b -> IO bSource