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 => 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 #
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 #
( 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 # asyncThreadId :: Async ( WithEarlyExit m) a -> ThreadId ( WithEarlyExit m) Source # withAsync :: 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 :: (( forall b. WithEarlyExit m b -> WithEarlyExit m b) -> WithEarlyExit m a) -> WithEarlyExit m ( Async ( WithEarlyExit m) a) Source #
MonadDelay m => MonadDelay ( WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods threadDelay :: DiffTime -> WithEarlyExit m () Source #
MonadMonotonicTime m => MonadMonotonicTime ( WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods getMonotonicTime :: WithEarlyExit m Time 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 # 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 # 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 # writeTQueue :: TQueue ( WithEarlyExit m) a -> a -> STM ( WithEarlyExit m) () Source # isEmptyTQueue :: TQueue ( WithEarlyExit m) a -> STM ( WithEarlyExit m) Bool 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 # 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 #
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 #
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 #
MonadMask m => MonadMask ( WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods mask :: (( forall a. WithEarlyExit m a -> WithEarlyExit m a) -> WithEarlyExit m b) -> WithEarlyExit m b Source # uninterruptibleMask :: (( forall 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 #
( MonadEvaluate m, MonadCatch m) => MonadEvaluate ( WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods evaluate :: a -> WithEarlyExit m a Source #
MonadST m => MonadST ( WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods withLiftST :: ( forall s. ( forall a. ST s a -> WithEarlyExit m a) -> b) -> b 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 #
MonadFork m => MonadFork ( WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit Methods forkIO :: WithEarlyExit m () -> WithEarlyExit m ( ThreadId ( WithEarlyExit m)) Source # forkIOWithUnmask :: (( forall a. WithEarlyExit m a -> WithEarlyExit m 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 #
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 #
( IOLike m, forall a. NoThunks ( StrictTVar ( WithEarlyExit m) a), forall 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 #
( forall 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 #
type Async ( WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type Async ( WithEarlyExit m) = WithEarlyExit ( Async m)
type TBQueue ( WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TBQueue ( WithEarlyExit m) = TBQueue m
type TQueue ( WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TQueue ( WithEarlyExit m) = TQueue m
type TMVar ( WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TMVar ( WithEarlyExit m) = TMVar m
type TVar ( WithEarlyExit m) Source #
Instance details Defined in Ouroboros.Consensus.Util.EarlyExit type TVar ( WithEarlyExit m) = TVar m
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