Skip to content

Commit 9f5a6fe

Browse files
authored
Add roles declarations to allow safe coercions (#194)
1 parent 043d7ba commit 9f5a6fe

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/Effect/Aff.purs

+4
Original file line numberDiff line numberDiff line change
@@ -63,6 +63,8 @@ import Unsafe.Coerce (unsafeCoerce)
6363
-- | `makeAff` or `liftEffect`.
6464
foreign import data AffType Type
6565

66+
type role Aff representational
67+
6668
instance functorAffFunctor Aff where
6769
map = _map
6870

@@ -117,6 +119,8 @@ instance lazyAff ∷ Lazy (Aff a) where
117119
-- | `ParAff` and back using the `Parallel` class.
118120
foreign import data ParAffType Type
119121

122+
type role ParAff representational
123+
120124
instance functorParAffFunctor ParAff where
121125
map = _parAffMap
122126

0 commit comments

Comments
 (0)