Hoogle Search
Within LTS Haskell 24.6 (ghc-9.10.2)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
waitEitherSTM :: Async a -> Async b -> STM (Either a b)effectful Effectful.Concurrent.Async A version of waitEither that can be used inside an STM transaction.
waitEitherSTM_ :: Async a -> Async b -> STM ()effectful Effectful.Concurrent.Async A version of waitEither_ that can be used inside an STM transaction.
-
effectful Effectful.Concurrent.Async A version of wait that can be used inside an STM transaction.
catchSTM :: Exception e => STM a -> (e -> STM a) -> STM aeffectful Effectful.Concurrent.STM Exception handling within STM actions. catchSTM m f catches any exception thrown by m using throwSTM, using the function f to handle the exception. If an exception is thrown, any changes made by m are rolled back, but changes prior to m persist.
throwSTM :: Exception e => e -> STM aeffectful Effectful.Concurrent.STM A variant of throw that can only be used within the STM monad. Throwing an exception in STM aborts the transaction and propagates the exception. If the exception is caught via catchSTM, only the changes enclosed by the catch are rolled back; changes made outside of catchSTM persist. If the exception is not caught inside of the STM, it is re-thrown by atomically, and the entire STM is rolled back. Although throwSTM has a type that is an instance of the type of throw, the two functions are subtly different:
throw e `seq` x ===> throw e throwSTM e `seq` x ===> x
The first example will cause the exception e to be raised, whereas the second one won't. In fact, throwSTM will only cause an exception to be raised when it is used within the STM monad. The throwSTM variant should be used in preference to throw to raise an exception within the STM monad because it guarantees ordering with respect to other STM operations, whereas throw does not.fromListM :: Vector v a => [a] -> Maybe (v a)fixed-vector Data.Vector.Fixed Create vector form list. Will return Nothing if list has different length from resulting vector.
fromListM :: forall (n :: PeanoNum) a . ArityPeano n => [a] -> Maybe (ContVec n a)fixed-vector Data.Vector.Fixed.Cont Convert list to continuation-based vector. Will fail with Nothing if list doesn't have right length.
BlockedOnSTM :: ThreadStopStatusghc-events GHC.RTS.Events No documentation available.
isLetStmt :: StmtLR GhcPs GhcPs (LHsExpr GhcPs) -> Boolghc-lib-parser-ex Language.Haskell.GhclibParserEx.GHC.Hs.Expr No documentation available.
isRecStmt :: StmtLR GhcPs GhcPs (LHsExpr GhcPs) -> Boolghc-lib-parser-ex Language.Haskell.GhclibParserEx.GHC.Hs.Expr No documentation available.