|Reported by:||simons||Owned by:|
|Type of failure:||None/Unknown||Test Case:|
|Related Tickets:||Differential Rev(s):|
forkChild is a variant of forkIO that spawns a concurrent "IO a" computation, and returns a "Child a" handle that can be used to obtain the "a" value once the computation has terminated.
parIO is a combinator that runs two "IO a" computations concurrently and returns the "a" value of the computation that terminates first.
timeout wraps an "IO a" computation to "IO (Maybe a)" and returns "Nothing" if the computation doesn't terminate within a specified time period.
Change History (5)
comment:1 Changed 10 years ago by
|Summary:||forkChild, waitForChild, parIO, and timeout → timeout|
|Type:||proposal → task|