Merge pull request #1 from kl0tl/roles-declarations

Add roles declarations to forbid unsafe coercions
purescript · Oct 20, 2020 · fa2ac47 · fa2ac47
2 parents baac4cf + 8fe825b
commit fa2ac47
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/Data/Enum.purs b/src/Data/Enum.purs
@@ -162,6 +162,8 @@ toEnumWithDefaults low high x = case toEnum x of
 -- | A type for the size of finite enumerations.
 newtype Cardinality a = Cardinality Int
 
+type role Cardinality representational
+
 derive instance newtypeCardinality :: Newtype (Cardinality a) _
 derive newtype instance eqCardinality :: Eq (Cardinality a)
 derive newtype instance ordCardinality :: Ord (Cardinality a)