Skip to content

Commit 5659050

Browse files
kl0tlthomashoneyman
authored andcommitted
Add roles declarations to allow safe coercions
1 parent 9ad2a27 commit 5659050

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)