Moduleio-classes-1.8.0.1

Control.Monad.Class.MonadSTM.Internal

7 types
4 classes
58 values

Packageio-classes-1.8.0.1
Exports72
LicenceApache-2.0

valuecatchSTM

:: (MonadSTM m, MonadCatch (STM m), Exception e)
=> STM m a
-> e -> STM m a
-> STM m a

valuecloneTChanDefault

:: MonadSTM m
=> TChanDefault m a
-> STM m (TChanDefault m a)

valuedebugTraceTMVar

:: (MonadTraceSTM m, Show a)
=> proxy m
-> TMVar m a
-> STM m ()

valuedebugTraceTMVarIO :: (Show a, MonadTraceSTM m) => TMVar m a -> m ()

valuedebugTraceTVar

:: (MonadTraceSTM m, Show a)
=> proxy m
-> TVar m a
-> STM m ()

valuedebugTraceTVarIO :: (MonadTraceSTM m, Show a) => TVar m a -> m ()

valuedupTChanDefault

:: MonadSTM m
=> TChanDefault m a
-> STM m (TChanDefault m a)

valueflushTBQueueDefault :: MonadSTM m => TBQueueDefault m a -> STM m [a]

valueflushTQueueDefault :: MonadSTM m => TQueueDefault m a -> STM m [a]

valueisEmptyTBQueueDefault :: MonadSTM m => TBQueueDefault m a -> STM m Bool

valueisEmptyTChanDefault :: MonadSTM m => TChanDefault m a -> STM m Bool

valueisEmptyTMVarDefault :: MonadSTM m => TMVarDefault m a -> STM m Bool

valueisEmptyTQueueDefault :: MonadSTM m => TQueueDefault m a -> STM m Bool

valueisFullTBQueueDefault :: MonadSTM m => TBQueueDefault m a -> STM m Bool

valuelabelTBQueueDefault

:: MonadLabelledSTM m
=> TBQueueDefault m a
-> String
-> STM m ()

valuelabelTChanDefault

:: MonadLabelledSTM m
=> TChanDefault m a
-> String
-> STM m ()

valuelabelTMVarDefault

:: MonadLabelledSTM m
=> TMVarDefault m a
-> String
-> STM m ()

valuelabelTQueueDefault

:: MonadLabelledSTM m
=> TQueueDefault m a
-> String
-> STM m ()

valuelabelTSemDefault

:: MonadLabelledSTM m
=> TSemDefault m
-> String
-> STM m ()

valuelengthTBQueueDefault :: MonadSTM m => TBQueueDefault m a -> STM m Natural

valuenewBroadcastTChanDefault :: MonadSTM m => STM m (TChanDefault m a)

valuenewEmptyTMVarDefault :: MonadSTM m => STM m (TMVarDefault m a)

valuenewTBQueueDefault :: MonadSTM m => Natural -> STM m (TBQueueDefault m a)

valuenewTChanDefault :: MonadSTM m => STM m (TChanDefault m a)

valuenewTMVarDefault :: MonadSTM m => a -> STM m (TMVarDefault m a)

valuenewTQueueDefault :: MonadSTM m => STM m (TQueueDefault m a)

valuenewTSemDefault :: MonadSTM m => Integer -> STM m (TSemDefault m)

valuepeekTBQueueDefault :: MonadSTM m => TBQueueDefault m a -> STM m a

valuepeekTChanDefault :: MonadSTM m => TChanDefault m a -> STM m a

valuepeekTQueueDefault :: MonadSTM m => TQueueDefault m a -> STM m a

valueputTMVarDefault :: MonadSTM m => TMVarDefault m a -> a -> STM m ()

valuereadTBQueueDefault :: MonadSTM m => TBQueueDefault m a -> STM m a

valuereadTChanDefault :: MonadSTM m => TChanDefault m a -> STM m a

valuereadTMVarDefault :: MonadSTM m => TMVarDefault m a -> STM m a

