STM.Base

Documentation

module IO.Base

module Control.Concurrent.STM.TVar

module Control.Concurrent.STM.TMVar

module Control.Concurrent.STM.TBChan

data STM a :: * -> *

A monad supporting atomic memory transactions.

Instances

Monad STM

Since: 4.3.0.0

Methods

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

(>>) :: STM a -> STM b -> STM b

return :: a -> STM a

fail :: String -> STM a

Functor STM

Since: 4.3.0.0

Methods

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

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

Applicative STM

Since: 4.8.0.0

Methods

pure :: a -> STM a

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

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

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

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

Alternative STM

Since: 4.8.0.0

Methods

empty :: STM a

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

some :: STM a -> STM [a]

many :: STM a -> STM [a]

MonadPlus STM

Since: 4.3.0.0

Methods

mzero :: STM a

mplus :: STM a -> STM a -> STM a

MonadThrow STM

Methods

throwM :: Exception e => e -> STM a

MonadCatch STM

Methods

catch :: Exception e => STM a -> (e -> STM a) -> STM a

MonadBaseControl STM STM

Associated Types

type StM (STM :: * -> *) a :: *

Methods

liftBaseWith :: (RunInBase STM STM -> STM a) -> STM a

restoreM :: StM STM a -> STM a

MonadBase STM STM

Methods

liftBase :: STM α -> STM α

type StM STM a

type StM STM a = a

atomically :: MonadBase IO m => STM α -> m α

atomically lifted to MonadBase IO.

newTVarIO :: MonadBase IO m => a -> m (TVar a)

newTVarIO at the top level, lifted.

newTMVarIO :: MonadBase IO m => a -> m (TMVar a)

newTMVarIO at the top level, lifted.

newEmptyTMVarIO :: MonadBase IO m => m (TMVar a)

newTMVarIO at the top level, lifted.

newTBChanIO :: (MonadBase IO m, Integral l) => l -> m (TBChan a)

newTBChanIO at the top level, lifted, only with a saturated length.

newTBChan :: Integral l => l -> STM (TBChan a)