IOSpec-0.3: A pure specification of the IO monad.
Test.IOSpec.Fork
Description
A pure specification of forkIO.
forkIO
Synopsis
data ForkS a Source #
An expression of type IOSpec ForkS a corresponds to an IO computation that uses forkIO and returns a value of type a.
IOSpec ForkS a
IO
a
By itself, ForkS is not terribly useful. You will probably want to use IOSpec (ForkS :+: MVarS) or IOSpec (ForkS :+: STMS).
ForkS
IOSpec (ForkS :+: MVarS)
IOSpec (ForkS :+: STMS)
Instances
Methods
fmap :: (a -> b) -> ForkS a -> ForkS b #
(<$) :: a -> ForkS b -> ForkS a #
step :: ForkS a -> VM (Step a) Source #
forkIO :: (Executable f, ForkS :<: g) => IOSpec f a -> IOSpec g ThreadId Source #
The forkIO function forks off a new thread.