Header menu logo Nu

Job Type

A job for threaded processing.

Record fields

Record Field Description

IssueTime

Full Usage: IssueTime

Field type: DateTimeOffset
Field type: DateTimeOffset

JobId

Full Usage: JobId

Field type: obj
Field type: obj

Work

Full Usage: Work

Field type: unit -> obj
Field type: unit -> obj

Static members

Static member Description

Job.make jobId work

Full Usage: Job.make jobId work

Parameters:
    jobId : 'a
    work : unit -> obj

Returns: Job

Make a job for processing by the job graph.

jobId : 'a
work : unit -> obj
Returns: Job

Type something to start searching.