Logo Paket

WorkHandle<'a> Type

Record fields

Record Field Description

TaskSource

Full Usage: TaskSource

Field type: TaskCompletionSource<'a>
Field type: TaskCompletionSource<'a>

Work

Full Usage: Work

Field type: RequestWork
Field type: RequestWork

Instance members

Instance member Description

this.Reprioritize

Full Usage: this.Reprioritize

Parameters:

this.Task

Full Usage: this.Task

Returns: Task<'a>
Returns: Task<'a>

this.TryReprioritize

Full Usage: this.TryReprioritize

Parameters:
onlyHigher : bool
prio : WorkPriority

Type something to start searching.