Web.Promise.Internal

data Promise :: Type -> Type

new :: forall a b. EffectFn1 (EffectFn2 (EffectFn1 a Unit) (EffectFn1 Rejection Unit) Unit) (Promise b)

then_ :: forall a b c. EffectFn2 (EffectFn1 a (Promise b)) (Promise a) (Promise c)

catch :: forall a b. EffectFn2 (EffectFn1 Rejection (Promise b)) (Promise a) (Promise b)

finally :: forall a. EffectFn2 (Effect (Promise Unit)) (Promise a) (Promise a)

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

reject :: forall a. Rejection -> Promise a

all :: forall a. EffectFn1 (Array (Promise a)) (Promise (Array a))

race :: forall a. EffectFn1 (Array (Promise a)) (Promise a)