twilight-stm-1.1: STM library with safe irrevocable I/O and inconsistency repair

Control.Concurrent.STM.Twilight

Documentation

data STM r p q a Source

Instances

Monadish (STM r)
Monad (STM r p q)

data TVar a Source

Instances

Eq (TVar a)
Show (TVar a)

data Region r Source

data RTwiVar a Source

Instances

Eq (RTwiVar a)
Show (RTwiVar a)

data WTwiVar a Source

Instances

Eq (WTwiVar a)
Show (WTwiVar a)

newTVar :: a -> STM r p p (TVar a)Source

newTVarIO :: a -> IO (TVar a)Source

readTVar :: TVar a -> STM r Atomic Atomic aSource

writeTVar :: TVar a -> a -> STM r Atomic Atomic ()Source

readTVarR :: TVar a -> Region r -> STM r Atomic Atomic (a, RTwiVar a)Source

writeTVarR :: TVar a -> a -> STM r Atomic Atomic (WTwiVar a)Source

atomically :: (forall s. STM s p q a) -> IO aSource

retry :: STM r p q aSource

data Atomic Source

data Twi Source

data Safe Source

gbind :: Monadish m => m p q a -> (a -> m q r b) -> m p r bSource

gret :: Monadish m => a -> m p p aSource

twilight :: STM r Atomic Twi Bool Source

isInconsistent :: Region r -> STM r p p Bool Source

reload :: STM r Twi Safe ()Source

safeTwiIO :: IO a -> STM r Safe Safe aSource

rewriteTVar :: WTwiVar a -> a -> STM r p p ()Source

rereadTVar :: RTwiVar a -> STM r p p aSource

unsafeTwiIO :: IO a -> STM r p p aSource

newRegion :: STM r Atomic Atomic (Region r)Source

tryCommit :: STM r Twi Safe ()Source

ignoreAllConflicts :: STM r a Safe ()Source

markTVar :: TVar a -> Region r -> STM r Atomic Atomic ()Source