Module Scheduling.Task

module Task: sig .. end

type 'res t

Task returning a value of type 'res when executed

val make : ?prio:int ->
       ?slice:float ->
       (deadline:float -> unit -> 'a * Scheduling.shortcut) -> 'a t

make f creates a new task that will execute f in a separate thread.

prio : the priority (default 50); the lower, the more important

slice : the max fraction of time allotted to this task, in [0., 1.]

val of_fut : ?prio:int ->
       ?slice:float ->
       (deadline:float -> unit -> ('a * Scheduling.shortcut) Scheduling.Fut.t) ->
       'a t

of_fut f is similar to Scheduling.Task.make, but f produces a future, not a direct result

val map : f:('a -> 'b) -> 'a t -> 'b t

Map the result