Skip to content

Commit 1e17af0

Browse files
committed
Add roles declarations to allow safe coercions
1 parent 52362ab commit 1e17af0

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/Data/Nullable.purs

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,8 @@ import Data.Ord (class Ord1)
4343
-- | not provided.
4444
foreign import data Nullable :: Type -> Type
4545

46+
type role Nullable representational
47+
4648
-- | The null value.
4749
foreign import null :: forall a. Nullable a
4850

0 commit comments

Comments
 (0)