def Task.mapList {α : Type u_1} {β : Type u_2} (f : List α → β) (tasks : List (Task α)) (prio : Priority := Priority.default) (sync : Bool := false) : Task β

Creates a task that, when all tasks have finished, computes the result of f applied to their results.

def Task.mapList.go {α : Type u_1} {β : Type u_2} (f : List α → β) (prio : Priority := Priority.default) (sync : Bool := false) : List (Task α) → List α → Task β