Skip to content

Commit 1c56711

Browse files
committed
Add roles declarations to allow safe coercions
1 parent 35c422e commit 1c56711

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/Effect/AVar.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,8 @@ type AVarCallback a = (Either Error a → Effect Unit)
2828

2929
foreign import data AVarType Type
3030

31+
type role AVar representational
32+
3133
data AVarStatus a
3234
= Killed Error
3335
| Filled a

0 commit comments

Comments
 (0)