valuereadTQueueDefault :: MonadSTM m => TQueueDefault m a -> STM m a

valuesignalTSemDefault :: MonadSTM m => TSemDefault m -> STM m ()

valuesignalTSemNDefault :: MonadSTM m => Natural -> TSemDefault m -> STM m ()

valueswapTMVarDefault :: MonadSTM m => TMVarDefault m a -> a -> STM m a

valuetakeTMVarDefault :: MonadSTM m => TMVarDefault m a -> STM m a

valuethrowSTM :: (MonadSTM m, MonadThrow (STM m), Exception e) => e -> STM m a

valuetraceTMVarDefault

:: MonadTraceSTM m
=> proxy m
-> TMVarDefault m a
-> Maybe (Maybe a) -> Maybe a -> InspectMonadSTM m TraceValue
-> STM m ()

valuetryPeekTBQueueDefault :: MonadSTM m => TBQueueDefault m a -> STM m (Maybe a)

valuetryPeekTChanDefault :: MonadSTM m => TChanDefault m a -> STM m (Maybe a)

valuetryPeekTQueueDefault :: MonadSTM m => TQueueDefault m a -> STM m (Maybe a)

valuetryPutTMVarDefault :: MonadSTM m => TMVarDefault m a -> a -> STM m Bool

valuetryReadTBQueueDefault :: MonadSTM m => TBQueueDefault m a -> STM m (Maybe a)

valuetryReadTChanDefault :: MonadSTM m => TChanDefault m a -> STM m (Maybe a)

valuetryReadTMVarDefault :: MonadSTM m => TMVarDefault m a -> STM m (Maybe a)

valuetryReadTQueueDefault :: MonadSTM m => TQueueDefault m a -> STM m (Maybe a)

valuetryTakeTMVarDefault :: MonadSTM m => TMVarDefault m a -> STM m (Maybe a)

valueunGetTBQueueDefault :: MonadSTM m => TBQueueDefault m a -> a -> STM m ()

valueunGetTChanDefault :: MonadSTM m => TChanDefault m a -> a -> STM m ()

valueunGetTQueueDefault :: MonadSTM m => TQueueDefault m a -> a -> STM m ()

valuewaitTSemDefault :: MonadSTM m => TSemDefault m -> STM m ()

valuewriteTBQueueDefault :: MonadSTM m => TBQueueDefault m a -> a -> STM m ()

valuewriteTChanDefault :: MonadSTM m => TChanDefault m a -> a -> STM m ()

valuewriteTMVarDefault :: MonadSTM m => TMVarDefault m a -> a -> STM m ()

valuewriteTQueueDefault :: MonadSTM m => TQueueDefault m a -> a -> STM m ()

classclass (MonadSTM m, Monad (InspectMonadSTM m)) => MonadInspectSTM (m :: Type -> Type) where

Associated types

type family InspectMonadSTM (m :: Type -> Type) :: Type -> Type

Methods

inspectTVar :: proxy m -> TVar m a -> InspectMonadSTM m a
inspectTMVar :: proxy m -> TMVar m a -> InspectMonadSTM m (Maybe a)

Instances2MonadInspectSTM

MonadInspectSTM IODefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal
MonadInspectSTM m => MonadInspectSTM (ReaderT r m)Defined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal

classclass MonadSTM m => MonadLabelledSTM (m :: Type -> Type) where

Methods

labelTVar :: TVar m a -> String -> STM m ()
labelTMVar :: TMVar m a -> String -> STM m ()
labelTQueue :: TQueue m a -> String -> STM m ()
labelTBQueue :: TBQueue m a -> String -> STM m ()
labelTArray :: (Ix i, Show i) => TArray m i e -> String -> STM m ()
labelTSem :: TSem m -> String -> STM m ()
labelTChan :: TChan m a -> String -> STM m ()
labelTVarIO :: TVar m a -> String -> m ()
labelTMVarIO :: TMVar m a -> String -> m ()
labelTQueueIO :: TQueue m a -> String -> m ()
labelTBQueueIO :: TBQueue m a -> String -> m ()
labelTArrayIO :: (Ix i, Show i) => TArray m i e -> String -> m ()
labelTSemIO :: TSem m -> String -> m ()
labelTChanIO :: TChan m a -> String -> m ()

