3.5 Threads: the Threads structure
result
Function
Summary
Polls a thread for its status.
Signature
MLWORKS.Threads
Structure
MLWorks.Threads
Type
val result : 'a thread -> 'a result
Syntax
result t -> result
Arguments
- t
- A thread.
Values
- result
- Result of the thread. A value of type
'a result.
Description
Polls the thread t for its status. Returns the result of t if it has finished evaluating, and a status indicator otherwise.