3.5 Threads: the Threads structure

'a result

Summary

The type of thread status reports.

Signature

MLWORKS.Threads

Structure

MLWorks.Threads

Type

datatype 'a result = 
    Running
  | Waiting
  | Sleeping 
  | Result of 'a
  | Exception of exn
  | Died
  | Killed 
  | Expired

Description

The type of thread status reports, as returned by the functions result and Internal.state. Can be one of:

Running

The thread is currently running.

Waiting

The thread is currently waiting.

Sleeping

The thread is currently sleeping.

Result of 'a

The thread has completed, with this result.

Exception of exn

The thread exited, with this uncaught exception.

Died

The thread died. (For example, because of a bus error.)

Killed

The thread has been killed.

Expired

The thread no longer exists.

See also

result, page 50

state, page 56

Generated with Harlequin WebMaker