ouroboros-consensus
Safe HaskellNone
LanguageHaskell2010

Test.Ouroboros.Storage.ChainDB.Unit

Documentation

tests ∷ TestTree Source #

Orphan instances

MonadFork m ⇒ MonadFork (ExceptT e m) Source # 
Instance details

Methods

forkIO ∷ ExceptT e m () → ExceptT e m (ThreadId (ExceptT e m)) Source #

forkOn ∷ Int → ExceptT e m () → ExceptT e m (ThreadId (ExceptT e m)) Source #

forkIOWithUnmask ∷ ((∀ a. ExceptT e m a → ExceptT e m a) → ExceptT e m ()) → ExceptT e m (ThreadId (ExceptT e m)) Source #

forkFinally ∷ ExceptT e m a → (Either SomeException a → ExceptT e m ()) → ExceptT e m (ThreadId (ExceptT e m)) Source #

throwTo ∷ Exception e0 ⇒ ThreadId (ExceptT e m) → e0 → ExceptT e m () Source #

killThread ∷ ThreadId (ExceptT e m) → ExceptT e m () Source #

yield ∷ ExceptT e m () Source #

getNumCapabilities ∷ ExceptT e m Int Source #

MonadThread m ⇒ MonadThread (ExceptT e m) Source # 
Instance details

Associated Types

type ThreadId (ExceptT e m) 
Instance details

Defined in Test.Ouroboros.Storage.ChainDB.Unit

type ThreadId (ExceptT e m) = ThreadId m

Methods

myThreadId ∷ ExceptT e m (ThreadId (ExceptT e m)) Source #

labelThread ∷ ThreadId (ExceptT e m) → String → ExceptT e m () Source #

threadLabel ∷ ThreadId (ExceptT e m) → ExceptT e m (Maybe String) Source #