Control.Monad.AdvSTM.Def

This is an internal module.

Documentation

newtype AdvSTM a

Drop-in replacement for the STM monad

Constructors

AdvSTM (ReaderT Env STM a)

Instances

Monad AdvSTM

Defined in Control.Monad.AdvSTM.Def

Methods

(>>=) :: AdvSTM a -> (a -> AdvSTM b) -> AdvSTM b

(>>) :: AdvSTM a -> AdvSTM b -> AdvSTM b

return :: a -> AdvSTM a

fail :: String -> AdvSTM a

Functor AdvSTM

Defined in Control.Monad.AdvSTM.Def

Methods

fmap :: (a -> b) -> AdvSTM a -> AdvSTM b

(<$) :: a -> AdvSTM b -> AdvSTM a

Applicative AdvSTM

Defined in Control.Monad.AdvSTM.Def

Methods

pure :: a -> AdvSTM a

(<*>) :: AdvSTM (a -> b) -> AdvSTM a -> AdvSTM b

liftA2 :: (a -> b -> c) -> AdvSTM a -> AdvSTM b -> AdvSTM c

(*>) :: AdvSTM a -> AdvSTM b -> AdvSTM b

(<*) :: AdvSTM a -> AdvSTM b -> AdvSTM a

Alternative AdvSTM

Defined in Control.Monad.AdvSTM.Def

Methods

empty :: AdvSTM a

(<|>) :: AdvSTM a -> AdvSTM a -> AdvSTM a

some :: AdvSTM a -> AdvSTM [a]

many :: AdvSTM a -> AdvSTM [a]

MonadPlus AdvSTM

Defined in Control.Monad.AdvSTM.Def

Methods

mzero :: AdvSTM a

mplus :: AdvSTM a -> AdvSTM a -> AdvSTM a

MonadAdvSTM AdvSTM

Defined in Control.Concurrent.AdvSTM

Methods

onCommitWith :: ([IO ()] -> IO ()) -> AdvSTM ()

onCommit :: IO () -> AdvSTM ()

unsafeRetryWith :: IO () -> AdvSTM b

orElse :: AdvSTM a -> AdvSTM a -> AdvSTM a

retry :: AdvSTM a

check :: Bool -> AdvSTM ()

catchSTM :: Exception e => AdvSTM a -> (e -> AdvSTM a) -> AdvSTM a

liftAdv :: STM a -> AdvSTM a

readTVar :: TVar a -> AdvSTM a

writeTVar :: TVar a -> a -> AdvSTM ()

readTVarAsync :: TVar a -> AdvSTM a

writeTVarAsync :: TVar a -> a -> AdvSTM ()

newTVar :: a -> AdvSTM (TVar a)

unsafeIOToSTM :: IO a -> AdvSTM a

data Env

The environment used for the Reader Monad

Constructors

Env

Fields

• commitTVar :: TVar [IO ()]
• commitClosure :: TVar ([IO ()] -> IO ())
• retryDoneMVar :: MVar (Maybe ())
• transThreadId :: ThreadId
• listeners :: TVar [(TMVar (), TVarValue)]
• debugModeVar :: TVar Bool

data TVarValue

Constructors

TVarValue (TVar a, a)