Safe Haskell	Safe-Inferred
Language	Haskell2010

Ouroboros.Consensus.Util.EarlyExit

Contents

Re-exports
opaque

Synopsis

exitEarly ∷ Applicative m ⇒ WithEarlyExit m a
withEarlyExit ∷ WithEarlyExit m a → m (Maybe a)
withEarlyExit_ ∷ Functor m ⇒ WithEarlyExit m () → m ()
lift ∷ (MonadTrans t, Monad m) ⇒ m a → t m a
data WithEarlyExit m a

Documentation

exitEarly ∷ Applicative m ⇒ WithEarlyExit m a Source #

withEarlyExit ∷ WithEarlyExit m a → m (Maybe a) Source #

withEarlyExit_ ∷ Functor m ⇒ WithEarlyExit m () → m () Source #

Re-exports

lift ∷ (MonadTrans t, Monad m) ⇒ m a → t m a #

Lift a computation from the argument monad to the constructed monad.

opaque

data WithEarlyExit m a Source #

Instances

Instances details

MonadTrans WithEarlyExit Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods lift ∷ Monad m ⇒ m a → WithEarlyExit m a #
Monad m ⇒ Alternative (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods empty ∷ WithEarlyExit m a # (<\|>) ∷ WithEarlyExit m a → WithEarlyExit m a → WithEarlyExit m a # some ∷ WithEarlyExit m a → WithEarlyExit m [a] # many ∷ WithEarlyExit m a → WithEarlyExit m [a] #
Monad m ⇒ Applicative (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods pure ∷ a → WithEarlyExit m a # (<>) ∷ WithEarlyExit m (a → b) → WithEarlyExit m a → WithEarlyExit m b # liftA2 ∷ (a → b → c) → WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m c # (>) ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m b # (<*) ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m a #
Functor m ⇒ Functor (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods fmap ∷ (a → b) → WithEarlyExit m a → WithEarlyExit m b # (<$) ∷ a → WithEarlyExit m b → WithEarlyExit m a #
Monad m ⇒ Monad (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods (>>=) ∷ WithEarlyExit m a → (a → WithEarlyExit m b) → WithEarlyExit m b # (>>) ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m b # return ∷ a → WithEarlyExit m a #
Monad m ⇒ MonadPlus (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods mzero ∷ WithEarlyExit m a # mplus ∷ WithEarlyExit m a → WithEarlyExit m a → WithEarlyExit m a #
(MonadMVar m, MonadMask m, MonadEvaluate m) ⇒ MonadMVar (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types type MVar (WithEarlyExit m) ∷ Type → Type Source # Methods newEmptyMVar ∷ WithEarlyExit m (MVar (WithEarlyExit m) a) Source # takeMVar ∷ MVar (WithEarlyExit m) a → WithEarlyExit m a Source # putMVar ∷ MVar (WithEarlyExit m) a → a → WithEarlyExit m () Source # tryTakeMVar ∷ MVar (WithEarlyExit m) a → WithEarlyExit m (Maybe a) Source # tryPutMVar ∷ MVar (WithEarlyExit m) a → a → WithEarlyExit m Bool Source # isEmptyMVar ∷ MVar (WithEarlyExit m) a → WithEarlyExit m Bool Source # newMVar ∷ a → WithEarlyExit m (MVar (WithEarlyExit m) a) Source # readMVar ∷ MVar (WithEarlyExit m) a → WithEarlyExit m a Source # tryReadMVar ∷ MVar (WithEarlyExit m) a → WithEarlyExit m (Maybe a) Source # swapMVar ∷ MVar (WithEarlyExit m) a → a → WithEarlyExit m a Source # withMVar ∷ MVar (WithEarlyExit m) a → (a → WithEarlyExit m b) → WithEarlyExit m b Source # withMVarMasked ∷ MVar (WithEarlyExit m) a → (a → WithEarlyExit m b) → WithEarlyExit m b Source # modifyMVar_ ∷ MVar (WithEarlyExit m) a → (a → WithEarlyExit m a) → WithEarlyExit m () Source # modifyMVar ∷ MVar (WithEarlyExit m) a → (a → WithEarlyExit m (a, b)) → WithEarlyExit m b Source # modifyMVarMasked_ ∷ MVar (WithEarlyExit m) a → (a → WithEarlyExit m a) → WithEarlyExit m () Source # modifyMVarMasked ∷ MVar (WithEarlyExit m) a → (a → WithEarlyExit m (a, b)) → WithEarlyExit m b Source #
(MonadMask m, MonadAsync m, MonadCatch (STM m)) ⇒ MonadAsync (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types type Async (WithEarlyExit m) = (async ∷ Type → Type) Source # Methods async ∷ WithEarlyExit m a → WithEarlyExit m (Async (WithEarlyExit m) a) Source # asyncBound ∷ WithEarlyExit m a → WithEarlyExit m (Async (WithEarlyExit m) a) Source # asyncOn ∷ Int → WithEarlyExit m a → WithEarlyExit m (Async (WithEarlyExit m) a) Source # asyncThreadId ∷ Async (WithEarlyExit m) a → ThreadId (WithEarlyExit m) Source # withAsync ∷ WithEarlyExit m a → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b Source # withAsyncBound ∷ WithEarlyExit m a → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b Source # withAsyncOn ∷ Int → WithEarlyExit m a → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b Source # waitSTM ∷ Async (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # pollSTM ∷ Async (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe (Either SomeException a)) Source # waitCatchSTM ∷ Async (WithEarlyExit m) a → STM (WithEarlyExit m) (Either SomeException a) Source # waitAnySTM ∷ [Async (WithEarlyExit m) a] → STM (WithEarlyExit m) (Async (WithEarlyExit m) a, a) Source # waitAnyCatchSTM ∷ [Async (WithEarlyExit m) a] → STM (WithEarlyExit m) (Async (WithEarlyExit m) a, Either SomeException a) Source # waitEitherSTM ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) (Either a b) Source # waitEitherSTM_ ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) () Source # waitEitherCatchSTM ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) (Either (Either SomeException a) (Either SomeException b)) Source # waitBothSTM ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) (a, b) Source # wait ∷ Async (WithEarlyExit m) a → WithEarlyExit m a Source # poll ∷ Async (WithEarlyExit m) a → WithEarlyExit m (Maybe (Either SomeException a)) Source # waitCatch ∷ Async (WithEarlyExit m) a → WithEarlyExit m (Either SomeException a) Source # cancel ∷ Async (WithEarlyExit m) a → WithEarlyExit m () Source # cancelWith ∷ Exception e ⇒ Async (WithEarlyExit m) a → e → WithEarlyExit m () Source # uninterruptibleCancel ∷ Async (WithEarlyExit m) a → WithEarlyExit m () Source # waitAny ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, a) Source # waitAnyCatch ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, Either SomeException a) Source # waitAnyCancel ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, a) Source # waitAnyCatchCancel ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, Either SomeException a) Source # waitEither ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either a b) Source # waitEitherCatch ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either (Either SomeException a) (Either SomeException b)) Source # waitEitherCancel ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either a b) Source # waitEitherCatchCancel ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either (Either SomeException a) (Either SomeException b)) Source # waitEither_ ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m () Source # waitBoth ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (a, b) Source # race ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m (Either a b) Source # race_ ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m () Source # concurrently ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m (a, b) Source # concurrently_ ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m () Source # asyncWithUnmask ∷ ((∀ b. WithEarlyExit m b → WithEarlyExit m b) → WithEarlyExit m a) → WithEarlyExit m (Async (WithEarlyExit m) a) Source # asyncOnWithUnmask ∷ Int → ((∀ b. WithEarlyExit m b → WithEarlyExit m b) → WithEarlyExit m a) → WithEarlyExit m (Async (WithEarlyExit m) a) Source # withAsyncWithUnmask ∷ ((∀ c. WithEarlyExit m c → WithEarlyExit m c) → WithEarlyExit m a) → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b Source # withAsyncOnWithUnmask ∷ Int → ((∀ c. WithEarlyExit m c → WithEarlyExit m c) → WithEarlyExit m a) → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b Source # compareAsyncs ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → Ordering Source #
MonadEventlog m ⇒ MonadEventlog (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods traceEventIO ∷ String → WithEarlyExit m () Source # traceMarkerIO ∷ String → WithEarlyExit m () Source #
MonadFork m ⇒ MonadFork (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods forkIO ∷ WithEarlyExit m () → WithEarlyExit m (ThreadId (WithEarlyExit m)) Source # forkOn ∷ Int → WithEarlyExit m () → WithEarlyExit m (ThreadId (WithEarlyExit m)) Source # forkIOWithUnmask ∷ ((∀ a. WithEarlyExit m a → WithEarlyExit m a) → WithEarlyExit m ()) → WithEarlyExit m (ThreadId (WithEarlyExit m)) Source # forkFinally ∷ WithEarlyExit m a → (Either SomeException a → WithEarlyExit m ()) → WithEarlyExit m (ThreadId (WithEarlyExit m)) Source # throwTo ∷ Exception e ⇒ ThreadId (WithEarlyExit m) → e → WithEarlyExit m () Source # killThread ∷ ThreadId (WithEarlyExit m) → WithEarlyExit m () Source # yield ∷ WithEarlyExit m () Source #
MonadThread m ⇒ MonadThread (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types type ThreadId (WithEarlyExit m) Source # Methods myThreadId ∷ WithEarlyExit m (ThreadId (WithEarlyExit m)) Source # labelThread ∷ ThreadId (WithEarlyExit m) → String → WithEarlyExit m () Source #
MonadST m ⇒ MonadST (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods stToIO ∷ ST (PrimState (WithEarlyExit m)) a → WithEarlyExit m a Source # withLiftST ∷ (∀ s. (∀ a. ST s a → WithEarlyExit m a) → b) → b Source #
(MonadInspectSTM m, Monad (InspectMonad m)) ⇒ MonadInspectSTM (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types type InspectMonad (WithEarlyExit m) ∷ Type → Type Source # Methods inspectTVar ∷ proxy (WithEarlyExit m) → TVar (WithEarlyExit m) a → InspectMonad (WithEarlyExit m) a Source # inspectTMVar ∷ proxy (WithEarlyExit m) → TMVar (WithEarlyExit m) a → InspectMonad (WithEarlyExit m) (Maybe a) Source #
MonadLabelledSTM m ⇒ MonadLabelledSTM (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods labelTVar ∷ TVar (WithEarlyExit m) a → String → STM (WithEarlyExit m) () Source # labelTMVar ∷ TMVar (WithEarlyExit m) a → String → STM (WithEarlyExit m) () Source # labelTQueue ∷ TQueue (WithEarlyExit m) a → String → STM (WithEarlyExit m) () Source # labelTBQueue ∷ TBQueue (WithEarlyExit m) a → String → STM (WithEarlyExit m) () Source # labelTArray ∷ (Ix i, Show i) ⇒ TArray (WithEarlyExit m) i e → String → STM (WithEarlyExit m) () Source # labelTSem ∷ TSem (WithEarlyExit m) → String → STM (WithEarlyExit m) () Source # labelTChan ∷ TChan (WithEarlyExit m) a → String → STM (WithEarlyExit m) () Source # labelTVarIO ∷ TVar (WithEarlyExit m) a → String → WithEarlyExit m () Source # labelTMVarIO ∷ TMVar (WithEarlyExit m) a → String → WithEarlyExit m () Source # labelTQueueIO ∷ TQueue (WithEarlyExit m) a → String → WithEarlyExit m () Source # labelTBQueueIO ∷ TBQueue (WithEarlyExit m) a → String → WithEarlyExit m () Source # labelTArrayIO ∷ (Ix i, Show i) ⇒ TArray (WithEarlyExit m) i e → String → WithEarlyExit m () Source # labelTSemIO ∷ TSem (WithEarlyExit m) → String → WithEarlyExit m () Source # labelTChanIO ∷ TChan (WithEarlyExit m) a → String → WithEarlyExit m () Source #
MonadSTM m ⇒ MonadSTM (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types type STM (WithEarlyExit m) = (stm ∷ Type → Type) Source # type TVar (WithEarlyExit m) ∷ Type → Type Source # type TMVar (WithEarlyExit m) ∷ Type → Type Source # type TQueue (WithEarlyExit m) ∷ Type → Type Source # type TBQueue (WithEarlyExit m) ∷ Type → Type Source # type TArray (WithEarlyExit m) ∷ Type → Type → Type Source # type TSem (WithEarlyExit m) Source # type TChan (WithEarlyExit m) ∷ Type → Type Source # Methods atomically ∷ HasCallStack ⇒ STM (WithEarlyExit m) a → WithEarlyExit m a Source # newTVar ∷ a → STM (WithEarlyExit m) (TVar (WithEarlyExit m) a) Source # readTVar ∷ TVar (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # writeTVar ∷ TVar (WithEarlyExit m) a → a → STM (WithEarlyExit m) () Source # retry ∷ STM (WithEarlyExit m) a Source # orElse ∷ STM (WithEarlyExit m) a → STM (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # modifyTVar ∷ TVar (WithEarlyExit m) a → (a → a) → STM (WithEarlyExit m) () Source # modifyTVar' ∷ TVar (WithEarlyExit m) a → (a → a) → STM (WithEarlyExit m) () Source # stateTVar ∷ TVar (WithEarlyExit m) s → (s → (a, s)) → STM (WithEarlyExit m) a Source # swapTVar ∷ TVar (WithEarlyExit m) a → a → STM (WithEarlyExit m) a Source # check ∷ Bool → STM (WithEarlyExit m) () Source # newTMVar ∷ a → STM (WithEarlyExit m) (TMVar (WithEarlyExit m) a) Source # newEmptyTMVar ∷ STM (WithEarlyExit m) (TMVar (WithEarlyExit m) a) Source # takeTMVar ∷ TMVar (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # tryTakeTMVar ∷ TMVar (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) Source # putTMVar ∷ TMVar (WithEarlyExit m) a → a → STM (WithEarlyExit m) () Source # tryPutTMVar ∷ TMVar (WithEarlyExit m) a → a → STM (WithEarlyExit m) Bool Source # readTMVar ∷ TMVar (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # tryReadTMVar ∷ TMVar (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) Source # swapTMVar ∷ TMVar (WithEarlyExit m) a → a → STM (WithEarlyExit m) a Source # writeTMVar ∷ TMVar (WithEarlyExit m) a → a → STM (WithEarlyExit m) () Source # isEmptyTMVar ∷ TMVar (WithEarlyExit m) a → STM (WithEarlyExit m) Bool Source # newTQueue ∷ STM (WithEarlyExit m) (TQueue (WithEarlyExit m) a) Source # readTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # tryReadTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) Source # peekTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # tryPeekTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) Source # flushTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) [a] Source # writeTQueue ∷ TQueue (WithEarlyExit m) a → a → STM (WithEarlyExit m) () Source # isEmptyTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) Bool Source # unGetTQueue ∷ TQueue (WithEarlyExit m) a → a → STM (WithEarlyExit m) () Source # newTBQueue ∷ Natural → STM (WithEarlyExit m) (TBQueue (WithEarlyExit m) a) Source # readTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # tryReadTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) Source # peekTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # tryPeekTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) Source # flushTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) [a] Source # writeTBQueue ∷ TBQueue (WithEarlyExit m) a → a → STM (WithEarlyExit m) () Source # lengthTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) Natural Source # isEmptyTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) Bool Source # isFullTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) Bool Source # unGetTBQueue ∷ TBQueue (WithEarlyExit m) a → a → STM (WithEarlyExit m) () Source # newTSem ∷ Integer → STM (WithEarlyExit m) (TSem (WithEarlyExit m)) Source # waitTSem ∷ TSem (WithEarlyExit m) → STM (WithEarlyExit m) () Source # signalTSem ∷ TSem (WithEarlyExit m) → STM (WithEarlyExit m) () Source # signalTSemN ∷ Natural → TSem (WithEarlyExit m) → STM (WithEarlyExit m) () Source # newTChan ∷ STM (WithEarlyExit m) (TChan (WithEarlyExit m) a) Source # newBroadcastTChan ∷ STM (WithEarlyExit m) (TChan (WithEarlyExit m) a) Source # dupTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) (TChan (WithEarlyExit m) a) Source # cloneTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) (TChan (WithEarlyExit m) a) Source # readTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # tryReadTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) Source # peekTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) a Source # tryPeekTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) Source # writeTChan ∷ TChan (WithEarlyExit m) a → a → STM (WithEarlyExit m) () Source # unGetTChan ∷ TChan (WithEarlyExit m) a → a → STM (WithEarlyExit m) () Source # isEmptyTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) Bool Source # newTVarIO ∷ a → WithEarlyExit m (TVar (WithEarlyExit m) a) Source # readTVarIO ∷ TVar (WithEarlyExit m) a → WithEarlyExit m a Source # newTMVarIO ∷ a → WithEarlyExit m (TMVar (WithEarlyExit m) a) Source # newEmptyTMVarIO ∷ WithEarlyExit m (TMVar (WithEarlyExit m) a) Source # newTQueueIO ∷ WithEarlyExit m (TQueue (WithEarlyExit m) a) Source # newTBQueueIO ∷ Natural → WithEarlyExit m (TBQueue (WithEarlyExit m) a) Source # newTChanIO ∷ WithEarlyExit m (TChan (WithEarlyExit m) a) Source # newBroadcastTChanIO ∷ WithEarlyExit m (TChan (WithEarlyExit m) a) Source #
MonadTraceSTM m ⇒ MonadTraceSTM (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods traceTVar ∷ proxy (WithEarlyExit m) → TVar (WithEarlyExit m) a → (Maybe a → a → InspectMonad (WithEarlyExit m) TraceValue) → STM (WithEarlyExit m) () Source # traceTMVar ∷ proxy (WithEarlyExit m) → TMVar (WithEarlyExit m) a → (Maybe (Maybe a) → Maybe a → InspectMonad (WithEarlyExit m) TraceValue) → STM (WithEarlyExit m) () Source # traceTQueue ∷ proxy (WithEarlyExit m) → TQueue (WithEarlyExit m) a → (Maybe [a] → [a] → InspectMonad (WithEarlyExit m) TraceValue) → STM (WithEarlyExit m) () Source # traceTBQueue ∷ proxy (WithEarlyExit m) → TBQueue (WithEarlyExit m) a → (Maybe [a] → [a] → InspectMonad (WithEarlyExit m) TraceValue) → STM (WithEarlyExit m) () Source # traceTSem ∷ proxy (WithEarlyExit m) → TSem (WithEarlyExit m) → (Maybe Integer → Integer → InspectMonad (WithEarlyExit m) TraceValue) → STM (WithEarlyExit m) () Source # traceTVarIO ∷ TVar (WithEarlyExit m) a → (Maybe a → a → InspectMonad (WithEarlyExit m) TraceValue) → WithEarlyExit m () Source # traceTMVarIO ∷ TMVar (WithEarlyExit m) a → (Maybe (Maybe a) → Maybe a → InspectMonad (WithEarlyExit m) TraceValue) → WithEarlyExit m () Source # traceTQueueIO ∷ TQueue (WithEarlyExit m) a → (Maybe [a] → [a] → InspectMonad (WithEarlyExit m) TraceValue) → WithEarlyExit m () Source # traceTBQueueIO ∷ TBQueue (WithEarlyExit m) a → (Maybe [a] → [a] → InspectMonad (WithEarlyExit m) TraceValue) → WithEarlyExit m () Source # traceTSemIO ∷ TSem (WithEarlyExit m) → (Maybe Integer → Integer → InspectMonad (WithEarlyExit m) TraceValue) → WithEarlyExit m () Source #
MonadSay m ⇒ MonadSay (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods say ∷ String → WithEarlyExit m () Source #
MonadCatch m ⇒ MonadCatch (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods catch ∷ Exception e ⇒ WithEarlyExit m a → (e → WithEarlyExit m a) → WithEarlyExit m a Source # catchJust ∷ Exception e ⇒ (e → Maybe b) → WithEarlyExit m a → (b → WithEarlyExit m a) → WithEarlyExit m a Source # try ∷ Exception e ⇒ WithEarlyExit m a → WithEarlyExit m (Either e a) Source # tryJust ∷ Exception e ⇒ (e → Maybe b) → WithEarlyExit m a → WithEarlyExit m (Either b a) Source # handle ∷ Exception e ⇒ (e → WithEarlyExit m a) → WithEarlyExit m a → WithEarlyExit m a Source # handleJust ∷ Exception e ⇒ (e → Maybe b) → (b → WithEarlyExit m a) → WithEarlyExit m a → WithEarlyExit m a Source # onException ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m a Source # bracketOnError ∷ WithEarlyExit m a → (a → WithEarlyExit m b) → (a → WithEarlyExit m c) → WithEarlyExit m c Source # generalBracket ∷ WithEarlyExit m a → (a → ExitCase b → WithEarlyExit m c) → (a → WithEarlyExit m b) → WithEarlyExit m (b, c) Source #
(MonadEvaluate m, MonadCatch m) ⇒ MonadEvaluate (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods evaluate ∷ a → WithEarlyExit m a Source #
MonadMask m ⇒ MonadMask (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods mask ∷ ((∀ a. WithEarlyExit m a → WithEarlyExit m a) → WithEarlyExit m b) → WithEarlyExit m b Source # uninterruptibleMask ∷ ((∀ a. WithEarlyExit m a → WithEarlyExit m a) → WithEarlyExit m b) → WithEarlyExit m b Source # mask_ ∷ WithEarlyExit m a → WithEarlyExit m a Source # uninterruptibleMask_ ∷ WithEarlyExit m a → WithEarlyExit m a Source #
MonadCatch m ⇒ MonadThrow (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods throwIO ∷ Exception e ⇒ e → WithEarlyExit m a Source # bracket ∷ WithEarlyExit m a → (a → WithEarlyExit m b) → (a → WithEarlyExit m c) → WithEarlyExit m c Source # bracket_ ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m c → WithEarlyExit m c Source # finally ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m a Source #
MonadMonotonicTimeNSec m ⇒ MonadMonotonicTimeNSec (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods getMonotonicTimeNSec ∷ WithEarlyExit m Word64 Source #
MonadDelay m ⇒ MonadDelay (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods threadDelay ∷ Int → WithEarlyExit m () Source #
(IOLike m, ∀ a. NoThunks (StrictTVar (WithEarlyExit m) a), ∀ a. NoThunks (StrictSVar (WithEarlyExit m) a), ∀ a. NoThunks (StrictMVar (WithEarlyExit m) a)) ⇒ IOLike (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods forgetSignKeyKES ∷ KESAlgorithm v ⇒ SignKeyKES v → WithEarlyExit m () Source #
PrimMonad m ⇒ PrimMonad (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types type PrimState (WithEarlyExit m) Source # Methods primitive ∷ (State# (PrimState (WithEarlyExit m)) → (# State# (PrimState (WithEarlyExit m)), a #)) → WithEarlyExit m a Source #
MonadMonotonicTime m ⇒ MonadMonotonicTime (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods getMonotonicTime ∷ WithEarlyExit m Time Source #
MonadDelay m ⇒ MonadDelay (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods threadDelay ∷ DiffTime → WithEarlyExit m () Source #
(∀ a'. NoThunks (m a')) ⇒ NoThunks (WithEarlyExit m a) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods noThunks ∷ Context → WithEarlyExit m a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WithEarlyExit m a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WithEarlyExit m a) → String Source #
NoThunks (StrictSVar m a) ⇒ NoThunks (StrictSVar (WithEarlyExit m) a) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods noThunks ∷ Context → StrictSVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictSVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictSVar (WithEarlyExit m) a) → String Source #
NoThunks (StrictMVar m a) ⇒ NoThunks (StrictMVar (WithEarlyExit m) a) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods noThunks ∷ Context → StrictMVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictMVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictMVar (WithEarlyExit m) a) → String Source #
NoThunks (StrictTVar m a) ⇒ NoThunks (StrictTVar (WithEarlyExit m) a) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods noThunks ∷ Context → StrictTVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → StrictTVar (WithEarlyExit m) a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (StrictTVar (WithEarlyExit m) a) → String Source #
type MVar (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type MVar (WithEarlyExit m) = MVar m
type Async (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type Async (WithEarlyExit m) = WithEarlyExit (Async m)
type ThreadId (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type ThreadId (WithEarlyExit m) = ThreadId m
type InspectMonad (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type InspectMonad (WithEarlyExit m) = InspectMonad m
type STM (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type STM (WithEarlyExit m) = WithEarlyExit (STM m)
type TArray (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TArray (WithEarlyExit m) = TArray m
type TBQueue (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TBQueue (WithEarlyExit m) = TBQueue m
type TChan (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TChan (WithEarlyExit m) = TChan m
type TMVar (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TMVar (WithEarlyExit m) = TMVar m
type TQueue (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TQueue (WithEarlyExit m) = TQueue m
type TSem (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TSem (WithEarlyExit m) = TSem m
type TVar (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TVar (WithEarlyExit m) = TVar m
type PrimState (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type PrimState (WithEarlyExit m) = PrimState m