Function lean_sys::task::lean_task_map

source · [−]
pub unsafe fn lean_task_map(
    f: lean_obj_arg,
    t: lean_obj_arg,
    prio: lean_obj_arg
) -> lean_obj_res
Expand description

Task.map (f : A -> B) (t : Task A) (prio : Nat) : Task B