Moduleouroboros-consensus-4.2.1.0
Ouroboros.Consensus.Util.EarlyExit
Synopsis
- value exitEarly
- value withEarlyExit
- value withEarlyExit_
- newtype WithEarlyExit
- method lift
- Packageouroboros-consensus-4.2.1.0
- Exports5
- LicenceApache-2.0
- SourceClass.hs
Instances45MonadTrans, Monad, Functor, Applicative, Alternative, MonadPlus, …
MonadTrans WithEarlyExitDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonad m => Monad (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitFunctor m => Functor (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonad m => Applicative (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonad m => Alternative (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonad m => MonadPlus (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitPrimMonad m => PrimMonad (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExit(MonadMVar m, MonadMask m, MonadEvaluate m) => MonadMVar (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadMask m => MonadMask (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExit(MonadEvaluate m, MonadCatch m) => MonadEvaluate (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadCatch m => MonadCatch (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExit(MonadInspectSTM m, Monad (InspectMonadSTM m)) => MonadInspectSTM (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadLabelledSTM m => MonadLabelledSTM (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadSTM m => MonadSTM (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadTraceSTM m => MonadTraceSTM (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExit(MonadMask m, MonadAsync m, MonadCatch (STM m)) => MonadAsync (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadCatch m => MonadThrow (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadFork m => MonadFork (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadThread m => MonadThread (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadEventlog m => MonadEventlog (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadST m => MonadST (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadSay m => MonadSay (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadMonotonicTimeNSec m => MonadMonotonicTimeNSec (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadDelay m => MonadDelay (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadDelay m => MonadDelay (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitMonadMonotonicTime m => MonadMonotonicTime (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExit(IOLike m, forall a. NoThunks (StrictTVar (WithEarlyExit m) a), forall a. NoThunks (StrictSVar (WithEarlyExit m) a), forall a. NoThunks (StrictMVar (WithEarlyExit m) a)) => IOLike (WithEarlyExit m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitNoThunks (StrictMVar m a) => NoThunks (StrictMVar (WithEarlyExit m) a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitNoThunks (StrictTMVar m a) => NoThunks (StrictTMVar (WithEarlyExit m) a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitNoThunks (StrictTVar m a) => NoThunks (StrictTVar (WithEarlyExit m) a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExitNoThunks (StrictSVar m a) => NoThunks (StrictSVar (WithEarlyExit m) a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExit(forall a'. NoThunks (m a')) => NoThunks (WithEarlyExit m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype PrimState (WithEarlyExit m) = PrimState mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype MVar (WithEarlyExit m) = MVar mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype InspectMonadSTM (WithEarlyExit m) = InspectMonadSTM mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype STM (WithEarlyExit m) = WithEarlyExit (STM m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype TArray (WithEarlyExit m) = TArray mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype TBQueue (WithEarlyExit m) = TBQueue mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype TChan (WithEarlyExit m) = TChan mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype TMVar (WithEarlyExit m) = TMVar mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype TQueue (WithEarlyExit m) = TQueue mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype TVar (WithEarlyExit m) = TVar mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype TSem (WithEarlyExit m) = TSem mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype Async (WithEarlyExit m) = WithEarlyExit (Async m)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExittype ThreadId (WithEarlyExit m) = ThreadId mDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExit
Lift a computation from the argument monad to the constructed monad.