@[inline]
Instances For
@[inline]
Instances For
@[inline]
Instances For
@[inline]
Instances For
@[inline]
Instances For
@[inline]
def
Lake.OptionIO.asTask
{α : Type}
(self : Lake.OptionIO α)
(prio : optParam Task.Priority Task.Priority.dedicated)
: