| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Hedgehog.Internal.Queue
Synopsis
- newtype TaskIndex = TaskIndex Int
- newtype TasksRemaining = TasksRemaining Int
- runTasks :: WorkerCount -> [a] -> (TasksRemaining -> TaskIndex -> a -> IO b) -> (b -> IO ()) -> (b -> IO ()) -> (b -> IO c) -> IO [c]
- finalizeTask :: MonadIO m => MVar (TaskIndex, Map TaskIndex (IO ())) -> TaskIndex -> IO () -> m ()
- runActiveFinalizers :: MonadIO m => MVar (TaskIndex, Map TaskIndex (IO ())) -> m ()
- dequeueMVar :: MVar [(TaskIndex, a)] -> (TasksRemaining -> TaskIndex -> a -> IO b) -> IO (Maybe (TaskIndex, b))
- updateNumCapabilities :: WorkerCount -> IO ()
Documentation
Instances
| Enum TaskIndex Source # | |
Defined in Hedgehog.Internal.Queue Methods succ :: TaskIndex -> TaskIndex # pred :: TaskIndex -> TaskIndex # fromEnum :: TaskIndex -> Int # enumFrom :: TaskIndex -> [TaskIndex] # enumFromThen :: TaskIndex -> TaskIndex -> [TaskIndex] # enumFromTo :: TaskIndex -> TaskIndex -> [TaskIndex] # enumFromThenTo :: TaskIndex -> TaskIndex -> TaskIndex -> [TaskIndex] # | |
| Num TaskIndex Source # | |
Defined in Hedgehog.Internal.Queue | |
| Eq TaskIndex Source # | |
| Ord TaskIndex Source # | |
newtype TasksRemaining Source #
Constructors
| TasksRemaining Int |
runTasks :: WorkerCount -> [a] -> (TasksRemaining -> TaskIndex -> a -> IO b) -> (b -> IO ()) -> (b -> IO ()) -> (b -> IO c) -> IO [c] Source #
finalizeTask :: MonadIO m => MVar (TaskIndex, Map TaskIndex (IO ())) -> TaskIndex -> IO () -> m () Source #
dequeueMVar :: MVar [(TaskIndex, a)] -> (TasksRemaining -> TaskIndex -> a -> IO b) -> IO (Maybe (TaskIndex, b)) Source #
updateNumCapabilities :: WorkerCount -> IO () Source #
Update the number of capabilities but never set it lower than it already is.