Instances1MonadLabelledSTM

MonadLabelledSTM IODefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal

classclass (Monad m, Monad (STM m)) => MonadSTM (m :: Type -> Type) where

Associated types

type family STM (m :: Type -> Type) :: Type -> Type
type family TVar (m :: Type -> Type) :: Type -> Type
type family TMVar (m :: Type -> Type) :: Type -> Type
type family TQueue (m :: Type -> Type) :: Type -> Type
type family TBQueue (m :: Type -> Type) :: Type -> Type
type family TArray (m :: Type -> Type) :: Type -> Type -> Type
type family TSem (m :: Type -> Type)
type family TChan (m :: Type -> Type) :: Type -> Type

Methods

atomically :: HasCallStack => STM m a -> m a
newTVar :: a -> STM m (TVar m a)
readTVar :: TVar m a -> STM m a
writeTVar :: TVar m a -> a -> STM m ()
retry :: STM m a
orElse :: STM m a -> STM m a -> STM m a
modifyTVar :: TVar m a -> (a -> a) -> STM m ()
modifyTVar' :: TVar m a -> (a -> a) -> STM m ()
stateTVar :: TVar m s -> (s -> (a, s)) -> STM m a
swapTVar :: TVar m a -> a -> STM m a
check :: Bool -> STM m ()
newTMVar :: a -> STM m (TMVar m a)
newEmptyTMVar :: STM m (TMVar m a)
takeTMVar :: TMVar m a -> STM m a
tryTakeTMVar :: TMVar m a -> STM m (Maybe a)
putTMVar :: TMVar m a -> a -> STM m ()
tryPutTMVar :: TMVar m a -> a -> STM m Bool
readTMVar :: TMVar m a -> STM m a
tryReadTMVar :: TMVar m a -> STM m (Maybe a)
swapTMVar :: TMVar m a -> a -> STM m a
writeTMVar :: TMVar m a -> a -> STM m ()
isEmptyTMVar :: TMVar m a -> STM m Bool
newTQueue :: STM m (TQueue m a)
readTQueue :: TQueue m a -> STM m a
tryReadTQueue :: TQueue m a -> STM m (Maybe a)
peekTQueue :: TQueue m a -> STM m a
tryPeekTQueue :: TQueue m a -> STM m (Maybe a)
flushTQueue :: TQueue m a -> STM m [a]
writeTQueue :: TQueue m a -> a -> STM m ()
isEmptyTQueue :: TQueue m a -> STM m Bool
unGetTQueue :: TQueue m a -> a -> STM m ()
newTBQueue :: Natural -> STM m (TBQueue m a)
readTBQueue :: TBQueue m a -> STM m a
tryReadTBQueue :: TBQueue m a -> STM m (Maybe a)
peekTBQueue :: TBQueue m a -> STM m a
tryPeekTBQueue :: TBQueue m a -> STM m (Maybe a)
flushTBQueue :: TBQueue m a -> STM m [a]
writeTBQueue :: TBQueue m a -> a -> STM m ()
lengthTBQueue :: TBQueue m a -> STM m Natural
isEmptyTBQueue :: TBQueue m a -> STM m Bool
isFullTBQueue :: TBQueue m a -> STM m Bool
unGetTBQueue :: TBQueue m a -> a -> STM m ()
newTSem :: Integer -> STM m (TSem m)
waitTSem :: TSem m -> STM m ()
signalTSem :: TSem m -> STM m ()
signalTSemN :: Natural -> TSem m -> STM m ()
newTChan :: STM m (TChan m a)
newBroadcastTChan :: STM m (TChan m a)
dupTChan :: TChan m a -> STM m (TChan m a)
cloneTChan :: TChan m a -> STM m (TChan m a)
readTChan :: TChan m a -> STM m a
tryReadTChan :: TChan m a -> STM m (Maybe a)
peekTChan :: TChan m a -> STM m a
tryPeekTChan :: TChan m a -> STM m (Maybe a)
writeTChan :: TChan m a -> a -> STM m ()
unGetTChan :: TChan m a -> a -> STM m ()
isEmptyTChan :: TChan m a -> STM m Bool
newTVarIO :: a -> m (TVar m a)
readTVarIO :: TVar m a -> m a
newTMVarIO :: a -> m (TMVar m a)
newEmptyTMVarIO :: m (TMVar m a)
newTQueueIO :: m (TQueue m a)
newTBQueueIO :: Natural -> m (TBQueue m a)
newTChanIO :: m (TChan m a)
newBroadcastTChanIO :: m (TChan m a)

