Safe Haskell	None
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 Source #

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 Source #
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 Source # (>>) ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m b Source # return ∷ a → WithEarlyExit m a Source #
Functor m ⇒ Functor (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods fmap ∷ (a → b) → WithEarlyExit m a → WithEarlyExit m b Source # (<$) ∷ a → WithEarlyExit m b → WithEarlyExit m a Source #
Monad m ⇒ Applicative (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods pure ∷ a → WithEarlyExit m a Source # (<>) ∷ WithEarlyExit m (a → b) → WithEarlyExit m a → WithEarlyExit m b Source # liftA2 ∷ (a → b → c) → WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m c Source # (>) ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m b Source # (<*) ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m a Source #
Monad m ⇒ Alternative (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods empty ∷ WithEarlyExit m a Source # (<\|>) ∷ WithEarlyExit m a → WithEarlyExit m a → WithEarlyExit m a Source # some ∷ WithEarlyExit m a → WithEarlyExit m [a] Source # many ∷ WithEarlyExit m a → WithEarlyExit m [a] Source #
Monad m ⇒ MonadPlus (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods mzero ∷ WithEarlyExit m a Source # mplus ∷ WithEarlyExit m a → WithEarlyExit m a → WithEarlyExit m a Source #
MonadSTM m ⇒ MonadSTM (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types type STM (WithEarlyExit m) = (stm ∷ Type → Type) # type TVar (WithEarlyExit m) ∷ Type → Type type TMVar (WithEarlyExit m) ∷ Type → Type type TQueue (WithEarlyExit m) ∷ Type → Type type TBQueue (WithEarlyExit m) ∷ Type → Type type TArray (WithEarlyExit m) ∷ Type → Type → Type type TSem (WithEarlyExit m) type TChan (WithEarlyExit m) ∷ Type → Type Methods atomically ∷ HasCallStack ⇒ STM (WithEarlyExit m) a → WithEarlyExit m a # newTVar ∷ a → STM (WithEarlyExit m) (TVar (WithEarlyExit m) a) readTVar ∷ TVar (WithEarlyExit m) a → STM (WithEarlyExit m) a writeTVar ∷ TVar (WithEarlyExit m) a → a → STM (WithEarlyExit m) () retry ∷ STM (WithEarlyExit m) a # orElse ∷ STM (WithEarlyExit m) a → STM (WithEarlyExit m) a → STM (WithEarlyExit m) a # modifyTVar ∷ TVar (WithEarlyExit m) a → (a → a) → STM (WithEarlyExit m) () modifyTVar' ∷ TVar (WithEarlyExit m) a → (a → a) → STM (WithEarlyExit m) () stateTVar ∷ TVar (WithEarlyExit m) s → (s → (a, s)) → STM (WithEarlyExit m) a swapTVar ∷ TVar (WithEarlyExit m) a → a → STM (WithEarlyExit m) a check ∷ Bool → STM (WithEarlyExit m) () # newTMVar ∷ a → STM (WithEarlyExit m) (TMVar (WithEarlyExit m) a) newEmptyTMVar ∷ STM (WithEarlyExit m) (TMVar (WithEarlyExit m) a) takeTMVar ∷ TMVar (WithEarlyExit m) a → STM (WithEarlyExit m) a tryTakeTMVar ∷ TMVar (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) putTMVar ∷ TMVar (WithEarlyExit m) a → a → STM (WithEarlyExit m) () tryPutTMVar ∷ TMVar (WithEarlyExit m) a → a → STM (WithEarlyExit m) Bool readTMVar ∷ TMVar (WithEarlyExit m) a → STM (WithEarlyExit m) a tryReadTMVar ∷ TMVar (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) swapTMVar ∷ TMVar (WithEarlyExit m) a → a → STM (WithEarlyExit m) a isEmptyTMVar ∷ TMVar (WithEarlyExit m) a → STM (WithEarlyExit m) Bool newTQueue ∷ STM (WithEarlyExit m) (TQueue (WithEarlyExit m) a) readTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) a tryReadTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) peekTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) a tryPeekTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) flushTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) [a] writeTQueue ∷ TQueue (WithEarlyExit m) a → a → STM (WithEarlyExit m) () isEmptyTQueue ∷ TQueue (WithEarlyExit m) a → STM (WithEarlyExit m) Bool unGetTQueue ∷ TQueue (WithEarlyExit m) a → a → STM (WithEarlyExit m) () newTBQueue ∷ Natural → STM (WithEarlyExit m) (TBQueue (WithEarlyExit m) a) readTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) a tryReadTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) peekTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) a tryPeekTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) flushTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) [a] writeTBQueue ∷ TBQueue (WithEarlyExit m) a → a → STM (WithEarlyExit m) () lengthTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) Natural isEmptyTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) Bool isFullTBQueue ∷ TBQueue (WithEarlyExit m) a → STM (WithEarlyExit m) Bool unGetTBQueue ∷ TBQueue (WithEarlyExit m) a → a → STM (WithEarlyExit m) () newTSem ∷ Integer → STM (WithEarlyExit m) (TSem (WithEarlyExit m)) waitTSem ∷ TSem (WithEarlyExit m) → STM (WithEarlyExit m) () signalTSem ∷ TSem (WithEarlyExit m) → STM (WithEarlyExit m) () signalTSemN ∷ Natural → TSem (WithEarlyExit m) → STM (WithEarlyExit m) () newTChan ∷ STM (WithEarlyExit m) (TChan (WithEarlyExit m) a) newBroadcastTChan ∷ STM (WithEarlyExit m) (TChan (WithEarlyExit m) a) dupTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) (TChan (WithEarlyExit m) a) cloneTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) (TChan (WithEarlyExit m) a) readTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) a tryReadTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) peekTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) a tryPeekTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe a) writeTChan ∷ TChan (WithEarlyExit m) a → a → STM (WithEarlyExit m) () unGetTChan ∷ TChan (WithEarlyExit m) a → a → STM (WithEarlyExit m) () isEmptyTChan ∷ TChan (WithEarlyExit m) a → STM (WithEarlyExit m) Bool newTVarIO ∷ a → WithEarlyExit m (TVar (WithEarlyExit m) a) readTVarIO ∷ TVar (WithEarlyExit m) a → WithEarlyExit m a newTMVarIO ∷ a → WithEarlyExit m (TMVar (WithEarlyExit m) a) newEmptyTMVarIO ∷ WithEarlyExit m (TMVar (WithEarlyExit m) a) newTQueueIO ∷ WithEarlyExit m (TQueue (WithEarlyExit m) a) newTBQueueIO ∷ Natural → WithEarlyExit m (TBQueue (WithEarlyExit m) a) newTChanIO ∷ WithEarlyExit m (TChan (WithEarlyExit m) a) newBroadcastTChanIO ∷ WithEarlyExit m (TChan (WithEarlyExit m) a)
(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) # Methods async ∷ WithEarlyExit m a → WithEarlyExit m (Async (WithEarlyExit m) a) # asyncBound ∷ WithEarlyExit m a → WithEarlyExit m (Async (WithEarlyExit m) a) # asyncOn ∷ Int → WithEarlyExit m a → WithEarlyExit m (Async (WithEarlyExit m) a) # asyncThreadId ∷ Async (WithEarlyExit m) a → ThreadId (WithEarlyExit m) # withAsync ∷ WithEarlyExit m a → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b # withAsyncBound ∷ WithEarlyExit m a → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b # withAsyncOn ∷ Int → WithEarlyExit m a → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b # waitSTM ∷ Async (WithEarlyExit m) a → STM (WithEarlyExit m) a # pollSTM ∷ Async (WithEarlyExit m) a → STM (WithEarlyExit m) (Maybe (Either SomeException a)) # waitCatchSTM ∷ Async (WithEarlyExit m) a → STM (WithEarlyExit m) (Either SomeException a) # waitAnySTM ∷ [Async (WithEarlyExit m) a] → STM (WithEarlyExit m) (Async (WithEarlyExit m) a, a) # waitAnyCatchSTM ∷ [Async (WithEarlyExit m) a] → STM (WithEarlyExit m) (Async (WithEarlyExit m) a, Either SomeException a) # waitEitherSTM ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) (Either a b) # waitEitherSTM_ ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) () # waitEitherCatchSTM ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) (Either (Either SomeException a) (Either SomeException b)) # waitBothSTM ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → STM (WithEarlyExit m) (a, b) # wait ∷ Async (WithEarlyExit m) a → WithEarlyExit m a # poll ∷ Async (WithEarlyExit m) a → WithEarlyExit m (Maybe (Either SomeException a)) # waitCatch ∷ Async (WithEarlyExit m) a → WithEarlyExit m (Either SomeException a) # cancel ∷ Async (WithEarlyExit m) a → WithEarlyExit m () # cancelWith ∷ Exception e ⇒ Async (WithEarlyExit m) a → e → WithEarlyExit m () # uninterruptibleCancel ∷ Async (WithEarlyExit m) a → WithEarlyExit m () # waitAny ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, a) # waitAnyCatch ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, Either SomeException a) # waitAnyCancel ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, a) # waitAnyCatchCancel ∷ [Async (WithEarlyExit m) a] → WithEarlyExit m (Async (WithEarlyExit m) a, Either SomeException a) # waitEither ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either a b) # waitEitherCatch ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either (Either SomeException a) (Either SomeException b)) # waitEitherCancel ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either a b) # waitEitherCatchCancel ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (Either (Either SomeException a) (Either SomeException b)) # waitEither_ ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m () # waitBoth ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → WithEarlyExit m (a, b) # race ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m (Either a b) # race_ ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m () # concurrently ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m (a, b) # concurrently_ ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m () # asyncWithUnmask ∷ ((∀ b. WithEarlyExit m b → WithEarlyExit m b) → WithEarlyExit m a) → WithEarlyExit m (Async (WithEarlyExit m) a) # asyncOnWithUnmask ∷ Int → ((∀ b. WithEarlyExit m b → WithEarlyExit m b) → WithEarlyExit m a) → WithEarlyExit m (Async (WithEarlyExit m) a) # withAsyncWithUnmask ∷ ((∀ c. WithEarlyExit m c → WithEarlyExit m c) → WithEarlyExit m a) → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b # withAsyncOnWithUnmask ∷ Int → ((∀ c. WithEarlyExit m c → WithEarlyExit m c) → WithEarlyExit m a) → (Async (WithEarlyExit m) a → WithEarlyExit m b) → WithEarlyExit m b # compareAsyncs ∷ Async (WithEarlyExit m) a → Async (WithEarlyExit m) b → Ordering #
MonadCatch m ⇒ MonadThrow (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods throwIO ∷ Exception e ⇒ e → WithEarlyExit m a # bracket ∷ WithEarlyExit m a → (a → WithEarlyExit m b) → (a → WithEarlyExit m c) → WithEarlyExit m c # bracket_ ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m c → WithEarlyExit m c # finally ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m a #
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 # catchJust ∷ Exception e ⇒ (e → Maybe b) → WithEarlyExit m a → (b → WithEarlyExit m a) → WithEarlyExit m a # try ∷ Exception e ⇒ WithEarlyExit m a → WithEarlyExit m (Either e a) # tryJust ∷ Exception e ⇒ (e → Maybe b) → WithEarlyExit m a → WithEarlyExit m (Either b a) # handle ∷ Exception e ⇒ (e → WithEarlyExit m a) → WithEarlyExit m a → WithEarlyExit m a # handleJust ∷ Exception e ⇒ (e → Maybe b) → (b → WithEarlyExit m a) → WithEarlyExit m a → WithEarlyExit m a # onException ∷ WithEarlyExit m a → WithEarlyExit m b → WithEarlyExit m a # bracketOnError ∷ WithEarlyExit m a → (a → WithEarlyExit m b) → (a → WithEarlyExit m c) → WithEarlyExit m c # generalBracket ∷ WithEarlyExit m a → (a → ExitCase b → WithEarlyExit m c) → (a → WithEarlyExit m b) → WithEarlyExit m (b, c) #
(MonadEvaluate m, MonadCatch m) ⇒ MonadEvaluate (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods evaluate ∷ a → WithEarlyExit m a #
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 # uninterruptibleMask ∷ ((∀ a. WithEarlyExit m a → WithEarlyExit m a) → WithEarlyExit m b) → WithEarlyExit m b # mask_ ∷ WithEarlyExit m a → WithEarlyExit m a # uninterruptibleMask_ ∷ WithEarlyExit m a → WithEarlyExit m a #
MonadMonotonicTime m ⇒ MonadMonotonicTime (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods getMonotonicTime ∷ WithEarlyExit m Time #
MonadThread m ⇒ MonadThread (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Associated Types type ThreadId (WithEarlyExit m) # Methods myThreadId ∷ WithEarlyExit m (ThreadId (WithEarlyExit m)) # labelThread ∷ ThreadId (WithEarlyExit m) → String → WithEarlyExit m () # threadStatus ∷ ThreadId (WithEarlyExit m) → WithEarlyExit m ThreadStatus #
MonadFork m ⇒ MonadFork (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods forkIO ∷ WithEarlyExit m () → WithEarlyExit m (ThreadId (WithEarlyExit m)) # forkOn ∷ Int → WithEarlyExit m () → WithEarlyExit m (ThreadId (WithEarlyExit m)) # forkIOWithUnmask ∷ ((∀ a. WithEarlyExit m a → WithEarlyExit m a) → WithEarlyExit m ()) → WithEarlyExit m (ThreadId (WithEarlyExit m)) # throwTo ∷ Exception e ⇒ ThreadId (WithEarlyExit m) → e → WithEarlyExit m () # killThread ∷ ThreadId (WithEarlyExit m) → WithEarlyExit m () # yield ∷ WithEarlyExit m () #
MonadEventlog m ⇒ MonadEventlog (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods traceEventIO ∷ String → WithEarlyExit m () # traceMarkerIO ∷ String → WithEarlyExit m () #
MonadST m ⇒ MonadST (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods withLiftST ∷ (∀ s. (∀ a. ST s a → WithEarlyExit m a) → b) → b #
MonadDelay m ⇒ MonadDelay (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods threadDelay ∷ DiffTime → WithEarlyExit m () #
(IOLike m, ∀ a. NoThunks (StrictTVar (WithEarlyExit m) a), ∀ a. NoThunks (StrictMVar (WithEarlyExit m) a), MonadCatch (STM m)) ⇒ IOLike (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods forgetSignKeyKES ∷ KESAlgorithm v ⇒ SignKeyKES v → 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) # wNoThunks ∷ Context → WithEarlyExit m a → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (WithEarlyExit m a) → String #
type STM (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type STM (WithEarlyExit m) = WithEarlyExit (STM m)
type ThreadId (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type ThreadId (WithEarlyExit m) = ThreadId m
type TMVar (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TMVar (WithEarlyExit m) = TMVar 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 TQueue (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TQueue (WithEarlyExit m) = TQueue m
type TVar (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TVar (WithEarlyExit m) = TVar m
type TSem (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TSem (WithEarlyExit m) = TSem m
type Async (WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type Async (WithEarlyExit m) = WithEarlyExit (Async m)