IOSpec-0.2.1: A pure specification of the IO monad.Source codeContentsIndex
Test.IOSpec.Fork
Description
A pure specification of forkIO.
Synopsis
data ForkS a
forkIO :: (Executable f, ForkS :<: g) => IOSpec f a -> IOSpec g ThreadId
Documentation
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.

By itself, ForkS is not terribly useful. You will probably want to use IOSpec (ForkS :+: MVarS) or IOSpec (ForkS :+: STMS).

show/hide Instances
forkIO :: (Executable f, ForkS :<: g) => IOSpec f a -> IOSpec g ThreadIdSource
The forkIO function forks off a new thread.
Produced by Haddock version 2.4.2