Skip to content
This repository was archived by the owner on Aug 4, 2023. It is now read-only.

Add roles declarations to allow safe coercions #4

Merged
merged 1 commit into from
Dec 11, 2020
Merged

Add roles declarations to allow safe coercions #4

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions src/Web/Promise/Internal.purs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down