Modulepooled-io-0.0.2.3Haskell98

Control.Concurrent.PooledIO.Final

This module implements something similar to Control.Concurrent.PooledIO.InOrder, but since it is restricted to an Applicative interface we can implement it without unsafeInterleaveIO.

1 type
3 values

Packagepooled-io-0.0.2.3
Exports4
LanguageHaskell98
LicenceBSD-3-Clause
SourceFinal.hs

newtypenewtype T a

Instances2Functor, Applicative

Functor TDefined in pooled-io-0.0.2.3 · Control.Concurrent.PooledIO.Final
Applicative TDefined in pooled-io-0.0.2.3 · Control.Concurrent.PooledIO.Final

valuerun :: T a -> IO a

runLimited with a maximum of numCapabilites threads.

valuerunLimited :: Int -> T a -> IO a

runLimited n runs several actions in a pool with at most n threads.

valuefork :: NFData a => IO a -> T a

This runs an action parallelly to the starting thread. Since it is an Applicative Functor and not a Monad, there are no data dependencies between the actions and thus all actions in a T can be run parallelly. Only the IO actions are parallelised but not the combining function passed to liftA2 et.al. That is, the main work must be done in the IO actions in order to benefit from parallelisation.