:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12
Moduleio-classes-1.8.0.1
type family InspectMVarMonad (m :: Type -> Type) :: Type -> TypeinspectMVar :: proxy m -> MVar m a -> InspectMVarMonad m (Maybe a)MonadInspectMVar IODefined in io-classes-1.8.0.1 · Control.Concurrent.Class.MonadMVarMonadLabelledMVar IODefined in io-classes-1.8.0.1 · Control.Concurrent.Class.MonadMVarnewEmptyMVar :: m (MVar m a)takeMVar :: MVar m a -> m aputMVar :: MVar m a -> a -> m ()tryTakeMVar :: MVar m a -> m (Maybe a)tryPutMVar :: MVar m a -> a -> m BoolisEmptyMVar :: MVar m a -> m BoolnewMVar :: a -> m (MVar m a)readMVar :: MVar m a -> m atryReadMVar :: MVar m a -> m (Maybe a)swapMVar :: MVar m a -> a -> m awithMVar :: MVar m a -> (a -> m b) -> m bwithMVarMasked :: MVar m a -> (a -> m b) -> m bmodifyMVar_ :: MVar m a -> (a -> m a) -> m ()modifyMVar :: MVar m a -> (a -> m (a, b)) -> m bmodifyMVarMasked_ :: MVar m a -> (a -> m a) -> m ()modifyMVarMasked :: MVar m a -> (a -> m (a, b)) -> m btraceMVarIO :: proxy -> MVar m a -> (Maybe (Maybe a) -> Maybe a -> InspectMVarMonad m TraceValue) -> m ()MonadTraceMVar IODefined in io-classes-1.8.0.1 · Control.Concurrent.Class.MonadMVar