STM

Documentation

data STM r p q a

Instances

Monadish (STM r)

Monad (STM r p q)

data TVar a

Instances

Show (TVar a)

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

newTVarIO :: a -> IO (TVar a)

readTVar :: Show a => TVar a -> Region r a -> STM r Atomic Atomic (a, RTwiVar a)

writeTVar :: Show a => TVar a -> a -> STM r Atomic Atomic (WTwiVar a)

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

retry :: STM r p q a

data Atomic

data Twi

data Safe

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

gret :: Monadish m => forall a p. a -> m p p a

twilight :: STM r Atomic Twi Bool

getInconsistencies :: Region r a -> STM r Safe Safe [(RTwiVar a, Maybe (WTwiVar a))]

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

reload :: STM r Twi Safe ()

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

rewriteTVar :: Show a => WTwiVar a -> a -> STM r p p ()

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

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

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

tryCommit :: STM r Twi Safe ()