JS.Promise

Definitions

data Promise : Type -> Type

Totality: total
Visibility: export
Hints:

FromFFI (Promise a) (Promise a)

ToFFI (Promise a) (Promise a)

toPromise : ((a -> IO ()) -> IO ()) -> IO (Promise a)

Totality: total
Visibility: export

onPromise : Promise a -> (a -> IO b) -> (String -> IO b) -> IO (Promise b)

  Attaches two handlers to a promise.

Totality: total
Visibility: export

onPromiseP : Promise a -> (a -> IO (Promise b)) -> (String -> IO (Promise b)) -> IO (Promise b)

  Like `onPromise` but the handlers themselves can return promises.

Totality: total
Visibility: export