Promise

type Executor a = (a -> Effect Unit) -> (Rejection -> Effect Unit) -> Effect Unit

class Flatten a b | a -> b

Instances

• (Flatten a b) => Flatten (Promise a) b
• Flatten a a

all :: forall a. Array (Promise a) -> Effect (Promise (Array a))

catch :: forall a b. (Rejection -> Effect (Promise b)) -> Promise a -> Effect (Promise b)

finally :: forall a. (Effect (Promise Unit)) -> Promise a -> Effect (Promise a)

new :: forall a b. Flatten a b => Executor a -> Effect (Promise b)

race :: forall a. Array (Promise a) -> Effect (Promise a)

resolve :: forall a b. Flatten a b => a -> Promise b

thenOrCatch :: forall a b c. Flatten b c => (a -> Effect (Promise b)) -> (Rejection -> Effect (Promise b)) -> Promise a -> Effect (Promise c)

then_ :: forall a b c. Flatten b c => (a -> Effect (Promise b)) -> Promise a -> Effect (Promise c)

data Promise t0

reject :: forall a. Rejection -> Promise a

data Rejection