Instances2MonadSTM

MonadSTM IODefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal
MonadSTM m => MonadSTM (ReaderT r m)Defined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal

classclass MonadInspectSTM m => MonadTraceSTM (m :: Type -> Type) where

Methods

traceTVar :: proxy m -> TVar m a -> (Maybe a -> a -> InspectMonadSTM m TraceValue) -> STM m ()
traceTMVar :: proxy m -> TMVar m a -> (Maybe (Maybe a) -> Maybe a -> InspectMonadSTM m TraceValue) -> STM m ()
traceTQueue :: proxy m -> TQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> STM m ()
traceTBQueue :: proxy m -> TBQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> STM m ()
traceTSem :: proxy m -> TSem m -> (Maybe Integer -> Integer -> InspectMonadSTM m TraceValue) -> STM m ()
traceTVarIO :: TVar m a -> (Maybe a -> a -> InspectMonadSTM m TraceValue) -> m ()
traceTMVarIO :: TMVar m a -> (Maybe (Maybe a) -> Maybe a -> InspectMonadSTM m TraceValue) -> m ()
traceTQueueIO :: TQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> m ()
traceTBQueueIO :: TBQueue m a -> (Maybe [a] -> [a] -> InspectMonadSTM m TraceValue) -> m ()
traceTSemIO :: TSem m -> (Maybe Integer -> Integer -> InspectMonadSTM m TraceValue) -> m ()

Instances2MonadTraceSTM

MonadTraceSTM IODefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal
MonadTraceSTM m => MonadTraceSTM (ReaderT r m)Defined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal

datadata TArrayDefault (m :: Type -> Type) i e

Constructors

TArray (Array i (TVar m e))

Instances2MArray, Eq

(Monad stm, MonadSTM m, stm ~ STM m) => MArray (TArrayDefault m) e stmDefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal
(Eq (TVar m e), Ix i) => Eq (TArrayDefault m i e)Defined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal

datadata TBQueueDefault (m :: Type -> Type) a

Constructors

TBQueue !(TVar m Natural) !(TVar m [a]) !(TVar m Natural) !(TVar m [a]) !Natural

datadata TChanDefault (m :: Type -> Type) a

Constructors

TChan (TVar m (TVarList m a)) (TVar m (TVarList m a))

newtypenewtype TMVarDefault (m :: Type -> Type) a

Constructors

TMVar (TVar m (Maybe a))

datadata TQueueDefault (m :: Type -> Type) a

Constructors

TQueue !(TVar m [a]) !(TVar m [a])

newtypenewtype TSemDefault (m :: Type -> Type)

Constructors

TSem (TVar m Integer)

datadata TraceValue where

Constructors

TraceValue :: Typeable tr => Maybe tr -> Maybe String -> TraceValue
- traceDynamic :: Maybe tr
- traceString :: Maybe String

patternpattern DontTrace :: TraceValue

patternpattern TraceDynamic :: () => Typeable tr => tr -> TraceValue

patternpattern TraceString :: String -> TraceValue