def Std.Internal.IO.Async.AsyncTask (α : Type u) : Type u

A Task that may resolve to a value or an IO.Error.

@[inline]

def Std.Internal.IO.Async.AsyncTask.pure {α : Type u_1} (x : α) : AsyncTask α

Construct an AsyncTask that is already resolved with value x.

instance Std.Internal.IO.Async.AsyncTask.instPure : Pure AsyncTask

@[inline]

def Std.Internal.IO.Async.AsyncTask.bind {α : Type u_1} {β : Type u_2} (x : AsyncTask α) (f : α → AsyncTask β) : AsyncTask β

Create a new AsyncTask that will run after x has finished. If x:

• errors, return an AsyncTask that resolves to the error.
• succeeds, run f on the result of x and return the AsyncTask produced by f.

@[inline]

def Std.Internal.IO.Async.AsyncTask.map {α : Type u_1} {β : Type u_2} (f : α → β) (x : AsyncTask α) : AsyncTask β

Create a new AsyncTask that will run after x has finished. If x:

• errors, return an AsyncTask that resolves to the error.
• succeeds, return an AsyncTask that resolves to f x.

@[inline]

def Std.Internal.IO.Async.AsyncTask.bindIO {α : Type u_1} {β : Type} (x : AsyncTask α) (f : α → IO (AsyncTask β)) : BaseIO (AsyncTask β)

Similar to bind, however f has access to the IO monad. If f throws an error, the returned AsyncTask resolves to that error.

@[inline]

def Std.Internal.IO.Async.AsyncTask.mapIO {α : Type u_1} {β : Type} (f : α → IO β) (x : AsyncTask α) : BaseIO (AsyncTask β)

Similar to bind, however f has access to the IO monad. If f throws an error, the returned AsyncTask resolves to that error.

def Std.Internal.IO.Async.AsyncTask.block {α : Type} (x : AsyncTask α) : IO α

Block until the AsyncTask in x finishes.

@[inline]

def Std.Internal.IO.Async.AsyncTask.ofPromise {α : Type} (x : IO.Promise (Except IO.Error α)) : AsyncTask α

Create an AsyncTask that resolves to the value of x.

@[inline]

def Std.Internal.IO.Async.AsyncTask.ofPurePromise {α : Type} (x : IO.Promise α) : AsyncTask α

Create an AsyncTask that resolves to the value of x.

@[inline]

def Std.Internal.IO.Async.AsyncTask.getState {α : Type u_1} (x : AsyncTask α) : BaseIO IO.TaskState

Obtain the IO.TaskState of x.