Ffamilytype family TSem (m :: Type -> Type)Peek#Instances2TSemtype TSem IO = TSemDefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internaltype TSem (ReaderT r m) = TSem mDefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal
mmethodtraceTSem :: proxy m-> TSem m-> Maybe Integer -> Integer -> InspectMonadSTM m TraceValue-> STM m ()Peek#