From 1c1a1ecdf042c4c0da8c55afdd9aec56bc809efa Mon Sep 17 00:00:00 2001 From: Cyril Sobierajewicz Date: Sat, 12 Sep 2020 14:46:10 +0200 Subject: [PATCH] Add roles declarations to allow safe coercions --- src/Web/Promise/Internal.purs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Web/Promise/Internal.purs b/src/Web/Promise/Internal.purs index 1134c49..e1b71a8 100644 --- a/src/Web/Promise/Internal.purs +++ b/src/Web/Promise/Internal.purs @@ -8,6 +8,8 @@ import Web.Promise.Rejection (Rejection) foreign import data Promise :: Type -> Type +type role Promise representational + foreign import new :: forall a. EffectFn1 (EffectFn2 (EffectFn1 a Unit) (EffectFn1 Rejection Unit) Unit) (Promise a) foreign import then_ :: forall a b. EffectFn2 (EffectFn1 a (Promise b)) (Promise a) (Promise b)